子供達と一緒に、科学技術館（http://www.jsf.or.jp/）とか子供の城（http://www.kodomono-shiro.or.jp/）に行くのですが、科学技術館の4, 5階、子供の城の10階に、子供向けパソコンコーナーがあります。科学技術館5Fでは、子供向けに特別に作ったソフトをイ…

後で読むと、さっぱり意味不明になりそうだから、不粋ながら昨日のマゴ・ネタの種明かし。ソフトバンクモバイルの孫正義社長が、外資系証券会社ゴールドマン・サックスになんらかの事情で激怒して、縁を切ったらしいというハナシ。それに対する夕刊の見出し…

局所的な話ですが、って、この「キマイラ飼育記」だけのことですが、ここ何日か、ブックマークコメント経由でのタレコミ（とは言わないけど）がプチ・ブームでがんす。 番号 日付 エントリー（リンク） 情報提供者 1 12月1日 線路は続くのか？ b:id:taninsw…

少し前から、はてなダイアリー表示設定の「『このエントリーのブックマーク数』を表示する」をONにしているのですが、ブラウザによって見えたり見えなかったり。どういうことだろう？ 証拠写真（画面ショット） HTMLソースは当然に同じはず、ブックマーク数…

今日の夕刊紙の見出し： 孫が絶縁状 僕と同様、次のように思った人は数多いはずだ。誰のマゴだ？

洋書というのは気に入らない。何がイヤかって、まず英語で書かれているのが問題である（英語以外ならさらに大問題である）。が、その件は今回は追求しないでおくことにして、-- 値段が高い。和書でも随分高いものもあるし、昔に比べたら格差がなくなったよう…

「数学記号の認知速度 -- 実験心理学的計測方法と実例 --」（by 堀幸雄, 後藤英一, 佐藤雅彦; http://www.jssac.com/Editor/Suushiki/V10/No3/V10N3_113.pdf）のなかに、論理記号の一覧表がありまして（P.11）、こりゃ便利だと思うので、引用しておきます。…

直前のエントリー「線路は続くのか？」に対する、b:id:taninswさんのブックマークコメント： Wikipediaを読んでオリジナルの歌詞に衝撃を受けました(笑) んで、当該のWikipedia項目を読んでみると、あの歌、もとは線路工夫の過酷な労働を歌ったアメリカの民…

弟：「線路は続くよ、どーこまでも」兄：「どこまでも続く線路なんてないよ、終点があるんだから」もう、お兄ちゃんは弟にこういうことばっかり言う（「子供に気付かれたくない事だが現実に目をそらすのもナンだし」も参照）。助け船を出そう。父：（弟に）…

まだ村上和雄さんネタを引っ張りますが、どうも村上さんは次のような発言をしていらっしゃるらしい（孫引きです）。 ヒトのゲノム（全遺伝子情報）は、わずか四つの塩基で構成され、この塩基のペアが約三十億個連なっている。塩基の配列が偶然のものとするな…

なんばさんからのトラックバックを経由して、kikulogのこの記事を読んだのですが… うーむ、村上和雄さんは“いっちゃってる”のでしょうか。kikulogの菊池さん自身とその他の方のコメントをいくつか拾ってみます。 村上氏はちょっとナイーブにすぎたのではない…

えっ？ Meadow2に ラムダ計算の参考書という文字が見える 「ラムダ計算の参考書」という文字列が、どうもコレと合致する。が、微妙に違うところも：最近TeXを使わない、はてな記法の見間違い？もし次が正しかったら、そりゃワシじゃ。 カフェとはスターバッ…

電車の中刷り広告で見た「科学万能主義が人間を劣化させる」（雑誌「WEDGE 2006 12月号」）という記事が気になって読んでみました。うーむっ、やっぱり。水の詐欺師・江本勝さんが欣喜雀躍＜きんきじゃくやく＞しそうな文言のオンパレードです。 教育でも、…

ショー君が、「構文解析のオハナシ：訂正」と「構文解析のオハナシ：補遺」で参照した手書きパーザーに対応するJavaCC記述を作ってくれました。せっかくだからリンクしておきます。それと、JavaCCに関しては以前に書いた記事もあったのでした。 簡単な算術式…

なんで暖房が効かないんだー、コノヤロー。と思って見たらドアが開いていた。

渋谷駅の宮益坂口を出たところです。おおおー、ここでも二大巨頭の熱い戦いが。↑元祖・女王 眞鍋かをり↑新・女王 しょこたん（中川翔子）

子供と一緒にテレビやらショーやらを見ていると、異常になつかしいセリフに出会うことがある。 マハリク・マハリタ -- NHK幼児番組「いないいないばぁっ！」にて、ワンワンが口ずさんでいた。 ウー・ヤー・ター -- アニメ「ワンワンセレプー それゆけ！徹之…

いまどき、店員がみんな半袖ってお店はどうなのよ。夏は過剰冷房、冬は過剰暖房で回転率を上げるって戦略もあるのかもしれないが。どうなのよ、ソレ。

コーラブルはすべてユーザー（利用者）定義となるわけだが、このコーラブル群とHoareRules実行フレームワークは切り離そう。適当なインターフェースを仕切りにして、コーラブルの詳細は隠蔽する。 public interface CallableLibrary { // 実行フレームワーク…

構文解析のオハナシは、変なことを書いてしまったですね。これ以上追記をするとゴチャゴチャし混乱しそうだから、このエントリーに補足と注意をまとめます。構文規則の曖昧性と演算子の優先順位ことの発端は、演算子を含む式を「式 ::= 式 '+' 式」のように“…

昨日のエントリーのどこが変かというと： 加数 ::= 因数 ('*' 因数)* | '-' 加数これだと、積（'*'）と符号反転（'-'）の優先順位が相変わらず曖昧で、「一意的にパーズ（解析）できます。」なんてセリフが嘘になります。例えば、2+-3*5 が、2+(-(3*5)) か 2…

工作員お手伝いのショー君がid:aiue3という投げやりなIDでダイアリーを書いていたようです。http://d.hatena.ne.jp/aiue3/20061120#1164006565 のなかに再帰的下向き法（recursive decent; 再帰下降法）というのが出てくるので少し補足しておきましょう。お…

構文だけを示しても実感がないでしょうから、どのように実行されるかを記述します。実装言語はJavaということにします。●コーラブルの実装方式コーラブル（述語、関数、コマンド）に組み込みのものは存在しません。すべてユーザー定義です。次のようなインタ…

「松坂を超える逸材」というサブジェクトのメールが来て、なんかのニュースかと開いてみたら本文はURLだけ。反射的にクリックしてしまったら、出会い系サイトってやつでした。*1そこに「会社概要」とか「ご利用規約」とかがチャントあるのにちょっと驚いて読…

「記号を乱用して」とか「記号の乱用だが」って言い方は、ある程度は認知されているのかと思っていたんですが、そのまんまの意味で使われることが多いんですね→google:"記号を乱用" まっ、当たり前だけど。でも、"abuse of notation"だと http://en.wikipedi…

構文的には関数呼び出しであっても、用途／役割、あるいは型（タイプ）により、次の3種に分類されます。 述語 -- 戻り値はboolean、副作用なし。 （狭義の）関数 -- 戻り値の型は任意、値を必ず戻す。副作用なし。 コマンド -- 戻り値の型は任意、値がなくて…

nmTokenをああいう定義にすると、name⊂nmToken、integer⊂nmTokenになってしまって、どうも気持ち悪いですね。しかし、たいていのレクサー・ジェネレータは文脈により字句解析規則を切り替えることができるだろうから、ラベルの認識は別な文脈にすることにし…

ホーア論理、ホーア式については何度か触れたことがあります（例えば、「デュアルプログラミングとエクソシストゲーム」、「極小プログラミング言語とホーア論理」）。ホーア式（ホーア論理における論理文）を記述する構文と実行フレームワークがあると便利…

「はてな」のRSSモジュールを使って、注目のエントリー（URLは http://b.hatena.ne.jp/entrylist?url=http%3A%2F%2Fd.hatena.ne.jp%2Fm-hiyama%2F&mode=rss）をサイドバーに入れてみたんだけど、見ばえが良くない。もうちょっと気がきいた表示ができないもの…

僕は、仕事と趣味の区別があんまりハッキリしない生活をしているので、「これは仕事」という境界線を引きにくいのですが、比較的に,仕事的な,連絡的な内容（「的」バッカリ）には、「連絡的」という分類タグを付けることにします。ここに書いてしまうってこ…