プロットしました。
HSV色空間と3次元描画の練習にローレンツアトラクタを出力しました.
Maxcompはknuth-bendixのアルゴリズムないしmkbtt(多重完備化)とは別の完備化アルゴリズムおよび,それのデモプログラムです.JAISTで公開されています.http://www.jaist.ac.jp/project/maxcomp/個人的に完備化したい項書き換え系があったのでインストー…
画像は自由に転載していただいて構いません.
23日は時間があったのでニュートンの運動方程式によって天体が相互作用するプログラムを書きました. 交錯する人生の意義です. こちらは今日出力した画像です. 理解が捗っているときの脳内の様子を表現しました. 画像はご自由に転載していただいて構いま…
はじめに2値論理 通常の論理学は論理演算fに真(True),偽(False)いずれかの引数を2つ取り,同様に真偽のいずれかの値を1つ返します. 以下に2値論理におけるEqual, NotEqual, And, Or, Implication, Notを表としてまとめます.左から左辺,右辺,評価結…