機能法に関する推論の計算複雑性