>>669
そこのfはどういう関数型という想定?