t_wの輪郭
本
データベース
述語論理
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/6/1 7:26:00
『論理データベース論考』
、めちゃくちゃ勉強になるな。
あれ
読み返し
『論理データベース論考』
難しすぎる
『論理データベース論考』が難しすぎてあきらめた
2022/6/1 10:30:00
2022年6月1日にあきらめる決心をした。難しすぎる。そのうち読み返したら分かるかもしれない。
あれ
aRb
『論理データベース論考』
T字型ER手法
T字形ER手法はaRbを関数表現として解釈しない
2022/6/1 10:07:00
『論理データベース論考』
event
『論理データベース論考』
エンティティ
resource
リソース
イベント
entity
entityはresourceとeventに分けられる
2022/6/1 10:05:00
『論理データベース論考』
『論理データベース論考』
T字の左辺には主語を書く
2022/6/1 10:04:00
『論理データベース論考』
『論理データベース論考』
T字型ER手法
述語
T字の右辺には述語を書く
2022/6/1 10:04:00
『論理データベース論考』
『論理データベース論考』
エンティティ
entityはidentifierを付与されたモノ
2022/6/1 10:02:00
『論理データベース論考』
管理
『論理データベース論考』
エンティティ
「entityは管理したいモノ」というのは正確ではない
2022/6/1 10:01:00
『論理データベース論考』
在庫
『論理データベース論考』
エンティティ
在庫はentityではない
2022/6/1 10:01:00
『論理データベース論考』
『論理データベース論考』
T字型ER手法
エンティティ
T字型ER手法のentityは名辞
2022/6/1 9:31:00
『論理データベース論考』
『論理データベース論考』
チューリング
2022/5/30 6:29:00
『論理データベース論考』
チューリングマシン
『情報と生命―脳・コンピュータ・宇宙』
『論理データベース論考』
ウィトゲンシュタイン
ルートヴィヒ・ウィトゲンシュタイン
2022/5/16 6:30:00
『論理データベース論考』
『哲学探究』
『論理哲学論考』
『情報と生命―脳・コンピュータ・宇宙』
『論理データベース論考』
写像理論
論理哲学
論考
ルートヴィヒ・ウィトゲンシュタイン
『論理哲学論考』
2022/5/16 6:26:00
『寝言ランカー(国産、遺伝子組換えでない): "論理哲学論考だと「世界で成立している命題」を「事実」、その上…" - ますとどんちほー』
『論理データベース論考』
『情報と生命―脳・コンピュータ・宇宙』
論理
『論理データベース論考』
述語
述語論理
2022/2/25 13:29:00
あれ
『論理データベース論考』
あれ
あれ
述語論理でプロジェクトマネジメント
あれ
ベクトル述語論理
「1時間20分(撮影が)回ってる」→「真」
あれ
f(f)
一階述語論理
高階述語論理
本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』
量化
微分可能述語論理
あれ
あれ
予算駆動エキスパートシステム
概念グラフ
Prolog