ゲーデルの神の存在証明に関する記事を読んだので、考察してみる。 ほとんど言葉遊びだと思う。簡単な紹介はこうなっている。 God, by definition, is that than which a greater cannot be thought. God exists in the understanding. If God exists in the…

今更ながら、卒論で作ったC++プログラムをdoxygenでドキュメント化した。doxygenのインストールはここから。 メインプログラムに@mainpageを書いて、指示通りにやれば、構造解析してくれる。卒論でメインに使ったプログラムは公開するわけにいかないので、 M…