Title: Daisū, keishiki gengo, keisan shisutemu riron to sono ōyō