集合論
2022/5/28 2:43:00
Zermelo-Fraenkelの集合論
2024/8/17 23:48:00
『論理データベース論考』
2024/8/17 23:40:00
書きかけ
word2vecを念頭に置くと
\(a = 日本\)
\(R = 首都\)
\(b = 東京\)
の場合、
\(a = b - R\)
\(b = a + R\)
\(R = a - b\)
\(a - b - R = \vec{0}\)
の関係が移項によって得られる。
この関係の\(a - b - R = \vec{0}\)に着目すると、\(\vec{0}\)が「真」を表すと計算上都合が良い。余計な計算がなくて単純である。