『Introduction_to_Higher_Order_Categorical_Logic』