Title: Tōkei kikai, tōkei keisan yōsetsu