第三十七回圏論勉強会
2008-2-10(日) びぎねっと トレーニングルーム 13:00〜18:00 の予定
モニタ
---------
shelarcy 日下部
+-----------------+
| | |ホワイトボード
+-----------------+
酒井 穗苅 今井
写真(仮) : 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
+-----------------+
| | |ホワイトボード
+-----------------+
青谷 酒井 今井
写真(仮) : 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
- Just は natural transformation (板書上)
- maybeToList, ListToMaybeの自然性の証明
- 5.3 Composing transformations and functors
- 5.3.3 Proof
- "vertical" composition
- vertical vs horizontal (板書)
2次会
- はてなの「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
+-----------------+
| | |ホワイトボード
+-----------------+
酒井 穗苅 日下部
雑談
"The Haskell Programmer's Guide to the IO Monad ― Don't Panic" Section 6.3 "An alternative definition of the monad"より
二次会
Last modified : 2008/08/19 21:29:26 JST