cathand
Jcentric型システムの宣言スタイル・スキーマ構文 - 檜山正幸のキマイラ飼育記 (はてなBlog)の意味論のほうの話。 Posetoidの導入は避けられない。Posetoid自体はデカルト閉っぽい。 Posetoidの圏の変種は、必ずしもデカルト閉にはならない。 category with …
順序を≦、同値関係を〜とすると、条件は: a≦b, a〜a' ⇒ a' ≦ b a≦b, b〜b' ⇒ a ≦ b' くらいかな。Aの商Q(A)にも「≦が落とせる」と言えばいいのか。
Tが型表現、またはその意味であるインスタンス領域だとして、tags(T) は、Tのインスタンスに付いている可能性のあるタグの集合。次のことを保証したい。 tags(T) は空ではない。 x∈T ならば tag(x) ∈ tags(T) そうなれば、S|T に対して、tags(S)∩tags(T) = 空…
邪悪なfontタグにも利用価値がある。<font>... </font> とすると無害で透明なラッパとして利用できる。spanでもいいのだが、spanより透明性が高い気がする。あとは無害なマイルストーンタグが欲しいが、、、
大局的プログラミング(programming in the large)の話題:モジュールの演算5つはもっと簡単になる - 檜山正幸のキマイラ飼育記 メモ編のモジュール演算の件だが:enrichmentってのがイマイチわからん。が、次のようなもんだと思う。 module M = (A+B).((fr…
パス形式とBNF形式がほんとに同じことを確認する パス形式とBNF形式のそれぞれ、または共通のバリデーションアルゴリズム エラーメッセージの解釈と、現実的に使いやすいエラー方式 ヘッダ情報と環境変数に関する定式化 XML, JSON, Xion まとめる。 特にXion…
Title: Uniform Resource Identifiers (URI): Generic Syntax URL: http://www.ietf.org/rfc/rfc2396.txt または http://tools.ietf.org/html/rfc2396 (HTML版) はちゃんと読んだほうがいいかもな、なにしろ原典(原点)中の原典。原典/原点と言えば、 Titl…
大局的プログラミング(programming in the large)の話題。ゴグエン先生の論文は "An Implementation-Oriented Semantics for Module Composition" だった。それで、MCLは、Module Composition Language の略でした。しかし、どっかで Connectingも使ってい…
ゴグエン先生が、MCL(Module Connecting Language)と言っていた。なーんか、今さらではあるが、いきなり分かってしまったよ! 大局的プログラミング(programming in the large)のMCLのなんたるかを。記法を色々使うが、圏論記法、中間記法、実用記法とし…
Sがシステムコンポネントで、R[S] は「Sのreadファセット」、W[S]は「Sのwriteファセット」とする。メイヤー流インターフェースで言えば、readファセット=query部分、writeファセット=command部分。 f:A→B consults R[S] これは自明コモナド・スタンピング…
fieldset, legend, label, optgroup とか, selectのsize, multiple属性とか、よく知らなかったわね。Webデザイナを志す僕(ウソッ)は、このくらい知らねば。
『キャズム』って本(http://www.amazon.co.jp/dp/4798101524)があったな。キャズム(Caty's Schema Modules)では、列の正規表現を許さず強い制限を加える。これは表現力を弱くしてしまうが、安全性が高いし実装容易だし、パス形式のような構文を可能とす…
JSONスキーマ言語の話。BNFは、再帰方程式系(Recursive System of Equations, Recursive Equational System;ベクトル記法を使うなら a recursive equation)の最小不動点による定義。このとき、基本型(外延的には基本領域)と型構成子(外延的には集合/…
アタマ・イターー。 データ型 空文字列 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アクセスだ…
余対角∇:A+A→A を積、始対象からの唯一射θA:0→Aを単位とすると、直和に対するモノイダル・スタンピング・モナドができる。これは対象Aで添字付けられる。つまり、対象と同じだけ直和自明モナドが存在する。同様にして、対角Δ:A→A×Aを余積、終対象への唯一射!…
'.'、'_' ではじまる名前はやっぱり外部からはアクセス禁止だろう。それと、'--' (ハイフン2個)を含む名前のファイルは、トークン(ワンタイムチケット)なしではアクセスできない、としようかな。 register--.cgi --register.cgi register--retry.html re…
総称型とJSONスキーマ属性 - 檜山正幸のキマイラ飼育記 メモ編にも書いたが、繰り返して、もう少し追加: 適用対象 スキーマ属性名 意味 値の型 デフォルト値 array unique 重複を許さない boolean false array unordered 順序を考慮しない boolean false ob…
http://www.json.com/2007/10/19/json-referencing-proposal-and-library/
Set<X>, Bag<X> のような型を導入はしないで同じことをしたいなら: arrayのスキーマ属性に unique と unordered を入れる unique = true なら同じ項目を許さない。 unordered = true なら項目の出現順序は気にしない。 unorderedのときはソートしたものを正規形と</x></x>…
最小抽象ファイルシステムの仕様案 最小抽象ファイルシステムの仕様案 その2 最小抽象ファイルシステムの仕様案 その3 HTTPメソッドの正統的使い方と現実的対処法
HTTPメソッドの正統的使い方と現実的対処法 - 檜山正幸のキマイラ飼育記 (はてなBlog) で書いた細分化されたメソッドを使うことにして: HTTPメソッド クライアント動詞 シェルコマンド get exec, edit, view, inspect print, dump put save write delete de…
http://d.hatena.ne.jp/m-hiyama/20090610/1244593278 これをもとに、スキーマ属性のスキーマを書こう。
throws もちろん、例外を投げる consults (管理下の)状態遷移系に対して問い合わせだけを発する operates (管理下の)状態遷移系に対して遷移を引き起こす emits イベントやメッセージを(管理外である)環境の外部に発行する 管理下とか管理外は環境=シ…
なんだかんだの理由で分配代数/分配圏が面白いんだけどな。今書いている余裕がない。[以下 追記]例を書いておこう。 まずは、直和と直積を持った集合圏。 自然数Nを普通に考えて分配代数 N+ に順序、足し算、掛け算で分配圏。ただし、0を入れるとちょっと変…
Back To The Good Old Days
今日書いた記事: 実行と状態遷移 - 檜山正幸のキマイラ飼育記 メモ編 と、少し前に書いた: 関数計算のエルドラド - 檜山正幸のキマイラ飼育記 メモ編 を考えあわせると、直積によるモノイダルスタンピング・モナドがたくさんあるような世界は非常にうまく…
やっぱり多少の変更は必要だな、とはいっても互換の範囲でできる。まずはコンベンションの追加:ドル記号からはじまるプロパティ名は特殊目的なので、ユーザーレベルでは使えない、とする。アプリケーションは、知らないドルマーク・プロパティが出てきたら…
いつだって悩む。 ?< タギング(ラップ)演算子