判断
#Fleeting_Notes
判断(justification)
型理論の判断
$ x_1 : A_1,...,x_n :A_n \vdash t:A
変数
$ x_1,...,x_n
型
$ A_1,...A_n
、
$ A
項
$ t
型理論で言うところの判断は
読み方の例: 変数
$ x_1
から
$ x_n
が型
$ A_1
から
$ A_n
であると仮定すると、項
$ t
は型
$ A
を持つ
確認用
Q. 判断
参考
『型理論Ⅰ』龍田 真
MaruLabo . "「同じ」を考える -- 「型の理論」入門".
https://drive.google.com/file/d/1D_stE1LAcdTxQl6CAEZ4wrx1DCxXzP0x/view
, (参照 2024-11-03)
水上 達夫. "数学基礎論特論 (コンピュータ特別講義 I) 講師 龍田 真".
http://www.yl.is.s.u-tokyo.ac.jp/~tatsuo/types/types20011101.pdf
, (参照 2024-11-03)
メモ
「型の理論」 入門 (5) 論理的推論(2) 推論ルール -- Natural Deduction
調査用
Google.icon
判断(日)
Google.icon
Justification(英)
Wikipedia.icon
判断 - Wikipedia(日)
判断(検索) - Wikipedia(日)
Wikipedia.icon
Justification - Wikipedia(英)
Justification(検索) - Wikipedia(英)