トップ «前の日記(2002-10-03) 最新 次の日記(2002-10-05)» 月表示 編集

日々の流転


2002-10-04 [長年日記]

λ. 今日の向井研

ようやく、ガロア理論の嬉しさみたいなのが見えてきたような気がする。

科学哲学について語るなら、せめてポパーやクーンくらいは知っていて欲しいのですよ。

片山さんに「素性構造は語に対するメタデータで、どうせならRDFに変換して、ほげほげ〜」とか、いい加減で無責任な事を言って悪の道に誘ってみる。でも、オントロジーのマージと素性構造のユニフィケーションってちょっと関係ありそうじゃない?

Tags: 向井研

λ. 夕食

向井研の何人かでデニーズへ。

λ. jot

そんなコマンドがあったなんて全然知らなかった。

でも「for i in {001..010}; echo $i」でいいじゃんという気もする。(zsh限定?)

あ、jotは乱数も作れるのか。なるほど。

λ. Strong Categorical Datatypes I

strongってどういう事を指してるのかなと思って見てみたが、2-categoryとかfibrationとかは良く分からなかった。

Tags: 論文 圏論