今日は宿題のλ計算エミュレータの製作
OCamlyaccとかその辺は使わないで, int_of_lambda (beta_conversion (App(...))とかいう感じに入力手入力で式を入力して評価する方式にする
エミュレート部分はおそらく完成, 問題は関数と呼ぶべき?述語PREDの定義が分からないこと
レジュメに全部書いてあるかと思ったらPREDとISZEROだけ書いていなかったり
ISZEROは上手いこと定義を書いてやることが出来たのだが, PREDを書く方法が思いつかず, 結局完成せず
明日はスキーに行く予定が立っているので, リフトの上で考えるとするか…, いや, 無理だろうな…
Comments (0):