2017-11-06から1日間の記事一覧
実体(entity)の意味論には、特定の名前(=ラベル)を持つ実体の可能的全体(=possible totality)と呼ばれる集合が必要。実体の実現値(=具体例=インスタンス)は、可能的全体の部分集合(または有限部分集合)となる。可能的全体の要素は可能的個体(…
ジャーゴンだけでは言葉が足りない! 普通 データベース リテラル JSON形式(一例) 変数 テーブル 定数 ? 値 《リレーション》 破壊的代入 更新 演算 《リレーション》演算 型 ? 基本データ型 《ドメイン》 《リレーション》は、特殊なデータ型(直積デー…
腐ってクソ理論に成り下がったのは: コッドが偉大すぎた。 デイトが純粋化して、コッドの現実迎合的(不純な)傾向はなくなった。 純粋化から教条化・徳目化した。 ジャーゴンにより、他分野との交流が困難になった。 閉塞・閉鎖的傾向が強まった。 進歩が…
奥野本擁護と奥野本批判にて: 先にその問題点を言っておくと: 論理をほとんど使ってない。 外部世界を考慮してない。 一単語追加して: 数学・論理をほとんど使ってない。 外部世界を考慮してない。 この批判と共に提示すべき代替案・対抗案は: 数学・論…