型推論
【がたすいろん】
【gatasuiron】
型式推理