檜山正幸のキマイラ飼育記 (はてなBlog)2025-07-05 簡潔にしないと死んでしまうなら 雑記／備忘 「判断形式を普通に書く」より： 型理論の判断形式を使うと、非常に簡潔に書けます。しかし、簡潔さの代償として、多くの情報を暗黙化します。コラリア／ディ-リベールティも簡潔な記述を目指しているので、えげつない「記号の乱用、短縮記法、完全な省略」… 2025-07-04 判断的セオリーと判断計算 雑記／備忘 前回の記事「判断形式を普通に書く」で、コラリア／ディ-リベールティの次の論文を参照しました。 [CL21-24] Title: Context, Judgement, Deduction Authors: Greta Coraglia, Ivan Di Liberti Submitted: 17 Nov 2021 (v1), 1 Nov 2024 (v3) Pages: 61p URL… 2025-07-03 判断形式を普通に
ベイエリア情報局: Javascriptアーカイブ
