2002-05-30 [長年日記]
λ. だるい。
λ. 数学と論理
去年やらなかった話としては、M.V.Glivenkoの定理の話があった。これは古典論理の定理に二重否定(¬¬)を付けてやると直観主義論理の定理になるという話。つまりは、古典論理を直観主義論理に「埋め込む」事が出来る。
λ. ストック経済論
株価のファンダメンタルズ理論の基礎。まあ常識でしょ。
λ. アルゴリズム論
教職を首になる三つのアルゴリズム
- 入試情報を洩らす
- セクハラ
- 論文の剽窃
メフィストフェレスの円舞曲おもろい。
BNFは数学的な意味でのNormal Formでないらしい。ところで、Chomsky標準形やGreibach標準形はNormal Formなのかな?
[ツッコミを入れる]
