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"

http://stefan-klinger.de/

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の例
- pair
- power set
4.3
- HaskellでのList Char、Maybe Charの例
  - 写真なし。
4.3.1 Maybe、ListがFunctorになっている事の証明
- Maybe
- List

Chapter 5 "Natural Transformation"

5.2 Natural transformation in Haskell
- Just は natural transformation (板書上)
- maybeToList, ListToMaybeの自然性の証明
  - maybeToList (板書下、解答)
  - listToMaybe (解答、解答続き)

5.3 Composing transformations and functors
- 5.3.3 Proof
  - 図式で書いてみた
    - PartI
    - PartII
- "vertical" composition
  - vertical vs horizontal (板書)

2次会

はてなの「Haskell」を含む日記をいろいろと読んでいる
- あのへんで色々とつっこみたいことはあるんだけれど……
  - MaybeT が処理系についてきていないのはなぜ？
    - mtl は Mark P. Jones の論文に書かれているモナド変換子を提供するためのライブラリだからじゃないかな？
      - (2008/03/12 00:07:52 JST: MaybeT の例も出ていました……。mtl で提供するモナドのモナド変換子しか提供していない感じでしょうか？)
      - 加えれば良いじゃん。
      - 昔と違って新しくライブラリに加えるには Proposal が必要になったので、ちょっと面倒
        純粋関数の場合には QuickCheck、そうでない場合には HUnit によるテストが必要
    - 実は GHC の実装には MaybeT が使われている（ただし Current のみ）
- つっこめば良いじゃん
- そのうち連載（本物のプログラマはHaskellを使う）で書けば、それで良いかなとも思って。

第三十九回圏論勉強会

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で参加

雑談

将来の GHC では impredicative polymorphism の実装が変わるかも

"The Haskell Programmer's Guide to the IO Monad ― Don't Panic" Section 6.3 "An alternative definition of the monad"より

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

二次会

GC の話
- Python
  - Reference Count。論外らしい
- GHC
  - incremental GC はまだ入ってない
    - 比較的安価に実装できるはず
    - Parallel GC が GHC 6.10 に入る予定なので、単に優先順位の問題？

Last modified : 2008/08/19 21:29:26 JST