このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

雑記/備忘

ブックマークでやりたいこと

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

圏論的オペレーター/コンビネータ

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

はてなブックマークの話 続き

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

はてなブックマークのエクスポート

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

タプルとリレーション

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

リレーションの理論はダメだ (2)

リレーションの理論はダメだ - 檜山正幸のキマイラ飼育記 メモ編の続き。 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 ⊆ ⊑ ∪ ⊔ ∩ ⊓ 〜 ⌣ ⇔ ↔

(ミス投稿)丸山善宏さんの「圏論的双対性の理論入門」と understanding conferrability

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

Back to XML (2)

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

Back to XML

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

micro* (2):microdocuments

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

micro* (1): microな考え方/やり方

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

micro* (3):microapplications

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