春』から(Fで言及されていた)両親の殺害にどのようにして至るのか。そこにギャップを感じていたので、その部分がどう表現されるのか非常に気になっていたが、きちんと描かれていて満足。あと、「そんな理屈が通るか?」「理屈は常に通ります」というやり取りに吹き出してしまった。(1)今期は言語っぽい方面へ。最初にやるのはZFCの公理の確認。領域理論や圏論の難しい話に疲れて、プログラミングに現実逃避。これも思うように行かないことが多いんだけど。[おー、酒井さんらしくない発言だー。同値であることは証明可能(のはず)。どこまで本当か知らないけど、ここでワールドカップやるのね。[あーなんか面白そうなタイトル。よかったらレビュー詳しく書いて。いうのは苦手だけど、とりあえず全体的な感想を。15:00開始で21時くらいまでやっていた。今回はPLDI98の論文が対象で、私は以下の2本の論文を紹介した。後日談とか、著者たちの動向とかちゃんとフォローしていて偉いな、と思った。復習して、練習問題も一通り解いた。これで勉強会に追いついた。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。