アタマ・イターー。 データ型 空文字列 integer, number undefined string 不明 non-empty string undefined boolean undefined null undefined 問題は、データ型がstringでデータが""のときだけか。textとかtextareaの解釈をnon-empty stringとするか。どう…

JSONデータにundefinedも入れて、その上でホントの例外⊥も入れた領域を考える。これをJ⊥とする。J⊥ 上の計算可能な関数を考えると、対象が1つの圏（モノイド）ができるが、これのカロウビ展開圏 KE(J⊥)を作る。JSON処理関数（コマンド）の最初の意味論は、こ…

f:A→B consults S は、fがシステムコンポネントに対して問い合わせ（readアクセス）をするということ。これは、fがSをreadonlyモードで要求していることになる。Sがなければfは動かないが、Sへの書き込み（状態遷移操作）はしない。Sへのreadonlyアクセスだ…