曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-04-29から1日間の記事一覧

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ伍「等号の規則」「仮定付判断と代入規則」(予習編)

今回は私の担当ではないのでゆるく。 等号の規則 前回は"equality"を「同等性」とか「等しさ」と訳していたけど、今回は「等号」という訳も使う。記号と考えたほうが「規則」という概念と相性がいいかと思い。「判断の形式の解釈」の節では「カノニカルナ要…