N×N→N を満たす写像f こういうの、自分で導き出してる?