「バベルの塔」問題 「アブダクション」問題 バベルの塔 - Wikipedia 神は降臨してこの塔を見「人間は言葉が同じなため、このようなことを始めた。人々の言語を乱し、通じない違う言葉を話させるようにしよう」と言った。このため、人間たちは混乱し、塔の建…

可約多項式 reducible polynomial 既約多項式 irreducible polynomial 可約分数 reducible fraction 既約分数 irreducible fraction 可約表現 reducible representation 既約表現 irreducible representation 合成数 composite number 素数 prime number 分…

ERモデリング 外部世界を「集合、写像、関係」でモデル化して、ノード、アロー、ブリッジで図示する。 TCモデリング ERモデリングの成果物であるER図を変形してTC図を作成する。 ER＝Entity-Relationship、TC＝table-column。ER図の構成要素： 《ドメイン》…

《リレーション》 関係にあらず 《タプル》 タプルにあらず 《ジョイン》 結合にあらず 《ドメイン》 域、領域にあらず 念のための退避（ほとんど使わないけど）： 関係→関連 タプル→順序タプル 結合→合成 域→始域 グラフ用語の追加・概念の追加 装飾：形状…

ともかく用語がたくさんある。 表示（denotationやrepresentationじゃなくて、presentation） 生成系と関係 ： 古典的な用法、たぶん群表示が起源 生成系と等式系 ： 関係が等式のとき 生成系 ： 関係も生成系の一部と考える コンピュータッド ： 次元（次数…

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

現状と対策、、、ほぼ地獄の様相 - 檜山正幸のキマイラ飼育記 メモ編 Pureの型prop 命題論理の命題変数 論理式（一番標準的だと思える） 閉じた論理式（自由変数を含まない） 型がpropであるラムダ項 MLのデータ型thm MLのデータ型thmのデータインスタンス M…

現状と対策、、、ほぼ地獄の様相 - 檜山正幸のキマイラ飼育記 メモ編の方針で、1エントリに1語ずつ説明していく。[用語法][多義語]タグを付けて、タイトルにも「多義語：」と入れる。 辞書的意味 証明が済んだ論理式（ほぼ、辞書的意味） ML言語のthmデータ…

現状と対策、、、ほぼ地獄の様相 - 檜山正幸のキマイラ飼育記 メモ編の方針で、1エントリに1語ずつ説明していく。[用語法][多義語]タグを付けて、タイトルにも「多義語：」と入れる。 辞書的意味 Isar文書内で、theoremコマンドによるIsar文の後に続く部分 …