物理学者の田崎さんが次のページを公開なさっています。 「水からの伝言」を信じないでください （http://www.gakushuin.ac.jp/~881791/fs/） 水伝ネタは、僕自身も何度も扱っています（はてなブックマーク - voodooに関するm-hiyama-taxonのブックマークを…

日曜日（一昨日）、中村屋で次男（園児）とカレー*1を食べていた。近くのテーブルで、二十代後半とおぼしき女性二人が大声でしゃべっていた。声が大きいのはまーいいとしよう。が、その話の内容が … … んー、なんというか、まー、ようするに動物の死骸の話な…

檜山納豆 -- それは、田舎の俺んちの登録商標。歴史を知りたいなら、僕が生まれた家が今は納豆博物館になっているから行ってみな。

メガネ業界は、某ビール・メーカーと裏で結託して、我々消費者にサブリミナル的メッセージを送りつけている -- なんて事実があることはまったく確認されていません。でもね、アサヒ極旨のCMを見てると、僕は「新しいメガネ買え」とそそのかされている気分に…

11月に入ると街はクリスマス一色、って、それ、リードタイム取り過ぎだろうよ。それはともかく、表題の「彼」はウチの長男です。小学生、しかも低学年とは呼べない年齢ですが、今年もサンタさんのプレゼントを楽しみにしてます。ウチの長男も、5歳くらいのと…

が、20ほど出てきたのですが、どうしよう？

最近の言いまつがい： 兄：ロコンブス ←コロンブス 弟：アヤマドリ ←雨宿り

僕は、はてなダイアリー有料オプション付けているのですよ、その機能をサッパリ使ってないけど。で、アクセス解析にドメイン名の集計があるので、これを初めて眺めて見ました。あまりにも意外性がないのでガッカリ。2006年（現在までの）アクセス総計、トッ…

ワーイ、完結だ。シリーズがちゃんと完結するなんて、滅多にないよ、僕は。前回の最後（一部省略・短縮）： 論理の定義として閉包作用素を使う定義があります。これについて説明するかも知れません。ストラスバーガーの意図としては、論理をプレ順序と考える…

次男が「アルチューデチュは人間だよ」とか言う。「アル中でちゅ」って誰のことだろう（酔っぱらったピノコか？）と思ったら、スターウォーズのR2D2のことでした。「人間が入っていると、おにいちゃん（長男）に教わった」と。実際、R2D2の中にはケニーベイ…

ストラスバーガーの論文を紹介、その第3回。前回の最後で： あと1回は書く予定。証明可能性‘|-’ではなくて、定理集合や閉包演算子により論理的システムを定義する方法もあるので、それらの流儀でもやっぱりプレ順序集合が作れることは確認したいので。 と書…

次男の保育園の先生（仮名：山田ゆかり先生とする）がご結婚なさったそうだ。子：「やまだ・ゆかりセンセイがケッコンして、お名前がかわったんだよ。」父：「そうなの。なんて名前になったの？」子：「ひらの」父：「へー、じゃぁ今日から平野先生って呼ぶ…

「古典論理は可換環論なんだよ」のなかに、 愚直にrudimentary calculationを実行してください。 これまたひたすら単純計算をすれば、… これも、紙と鉛筆と手で単純計算あるのみ。 という表現がありますが、僕は実際には計算してなかったので、やってみまし…

酒井さんのコメントに対して、 {true, false}と{0, 1}の対応でも、ほとんどの場合trueを1にしますが、trueを0にしたほうが計算がスムーズな状況もあります。 なんて応えたわけですが、これでフト思い出したことがあります。以前、「イデアルと論理」つうネタ…

※あのー、すみません。見出し↑、「非」じゃなくて「被」です。諸般の都合で直しませんけど。設定を直して、各エントリーごとの被ブックマーク数を表示するようにしました。この表示の挙動がよくわからん、どうもおかしいみたいだ。あくまで今（2006-10-27の1…

10年分のありがとう おかげさまでスターバックスは日本で10年目を迎えました。 おめでとう。だけど、ありがとうのシルシが値上げですか。

Web散策で、座談会記事http://www.glocom.ac.jp/project/chijo/2004_04/2004_04_02.pdfを読みました。エコノフィジックス学者・高安さんの発言（座談会の本筋の話題ではないのだけど）が僕の注意を引きました。確率・統計を学校でちゃんと教えていないことに…

いってきまーす。

『アエラ』の中吊り広告、あの駄(!)洒落、今週は「親子関係、まざーまざー」とかそんなだった。これは毎週コンナだから、まーいいとしよう。生誕100年記念ダリ回顧展の広告も電車に貼ってあるだが、「私はダリでしょう?」 -- 脱力するよなぁ。※ダリ回顧展は…

「空目」という言葉については、ココとかココ。 正：子供のアレルギーを知ろう。 誤：子供のエネルギーを知ろう。 アレルギーよりエネルギーで悩まされているせいか。

新聞に入っていた英語塾のチラシの文面： 問題は、中1英語が、中学英語が、生徒が、どんなに頑張って勉強しても、できるようにできない英語なのかということです。

ここのところ、記号論理のエントリーを何本か書いた。 さまざまな「ならば」達 論理を身に付けるには 論理とはなにか？ 論理とはなにか？ (2) 「論理とはなにか？ (2)」より引用： Powf(S)をS'と書いて、S'のメンバー（Sのメンバーの有限集合）をΓ、Δなどと…

漢字であそぼう、いや、漢字であそばれた件、事実確認のために尋問してみた。父：「××君、チミモウリョウって知っているの？」弟：「知らない」父：「××君はどんな漢字知っている」弟：「カワ」父：「あとは」弟：「ヤマ」父：（やっぱり）次は兄を尋問。父…

「論理とはなにか？」の続き。論理それ自体の知識をできるだけ仮定しないで、論理の一般論のエッセンスを解説しましょう（そう試みてはみるよ）。内容： 前置き フツーっぽい命題証明系 「仮定なし」と「複数の仮定」への対処 一次方程式の証明系 一般的な手…

兄：「お父さん、漢字書いて」父：「おお、いいよ」兄：「ウコサベン」父：「なっ、なにぃ … 他のにしなさい」兄：「シカンダザ」父：「はぁ … …」弟：「お父さん、漢字書いてぇ」父：（ほっとして）「よーし、××君のいうやつを書いてやろう（こいつは、山と…

たまたま、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerという論文を見つけて、読んでみました。比較的短い（印刷して12P）解説的な論文です。表題のとおり、 論理とはなにか？ 証明とはなにか？ という2つのテーマを扱っ…

Yokoさんてすごいな。 13日: はてなブックマーク - Error 14日: はてなブックマーク - http://www.geocities.jp/lucy_tinycafe/mannerup/hatenauser.html 15日: はてなブックマーク - Yoko's Blog はてな事務局にメールした 15日: はてなブックマーク - FC2…

smoking186さんの集計によると、キマイラ飼育記は47番目だった。フーン、そうなのか。思ったよりはイイセンいっている気もするけど、ウチはアクセスが少ないから、（被ブックマーク数/アクセス(PV)数) と割り算したらいい値(?)になるのではないか。カウンタ…

昨日に引き続き白金問題。まずはDHC製品をご紹介： 白金ナノコロイド 30日分：http://www.dhc.co.jp/goods/goodsdetail.jsp?gCode=2379 プラチナはサビない！ 体の中へも、プラチナパワー「サビない」貴金属として知られ、食品への配合が厚生労働省から認め…

手首が痛いなー、と医者に行ってきた。子供の運動会でねじったかな？とか思っていたが、そういうことではなかった。まー、うすうす予想していた事態ではあるが、先天的な事情と長年に渡る手首の酷使によって、軟骨が曲がったり擦り切れたりしていた。直んね…