>>25
写像や関数の定義は対応だからな。