ぎょーむ日誌 2000-05-04
2000 年 05 月 04 日 (木)
- 0400 ごろに「早寝」したつもりなんだが，
起床は 1200．
どうしてなのか．
- 1500 自宅発．
曇り．
1530 研究室着．
例の電話帳のごとき
Stroustrup ``C++'' 本 (第 3 版) に
牧さんが
取り組んでおられるので驚愕する．
なんでも
私の押しつけた
汎用最尤推定プログラム
mlfitting を改造中とのこと．
将来的には make なしで
関数を書き換えられるようにしなくては．
- 1730 またこんな時間に空腹になる．
「おでかけですか」
「腹減ったのでエサの調達に行きます．
なにかお使いがあれば」
「じゃあ，
アイスクリーム．
みんなで食べましょう．
ヴァニラじゃなくてチョコで．
お駄賃あげます．
100 円」
- 大学近くのセイコーマート．
Haagen-Dazs
の 6 カップセット．
よし．
チョコも含まれている．
これにしよう．
うん?
ちょっと待て．
箱の写真をみるとずいぶん白くないか．
わざわざ
「ヴァニラではなく……」
という制約条件がついたってことは，
「ヴァニラを含まない」
と判断すべきなのか．
しかし
チョコと明記されているうえに
たしかに黒いもの混交してるように
図示されてる．
- いわゆるヴァニラとは
単なるヴァニラ含有という意味あいでなく，
プレインというか
他にチョコなど混交していない白いもの，
と考えてよいだろう．
したがって，
この 6 カップセット
(うちふたつはチョコチップ)
の購入は
制約条件のもとでの買物として適当である，
と判断される．
- いや，
待て．
チョコではなく，
チョコチップだと?
ああ，
なるほど白いヴァニラアイスの中に黒色のものが
斑点状に．
ということは．
このチョコチップアイスなるものは
ヴァニラ部分とチョコチップ部分に分離可能．
原理的には．
であるならば，
このチョコチップは
「ヴァニラではなく……」
という制約条件を満たしていないのではないか．
買っても怒られたりしないのか．
- 買ってもいい．
いや，
買ってはだめだ．
二者択一．
無理だ．
もっと選択肢が必要．
何も買わずに
セイコーマートを飛び出す．
JR 札幌駅地下街パセオに．
- アイスクリーム屋．
あった．
ああ．
なんてことだ．
ここも Haagen-Dazs．
いやいや．
コンヴィニエンスストアーではなく
このような出店であれば
選択の余地は増えるはず．
制約条件を満たしている
チョコアイスはあるのか?
商品棚を睨みつける．
またチョコチップ．
これしかないのか．
他にあれば展示してあるはず．
- ならば．
このチョコチップは
「ヴァニラじゃない」
という制約条件を満たすのか?
もし満たされるならば，
どのような根拠で
それは正当化されるのか?
質問したい．
するのは変なのか．
どういう質問文なら変なやつと思われないのか．
黙考．
店員のおねーさん
「お決まりでしたら，お呼びください」
ああ，
立ち去ってしまった．
きっとこれは
「買うなら対応するけど，
質問だけなら答えない」
という意志表示に違いない．
条件が満たされていたら買うという
「条件つき購入」
はだめなのか．
どうしよう．
- 店員ならびに店内の客の視線が外れたすきに，
Haagen-Dazs からすばやく逃げ出す．
なぜ逃げる．
何も盗んじゃいない．
- アイスクリーム屋などそこらにいくらでもあるさ．
地下街をさまよう．
ない．
札幌駅地下には
アイスクリームを売ってる店は一軒しかないのか．
15 分経過．
いかん．
おそらく暗黙 (implicit) の制約条件として
「さっさと調達してこい」
が含まれているはずだ．
これは間違いない．
- これだけ探索に時間を費してもなぜ見つからないのか．
アイスクリーム屋の密度が低いためだ．
なぜ密度が低いのか．
アイスクリーム屋は専門性が高いのか．
たとえば何軒もみかけたケイキ屋とは違って．
氷点下保存陳列棚はコストがかかるせいなのか．
密度が低い要素を
効率良く探索するアルゴリズムは?
分布様式に依存．
空間分布は?
専門性高い→コスト高い→低密度，
これがもしも正しいなら．
コストの高い出店の位置選定は慎重なはず．
競争係数の低いところ．
排他的な空間分布の実現．
規則分布．
規則分布のもとでの最適な．
いかん．
どこまでが仮定で
どこまでが今日の調査から言えることなのか．
分布様式がこれまでの探索だけで推定できるのか．
ああ，
わからん．
ランダムサンプリングの仮定は
満たされていないだろうから．
- 時間切れ．
かくなる上は．
すでに発見して位置が確定してる Haagen-Dazs に．
くだんのチョコチップを．
残された時間は考えることに使えば．
「チョコチップとヴァニラアイスに
分離可能に見えるけれど，
じつは
『ヴァニラじゃなくてチョコ』
という制約を必要かつ十分に満たしている」
と正当化可能な論旨の構築を．
- Haagen-Dazs 札幌パセオ店再突入．
店員のおねーさんは
二度目の来店であることを記憶しているのか．
記憶していればどう対応するのか．
Haagen-Dazs 店員用マニュアルに書かれている対応は．
すでに警察への通報ボタンは押されてしまったのか．
早くこの場を離れなくては．
迷ってるヒマはない．
あの 6 カップセットを．
待て．
その横の透明容器は．
パーティセット．
6 種類 6 個が同梱．
一度目の来店時には気づかなかった．
ひとつは褐色．
ヴァニラとは分離不可能．
疑いなくチョコアイスと主張できる．
これだ．
直ちに購入．
店員から受け取り素早く遁走．
助かった．
- ……
無事に研究室のお茶部屋にもどり，
学校に来ていた大学院生 (人数はちょうど 6 名だった)
と
そのアイスクリームを賞味する．
Haagen-Dazs
のペイジはなかなか充実しており，
味つけ (フレイヴァー) の一覧解説もある．
たとえば，
かとーさんが選んだのは
一見ヴァニラに見えるけど，
マカデミアナッツであるとか，
私が食ったマダラ模様のやつは
ドルセ・デ・レチェなる
キャラメルソースを混交したものである
……
なるほど色々あるわけだ．
で，
私を半時間にわたって懊悩させた制約条件を課した
牧さんは当然ながらそのチョコチョコチップ．
Haagen-Dazs には二種類のチョコチップがあり，
他方はチョコチップヴァニラ．
これはどうやら
私が判定に苦しんだやつである
(間違ってるかもしれないケド)．
「チョコチョコチップ」とは
ヴァニラではなくチョコアイスにチョコチップが
混交していると主張する命名に他なるまい．
やはりこれら二つの区別は重要だった．
これにて一件落着．
めでたしめでたし．
- などと書いてはみたものの，
仕事のほうは相変わらず．
ま，
アイスクリームお使いもままならぬ
私なればこそ，
か．
読み返してみると，
上の右往左往ぶりは
期せずして
はかばかしくない今の仕事の進捗ぶりにそっくり．
- 大学院生の皆さんは豊平区体育館の
15 m フリークライミング人工壁に遊びにいった．
私はクライミングやると肩が外れるので
留守番．
- 苫小牧演習林からのメイルと
演習林から戻って来た谷さんの報告により，
某 M 氏が意外な相手と結婚?
怪情報が駈けめぐる．
牧さんなどは
「ね，ね，驚いたでしょ」
「いやでも情報源が．
やっぱウソかな」
と
30 分間に 10 人近くに電話かけまくる．
かとーさんや清野さんはすでに帰宅してたんだけど，
この急報に接して
「追加情報あったら連絡してくれ」
と今夜は待機するらしい．
うーむ，
それほどの重大事件なんですね．
- 0100 研究室発．
晴れ．
0140 帰宅．
- 帰宅してなんとなく network に接続すると
……
``ILOVEYOU'' なる
新型 virus が出回り始めたとのこと．
日本のサイトでは情報集まらんので，
アメリカの Yahoo から UK の ZDNet に飛んで
解説記事を読む．
なーんだ．
また例によって Window$95/98/NT/2000 にだけ
取り付くやつか．
講座の計算機には関係ないな
(Window$ 使ってるひとは勝手に自衛すればよろし)．
ふう，
ひと安心．
- 今日の食卓
- 朝昼兼用 (1240):
タマネギ・豆腐炒め．
- 晩 (2200):
牧さんの晩ご飯である
スパゲッティーのお相伴にあずかる．
どうもご馳走様でした．