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

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

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