Old/sampou.org/CategoryTheory_圏論勉強会_TheHaskellProgrammersGuideToTheIOMonad

CategoryTheory_圏論勉強会_TheHaskellProgrammersGuideToTheIOMonad

CategoryTheory:圏論勉強会:TheHaskellProgrammersGuideToTheIOMonad

第三十七回圏論勉強会

2008-2-10(日) びぎねっと トレーニングルーム 13:00〜18:00 の予定

       モニタ
      ---------
  shelarcy  日下部
 +-----------------+
 |                 |  |ホワイトボード
 +-----------------+
  酒井 穗苅 今井
  • 久井さんはSkypeで参加

写真（仮） : http://picasaweb.google.co.jp/takeo.bono/Kenron080210

写真（ミラー）：http://www.tom.sfc.keio.ac.jp/~sakai/d/data/200802/ct/

“Categories, Types and Structures” Section 2.4.1.3

はやめました。

“The Haskell Programmer’s Guide to the IO Monad — Don’t Panic”

Preface, Chapter 1, Chapter 2

は前置き。

Chapter 3 Categories

第三十八回圏論勉強会

2008-3-9(日) びぎねっと トレーニングルーム 13:00〜18:00 の予定

       モニタ
      ---------
  日下部 shelarcy
 +-----------------+
 |                 |  |ホワイトボード
 +-----------------+
  青谷 酒井 今井
  • 久井さんはSkypeで参加

写真（仮） : http://picasaweb.google.co.jp/takeo.bono/Kenron080309

写真（ミラー）： http://www.tom.sfc.keio.ac.jp/~sakai/d/data/200803/ct/

“The Haskell Programmer’s Guide to the IO Monad — Don’t Panic”

Chapter 4 “Functor”

  • 4.1.6
    • identity が Functor になる証明 解答
      • 記法に混乱が見られますが気にしないでください
    • GFがFunctorになる証明 解答
  • 4.2 Functorの例
  • 4.3
    • HaskellでのList Char、Maybe Charの例
      • 写真なし。
  • 4.3.1 Maybe、ListがFunctorになっている事の証明

Chapter 5 “Natural Transformation”

  • 5.2 Natural transformation in Haskell
  • 5.3 Composing transformations and functors
    • 5.3.3 Proof
    • “vertical” composition
      • vertical vs horizontal (板書)

2次会

第三十九回圏論勉強会

2008-4-12(土) びぎねっと トレーニングルーム 13:00〜18:30?

       モニタ
      ---------
  shelarcy 今井
 +-----------------+
 |                 |  |ホワイトボード
 +-----------------+
  酒井     檜山

雑談

  • coarbitrary の co-について作者に聞きました
    • variant と co-variant の関係と同じものとして名づけた
    • ただし、co-variant は variant の双対でもあるので、co-arbitrary の co- が双対を意味するというのも正しい、とのこと。
      • その意味における（co-variant と双対な意味を持つ）variant って何よ？

“The Haskell Programmer’s Guide to the IO Monad — Don’t Panic”

Chapter 6 “Monad”より

二次会

  • 色々とマンガの話
    • カイジ
  • ゲシュタルト崩壊
    • 発端： 漫画に出てくる女刺客「あざみ」「あずみ？」「そういえばあずみだったような気が？」「あれ、本当にあずみだったっけ？」「わだち？（次の『わだちべにおふめん』に続く）」喧々諤々。（これはゲシュタルト崩壊とは違うが繰り返せば繰り返すほど混乱する過程は似ている）
  • たほいや
    • わだちべにおふめん
  • 鳥居みゆき
  • エクストリーム聖火リレー
    • 「大東亜戦争への道」中村 粲 (著)
  • 継続
  • org をなんて読むか

第四十回圏論勉強会

2008-5-11(日) びぎねっと トレーニングルーム 13:00〜17:50

       モニタ
      ---------
  shelarcy    DekuDekuplex
 +-----------------+
 |                 |  |ホワイトボード
 +-----------------+
  酒井 穗苅 日下部
  • 久井さんはSkypeで参加

雑談

“The Haskell Programmer’s Guide to the IO Monad — Don’t Panic”

Section 6.3 “An alternative definition of the monad”より

  • 今回で終了
    • 次は何を読む？

二次会

Last modified : 2011/06/30 04:42:33 JST