1. カテゴリーなし

型推論のない静的型付け言語への Coq Extractionのため