m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ データベース 用語法 STEM ジャーゴンだけでは言葉が足りない！ 普通 データベース リテラル JSON形式（一例） 変数 テーブル 定数 ? 値 《リレーション》 破壊的代入 更新 演算 《リレーション》演算 型 ？ 基本データ型 《ドメイン》 《リレーション》は、特殊なデータ型（直積データ型の有限ベキ型）のインスタンスのこと。ところで、データ型＝不変実体。実体＝時間変化する部分集合、不変実体＝時間変化しない部分集合＝単なる部分集合＝制限型。ありとあらゆるデータ型は制限データ型とみなせるので、制限型＝型。よって、不変実体＝データ型。用語は次のようにする。 基本データ型＝《ドメイン》 直積構成：基本型からの直積型 s×t … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171106%2F1509964193" title="言葉がないのが問題 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-11-06 19:29:53 rich https://m-hiyama-memo.hatenablog.jp/entry/20171106/1509964193 1.0 100%