標数0に違和感を感じるようなので、 0 + 1 + ... + 1 （1がn個） という式を考えて、 0 + 1 + ... + 1 = 0 となる最初のnを標数と定める。標数0なら 0 = 0 が最初に成立して、その後はずっと成立しない。ところが、それだとあらゆる体の標数が0になってしま…

RDBもERモデルもズレているところがある。 「実体」は、実体の母集合〈population | parent set〉、実体の状態〈インスタンス〉、母集合の要素、状態の要素、そして実体名のどれだか分からない。 実体の状態は、母集合の部分集合だから、1からの関係、または…