TASでの理論値とかだとどこまで縮められるん?