AFC ペイトリオッツとスティーラーズ。Divisional Playoffの成績だけから見ればペイトリオッツの勝ちなのだが、今年のスティーラーズはミラクルというべき運を持っているチームだと思う。ペイトリオッツが初優勝したときのような。接戦になってシーソーゲー…

ペイトリオッツ対コルツ。コルツのＱＢマニングが不調。さらにレシーバー陣がパスドロップを繰り返してしまう。雪と低温のせいだろうか。逆にペイトリオッツは相変わらずの堅いオフェンス。爆発力こそないものの完全にゲームを支配した。試合前の予想では接…

この日は型つきのラムダ計算のお話。論理規則をパターンマッチしていくとちゃんとそれぞれの型が導出されていく様はすばらしい。数理論理学のＬＫのような感じだった。