トップ «前の日記(2005-02-16) 最新 次の日記(2005-02-18)» 月表示 編集

日々の流転


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) と書いたら、これはエラーになってしまった。型構築子をパラメータにすることは出来ないのかな。それとも文法的な問題なのかなぁ……

Tags: ocaml

λ. texdiary

を試してみる。池上さんの真似をしてpstoimgの代わりにconvertを使用。もちろん、Xy-picも使えるようにしとく。

テスト:

\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]
}

Tags: tDiary

λ. Announce: 圏論勉強会(第四回)

今度の土曜は圏論勉強会の四回目ですよん。今回は Session 5 から。

日時
2005年2月19日(土曜) 13:00〜
場所
タイムインターメディア様 2階会議室 (地図)
テキスト
Conceptual Mathematics: A First Introduction to Categories
Tags: 圏論

λ. 『数学の限界』, G.J.チャイティン(Gregory J. Chaitin) 著, 黒川利明 訳

を読んだ。セクシーな数学よりも具体的で分かりやすかった。まだちょっとしっくりこないところもあるけど。

Tags: