2017-01-28 備忘 Mx レンズ括弧（凹レンズと凸レンズ）、スコットブラケット 絵のなかで、イラストとダイアグラムの違い オイラー標数 書き換え系のダイアモンド性（CR性） 回路による現象のシミュレーション 式の値＝回路の振る舞い＝プログラムの意味 非決定性ラムダ記法 for x values f(x) ライデマイスター移動 計算論の⊥ FHK move = rator = law バブル移動とパッヒナル移動 パーティショニング関数（非決定性） コゼロ関数（部分関数、非決定性関数）
