場所など †

  • 日時:2008年4月18日 17:30-
  • 場所:名古屋大 IB南棟562

内容 †

  • オリジナル ocaml.jp 名刺 配布!!
  • Don't Panic 第三回

自然変換を三次元的に描いてみた †

P1000236.JPG

自然変換と関手の合成 †

P1000237.JPG

自然変換同士の合成 †

P1000239.JPG どこが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


添付ファイル: fileP1000239.JPG 666件 [詳細] fileP1000237.JPG 698件 [詳細] fileP1000236.JPG 687件 [詳細]
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2008-09-23 (火) 22:07:32 (4410d)