プロットしました。

ローレンツアトラクタ(HSV色空間 + 3次元空間)

HSV色空間と3次元描画の練習にローレンツアトラクタを出力しました.

Maxcompをインストールした

Maxcompはknuth-bendixのアルゴリズムないしmkbtt(多重完備化)とは別の完備化アルゴリズムおよび,それのデモプログラムです.JAISTで公開されています.http://www.jaist.ac.jp/project/maxcomp/個人的に完備化したい項書き換え系があったのでインストー…

破壊される工学

画像は自由に転載していただいて構いません.

最近の状況

23日は時間があったのでニュートンの運動方程式によって天体が相互作用するプログラムを書きました. 交錯する人生の意義です. こちらは今日出力した画像です. 理解が捗っているときの脳内の様子を表現しました. 画像はご自由に転載していただいて構いま…

古典論理の推論規則から3値論理の演算を補完する

はじめに2値論理 通常の論理学は論理演算fに真(True),偽(False)いずれかの引数を2つ取り,同様に真偽のいずれかの値を1つ返します. 以下に2値論理におけるEqual, NotEqual, And, Or, Implication, Notを表としてまとめます.左から左辺,右辺,評価結…