あらすじ：しくぴー Exercise 2.6. で チャーチ数（Church numerals）という謎の概念が登場して、足したりかけたりできるってところまではわかって書けたものの引き算を書こうと思った途端さっぱりわからなくなって（特に wikipedia の pred ≡ λn.λf.λx. n (…

おれの頭の中の ToDo リストはこんな実装になっているに違いない。 # todo.py class ToDo: def __init__(self): self.list = ["nothing..."] def append(self, i): self.list[0] = i print i, "だね、覚えたよ、完璧だよ、絶対忘れないから安心してよ！" def…