日々の流転

λ. 今日の向井研

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

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

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

λ. 夕食

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

λ. jot

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

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

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

λ. Strong Categorical Datatypes I

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