日々の流転

λ. -rg

先生方はみんな「アカウント名-rg」というメーリングリストを持っているそうなので、冗談で sakai-rg＠tom.sfc.keio.ac.jp というメールアドレスを作ってみた。qmailさいこー

λ. kinux

kinuxの画面とソースコードをsaimuneさんに見せてもらった。すごいや、やっぱり。

λ. 今日の向井研

結構沢山人が集まった。みんな色々な興味分野があるようで、SFCも捨てたものじゃないなと思った。

• チャネル理論
• ガロア理論
• 金融工学の数学的な基礎
• 証明論とcode verification
• 自然言語
• 論理や数学の学習システム
• カテゴリー論

λ. カリー化と論理

向井先生と一緒にMapping objectをこねくりまわしていて、カリー化の概念は論理では「(A∧B)→C」と「A→B→C」が同値な事に関係するという話を聞いた。目から鱗だった。

【2008-03-15追記】 考えてみると、これがカリー・ハワード対応に触れた最初か。

λ. 時間割り

今の候補の授業はこんな感じなのだけど、悩む。