本編 関係を表す矢印の形をどうしようか？ - 檜山正幸のキマイラ飼育記 を描くのに使ったのは、次のコマンド。 // -*- coding: utf-8 -*-/** ロバストネス風の図 */ module g;command arrow { @[default(false)] "total": boolean?, @[default(false)] "inj"…

連想コレクション（association collection）とは、RDBで関連テーブル（relationship table）とか呼ばれているようなもので、関連（数学用語では関係）だけを保持するためのコレクション。連想コレクションのレコードは参照のタプルとなる。角丸の菱型は使え…

http://d.hatena.ne.jp/m-hiyama/20130823/1377222190 別人のフリして2つのブログを書いてたりする人はどうすんだろうな。僕みたいな間違えはしないのか。いずれにしても注意力が必要だ、僕には無理。

「letマップ付きグラフ」で、letマップ付きグラフは、結局はサイクルとシェアリングを持つグラフの表現だ、と述べた。逆に、サイクル／シェアリングを持つグラフから出発して、letマップ付きグラフを作ってみる。これにより、ふだん我々が使っている名前機構…

クロアチアの女子テニス選手に Donna Vekic さんがいる。カタカナ書きだと「ドンナ ・ベキッチ」。不動点のBekicも音はたぶんベキッチだろう。

式を名前に束縛することは極めてよくある。letマップとは、この束縛機構を表すデータ構造だとする。ラムダ計算のlet式に相当する。再帰（自己言及）向けのletをletrecとして分けることが多いが、ここでは、letのなかにletrecも含めて考える。letマップのひと…

次がわかればJavaScriptは理解できたことになる。 すべてが Subject-Property-Value 構造。変数、名前、プロパティ、インデックスなどが事実上同じであることを理解する。同じメカニズムに異なる用語を使うのは習慣に過ぎない。 「オブジェクト、Object、obj…

http://d.hatena.ne.jp/m-hiyama/20130815/1376530706 に書いたようにドラッグ・アンド・ドロップを調べた。 firefoxは、ドロップハンドラ内のエラーでリダイレクトする。stopPropagation() してもダメなようだ。 Chromeは、デフォルトのドラッグイメージ（…

http://hal.inria.fr/docs/00/70/20/65/PDF/segal.pdf より、 1. annihilation lookup - update: reading the value of a location loc and then updating the location loc with the obtained value is just like doing nothing. 2. interaction lookup - l…

日曜は午後2時から 金曜は午後6時から

関数 /* -*- coding: utf-8 -*- */ /* kk.js */ function f1(n) { return (n + 1); } var f2 = function(n) { return (n + 1); } function f3(n) { this.result = n + 1; return this.result; } function f4(n) { this.result = n + 1; } function f5(n) { t…

M |= A A1, ..., An |⇒ B |≡ (A1, ..., An → B) τ |≡ (A1, ..., An → B) 読み方は、 model M satisfies formula A A1, ..., An entailes B (A1, ..., An → B) is valid τ ensures that (A1, ..., An → B) is valid

継承の話： http://d.hatena.ne.jp/m-hiyama/archive?word=%D3%AE%C6%FD%CE%E0 「哺乳類」で検索 動物→哺乳類→犬 のような例え話は嫌い。「関係ない」というか誤解する事のほうが多いだろう。説明によく使っている例は図形。 http://d.hatena.ne.jp/m-hiyama…

ウォーカーの視野（eyesight）と呼んではどうか？

(setq js-indent-level 2)

Mongoでサブドキュメントって言葉を使っているから、サブレコードを使ってもいい気がする。一方で、リンクをたどって展開したレコードも出てくる。これはそのまんま、リンク展開レコード、あるいは単に展開レコードかな。集合としてのサブセットもあるので、…