同じ関数を「節関数定義(clausal function definition)」で表現することもできる。