正整数のゲーデル数化?
http://ja.doukaku.org/comment/4888/
今まで、lispのcarに相当するhd()があるの知らなかった。いやきっとあるんだろうとは思ってたんだけど見付からず、lists:nth(1, X)とかやってた…。
http://ja.doukaku.org/comment/4888/
今まで、lispのcarに相当するhd()があるの知らなかった。いやきっとあるんだろうとは思ってたんだけど見付からず、lists:nth(1, X)とかやってた…。