トップ
新規
単語検索
ヘルプ
活動記録/20080501
のバックアップ(No.3)
バックアップ一覧
差分
を表示
現在との差分
を表示
ソース
を表示
活動記録/20080501
へ行く。
1 (2008-05-02 (金) 11:58:52)
2 (2008-05-02 (金) 12:03:05)
3 (2008-08-18 (月) 22:09:31)
場所など
†
日時:2008年4月18日 17:30-
場所:名古屋大 IB南棟562
↑
内容
†
オリジナル ocaml.jp 名刺 配布!!
Don't Panic 第三回
↑
自然変換を三次元的に描いてみた
†
↑
自然変換と関手の合成
†
↑
自然変換同士の合成
†
どこがverticalなのかよくわかりませんでした。
↑
次回の予定
†
日時: 2008年05月15日(木) 17:30 〜 19:00
場所: 名古屋大学 IB 電子情報館 南棟 551 (
大学MAP
の65番の建物)
内容(予定)
π計算で考える型安全な並行・分散プログラミング
何故verticalなのかは、このテキストには出てこない自然変換のhorizontalな合成を知らないと、わかりにくいかと思います。
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080818#p01
に簡単な説明を書いてみました。 --
さかい
?
2008-08-18 (月) 22:09:31
お名前: