朝日新聞の記事 に、ヒューザー社のマンション耐震構造偽造事件の捜査が終了したことが伝えられている。ハッケソ元は表題リンク先の 痛いニュース 。

どうやら2chのスレは日曜日に立っていたらしいが、俺はまったくこのニュースを知らなかった。うちの家族に聞いても、やはり知らなかったようだ。 あれだけ大きな問題だというのに、なぜそれほどマスコミがこの事件の結末を報道しないのか、非常に不気味な話だ。

その捜査の結末の内容というのが、また驚きをとおりこして呆れてしまう。なんと姉齒建築士の単独犯だというのである。

俺はこれを真実ではないと思うから呆れてるわけじゃない。真実であるなら、ヒューザー社や総研がきちんとマスコミを通して今回の結末についてコメントをさせる機会を用意し、散々マスコミによって犯罪者扱いされてきた彼らに名誉回復の場を与えるべきだ。それを犯罪者扱いしたのと同程度に大きく報道してやってこその責任だろう。その程度の責任もマスコミは取れないというのか、そこに俺は呆れているのである。

逆に真実ではないと考えた場合も、呆れてしまう事に変わりは無い。真実ではないから大きく報道しないという理由があるとしたら、それは呆れる理由しか無いからだ。たくさんのマンション購入者が巻き込まれ、死人が二人も出てる事件だ。裏に政治的理由や金銭の流れがあっても不思議じゃない。それをきっぱりと指摘できるマスコミではないという事に、呆れざるをえまい。

まあ、確かにマンション購入者に弁済できるだけの組織をきちんと残しておかないと、国や自治体の予算だけじゃどうにもならないのは確かだろうけどね……。真相がどうあれ、そこもマスコミにはちゃんと報道してもらいたいものだ。それを期待できるだけのメディアじゃないということに、つけ入る隙がありそうだが。

(@179)

Wanderlustを起動すると、2万通くらい入ってるIMAPフォルダをいくつか開くとあっというまにEmacsのプロセスが100Mを越えてしまい、かなりメモリを圧迫していた。

しかし、debianに新しいWanderlustが入ってからは60Mも食わない。フォルダもものすごい速さで開いてくれる。これはありがたいねえ。wlへの不満がかなり解消した。

さて、あとメモリ不足の原因を作ってるのはFirefoxのflashプラグインか……。これはプロプライエタリだからどうしょうもないなあ。GPLFlashに頑張ってもらうしかか。

(@082)

　 ここ の一番下ね。なるほど、ばかばかしい。
　ちょいと論理学勉強してるついでに、これを論理学で読みとってみよう。
　まずは正規化。
命題1.私はJASRACを悪く言っている。
命題2.作曲家Aの音楽の著作権はJASRACに預けてある。
命題3.以上のことから、私は作曲家Aを悪く言っている。

　正規化すると典型的な三段論法の形式になるな。でも、媒概念という大前提と小前提（この場合は命題1と2ね）に共通した概念が無い。つまり三段論法としては成立し得ないということになる。
　しょうがないので記号論理を用いよう。さっきの三つの命題を論理式に直していく。

P=命題1
Q=命題2
R=命題3
{P∧Q}⊃S

　あとはこれを真理表に当てはめるだけ。

真理表
pq  p∨q  p∧q  p≡q  p⊃q
11   1     1     1     1
10   1     0     0     0
01   1     0     0     1
00   0     0     1     1

これで先ほどの論理式を解いていく。
 PQR  {P  ∧  Q}  ⊃  S
 111   1   1  1    1  1
 110   1   1  1    0  0
 101   1   0  0    1  1
 100   1   0  0    1  0
 011   0   0  1    1  1
 010   0   0  1    1  0
 001   0   0  0    1  1
 000   0   0  0    1  0

　ほう、意外と「正しそうに見える」論理なんだな。⊃の桁が結論ね。0が一つあるのがわかると思う。0の行を見るとRが0の時に出される結論ということになる。Rは「私は作曲者Aを悪く言ってる」。これが偽なら全部偽になるわけだ。
　PとQからは絶対にRを導き出すことが出来ないことが正規化によって明かされ、元々Rが偽ならJASRACの言うことはでたらめになることが記号論理によって明かされたわけだ。
(@711)