型システムの健全性を証明している時に、ふと、「やりたいことは型の整合性検査なんだから、健全性の証明いんなくね?」と気づいてしまって、証明のために必要な補題の証明とか、規則とか、考えてた一日相当の時間が微妙に無駄だったことに気づいて、ちょっ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。