たしか、Subject-Property-Value図とか、そんなんがあったな。 Subject 丸印 Property 名札が付いた矢印 Value 四角とか、あるいは再帰的にSPV スカラー（基本データ）は四角か楕円とか。細長い四角形で配列を表せばJSONの図示となる。[1, 2] は次の図。 +--…

本編に書くべきなんだが、面倒でなー。 {ただのHTMLファイル} ⊆ {HTMLテンプレートファイル} （一般には {静的コンテンツ} ⊆ {動的コンテンツ}） {JSONデータリテラル} ⊆ {Catyスクリプト} {HTTPリクエスト} ⊆ {Catyコマンドライン} これの左側だけを取ると…

dirname, basename, ext, trunk の定義 ノード概念、ノードの種別 パス名の接頭辞順序 ツリー領域、またはツリー形状の定義 ツリー形状の上で定義された関数としてツリー ノード属性と関数値 パスの存在確認 パスの実体の生成 パスの属性を読む パスの属性を…

when {number => "this is number", string => "this is string"} function output(x) { alert("output: " + x); }if (typeof input === 'number') { output("this is number") } else if (typeof input === 'string') { output ("this is string") }

スコットブラケットとゲーデルの記号（あの記号そのものはなんていうんだ？）は知っておいて損はない。つうか、知っておくべきだし日常的に使うといいと思う。しかーし、手書きじゃないと書けないのが困る！ スコットブラケットを強いて書けば、【…】 ゲーデ…

集合の直積を考えたモノイド圏では、右自明（左自明）モノイドを作れる。集合の直和について同じことをしようと思うとうまくいかない。射を部分写像にすると、右自明積の類似を定義できる。A+A→A を左成分では未定義、右成分では恒等とすればいい。ところが…

Catyのモデルとなる圏って、分配圏をイッパイ含んだ分配圏か？ スタンピングでモナド、コモナドを作るときに使う演算と、JSONデータを細工するときの演算は明らかにレベルが違うのだけど、どっちも分配代数の構造を持つ。なんか、やっぱりマトリョーシカつう…

Prologの意味論で、閉世界仮説とかいうのがあったけど、アリャいったい何だったんだろう。いまだにわからん、つうか、一度も考えた事ないからわからんで当たり前だが。「Aの証明が失敗する」と「Aが証明できない」と「¬Aが真]を同一視するような話だったと思…

The comprehension principle 「包括原理」 The axiom of comprehension (CA) 「包括の公理」かな specification とか separation とも呼ばれる。 The axiom of separation は「分出公理」。 The axiom of specification 訳？ restricted, relative, bounded…

分配代数の圏バージョンである分配圏。2つのモノイド積を持つ。とりあえず、分配法則と結合法則のあいだの結び付きは次の可換図式で表現されるだろう。 a[(b + c) + d] → a[b + (c + d)] ↓ ↓ a(b + c) + ad ab + a(c + d) ↓ ↓ (ab + ac) + ad → ab + (ac + a…