Title: Enshū tōkei rikigaku, kotai denshiron