2007-02-01から1ヶ月間の記事一覧

ゲーデルの哲学

相対性理論と不確定性原理と不完全性定理。 相対性理論と不確定性原理は中高生だったころにはまったのである程度知っていた。 不完全性定理についての本を読むのは初めて。 「わたしは証明可能ではない」っていわれたら困ってしまう、ってことでいいのか。 …

とにかく使わないと

覚えられない。日常的に書かないとネイティブにはならない。 小さくてもいいからとにかく書く、と心に決めた。(明日あっさり忘れることも十分ありえる) (defun makeArg(prefix c) (cond *1 "\"" (makeArg prefix (- c 1)))))) (makeArg "data.1." 10)