このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2012-12-01から1ヶ月間の記事一覧

今年の年末年始は

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

個人デジタル出版で儲け、られそうにない 2012年末・編

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

束縛子(binder)

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

今年のクリスマスは

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

マトリックスとツリー

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

年末とは別な理由で忙しい

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

クラブワールドカップ2012 準決勝@横浜

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

スキーマと集合の添字族とデータ型の構成

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

セールスメール配信停止の手続き

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

集合の添字族とユニオン型とコタプル構成

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

どうでもいいけど、掛け算の順序の話

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

それ、おいしいのかな?

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

ニュースの文言がパズル

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

ソフトウェアをデプロイするためのソフトウェア

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

いいかげんに付きまとうのはヤメてくれ

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