存在しなくなったターゲットを検出したい。バックグラウンド・バッチ処理。 存在しなくなったターゲットの代替を定義したい。 ブックマーク本体（body部）を別なリソースに書きたい。 ボディとターゲット以外に、関連リソースへのリンクを含めたい。 httpとh…

用語法、表記法 オペレーター | オペレータ | 演算子 | 作用素 | コンビネータ | コンビネーター コンストラクタ | コンストラクター | 構成子 | 構築子 | 生成子 例 トレースオペレーター 不動点オペレーター CADGの微分オペレーター／微分コンビネータ デ…

検索やソートに利用できる項目ソート／グルーピング ブックマークの生成時刻 タイトル文字列のソート順、あまり意味ねー URLのあるレベル（ドメイン名など）でグルーピングする。 人気順（ユーザー数が多い順） 検索／制限 タグによる検索 コメント内にある…

http://b.hatena.ne.jp/help/entry/port#export に従う。 ユーザー画面から設定画面に 「データ管理」タブに移動します エクスポートより、Atomフォーマットを選んで、右クリックでダウンロード。 何も変更しないと、ダウンロードのファイル名はdump.htmとな…

RDB的タプルの呼び名： レコードみたいなものに関して - 檜山正幸のキマイラ飼育記 メモ編 いろいろな言語での Map, Dictionary 的なものの名前 - Qiita ハッシュマップ、ハッシュ、マップなどは実行時に名前を持っているもの。構造体やオブジェクト（の多く…

リレーションの理論はダメだ - 檜山正幸のキマイラ飼育記 メモ編の続き。 RVA（relation valued attribute）って、ホントにバカじゃないの?! group-byの結果を再びリレーションとして表現するために導入したらしいが、なんでそんなバカなことする？ Rel(A, B…

まず、タプル空間という言葉を定義する。A, B, Cなどが見出しだとする。見出しは名前集合の部分集合だが、名前集合にはドメイン割り当てが決まっていて、ドメイン集合も決まっている前提。x, yなどはタプル集合とする。タプル集合はタプル空間の任意の部分集…

CSSのテストを兼ねて囲み記事にして書く。いずれにしても、携帯（タッチデバイス）では効かなくなる。[補足](L, ∧, ∨, 1, 0)を分配束とする。束なので、∧も∨もベキ等可換で、ベキ等可換演算から導入される順序≦が、∧からでも∨からでも一致する（束の公理から…

奥野さんの本がダメなのではなくて（いや、少しダメだが）、リレーションの理論がダメだわ。 事実上破綻している。 悲惨な状況を呈している。 原理主義者の末路。本土から離れた離れ小島に移住して、方言・隠語の独自文化圏を築いたが、文明から隔絶されて進…

値としての集合はセットと呼ぶことにする。 値 集合 型 スカラー スカラー集合 スカラー型 タプル タプル集合 タプル型 スカラーセット スカラーセット集合 スカラーセット型 タプルセット タプルセット集合 タプルセット型 リレーション リレーション集合 …

変数には次の種類がある。 基本変数（basic variable） スナップショット変数（sinapshot variable） 自動反応変数（reactive variable） 自動反応変数は、もしろ自動反応定数として使うべきかも知れない。 自動反応定数： 自動反応変数と同じだが、一度式を…

*1参考： モノイド圏の単位対象の定義について： これ難しいやん - 檜山正幸のキマイラ飼育記 http://www.sciencedirect.com/science/article/pii/S0001870883710558 標準表現は右標準表現を考える。とりあえず絵だけ並べる。これはバックワード・リーズニン…

本編 http://d.hatena.ne.jp/m-hiyama/20171010/1507600955 : と、そろそろこの記事はおしまいにします。それにしても、「（詳細は別途記述予定。）」をイッパイ入れちゃったな。いつになるか分からないし、全部書けるかも不安ですが、出来る限り宿題は果た…

実体ノードEとその属性集合Aがあり、Aを含むリレーション型Rがあるとき、AがRに置いて網羅的とは、 A:E→Tuple(A) は単射である。 Rの任意のインスタンスrにおいて、r[A] = A[E] が成立する。 さらに、r|→r[A] が常に単射（つまり、キー）なら、完全と呼ぶ。…

ERスキーマの図式的表現をER図と呼ぶことにする。ノードとアロー（有向辺）からなるグラフ（箙）。 図 説明 ドメインノード 基本的値の集合 実体ノード 個体の集合 属性アロー 実体→ドメイン 関連アロー 実体→実体 計算アロー ドメイン→ドメイン ドメイン→実…

リレーショナルと言わずに形容詞もリレーションで済ませる。で、リレーションスキーマとリレーション指標（relational signature）は同義語。Sがリレーション指標とは、Sのインデックスセット|S|があり、ドメイン割り当て δS:|S|→|Set| があること。指標射 j…

苦肉の策だが、あまり一般的でない用語と記法を導入する。 親集合： A⊆X のとき、Aから見てのXのこと コンビネーション： 有限部分集合と同義 Combination(X) = FinSubset(X) = Powfin(X) Subset(X) = Pow(X) ラショネールは、高校の順列・組み合わせ（Permu…

階数n n階のモノ・値 (n + 1)階のモノ・集合 0 ドメイン要素（値）、タプル 制約された値、絞り込まれたタプルの集合 1 リレーション 制約されたリレーションの集合 2 カインド (考えない) 関数・演算 値の関数・演算：引数が値 タプルの関数・演算：引数が…

通常の用語 退避先 備考 タプル 配列、ペア 長さ2の配列をペアと呼ぶ 関係（relation） 関連（relationship） 二項関連しか扱わない 直積 ペア積 n-直積はペア積の繰り返しとする 結合（composition） 合成 合成が多数派 域（domain） 始域（source） 圏論の…

レコードライクなデータ構造 レコード ロー、行 （名前付き）タプル 構造体 オブジェクト 名前・値ペアの集合 フィールド相当 成分、コンポネント 項目、アイテム カラム、列 メンバ プロパティ フィーチャ 属性、アトリビュート 要素 スロット 名前がないと…

参考 TeX Unicode ⊆ ⊑ ∪ ⊔ ∩ ⊓ 〜 ⌣ ⇔ ↔

投稿先を間違った。 http://d.hatena.ne.jp/m-hiyama/20131108/1383883797

本編「Back to XML (2)」のコピー。 過去に蓄積されたXML技術のどのあたりを檜山が面白いと感じ、再評価・再発見してみたいと望んでいるのか？それは、また次ね。 前回、こんな文面で終わってしまったので、「それはどこ？」の話をせざるを得ないでしょうね…

本編「Back to XML」のコピー。一時期、ある狭い範囲内では「XMLの檜山さん」だったわけですが、ここんところ、XMLにはご無沙汰で、事実上何もしてない。個人的な事情もあるけれど、期待したほどには XML everywhere、everything in XML という状況にはなら…

本編「micro* (2)：microdocuments」のコピー。"micro"という形容詞に、microformatsの背後にある理念が込められている、という（ひょっとすると僕の勝手な）前提に基づき、その理念に沿ったナニモノカの総称としてmicro*を提案しました。それが前回。さてと…

本編「micro* (1): microな考え方／やり方」のコピー。microformatsが、どうして"micro"という言葉を選んだのか、どうも腑に落ちない感じがしました。（だって、Microsoftだってmicroだし。）武田の近況報告「Microformats (とSemantic Web）」とAmazon Web …

本編「micro* (3)：microapplications」のコピー。出かける準備で早起きしました。あわただしいので中途半端な記述ですが、micro*シリーズその3（の断片）を投稿してから出発します。マイクロアプリケーション（microapplication）とは、とりあえずはマイク…