活動記録/20080501 のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 活動記録/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番の建物)
• 内容(予定)
  • π計算で考える型安全な並行・分散プログラミング