一太郎はATOKのおまけでしょう。