活動記録/20080501 のバックアップソース(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• バックアップ を表示
• 活動記録/20080501 へ行く。
  • 1 (2008-05-02 (金) 11:58:52)
  • 2 (2008-05-02 (金) 12:03:05)
  • 3 (2008-08-18 (月) 22:09:31)

* 場所など [#if277945]
- 日時：2008年4月18日 17:30-
- 場所：名古屋大 IB南棟562

* 内容 [#h3430fd0]
- オリジナル ocaml.jp 名刺 配布！！
- Don't Panic 第三回

** 自然変換を三次元的に描いてみた [#kdf4cbcd]
&ref(P1000236.JPG);
** 自然変換と関手の合成 [#lee85190]
&ref(P1000237.JPG);
** 自然変換同士の合成 [#y6d1bf72]
&ref(P1000239.JPG);
どこがverticalなのかよくわかりませんでした。

* 次回の予定 [#ia8dc29c]
- 日時: 2008年05月15日(木) 17:30 〜 19:00
- 場所: 名古屋大学 IB 電子情報館　南棟 551
([[大学MAP:http://www.nagoya-u.ac.jp/camp/map_higashiyama/higashiyama_all.html]]の65番の建物)
- 内容(予定)
-- π計算で考える型安全な並行・分散プログラミング



#comment