最終更新:2024-04-10 (水) 17:46:37 (44d)  

型述語
Top / 型述語

Type Predicate

引数 is 型 のこと

関連