>>346
型推論一般ではNP-completeということじゃ?