レンズ括弧（凹レンズと凸レンズ）、スコットブラケット 絵のなかで、イラストとダイアグラムの違い オイラー標数 書き換え系のダイアモンド性（CR性） 回路による現象のシミュレーション 式の値＝回路の振る舞い＝プログラムの意味 非決定性ラムダ記法 for …