胡先生の講義（計数3年向け）に初めて出た．夏学期の4年生向け講義よりずっと情熱的な胡先生を見れた． ところで，これまで外国人の日本語にあれこれ言う人間には「てめーのTOEFLスコア見せてみろよ（プゲラ」とか冷ややかな視線を送っていたんだが，いや確…

サラダにかけた中華風ドレッシングに入ってたゴマが，紛れ込んだ昆虫に見えてしまう自分が嫌だ． 冬はいいよ冬は．食品が腐らないから．

λ算法のモデルへの応用という観点からdomain theoryと圏論とを比較せよ．特にYコンビネータの扱いに注意すること． 教えて．