>>916
ラムダの5型でも使えば?