スキーに行ったり, 雪で寒かったけど何とか滑れる雪面でした, ところどころ草が見えたけど…
それなりにある程度滑れた自分に少し安心, スキー旅行の際には足を引っ張らないといいけど…
いまだに-1する単項演算子関数PREDが上手く構成できない, fをどうやって外せばいいのだろうか… 発見すれば良いというタイプの問題の例え知恵の輪は苦手だよぉ…
とりあえず PRED = λ x . 0 にして再帰的な階乗関数RFACTが思い通りのループ処理をしてくれることを確認
まさか(fun n -> lambda_of_int ((int_of_lambda n) - 1))でそこに変数が混ざっていたときの例外処理が大変そう, というより邪道過ぎてやりたくない…実装するわけにも行かないしなぁ…
具体的にはおそらくはfを外側から1つ消去するからくりを作って消した後にそのからくりを消すのだろうが, からくりを壊す方法が見つからないのです, 内側から破壊するのは消去を1つで終わらせることがおそらく不可能だしなぁ…
それにしてもこの日記は後ろ向きな日記だと最近思ってみたり見なかったり
Comments (0):