t_wの輪郭
理論
写像
写像理論
2022/5/28 2:40:00
『論理データベース論考』
意味の対象説
『論理哲学論考』
本
データベース
述語論理
aRb
ZF
T字型ER手法
集合論
集合論の公理体系
クルト・ゲーデル
『哲学探究』
『論理データベース論考』
2024/8/17 23:40:00
https://amzn.to/4dXwPaU
あれ
『論理データベース論考』が難しすぎてあきらめた
T字形ER手法はaRbを関数表現として解釈しない
entityはresourceとeventに分けられる
T字の右辺には述語を書く
T字の左辺には主語を書く
entityはidentifierを付与されたモノ
在庫はentityではない
「entityは管理したいモノ」というのは正確ではない
T字型ER手法のentityは名辞
チューリング
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
述語論理
意味
説
写像理論
意味の対象説
2024/5/5 6:42:00
『論理データベース論考』
『情報と生命―脳・コンピュータ・宇宙』
『論理データベース論考』
写像理論
論理哲学
論考
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
2022/5/16 6:26:00
『寝言ランカー(国産、遺伝子組換えでない): "論理哲学論考だと「世界で成立している命題」を「事実」、その上…" - ますとどんちほー』
『論理データベース論考』
『情報と生命―脳・コンピュータ・宇宙』