t_wの輪郭
RSS
像
写
しゃぞう
写像
2023/9/11 0:44:00
写像理論
【定理証明支援系Lean】写像って、そもそも何?
『関数としてのテーブル - 写像と命題関数|ミック』
テーブルはキー列から非キー列への写像
現実の写像
写像
現実
現実の写像
2023/9/11 0:40:00
輪郭法は財務・会計・経理と相性が良い
現実の写像とはどのように表現すればよいか?
あれ
あれ
あれ
あれ
あれ
あれ
RDB
非キー列
キー列
テーブル
写像
テーブルはキー列から非キー列への写像
2024/4/28 23:08:00
『関数としてのテーブル - 写像と命題関数|ミック』
写像
理論
写像理論
2022/5/28 11:40:00
『論理データベース論考』
『論理哲学論考』
意味の対象説
テーブルはキー列から非キー列への写像
写像
テーブル
関数
RDB
RDBのテーブルは関数
ミック
『関数としてのテーブル - 写像と命題関数|ミック』
2024/4/28 23:07:00
https://note.com/mickmack/n/n42e8f69e62db
写像
Lean
【定理証明支援系Lean】写像って、そもそも何?
2024/4/22 19:54:00
(
https://youtu.be/zV7MMw2nA-Q
)