2005-02-17 [長年日記]
λ. OCaml入門 (1): 複数のパラメータを持つ型
複数のパラメータを持つ型の例があまり見当たらず、どう書くのかしばらく悩んだ。type 'a 'b hoge = Hoge of 'a -> 'b ではなく、type ('a, 'b) hoge = Hoge of 'a -> 'b と書く。
調子に乗って、generalized rose tree のデータ型を定義しようと type ('f,'a) grose = GBranch of ((('f,'a) grose) 'f) と書いたら、これはエラーになってしまった。型構築子をパラメータにすることは出来ないのかな。それとも文法的な問題なのかなぁ……
![\xymatrix@!{
\mbox{KTB} \ar[rr]
& & \mbox{S5}
\\
& \mbox{KT} \ar[ul]\ar[rr]
& & \mbox{S4} \ar[ul]
\\
\mbox{KDB} \ar[uu]
\\
& \mbox{KD} \ar[ul]\ar[rr] \ar[uu]
& & \mbox{KD4} \ar[uu]
\\
\mbox{KB} \ar'[r][rr] \ar[uu]
& & \mbox{KB4} \ar'[u]'[uuu][uuuu]
\\
& K \ar[rr]\ar[ul] \ar[uu]
& & \mbox{K4} \ar[ul] \ar[uu]
}](tex/ef42b272f6148c4d369de8343d3414ad.png "\xymatrix@!{
\mbox{KTB} \ar[rr]
& & \mbox{S5}
\\
& \mbox{KT} \ar[ul]\ar[rr]
& & \mbox{S4} \ar[ul]
\\
\mbox{KDB} \ar[uu]
\\
& \mbox{KD} \ar[ul]\ar[rr] \ar[uu]
& & \mbox{KD4} \ar[uu]
\\
\mbox{KB} \ar'[r][rr] \ar[uu]
& & \mbox{KB4} \ar'[u]'[uuu][uuuu]
\\
& K \ar[rr]\ar[ul] \ar[uu]
& & \mbox{K4} \ar[ul] \ar[uu]
}")
λ. Announce: 圏論勉強会(第四回)
今度の土曜は圏論勉強会の四回目ですよん。今回は Session 5 から。
- 日時
- 2005年2月19日(土曜) 13:00〜
- 場所
- タイムインターメディア様 2階会議室 (地図)
- テキスト
- Conceptual Mathematics: A First Introduction to Categories
λ. 『数学の限界』, G.J.チャイティン(Gregory J. Chaitin) 著, 黒川利明 訳
を読んだ。セクシーな数学よりも具体的で分かりやすかった。まだちょっとしっくりこないところもあるけど。
[ツッコミを入れる]
