Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

0524

 なんにもできてないです。昨日うっかり夜遅くまでプログラム書き続けてしまったのが良くなかった。せっかくロゼレム貰ってきているのに、飲まなくちゃ意味が無い。やれやれ。

 計算論をちまちま読んでいます。なんとなくわかってきた、ような。規則は覚えられるのだけど、Yコンビネータとかいったそれぞれの式は覚えにくくて、この違いって何なんだろうなあ、とか。単に人は二項関係までしか直観的に把握できないということかしら。