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

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

2017-11-06から1日間の記事一覧

possible totality = 可能的全体

実体(entity)の意味論には、特定の名前(=ラベル)を持つ実体の可能的全体(=possible totality)と呼ばれる集合が必要。実体の実現値(=具体例=インスタンス)は、可能的全体の部分集合(または有限部分集合)となる。可能的全体の要素は可能的個体(…

言葉がないのが問題

ジャーゴンだけでは言葉が足りない! 普通 データベース リテラル JSON形式(一例) 変数 テーブル 定数 ? 値 《リレーション》 破壊的代入 更新 演算 《リレーション》演算 型 ? 基本データ型 《ドメイン》 《リレーション》は、特殊なデータ型(直積デー…

なぜリレーションの理論は腐ったのか

腐ってクソ理論に成り下がったのは: コッドが偉大すぎた。 デイトが純粋化して、コッドの現実迎合的(不純な)傾向はなくなった。 純粋化から教条化・徳目化した。 ジャーゴンにより、他分野との交流が困難になった。 閉塞・閉鎖的傾向が強まった。 進歩が…

リレーションの理論の代替案

奥野本擁護と奥野本批判にて: 先にその問題点を言っておくと: 論理をほとんど使ってない。 外部世界を考慮してない。 一単語追加して: 数学・論理をほとんど使ってない。 外部世界を考慮してない。 この批判と共に提示すべき代替案・対抗案は: 数学・論…