tlmgrを検索したら、zipが見つかったので、解凍して bat ファイルをクリックするとあら不思議 そこからダウンロードがはじまってインストールに1時間もかかってしまいました。ちゃんちゃん。たぶん、ちゃんと調べないからバチがあたったんだ。 fu7mu4ってほ…