ネットサーフィンしてこんなブログ書く暇があったら宇宙科学勉強しろ >僕 - ほんと集中力ないよなあ。もっと何とかしないと。 レッチリ聴いたことなかったけどいいわー デスノートの影響でsnowを聴いてる でもやっぱミスチルもいいなあ

眠さで口調がいつもと違うが気にしない。 ゲンツェンシステムがパない。最初は意味不明だったが、ちょっとづつ慣れてきたらなんだかすごいものに触っているのがわかってきた。推論の各ステップで論理記号の数が減らない*1から、増やしたり減らしたりやってみ…

論理というものがどうして成立しているのか、実は未だによくわからない。 小さい頃、僕らのいるこの宇宙とは違う論理体系を持った宇宙ってものが存在するのかなーとか考えていたことがある。 例えば3段論法。「AならばB」、かつ「BならばC」、であれば「Aな…

NetHackは英語版日本語版両方入れて気分しだいでどっちかをプレイしている。序盤、いろいろ未識別の薬が手に入ったのでとりあえず発泡している薬を飲む。直後。 You feel a little strange. Your new form doesn't seem healthy enough to survive. ええええ…

andLinuxに付属しているXmingだとGeoviewなどのOpenGLを使うソフトはうまく動作しない。ので、OpenGL互換のmesa付きのXmingを公式ページからもらってくる必要がある。 Xming-mesa-6-9-0-31-setup.exeをダウンロード、インストールする。タスクマネージャなど…

MaximaはMathematicaみたいなフリーの数式処理ソフト。何気に高機能みたい。 グラフを出すにはgnuplot-x11が必要。 数式がTeXで出力されてきれいなのでhttp://windom.phys.hirosaki-u.ac.jp/~kasai/d/wiki.cgi?page=Maxima%A4%CE%A5%A4%A5%F3%A5%B9%A5%C8%A1…

xyzzyで何かを書くとき全角のスペースをインデント代わりによく使うのだけども、これをxyzzyはインデントとして認識せず手助けしてくれない。そこで。 lisp/cmds.lの (defun indent-relative () (interactive "*") (delete-horizontal-spaces) (indent-to (s…

だるひだるひー dürch dürchー - だるい、超だるい（ターミネーターのリズムで） だるい、超だるい（ターミネーターのリズムで） どうにもこうにもだるい。うーむ。

http://mainichi.jp/select/science/news/20090109k0000e040020000c.html mjsk

http://business.nikkeibp.co.jp/article/manage/20081226/181406/ 超感動した。ノーベル賞の舞台裏はそんなに大変なことになっていたのか。南部博士って本当に頭がいいんだなあ。こういう物理屋気質の茶目っ気が僕は大好きだ。ファインマンも随分ないたずら…

http://www.asahi.com/science/update/0105/TKY200901050126.html mjsk

という見出しをつけておきつつ一番はっとしたのは南部さんのメッセージ、論語の「学びて思わざれば則ち罔し、思いて学ばざれば則ち殆うし」。 あーこれだな。座右の銘にし直そう。 そのうち気が向いたら論語読んでみるか。

上に物が載っている状態でその土台をいじれば不安定なことぐらいわかるだろうに。APIが信頼できないプラットフォームで開発なんてできるわけがなかろうが。

体を冷やして頭が痛い。

割と慎重に進んでいて、アイテムの引きもよくなかなか順調だと思っていたら、コカトリスとかいうモンスターを倒して、その死体を拾い上げようとした瞬間に「コカトリスの死体に触れるのは致命的な間違いだ…」って言われ、そして私は石になった。…え？終わり…

電磁気の範囲を一通り理解 記号論理学をざっと見る 15階位(NetHack) こんなもんか