Chapter 6

定義

6.1　定義

　ここでは定義について説明します．predicates, functor, mode の定義について説明します．