2008-09-04
■背理法ってば……
数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)
- 作者: 結城 浩
- 出版社/メーカー: SBクリエイティブ
- 発売: 2008-07-30
- ASIN: 4797345268
- メディア: 単行本
背理法というそのものずばりの章があるのだけど、背理法がなぜ証明になるのか? までは書いてない。
その辺で色々考えていて色々落ち着かなかったのだけどふと今日思いついた。
背理法は実は「命題を証明している」というよりも「公理系に(今のところ)矛盾を起こさない命題らしい」と示しているだけではないのか?
命題Aに対して、Aの否定を仮定すると矛盾を起こす。ゆえにAは真
で証明、となるのだけど、実は、
とりあえず「Aは真」だとしておくか。公理系から「Aが偽」が直接証明されてしまったら公理系に矛盾を起こしちゃうけど……
ということなのではないか、とか今日ふと思ったり。
2008-09-03
■精霊の守り人 3
最後のページに強力なトラップが!!
- 作者: 藤原 カムイ,上橋 菜穂子
- 出版社/メーカー: スクウェア・エニックス
- 発売: 2008-08-22
- ASIN: 4757523564
- メディア: コミック
戦闘において「目に見えない爪」を描くってのは難しいね。小説では緊張感みなぎっていたシーンだったけど……。
発動したトラップはこれ。
- 作者: 藤原 カムイ,上橋 菜穂子
- 出版社/メーカー: スクウェア・エニックス
- 発売: 2008-09-25
- ASIN: 4757523823
- メディア: コミック
■クロサギ 20
「新クロサギ」への橋渡しとしては、十分に濃くて、面白い内容だった。
とりあえずの幕引きとしてはなかなか。
- 作者: 黒丸,夏原 武
- 出版社/メーカー: 小学館
- 発売: 2008-09-03
- ASIN: 409151376X
- メディア: コミック
最終話は見応えがあった。
黒崎も棺桶に片足つっこんでまでがんばったのに、爺には遠く届かない。
自分の力の無さだけを胸に、自分の家──というか、当人にとってはただの寝床なんだろうけど──へ帰る。
それでも、彼は今まで通り進むしかない。
と強い印象を残して「新クロサギ」に続く。
■ acer の aspire one 吶喊した
まぁ、納得のキーボード。これなら親指シフトもなんとか。タッチパッドの狭さとボタンの位置は、キーボードの大きさと引き替えということで……。
不満というか、あきらかにおかしいでしょ? というのが、
この電源ケーブルの太さと長さ。ACアダプタ自体決して小型ではない*1のにこのケーブルがイタイ。
性能は、4年前の春モデルA4ノートブック(PentiumM 1.5GHz, CD/DVDドライブ外して1.6kg)とベンチマークを比較すると、CPU性能が少し劣るぐらいで、これはまぁ想定内。
メモリアクセスやHDDアクセス、グラフィクス*2は若干よい。やっぱりチップセットがものをいうか。
画素数が1024x768から1024x600に落ちたけど、代替えとしては充分かと。
■地球最後の男 一応読了
特に新版(asin:4150411557)でも不都合はない。……最後の1行を除いて。
地球最後の男 (ハヤカワ文庫 NV 151 モダンホラー・セレクション)
- 作者: リチャード・マシスン
- 出版社/メーカー: 早川書房
- 発売: 1977-09
- ASIN: 4150401519
- メディア: 文庫
出てくる「人」はたった一人なので、ほとんどの文で主語を省略しても意味が通じる。でも旧版はその辺を省略しないでいるのでちょっと分量が多くなっている。
あと、やはり、「古い訳文っぽい」感覚はどうしようもない。
でも「恐怖譚らしさ」というのは、時としてそういう雰囲気から出てくるもので、(新版にはついぞ感じなかった)「これは恐怖譚なんだ」という感覚がよかった。
まぁ、新版が出るずっと前にそれなりの値段で買ったものなので読まずにおくのは惜しかっただけという──。
2008-09-02
■ my favorites を曝書してみる
自分でも何をセットしているか分からなくなったから。
- 出版社/メーカー: エピックレコードジャパン
- 発売: 2004-09-23
- ASIN: B000ALMUQG
- メディア: CD
ブルース・ブラザース 25周年アニバーサリースペシャル・エディション [DVD]
- 監督: ジョン・ランディス
- 出演: ジョン・ベルーシ,ダン・エイクロイド,キャリー・フィッシャー,ジェームズ・ブラウン,キャブ・キャロウェイ
- 出版社/メーカー: ユニバーサル・ピクチャーズ・ジャパン
- ASIN: B000BIX85U
- 発売: 2005-12-23
- 出版社/メーカー: イーストウエスト・ジャパン
- 発売: 1998-06-13
- ASIN: B0000561ZS
- メディア: CD
- 監督: ハーク・ハーヴェイ
- 出演: キャンディス・ヒリゴス
- 出版社/メーカー: エプコット
- ASIN: B00092QWRE
- 発売: 2005-05-27
ザ・チャイルド~フー・キャン・キル・ア・チャイルド?~ [DVD]
- 監督: ナルシソ・イパニエス・セラドール
- 出演: ルイス・ファインダー,プルネラ・ランサム
- 出版社/メーカー: 日本コロムビア
- ASIN: B00005MFQL
- 発売: 2001-08-18
オイラーの贈物―人類の至宝eiπ=-1を学ぶ (ちくま学芸文庫)
- 作者: 吉田 武
- 出版社/メーカー: 筑摩書房
- 発売: 2001-11
- ASIN: 4480086757
- メディア: 文庫
ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版
- 作者: ダグラス・R. ホフスタッター
- 出版社/メーカー: 白揚社
- 発売: 2005-10-01
- ASIN: 4826901259
- メディア: 単行本
serial experiments lain TV-BOX [DVD]
- 監督: 中村隆太郎
- 出演: 清水香里,大林隆之介,五十嵐麗,川澄綾子
- 出版社/メーカー: ジェネオン エンタテインメント
- ASIN: B000ALF6U8
- 発売: 2005-09-22
- 作者: 小中 千昭
- 出版社/メーカー: ソニーマガジンズ
- 発売: 1998-11
- ASIN: 4789713202
- メディア: 単行本
- 出版社/メーカー: ポリスター
- 発売: 1999-04-28
- ASIN: B000056UVL
- メディア: CD
- 作者: ダグラス・R. ホフスタッター
- 出版社/メーカー: 白揚社
- 発売: 2005-10-01
- ASIN: 4826901267
- メディア: 単行本
- 作者: 結城 浩
- 出版社/メーカー: SBクリエイティブ
- 発売: 2007-06-27
- ASIN: 4797341378
- メディア: 単行本
yoshitoshi ABe lain illustrations
- 作者: 安倍 吉俊
- 出版社/メーカー: ワニマガジン社
- 発売: 2005-09-05
- ASIN: 4898294871
- メディア: 大型本
- 監督: ナルシソ・イバニエス・セラドール
- 出演: ルイス・フィアンダー,プルネラ・ランサム
- 出版社/メーカー: 株式会社スティングレイ
- ASIN: B0016AJOZU
- 発売: 2008-03-20
数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)
- 作者: 結城 浩
- 出版社/メーカー: SBクリエイティブ
- 発売: 2008-07-30
- ASIN: 4797345268
- メディア: 単行本
ふむ。ザ・チャイルド(30周年記念版じゃない方)と、恐怖の足跡は消しておこうか。
■ハエは後ろから叩く
後ろから、ハエの前の空間あたりを意識して叩くといい、というのが経験則。
でもハエたたきなんて実家に行ったときぐらいしかやらないなぁ。
「判明」というタイトルはどうかと思った。「分析して推測した」が内容的には正しいので。
これは科学関係の記事全般に言えることだけど。
■中国の剰余定理!!
実際に割り算をしないで１７で割った余りをできるだけ簡単に求められる方法を教えてください。
http://q.hatena.ne.jp/1220144451
の回答、
習った! 確かに習った。もう忘れてるし、習った時は「中国人の剰余定理」と呼ばれてたけど。
えーと。後で内容は確認しておこう。
2008-09-01
■ DSのタッチペン
子どもにDSを貸しているとDタッチペンをしまうところが緩くなって、ペンが落ちそうになってしまいます。
なんとかできないものでしょうか。
■ボディ・スナッチャー/恐怖の街
ずいぶん前に買ったのに観ていなかった。
- 監督: ドン・シーゲル
- 出演: ケビン・マッカーシー,ダナ・ウィンター,キャロリン・ジョーンズ
- 出版社/メーカー: カルチュア・パブリッシャーズ
- ASIN: B00005G0IP
- 発売: 1998-01-25
かなりの部分、フィニィの原作(asin:4150116369)に忠実。
面白い。面白いけど、これはエンディングが付け足されたバージョンか。
You are next!!
と、ハイウェイで叫んでいるシーンで本当は終わり……だったんだよね?
うーん。ペシミスティックなエンディングも嫌いじゃないけど、さすがにあそこで終わってしまうとちょっと気分が悪いかな。
蛇足気味であっても最後のシーンクェンスは付け足してよかったんじゃないだろうか。すくなくとも、そのおかげで傑作が駄作になった、みたいなひどい改変ではないと思う。
フィニィの原作を読んだ時のエントリ
あぁ、「インベイション」はきっと観ないんだろうな。
■アイ・アム・レジェンド 読了
映画版(「地球最後の男」のこと)が、原作にかなり忠実だったのですんなりと読めた。
- 作者: リチャード・マシスン
- 出版社/メーカー: 早川書房
- 発売: 2007-11-08
- ASIN: 4150411557
- メディア: 文庫
映画版の終わり方がちょっとドタバタしすぎだなぁ、と感じていたのだけど原作は静かな進み方で、ちゃんと状況を考えさせる時間をくれる。
原作の方がいいな。(考えさせる時間を読者から完全に奪って、読者を置いてきぼりにすることで恐怖を与えるのが「あれ」だ)
よし、次は、
地球最後の男 (ハヤカワ文庫 NV 151 モダンホラー・セレクション)
- 作者: リチャード・マシスン
- 出版社/メーカー: 早川書房
- 発売: 1977-09
- ASIN: 4150401519
- メディア: 文庫
を読むぞー。って同じ話じゃん!!(正確には、持っているのはISBNが印刷されていない asin:B000J8U2ME の方なのだけど)
■古書
ちなみに、もう一つ古い版の、
地球最後の男―人類SOS (1971年) (ハヤカワ・ノヴェルズ)
- 作者: リチャード・マシスン
- 出版社/メーカー: 早川書房
- 発売: 1971
- ASIN: B000J94SBY
- メディア: 単行本
は完全に古書だね。
最初の翻訳の「吸血鬼」に至ってはAmazonには目録がないみたいだ。
2008-08-30
■時砂の王 読了
さて次は何を読もうかと本棚の中の未読棚を眺めていて、これがあることに気がついた。つい先日読んだ「フリーランチの時代」の人の長編。
買ったっけ? と訝りながらも、これはタイミング的にも今読むべきだなと思って手に取った。
- 作者: 小川 一水
- 出版社/メーカー: 早川書房
- 発売: 2007-10-01
- ASIN: 4150309043
- メディア: 文庫
時間もので、分裂的平行世界もの。
「敵」との戦いに勝ち目が無いことがはっきりしてきたために、過去に遡っての殲滅線という手段を決意する人類。(ただし救えるのは別の時間線の世界なのだが)
過去へ過去へと遡り戦いを続ける部隊。
だがその戦いも実り少なく、最終決戦の時間線を設定し全線力をそこに集結しようというとき、そこから離脱して短い間隔での時間遡航を繰り返して連戦を決意する主人公。
A.D.248年の日本列島から話は始まる。章名にはStage448と銘打たれている。
で。
号泣した。
「ある日」は「唐突」にやってくる
「伏線」など張るひまもなく、
「説得力」のある破壊なんてあるものか。
とは、藤子・F・不二雄の短編「ある日…」の台詞であるが、その通り不意打ちをくらってしまった。
あー。泣いた泣いた。
細かな伏線などかあるわけではなくて、長編1つとそれに挟み込まれるような形の短編を読んだような感覚。(A.D.248年がメインになっていて、その間に、「敵」との遭遇(Stage001)から始まって、時間遡航しての戦いを段階的に挟んでいる構成)
そのためもあってか、楽しく一気に読めた。
そしてガツンと、やられたのだ。