「ATOK」は、株式会社ジャストシステムの登録商標です。