2019-12-01 カット除去定理の証明 数学 Mathematical Logic Advent Calender 2019 一日目の記事です. adventar.org 片側推件計算に対するカット除去定理の証明です. drive.google.com