>>554
最大値の定義
f(X)の定義
合成関数の定義