トップ
新規
単語検索
ヘルプ
活動記録/20080501
をテンプレートにして作成
開始行:
* 場所など [#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...
- 内容(予定)
-- π計算で考える型安全な並行・分散プログラミング
- 何故verticalなのかは、このテキストには出てこない自然変...
終了行:
* 場所など [#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...
- 内容(予定)
-- π計算で考える型安全な並行・分散プログラミング
- 何故verticalなのかは、このテキストには出てこない自然変...
ページ名: