t_wの輪郭

Feedlyでフォローするボタン
関係関係の論理

aRb

2024/6/1 15:47:00

「aはbに対してRの関係にある」を表す表現。

『論理データベース論考』T字形ER手法はaRbを関数表現として解釈しない輪郭はaRbのaであり、Rであり、bであるあれ輪郭{a}{R}{b}に輪郭{aRb}を引き入れる輪郭の引き入れによるaRbの表現表をaRbに分解するあれaRbの固定長ベクトル表現の加減算aRはaとRの集合に属するbはaRの集合に属するaはRbの集合に属するあれあれaRbの固定長ベクトル表現T字型ER手法の作図ルールRDBのテーブルをaRbとみなすあれあれ「aからbに置き換えられる」という関係によって諸相を表す関係の論理aRxHTMLをaRbで表現xRb
本データベース述語論理T字型ER手法データ設計論理データベースT字形ER手法はaRbを関数表現として解釈しないentityはresourceとeventに分けられるT字の右辺には述語を書くT字の左辺には主語を書くentityはidentifierを付与されたモノ在庫はentityではない「entityは管理したいモノ」というのは正確ではないT字型ER手法のentityは名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』aRb排中律「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」意味の対象説写像理論言語ゲームは意味の使用説を提示した概念言語ゲーム『哲学探究』仮言命題命題論理学T字型ER手法の作図ルールヒルベルトのプログラムウィトゲンシュタインは『探求』で1対1対応を否定したクラス論理集合論BGの公理系多項述語論理コード体系『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』event : eventresource : eventクルト・ゲーデル記号論理学単項述語論理関係の論理第一階述語論理resource : resource真理関数合併集合正則性公理空集合の公理冪集合の公理ZF和集合の公理DB論考Bernays-Gödelの集合論公理的集合論集合論の公理体系ZFから置換公理を除いた公理系がZermeloの集合論Zermelo-Fraenkelの集合論Zermeloの集合論置換公理axiom of infinity分出公理無限集合の公理BG内包の公理部分集合の公理対の公理外延性公理無限集合

あれ

2024/6/3 23:58:00

　ずっと、考えるということはマリオカートのダッシュパネルのようなものだと感じていた。つまり、ダッシュパネルに乗ったマリオはダッシュパネルが向いている方向に射出される。そして、射出された先にダッシュパネルがあれば、マリオは再びその方向へと射出される。そうして上手く連鎖したときに、マリオが遠くにふっとばされて楽しい。といった感じだ。
　ここ最近の思索（A)の結果、関係はベクトルあるいはビット列で、aRbや述語論理はベクトルやビット列の加算に類する演算で表すことができるのではないかという仮説が立った。ここで、私の頭の中で、「マリオカートのダッシュパネル＝関係のベクトル」という結びつきが生じた。

　この、アイデアの線分と線分の重なりが発見されたため、思索（A)を掘り進めれば、仮説が正しいにせよ間違っているにせよ、何かが見つかるのではないかという気分が高まっている。

書きかけ

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}\)が「真」を表すと計算上都合が良い。余計な計算がなくて単純である。

aRx

2024/6/2 16:53:00

xRb

2024/6/2 16:53:00

あれ

2024/6/1 15:55:00

aRbをProlog的に考えてみる。
Rb(a)と表すことができる。つまり、鳥である(鳩) のようになる。
bを主語化すればR(a,b)と表すことができる。すなわち、である(鳩,鳥) となる。、
Rを主語化すればX(a,R,b)と表すことができる。つまり、X(鳩,である,鳥) となる。

このXが何者なのかはわからない。命題？文？