インターバル問題
（dim = o, aug = +）