述語
#Fleeting_Notes
述語(predicate)
依存型に対応する
対応するもの
(論理) 述語
(集合) 集合族
(型理論) 依存型
(ホモトピー) ファイブレーション
確認用
Q. 述語
型と論理
型理論
調査用
Google.icon 述語(日)
Google.icon Predicate(英)
Wikipedia.icon
述語 - Wikipedia(日)
述語(検索) - Wikipedia(日)
Wikipedia.icon
Predicate - Wikipedia(英)
Predicate(検索) - Wikipedia(英)