* 場所など [#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番の建物) - 内容(予定) -- π計算で考える型安全な並行・分散プログラミング - 何故verticalなのかは、このテキストには出てこない自然変換のhorizontalな合成を知らないと、わかりにくいかと思います。http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080818#p01 に簡単な説明を書いてみました。 -- [[さかい]] &new{2008-08-18 (月) 22:09:31}; - ouWsPEDQsTen -- [[aksvwz]] &new{2008-09-23 (火) 10:35:26}; - EFDVIrnFYKKJX -- [[lxbqwwr]] &new{2008-09-23 (火) 10:36:52}; #comment