1.12.7 各基本概念の公式定義一覧