『型理論に基づく高次推論処理に関する研究』