ごめん、また Lazy K の話なんだ。 チャーチ数にはやたらと (S(KS)K) が出てくるので、(S(KS)K) を纏めると短くなることが多い。ということで、 (S(KS)K) を後ろにつけるとチャーチ数になる式。0、1、4、16、64 など prelude.scm、prelude-numbers.scm のま…

柳生陰陽剣 (新潮文庫) 「柳生雨月抄」改題だそうで 柳生薔薇剣 (朝日文庫) HUNTER X HUNTER26 (ジャンプコミックス) BLEACH 35 (ジャンプコミックス) 魔人探偵脳噛ネウロ 18 (ジャンプコミックス)