>>128
式を解くとは?