Tex-Genkouのいちを決めるコマンドと設定ファイル