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

日々の流転


2002-05-30 [長年日記]

λ. だるい。

λ. 数学と論理

去年やらなかった話としては、M.V.Glivenkoの定理の話があった。これは古典論理の定理に二重否定(¬¬)を付けてやると直観主義論理の定理になるという話。つまりは、古典論理を直観主義論理に「埋め込む」事が出来る。

Tags: logic

λ. ストック経済論

株価のファンダメンタルズ理論の基礎。まあ常識でしょ。

λ. アルゴリズム論

教職を首になる三つのアルゴリズム

  1. 入試情報を洩らす
  2. セクハラ
  3. 論文の剽窃

メフィストフェレスの円舞曲おもろい。

BNFは数学的な意味でのNormal Formでないらしい。ところで、Chomsky標準形やGreibach標準形はNormal Formなのかな?