対応表を満たすが比例でない関数