08/01/27 07:27:52
>>314
あ、そっか。なるほど～。
考えてみる。λ計算ってのはなかなか面白いね。
かんばってチャーチ、ロッサーの定理にも挑戦してみたい。
08/01/27 07:27:52
>>314
あ、そっか。なるほど～。
考えてみる。λ計算ってのはなかなか面白いね。
かんばってチャーチ、ロッサーの定理にも挑戦してみたい。
08/01/27 07:27:52
>>314
あ、そっか。なるほど～。
考えてみる。λ計算ってのはなかなか面白いね。
かんばってチャーチ、ロッサーの定理にも挑戦してみたい。