ラムダ計算の発表。ラムダ式で自然数や加減乗除、不動点などの発表をする。いい加減β変換は疲れた。練習問題をたくさんもらったので、がんばってやらないと。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。