劣モジュラ関数だろ