皮肉な日々と心意気

■ OS 新規インストールしたくなる季節がやってきた

梅雨があけるころになると、必ず OS をクリーンインストールして環境を一から構築しなおしたくなる。別にエラーが出るとかしょっちゅう OS が固まるとかそういう不具合があるわけではなくて。一新したくなるだけ。

そんなの非効率的だから、そうしなくて済むように、NortonGhost でディスクイメージを取っているんだけど、そのイメージから復帰させることってほとんどない。ディスクをふさぐばかり。なんでそうなるかというと、ディスクイメージがどんどん枝分かれしていくからだなあ。つまり「あの試用したアプリA はなかったことにしたいけど、A をインストールした後に常用するアプリで設定変更した部分は取っておきたい」というようなことがしょっちゅうあるわけです。マージできればいいのに。

そしてクリーンインストールしたくなる季節というのは、いままで使ったことのなかったアプリケーションソフトをインストールしたくなる季節でもある。安定した環境を壊したくなくて試せなかったアプリのあれこれを入れてみるのだ。致命的な問題が発生したとしても、どうせ更地にして入れ直すことになるんだから、というわけ。だいたいクリーンインストール欲求というのもどうもマンネリ感から来てるような気がするので、新規アプリお試し欲求も同時に高まるのも道理。 というわけで、ずっと気になっていた Picasa2 を試してみた。感想は後日かも。

■ すっかり FEEDBRINGER 一辺倒

FEEDBRINGER が、かなり快適に使えるものだから、bloglines_blogroll プラグインを改善する意欲が失せちゃった。いっそすがすがしいまでの責任転嫁。

■ 姑獲鳥の夏

久遠寺涼子/梗子をやってるのが原田知世だということを、イン殺さん経由で辿ってはじめてしった！見ないわけにはいかない姑獲鳥の夏。

■ 名乗り出てください

ところで、どっかのボケ投稿サイトで、「今年の十大ニュース：水木しげる先生左手生える」という投稿をしたのは誰ですか？

いまだに夢に出てくるんですけど。

■ 刷新欲求エスカレート

あー、クライアントマシンのOS新規インストールどころか、LAN内サーバも構築し直したくなってきた。あまつさえ机とPCラックとサーバ室（押し入れ下段左）の整理と配置換えという、物理的再構築までもやりたくなってる。

あきらかに逃避だよなー。

■ Last.fmのリニューアルが完了したけど重い

• Last.fm
• 俺のページ

いつのまに、というかんじ。www.audioscrobbler.comもwww.last.fmに飛ぶようになったのね。マルチバイトのアーティスト名や曲名が、奇妙に切れるのも解消。

ものすっごく重いのはユーザが殺到しているから？これはdonationしたくなるなあー。

あ！プロフィールラジオが聴けなくなってる！と思ったらかんちがいで、専用のLast.fm Playerが必要なのか。いつもなら専用の.exeなんてイヤだなあと思うが、刷新欲求高まってるから即決断。ダウンロードしてみるがこれまた転送速度がおそいおそい。2.5KB/Secって。

インストールはとくに問題なし。最初の起動でUsernameとPasswordをいれてOKボタン。おや？Sign Upボタンがある。ここからもユーザ登録できるのか。

で、右上のStart Radioというリンクをクリックすると、ぽろりんと出てくるのが、このメニュー。

neighbour radioがいままでのプロフィールラジオ、(username)'s radioがパーソナルラジオかな。loved tracks radioはLast.fm playerでLove this trackしたものだけ、だろうか。プロフィールラジオでだらだら流れてくれれば俺はそれでいいので、深くは追求しないことにする。

ああ、donationじゃなくてUpgraded Accontということになってる。えーなになに、月$3/\350で得られる特典が、

• usernameが青くなる（以前の王冠とおなじ）
• friends/neighboursが今なにを聴いているか一覧できるページ
• いろんなラジオオプション
  • (username)'s radio（前述の通り以前のパーソナルラジオ。登録した音楽だけ流れる）
  • loved tracks radio（自分でLove this trackしたものだけではないようだ？？）
  • personal tag tadio（自分でつけたtagを指定して聴く？？）
• Discovery Mode（まだ聴いたことのない曲を優先して流すようにするモード）
• ストリーミングの優先権
• サイトの広告が消える
• リクエストキューの優先処理
• ほかにもいろいろあるぜ

とのこと。

Discovery Modeはいいかもしれないなあ。とりあえず３ヶ月ぶん払ってみた。

■ 雪色のカレイドスコープ

開発者の小林さんからアナウンス。

• お手軽テキストRPG「雪色のカレイドスコープ」 :小林Scrap Book

おもしろそうなので参加してみようっと。

■ 花火とスイカ

自宅に向かって車を走らせていたら、花火が見えました。今日は地元の花火大会だった。

家に着いたら、さいきん隣に引っ越してきたおばさんが小ぶりのスイカをくれました。一玉まるごと。

夏がまとめて襲来してきた感じ。

■ 寝取られカルノー図

参考。

• 恋人を「同性にとられる」「異性にとられる」どちらがマシ？

恋人を「年下にとられる」「年上にとられる」どちらがマシ？というのもなかなかに興味深い問題だと思います。夫が小娘と浮気するのと、ババアと浮気するのとどっちがマシか、激論を闘わせていた友人たち（女性）がいたなあ。

論理式で考えてみる

あなたは自分の恋人（もしくは配偶者）をある人物に奪われました。そのある人物を寝取り人と呼ぶことにしましょう。どんな寝取り人に恋人を奪われたとき、あなたはムカッとくるんでしょうか。考えてみましょう。 例としてわたしの場合を考えてみます。 わたし（男です）が許せない、と感じるであろうケースは、

1. 女性で年上
2. 女性で年下
3. 男性で年上

かと思います。なんとなく「年上の男性」に彼女が心奪われるのは仕方がないような気がしないでもない。

まずは基本的な命題にA,Bという名前をつけます。

命題A「寝取り人は、異性である」

参考URLで提示されている命題です。あなたが男性で、「あなたの恋人が、他の女にはしった」のならば、命題Aは真(true)です。「あなたの恋人が、男にはしった」のならば偽(false)。

命題B「寝取り人は、年上である」

寝取り人が男性で「あんなおっさんに取られた」ならば命題Bは真(true)、「あんな若造に取られた」ならば偽(false)。です。寝取り人が女性の場合「オバハン」がtrueで、「小娘」がfalse。

命題Aと命題Bを使って、さきほどの3種の寝取り人を論理式で表してみます。

1. A∧B
2. A∧(¬B)
3. (¬A)∧B

わたしが許せないと感じる寝取り人は、この3つの論理和（1．または2．または3．）がtrueになる場合、ということになります。つまり、

• (A∧B) ∨ (A∧(¬B)) ∨ ((¬A)∧B)

これを見て、「なるほど、こういう人物に寝取られたときにダメージを受けるのですね」と、すぐに判断できる人はなかなかいないと思います。この論理式をもっと単純化できないでしょうか。

カルノー図で考えてみる

ふたつの命題が取りうるすべての真偽の組み合わせは2かける2で4通りになります。これを2かける2で4つのマス目の図に示してみます。 そして、この4つのマス目のうち、「許せない」という場所にチェックマークを付けていくことにします。「こんなやつに寝取られるのは我慢ならん」というところをチェックするわけです。わたしの場合は下のようになりました。

チェックマークをつけたら、それをグループ化します。グループは、

• 1x1 のマス目
• 1x2 のマス目
• 1x4 か 2x2 のマス目
• 4x4 のマス目

のうち、できるだけ大きなグループから作っていきます。またグループは重なっていてもかまいません。

では、グループ化してみましょう。

すべてのチェックマークが囲まれたら、それぞれのグループを表す論理式を考えます。横に長いグループは、命題Aがtrueになる領域なので、Aと表せます。縦に長いグループは命題Bがfalseになる領域なので、¬Bと表せます。したがってチェックのついている領域全体を論理式で表すと、A∨(¬B)ということになります。

つまり、わたしの場合、「異性（女）に寝取られた」ときか、または「年下に寝取られた」ときに、ムカッとするということになります。最初の論理式(A∧B) ∨ (A∧(¬B)) ∨ ((¬A)∧B)と、A∨(¬B)が等しいことがわかりました。論理式を単純化するのにカルノー図は役立ちます。

もうひとつ命題を組み合わせてみる

さらに寝取り人について条件をふやしてみましょう。

• 命題A「寝取り人は、異性である」
• 命題B「寝取り人は、年上である」
• 命題C「わたしは、寝取り人のことを味方だと思っていた」

命題Cが増えました。「親友だと思っていたあの人に恋人をとられた」なら、命題Cは真(true)。「普段から気に入らないと思っていたあの人に恋人をとられた」ならば偽(false)ですね。敵でも味方でもないと認識していた場合もあるとは思いますが、極端に二分化しましょう。論理の基本ですから、あなたの人間関係を敵と味方にくっきり分けてください。

3つの命題を組み合わせると、具体的には「異性で年上の味方」とか「異性で年下の敵」などの寝取り人像ができあがります。3つの命題の組み合わせですから、表にあらわせばマス目は2の3乗で8個できます。

命題Bと命題Cのfalse/trueの境界線をずらすことで8個のマス目ですべてのありうる組み合わせを表現することができます。そしてチェックマークをつけたらグループ化。 論理式で表せば、A∨Cというごく単純なものになります。

論理式に命題Bが出現しないということは、「寝取り人が年上かどうか」は、「わたしが寝取り人を許せないと思うかどうか」に、この場合は無関係ということになります。

おわりに

さらにさらにもうひとつ条件をつけくわえたカルノー図を示しておきます。グループ化と論理式を考えてみてください。

カルノー図を使うことで、複雑な論理式を単純化することができます。あなたの恋人を奪った寝取り人について、腹を立てるべきかどうかが、すぐにわかるのです。

それがわかったからといって、恋人があなたのもとに戻ってくるとは限りませんけども。

■ プログラマの数学

プログラマの数学
結城 浩
ソフトバンククリエイティブ
￥ 2,310

もちろん、こちらの本を参考にしました。というか説明の流れをほぼパクった。反省している。

■ 一瞬、「電波？」と思ったけどたぶん違う

たぶん、ごくまじめな人。

• http://www.art-rich.net/

ただコピーライティングについて、ちょっとだけ誤解があるんじゃないかな。

■ ものすごくうまい新しい柑橘類の発表会

に招待される。どれくらいうまいかというと、それを食べるために暴徒が発表会会場になだれこむのを防ぐため、会場全体が檻みたいなものに囲まれているくらい。招待された俺は厳重なチェックをうけて会場にはいる。発表によると、ものすごくうまい新しい柑橘類のテーマソングはチェッカーズの○○（曲名忘れた）。いまさらチェッカーズ？と思ったが、実際に食べてみるとそのものすごくうまい新しい柑橘類はほんとうにものすごくうまかったので、事を荒立てないことにした。おしまい。