« 2006年8月27日 - 2006年9月2日 | トップページ | 2006年9月10日 - 2006年9月16日 »

2006年9月 7日 (木)

コンピュータ定理証明における弁証法 − 私が作りたいシステム

コンピュータ定理証明


コンピュータ上での定理証明は、整えられた環境でコンピュータにガイドされながら、特殊なプログラムを書く作業であると言っていい。そのプログラムが実行されると、入力物である真偽不明であった命題が、真なる定理として型付けされ出力されるのだ。

続きを読む "コンピュータ定理証明における弁証法 − 私が作りたいシステム"

2006-09-07 17:29:34 (JST) in プログラム・ウィッシュリスト, 情報工学・コンピュータ科学, 論理学 | | コメント (2) | トラックバック (2)

2006年9月 4日 (月)

あれっ?Cygwin の ImageMagick がウンともスンともいいやがらねぇ

7月1日にフィギュア写真をアップしているけど、このときサムネイルを作るのに、ImageMagick の convert と identify を使っているので、その日までは少なくとも使えていた。

それが今日フィギュア写真をアップロードしようとすると、サムネイルができねぇ!

続きを読む "あれっ?Cygwin の ImageMagick がウンともスンともいいやがらねぇ"

2006-09-04 19:04:53 (JST) in 情報工学・コンピュータ科学, 近況 | | コメント (1) | トラックバック (0)

バンダイ ソフビ 変身忍者 嵐 & X 星人 2005

嵐とX星人 1 嵐とX星人 2


嵐とX星人 3

バンダイ ソフビ魂 Volume 18 変身忍者 嵐 とバンダイ ムービーモンスターシリーズ X 星人 2005 です。嵐はそれなりのおトシの方だとご存じでしょう。X 星人は 2004 年 12 月公開のゴジラ FINAL WARS という映画にチラッと X 星人の本性として映っただけのもののようです。高さはどちらも 18 cm ぐらいです。

以前にも書いた通り、X 星人はただカッコ良いのに安かったので買った物です。

普段はヒーロー物のソフビはボテッとした感じがいやで買わないのですが、この嵐は逆にそれがマスクの非人間的なカッコ良さを際立たせていたように感じ、安いこともあって買ってしまいました。

背景は GIMP の実験も兼ねてイロイロやったのでぐじゃぐじゃです。元は Winamp の MilkDrop プラグインを WinShot したものや、自分で撮った部屋や物体や風景の写真などです。
更新: 2006-09-04
初公開: 2006年09月04日 18:57:05
最新版: 2006年09月04日 18:57:05

2006-09-04 18:57:03 (JST) in フィギュア写真 | | コメント (1) | トラックバック (2)