「年末とは別な理由で忙しい」とか「今年のクリスマスは」で書いたように、何の因果か、年末年始は引越しで忙殺されるという。自宅は引越し完了で、家での年越しはまーだいたい普通にできそうです。が、事務所は来年そうそうの引越しで、予想以上の“ブツの移…

今年2012年のあいだに書いておきたい記事があります。それが表題のごとき記事です。2008年に「個人デジタル出版で儲け、られそうにない」という記事を書きました。そして2010年に「個人デジタル出版で儲け、られそうにない 2010年春・編」を書いたのです。20…

とある論文に"binder"という言葉が出てきました。文房具のバインダーじゃありません。束縛子とでも訳せば良さそうです。束縛子が何であるかを厳密に説明するのはけっこう面倒なので、例をいくつか出します。例から一般的概念を推測できるでしょう。述語論理…

メリークリスマス、どころじゃないわな、今年は。引越しの最中ですがね。僕が愚痴をいう時は少し大げさなんですが、今回の引越しはマジで大変。5箇所のあいだでモノを移動再配置。一段落はついたけど、まだ半分です。子供たちは喜ぶかと思ったら、そうでもな…

「どうでもいいけど、掛け算の順序の話」とそのコメント欄のやりとりで、思い出したことがあります。以下のウサギの絵ですけど、耳を短い線分、顔を円にしてしまうと、ウサギは「枝が出たマル」の図形とみなせます。以下の左の絵では、「枝が出たマル」の図…

年末でお忙しい方も多いでしょう。僕は、年末年始とかあまり関係ない、ハレもケもないノンベンダラリな生活が好きなんですが、年末とは別な理由で、ここんとこ忙しいです。別な理由とは -- 引越しします。今まで、生活も仕事も中目黒駅から5分圏内で済ませて…

12月13日（木曜）の夜、クラブワールドカップの準決勝「チェルシー（イングランド） vs モンテレイ（メキシコ）」戦を長男と見てきました。僕はたいしてサッカーファンでもないのですが、長男を連れて行ったというか、同伴させられたというか。横浜線・小机…

昨日の記事「集合の添字族とユニオン型とコタプル構成」に少し補足説明を追加します。「指数法則に類似のセクション公式」で説明した、バンドルとセクションなどの概念も関係する話です。内容： スキーマと集合の添字族 集合族の具体例 バンドルのセクション…

配信停止のために↓って、合法なのかな？ いずれにしても、電話するかメールを出さないといけないってメンドクサ過ぎる。 配信停止を希望される場合はお客様のお名前・ご住所・メールアドレスを下記までご連絡ください。 TEL: XXXX-XXX-XXX メールアドレス: X…

集合の添字族を話題の中心として、「タプル型とタプル構成」の双対概念である「ユニオン型とコタプル構成」について説明します。内容： 集合の添字族 集合族のcase文による構成 集合族の逆像による構成 総積／総和と非空条件について コタプル構成 集合の添…

だいぶ前に「算数の掛け算の順序を交換してもいいかどうか？」みたいな話が盛り上がってましたよね、たしか。なんか「どうでもいい」感じがして*1、僕は無視してました。だから、事情や背景の詳細は知りません。最近は鎮静化したんですよね。“熱い”ときに議…

長男よりの情報： 食パンに溶けるチーズをのせる。 そこにベビースターラーメンを振りかける。 他になんか適当にのせてもいい。 オーブンで焼く。 うまい。 ほんとかなー？

http://news.livedoor.com/article/detail/7200119/ : マイルＣＳ（11月18日・京都）で４番人気のサダムパテックをＧI初勝利に導いた武豊ぶりの戴冠という喜びをかみ（43）は、自身も２年しめつつ、続けてこうも吐露した。 なんだコレ？↑こうか？↓ マイルＣ…

Caty（動画）のデプロイツールを作っているんですが、難しいですね。僕は、このテのツールに興味も経験もなかったし、あまり積極的になれなかったんですよね。『継続的デリバリー』という本を斜め読みした結果、ソフトウェアをデプロイするためのソフトウェ…

あのしつこく追いかける粘着広告（リターゲティング広告って言うんですか）、あれをとめることって、できないのでしょうか？クリック押し間違いで見たモノでも追いかけられます。興味を持って見た広告・サイトでも、例えばその品物を買った後でも追いかけて…

Twitterがいつの間にか変わっていた 「Twitterも昔は良かった」か。僕は、昔も今もTwitterをほとんど使わないので、良かったもナニもないのですが、インターネット全体に関して「昔は良かった」感を抱くことはたまにあります。今のインターネットって、よう…

「コンストラクタやクローニングの表示的意味論：多オブジェクト系とフォック構成 (1)」の続きである「(2)」を書こうかと思ったんですが、「(2)」で使うであろう、ちょっとした公式を先に説明しておきます。ex + y = ex×ey という指数法則はご存知でしょう。…

「メイヤー指標」のコメント欄において： Juppaさん： > むしろいつも，何の問題を解こうとしているのかが先に示されないまま代数的方法が始まるという印象です． shiroさん： > このへんの議論がcatyにどうやって落とし込まれるのか興味を持って見ています…

「メイヤー指標」において： Creatorはオートマトン（ラベル付き状態遷移系）の状態遷移と考えることはできません。複数のオートマトンの状態を同時に表現できるような空間、いわばオートマトンのフォック空間（Fock space）を考えて、フォック空間内でオブ…

次のような2つの箇条書きがあります。 <ul> <li>リンゴ</li> <li>オレンジ</li> <li>バナナ</li> </ul> <ul> <li>キャベツ</li> <li>ニンジン</li> <li>ダイコン</li> <li>ハクサイ</li> <li>ブロッコリー</li> <li>トマト</li> <li>キューリ</li> </ul> この2つの箇条書きを、左右横並びに配置したかったんですよ。CSSでなにやら頑張ればできそうな気はしたんですが、頑張…

なにかで見た「マッチに火をつけろ」というiPhonアプリ*1をダウンロードしてみました。反射神経のゲームなので僕は苦手です。でも、次男が気に入って熱心にやっていました。長男：「なにやってんの？」次男：「マッチ！」長男：「マッチつうと近藤真彦？」次…

jQueryのドル記号「$」は、理不尽なくらいに大活躍します。あまりにも何でもできるので、「ありゃ何なんだ？」と思いますよね。$(...) という形で呼び出せるので、関数なのは確かです。JavaScriptでは、ひとつの関数名に対して呆れるくらいにオーバーロード…

メイヤー先生や、先生の「Command-Query分離の原則」については、何度も何度も話題にしてます。 「メイヤー」を含む記事一覧 最近（2012年）は、「Command-Query分離の原則」の代数的／圏論的な定式化をして、それに勝手に「メイヤー代数」だの「メイヤーオ…

極限（limit）は、圏論でよく使われる構成法です。直積や終対象も極限の一種です。極限の双対は余極限で、これは矢印の向きを反対にした議論をすればいいですね。ここでは、極限を関手の表現対象により説明してみます。内容： 極限と錐の圏 極限の例 頂点を…

メーラーデーモン（のたぐい）から、身に覚えのない配送失敗のメーッセージが戻ってきてます。 --転送されたメッセージ-- Subject: 友達に「ゾンビカフェ」に招待された！ From: 檜山のメールアドレス Date: Fri, 9 Nov 2012 18:29:45 +0900 To: 知人のメー…

うちの子供たちの話題といえば、サッカーかお笑いばっかり。最近だと「ワンピース」が少し入るくらい。ところが、次男が『素数ゼミの謎』という本を読みだして、素数ゼミの謎作者: 吉村仁出版社/メーカー: 文藝春秋発売日: 2005/07/12メディア: 単行本購入: …

電車で見かけた人が、名札と一緒に「私は非安全行動をしません」という札もぶら下げていた。「非安全行動」って何のことだろう？ 初めて見た言葉だ。「私は安全行動をします」じゃダメなんだろうか？「非安全行動」を検索してみたら、「不安全行動」しか出て…

「ラベル付き遷移系のIO結合」において、次のように書きました。 IOインターフェースを持ったラベル付き遷移系の全体が圏になるかと言うと、色々と難しい点があります。...(難しい点の説明)...この状況は、豊饒圏と高次圏を組み合わせれば、うまく表現できそ…

昨日、長男と「東京ラーメンショー2012」に行ったきました。 http://www.ramenshow.com/ いやー、大変だった。甘く見てました。あんなに人出があるとは。チケット買うのに並んで、選んだラーメン屋さんで注文するのに並んで。結局、渋谷にもお店があるラーメ…

「bitbucketはもう信用する気になれない」でbitbucketに文句をたれたが、とりあえずは使い続けることにした。イシューのWiki構文はMarkdownとなった。Markdownのレンダリングではソースコードのハイライト（カラーリング）が使える。プログラミング言語を指…