哲学

理系は哲学を必須にするべきである

http://journal.mycom.co.jp/news/2007/12/27/009/index.html なぜなら哲学は物の見方、考え方の根源を追求するものだから。

モナド→圏論→ブルバキ数学→構造主義

数年前、構造主義に凝っていた(?)ことがあるが、そのとき、ブルバキ数学と圏論というのが 出てきた。未だに深い意味は知らないが、それが、最近Haskellの出てくるモナドも圏論の 中の概念であることを知って、不思議な因縁を感じた。 モナドは、Haskellの中…

新たなパラドックス?

今日はエイプリールフールである。それにちなんで。 「俺はいつも嘘ばっかりついているから、今日ぐらいは正直でいよう。」 あー、ややこしい。