トップ «前の日記(2002-04-11) 最新 次の日記(2002-04-13)» 月表示 編集

日々の流転


2002-04-12 [長年日記]

λ. -rg

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

λ. kinux

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

Tags: tom

λ. 今日の向井研

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

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

λ. カリー化と論理

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

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

λ. 時間割り

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

時間割案
1限 2限 3限 4限 5限
9:25 〜 10:55 11:10 〜 12:40 13:00 〜 14:30 14:40 〜 16:10 16:20 〜 17:50
記号処理プログラミング(SA)
安村通晃@ο17]
現代思想
[高澤秀次]
システム・プログラミング
西尾信彦@κ17&κ18]
国際社会と法
[青木節子@Ω12]
比較体制論
香川敏幸@ι11]
プログラミング言語論
服部隆志@ο12]
情報数学Ⅱ
古川康一@ε12]
教育システムデザイン / プログラミングの理論と実際
[萩野&服部研@ο12]
数学と論理(SA)
向井国昭@κ12]
ストック経済論
[駒井正晶@ι11]
日本経済分析
[井出亜夫@ε22]
アルゴリズム論
[有澤誠@ε11]
ワイヤレスシステム論
小檜山賢二@κ23]
次世代のWeb / ウェブアプリケーション開発
[萩野&服部研@ο11]
人間と法
[小宮山宏之@Ω21]
マーケッティング戦略
[桑原武夫@Ω11]
自然言語論
石崎俊@Ω12]
ネットワークプログラミング
[南正樹@ι11]
(ラップトップが必要っぽい)
数理論理とその応用
[向井研@ι14]