φをコード化すると関数を形式化するの違いが分からないんじゃどうしようもない