制約ベース型推論