確か、遠山啓＜とおやま・ひらく＞さんの著書だったと思いますが、次のような話が載っていました（記憶が曖昧だけど）； アフリカだかニューギニアだかのとある部族では、数詞が「イチ、ニ、サン」しかなくて、三を超える数は一律にイッパイと表現する。「イ…

もういいんじゃないでしょうかね。Seven Treesパズルを解いたり、解を確認された方々、このエントリー（URL: http://d.hatena.ne.jp/m-hiyama/20081031）にトラックバックしてくださると、リンクが集約されて便利かと思います。基本路線は、「T = 1 + T2 を…

恵比寿周辺はラーメン屋さんが多いのです。古くからの有名店というと、香月＜かづき＞と恵比寿ラーメンでしょうか。香月は味が落ちたとか言われているし、恵比寿ラーメンは2年前に閉店してしまいました。昨日、なにげに「恵比寿ラーメンでも行こうか」と、か…

GoFのデザインパターンのなかにCommandパターンってのがあります。ここでいう「コマンド」とは、なんらかのアクション*1を閉じ込めたオブジェクトのことです。普通は、execute()とかいうメソッドが備わっていて、コマンドオブジェクトのexecute()を呼ぶと当…

あまり強調されないようですが、Erlangでは、その構文と実行メカニズムとがあいまって、状態遷移のプログラミングがとても容易です。例題として、正規表現 /aa?b*c/ とマッチする文字列を認識するオートマトンを作ってみましょう。まず、状態遷移図を描き*1…

洗濯物と一緒にお魚が干してあった。 上半身にホンモノ（たぶん）のタトゥー、巨漢の外国人男性。笑顔がものすごく可愛らしい*1。 *1:「可愛らしい」はもちろん主観だけど、僕は琴欧州タイプが好きだからな。

そろそろネタ元をばらしましょう。次の論文です。これを[Fiore/Leinster]として引用します。 Marcelo Fiore, Tom Leinster "Objects of Categories as Complex Numbers"http://arxiv.org/abs/math/0212377 [Fiore/Leinster]から参照されている以下の論文がSe…

「ちゃんと問題を述べると」： そもそもノーヒントでは難しすぎる問題なので、順次ヒントを追加していく予定です。 何人かの方は、もうSeven Treesパズルを解き終わったよう（解答はまだナイショ）ですが、ヒントを追加します。ただし、このエントリーをお読…

昨晩某所で、id:bonotakeさんとid:ku-ma-meさんにお会いしたのですが、ku-ma-meさんがbonotakeさんのアドバイス（そそのかし）により、Seven Treesパズルを解かれたようです（http://d.hatena.ne.jp/ku-ma-me/20081023/p1 参照）。すごいなー。「これは難し…

いずれ、もっと詳しく書くつもりだけど、まーともかく、ざっと紹介しますね。説明が不十分かもしんないけど（ごめんなさい）。[追記]詳しく説明しました。[/追記]二分木を考えます。空な木は認めない。けど、ルートノードだけの木は認めます。ノードにも辺に…

長男：「おとうさん、トートーってトイレの会社だよね」父親：「あー、そうだな*1」長男：「トートーはタクシーもやってるんだ」父親：「えっ？」長男：「今のタクシーに、トートータクシーって書いてあったよ」父親：「あー、そりゃたぶん東都タクシーだ*2…

「あーあ、こりゃダメだわ、郡司ペギオ-幸夫さん」のコメント欄： bonotakeさん： 恐らく、郡司さんは既成概念に囚われない斬新な着想・洞察をする事に長けていて、なので随想家・思想家としては光るものをお持ちなんだと思います。m-hiyama： 独特の直観と…

以前は、外出用リュックに、紙おむつ、清浄綿、ベビーフードなどを入れてましたが、さすがに子供達が大きくなったので、それらは不要となりました。でも、次のものは今でも必要です。 タオル（2枚） ティッシュぺーパー（たくさん） ビニール袋（数枚） 虫除…

Kuwataさんのところ http://return0.dyndns.org/log/2008/10/15 経由で見た http://yucl.net/manga 確かにすごい。なんという水準の高さ！＜すごく時間がある方への補足＞なんて注釈もあるし。まず注釈の見出しで笑ったのだけど、内容も笑える。道案内 http:…

郡司ペギオ-幸夫さんもお勧めのn-圏（高次元圏、高次圏、higher[-dimensional] category）のハナシをします*1。n-圏は難しいなー、と思うのですが、どんな分野であれその分野固有の「難しさ」はあるので、「Xは難しい」のXに何を代入しても正しくなりそうで…

父親：「君ら、またケンカしているのか」長男：「これにはワケがあるの」次男：「そうだよ、おとうさん、手出しはムリョウだ」父親：「無料？」次男：「ムリョウだ！」父親：「じゃあ、遠慮なく手出しするぞ」次男：「？？」

ことの発端は、圏論勉強会二次会。「脳や生物に圏論を使っている人がいるよ」って話が出ました。それが、郡司ペギオ-幸夫さん。僕は「それは面白そうだ」と、かなり好奇心をそそられました。が、容易にアクセスできる資料がないんですよね。でも、なぜか僕は…

Windows環境で、空白を含むファイル／ディレクトリ名をうまく処理できないプログラムがありますよね。そんなプログラムに、例えば "C:\Program Files\Windows Media Player" というパス名を（コマンドライン、GUI、環境変数、設定ファイルなどを通じて）渡す…

以下は、「とりあえず導入」内の絵とまったく同じで冗長ですが、再掲。絵の説明をここでします。これ（↑）は、次の等式が成立する例です。 dom(dom(α)) = dom(cod(α)) cod(dom(α)) = cod(cod(α)) dom(dom(α)) = dom(f) = A dom(cod(α)) = dom(g) = A cod(dom…

12日・日曜の圏論勉強会二次会で、バエズの負次元圏を「5分で説明できる」と言っておきながら、混乱して全然説明できなかったよー。で、もとの資料（http://arxiv.org/abs/math/0608420 のP.10からP.13）を読み返していちおう確認しました。バエズの負次元圏…

たけをさんところに書いてある事情で、郡司ペギオ-幸夫さんに興味を持ったんだけど、Web上にはろくな資料がない。書籍はあるらしい、が買うほどの動機はない（高いし！）。立ち読みがよかろうと思っても、近くには大書店がないのよね。渋谷に「ブックファー…

長男：「俺、サンマって漢字で書けるよ」父親：「ほぉー」長男：「魚へんに、秋でしょ」父親：「 … 」長男：「あっ、刀も付けるんだ」父親：「一字かよ」誰か、フォント作ってみませんか。

次男：「おとうさん、人生でさ、」父親：「また人生かよ」次男：「一番面白かったダジャレはなに？」父親：「ダジャレー？ そんなもの憶えてないよ」次男：「じゃ、人生で一番長かった回文は？」父親：「回文？ シンブンシとか」次男：「短いじゃん」父親：…

次男はともかく、長男も、ノーベル賞がなんだか全然理解してなかったようだ。長男：「すごいね、快挙*1だね、おとうさん」父親：「そうだね、4人一度にだからな、ほんとすごいね」長男：「物理とか化学って、理科のことでしょ？」父親：「うん、理科だな」長…

Erlangの例外は、単にメッセージが謎めいているだけではなくて、他のプログラミング言語とはだいぶ趣＜おもむき＞が異なるので、理解して正しく使うのはなかなか大変です。そのことはまたの機会に、ということで、このエントリーでは、キャッチされなかった…

今日、昼飯を食べたとこで、「魚肉ソーセージ1本150円、ウィンナソーセージ1本100円」というメニューを見た。僕、魚肉ソーセージ好きだから、思わず頼んでしまいそう（ランチどきは頼めないようだった）。 安くて簡単でおいしい - 檜山正幸のキマイラ飼育記 …

Erlangのエラーメッセージは暗号のようだ（Cryptic error messages）とか言われたりします。確かに分かりにくいです。http://bluebones.net/2006/12/erlang-error-messages/ に良いまとめがあった*1ので、これを敷衍＜ふえん＞する形で説明します。内容： 例…

モンヤリ、イライライに続いて、本日の間違いが素敵だったよ。なるふむ （なるほど、フムッ）

昨日・日曜日の午後、遠くの公園に行っていたのだが天気が急変した。父親：「おーい、雨降りそうだから、もう帰ろう」次男：「じゅうぶん注意してれば大丈夫だよ」父親：「ダメだよ。いくら注意していても雨は降るんだから」次男：「そうかもしれないけど、…

また、EDocにちょっとパッチを当てようかと思ったら、問題の根が深くて行き詰まりましたよ。Unix風のフィルシステム／パス名と、DOS/Windowsのそれは違うのだけど、'/'と'\'の違いは大した問題じゃありません。空白や日本語文字を含む名前は困りものだけど、…