mizarをダウンロードしてインストールした。 というのも、SUGSIのMizarチェッカは、文章を入力して、チェックするときのボタンが テキストエリアから遠い上、ボタンが小さいので実に面倒なシステムになっているからだ。インストール自体は簡単。 で結構すぐ…