子供がディズニー映画『カーズ』を見たいというので、渋谷・東急シネタワーの上映予定を調べてみました。それによると、現在上映中の映画は： シネタワー１： ランド・オブ・ザ・デッド シネタワー２： スターウォーズ･エピソード3/シスの復讐 シネタワー３…

近所のラーメン屋が、今日は「スープの出来が納得できない」のでお休みなんだと（スープが出来次第、営業再開とのこと）。これは： 店主のこだわり、職人気質。 とんでもない失敗をやらかしたのだが、恥ずかしいからこう書いた。 別にスープなんて関係ねーよ…

キャンプの準備もしなくちゃ、、、、

Int（GoI）構成 ： トレース付き対称モノイド圏CからInt構成（GoI構成）により圏Gを作る。構成したGが実際に圏であることを確認する。 図が右にかしいだり、左にかしいだり、、、まっ、いいや。

なんぼ降ったらやむのかね、この雨は？ それに子供はもう夏休みだし、頼まれごとはなんでか増えるし、、まったく。

恵比寿の本屋にいってみたら、「水は答えを知っている」など江本＜えもと＞本が目立つ場所に平積み。で、「TBSテレビ『金曜日のスマたちヘ』で、倖田來未さんが紹介」と張り紙がある。はああぁー？（[追記 date="2006-07-20"]平積み＋張り紙は、版元のサンマ…

世の中は不確かです。それは致し方ないことでしょう。でもね、伝聞や憶測を積み重ねると、事実とはまったく違う、おそろしく無根拠な幻影が生み出されたりします。最近、幻影システムに遭遇して少し調べてみたんですが、事実（ファクト）ではない想定や思い…

僕は、頭髪の一部を染めている（「白頭爺・檜山」の第一段落参照）。で、美容院に行くわけだが、美容院に置いてある雑誌つうのは、なんでまた、ああいうすかしたスノッブ系ばかりなのだろう。「BRIO」「ソノコト」「Pen」とか。あと、家具だの建築だのガーデ…

コンパクト閉圏を定義する その2 ： 定義域を対象（objects）だけに限定した双対オペレータ（dualizer on objects）をベースにコンパクト閉圏を定義してみる。 僕がトレース付きモノイド圏（traced monoidal categories）やコンパクト閉圏（compact closed c…

「手を抜け」と言っているココロは、できるだけ小さくて単純なモノにしたいから。だけど、リアライザーのコンテキストはほんの少しだけリッチにしたい。その理由は、Xionの一部をXion自体で記述する実験になるから。別な言い方をすると、Xion処理系がXion処…

長男（小学生）：「日本と北朝鮮って、戦争になっちゃうのかな？」次男（園児）：「そういう可能性も、あるね。」きみたち、ずいぶんと難しいハナシをしているね。（「その可能性」は困るんだけど。）

若者は言った。「○△さんに、メチャクチャおこられちゃったよ。」彼女がたずねた。「落ち込んでいる？」若者は答えた。「いや、落ち込んでないよ。おこられるってことは期待されているってことだからな。○△さんだって、期待してないヤツはおこらないよ。」お…

クソ暑い！だが、僕がホントに嫌いで苦手なのは、15度から25度くらいのあいだでの気温変動で（「三寒四温って、やめてくれ」参照）、一貫して暑いのは実はさほどのダメージじゃない。だから、三寒四温に比べれば、今日はけっこうヘイキ。

長いサッカー・ワールドカップ休暇(?)を終えたショー君へ：テキスト（文字ストリーム）から構文的イベントを発生させるのがXionReader。（内部的にXionReaderを使って）メモリ内にデータ構造を作るのがXionLoader。でも、XionLoaderが作るデータ構造は構文を…

一昨日定義した極小プログラミング言語を、TTPL（Tiny Toy Programming Language）というツマンネー名前で呼ぶことにします。んでまー、TTPLをああいう仕様にしたのは、ホーア論理を直接的に使いたい、という理由があります。つうわけで、ホーア論理をTTPLを…

メモ編のほうに書いたことなのだけど、ニヤニヤできるネタだから本編（ここ）にも書いておきます、とりとめもなく。Bob Coeckeのレクチャーノートコレ： Bob Coecke "Kindergarten Quantum Mechanics" （PDF別ウィンドウ） 量子テレポーテーションや量子絡み…

昨日「極小なプログラミング言語」というのを書いたのですが、目論見＜もくろみ＞としては、、、、「みにくいアヒルの子 -- コンピューティング・サイエンスとJavaScript」にて： 僕がたまに口にするインスティチューションや余代数の説明も、いつかJavaScri…

プログラミング言語として最低の体裁は備えているが、これ以上は小さくできないようなモノを考えてます。とはいえ、「これ以上小さくできない」はかなり主観的な判断になります。ここでは、「実在する通常のプログラミング言語に類似の構文」の範囲で考えま…

下の子（次男）が夜なかなか寝ない。9時くらいに寝せても、暗闇で遊んでいて10時、10時半とかまで眠らない。で、朝は起きられない。まったく、、、、

コンパクト閉圏における結合 ： コンパクト閉圏において、射の結合をトレースで表現する。 これもpictorial calculation。以前、「トレース付きモノイド圏における結合」に書いた事と同じだけど、計算をコンパクト閉圏のなかで行ってみた、それだけ。

「クラス、オブジェクト、型； なんだか変じゃない？」に、まだチラホラとコメントが付いているようです。んじゃ、少し補足しておきましょう。何人かの方が「リスコフの置換原則」に言及しているので、その話。それと、列挙型や部分範囲型についても触れます…

ここ3年くらいでブログやWebコンテンツ管理システムが一般的となった結果、Webの更新は劇的に速く／多くなったでしょうね。莫大なWebページがそこに存在するだけではなく、情報湧き出し量がとんでもない勢いで増大しているわけです。世界中の新鮮な情報がWeb…

トレースとモノイド積／結合 ： トレースされた2つの射の積と結合を、1つのトレースで表す。 pictorial calculationは、なんか趣味になってきたような。

身動き取れない、、、という感じ、、、、

説明の例として考えた問題；だが自分でわかんない、というナサケなくバカバカしいハナシです。誰か教えてください。富の再配分 -- てほどのことでもないけど、お金持ちが貧乏人に金をドンドン渡していけば、いつか格差がなくなる（だろう）という現象のモデ…