関数は関係式の一種なんジャマイカ?