述語論理
2022/2/25 22:29:00
本データ設計論理データベースT字型ER手法クルト・ゲーデルT字型ER手法の作図ルールaRbevent : eventresource : eventresource : resourceコード体系クラス論理意味の対象説entityはresourceとeventに分けられる在庫はentityではない「entityは管理したいモノ」というのは正確ではないT字型ER手法のentityは名辞ヒルベルトのプログラムデータベースルートヴィヒ・ウィトゲンシュタインT字の右辺には述語を書くT字形ER手法はaRbを関数表現として解釈しない命題論理学記号論理学『論理哲学論考』言語ゲームは意味の使用説を提示した概念述語論理entityはidentifierを付与されたモノチューリング関係の論理「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
2024/5/5 15:41:00
Prolog
2023/3/29 13:47:00
概念グラフ
2023/5/1 12:28:00
一階述語論理
2024/3/17 15:38:00
高階述語論理
2024/3/17 15:24:00
あれ
2023/9/23 12:25:00
わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。
GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。
予算駆動エキスパートシステム
2023/9/15 17:46:00
予算という説明責任をあれするために命題論理をあれしてシステム化