京都大学 数理解析研究所 附属計算機構研究施設の研究室

先輩の声 0件

証明そのものを、数学と計算の両面から研究する研究室。

照井研究室は、数理論理学の立場から、証明そのものを研究しています。証明は数学の手段であると同時に、適切に表せば背後にある数学的構造が見えてくる、数学の対象にもなりえます。カリー・ハワード対応のもとでは、証明は関数型プログラムと（ある程度）同じものとみなせ、「計算の媒体」という面も持っています。計算複雑性、ゲーム、表示意味論、代数意味論など、さまざまな観点から研究しています。

#数理論理学 #証明論 #ラムダ計算