徒然草 読了
思ったほどつれづれしてなかった。それなりに、いろんなことが気になって仕方無さそうな様子ではある。しかし、仏道修行と、伝統とは大事にしなくてはならないというポリシーが一貫している。
チボー家の人々 (2) 読了
人間、こういう風に気が変わるものなんだなぁ、と思うところが多数。
ページのリニューアル 続き
実は、この前のリニューアルの結果Internet Explorerではページが読めなくなっていたことに、指摘されて気づく。しかし、修正しようとしたところ、どうもサーバが動いていない様子。
http://y.20q.net/
「20の質問」サイト。雨粒を思い浮かべて質問に答えていったら、”A raindrop?”と聞かれた。すごいすごい。人工知能はこんなに進んでいるのか。まるごと和訳したらいいかも。
計算可能⇔帰納的
先週から、計算論 計算可能性とラムダ計算を使ってゼミをしているのだが、トータルで4時間くらいしか経っていないのに、自然数関数に関して上の命題が示せて、すごいなぁと思っている。左辺は、厳密には、Nプログラムで計算可能。
徒然草
徒然草を読みながらうたた寝していると、今も昔もなく、兼好さんの庵にいるような気分になった。
P=NP
今朝起きたとき、ふとP=NPを証明できたような気がした。NP問題をPに還元できる方法を考えたのだ。しかし、冷静になって30秒ほど考え直したら、どうしようもなく間違っていたことがわかった。
