ポスト

流石に #錆び ついてるなあ。 #μ再帰関数 ja.wikipedia.org/wiki/%CE%9C%E5…#条件分岐 を含んでいないから #if はいらんだろ、とか、#eq はその辺組み合わせれば作れそうだろ、とか思うが、#nil が #∅、#cdr#後者関数 だとして、#car#射影 に必要だろうなあ、と感じるだけで、#証明 ができん。-

メニューを開く

家鴨のジョナサン@JonathanTheDuck

みんなのコメント

メニューを開く

基本的に、#条件分岐#原始再帰法 の実装用なんだよな… ja.wikipedia.org/wiki/%E5%8E%9F… たぶん、#lambda のβ-簡約で書けると思うんだが…?

家鴨のジョナサン@JonathanTheDuck

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ