場所など †

  • 日時：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 774件 [詳細] fileP1000237.JPG 801件 [詳細] fileP1000236.JPG 802件 [詳細]
トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2008-09-23 (火) 22:07:32 (5694d)