>>450
今もう一回解析してみたら、0.78msで解けたから10倍ハンデだとそうなる

>>451
仮定ではない命題に関して証明を行っています