動機： tigを使おうとした。 tigでは、^nキー と DownArrowキー は別なバインドを持つ。 AutoHotKyeのキーマップで、^n → DownArrow とマップしている。ダメだ。 対処： tig を cmd.exe でのみ使う。 cmd.exe に対しては、キーマップをしない。 手順： 常駐…

node.js は古すぎるので、再インストール。version v16.14.0 NVN(node version manager) とか choco とか使ったほうがいいかもだけど、とりあえず普通に直接的に手動グローバル・インストール。 tsc もグローバルにインストール npm install -g 。version 4.…

https://leanprover-community.github.io/install/windows.html MicrosoftリサーチはMicrosoft社の研究部門ではなく、 マイクロソフトリサーチ ： 完全に独立した研究機関であり、そこで行われる研究内容については、たとえマイクロソフト本社の首脳陣であっ…

c:/ProgramData/chocolatey/ にchocolatyもインストールされていた。これもnode.jsと同日。おそらく、Pythonなどをインストールするためにchocoを使ったのだろう。

Path環境変数を見たら、\Python38 が入っていて、実際にPythonがインストールされていた。いったい誰が？ タイムスタンプを見ると7月13日にインストールされている。で、アプリケーション一覧を調べると同日にnode.jsをインストールしていた。 Windowsでnpm …

ついでに、chocoとpythonとVisual C/C++, VisualStudio tools もインストールされたみたい。chocoはまーまー使える。gccは要らないかもな。

※ 2020-07-12 記2017年の12月にもPC引っ越しとセットアップをした。そのときの記録は、https://m-hiyama-memo.hatenablog.jp/ を探せばあるが、関連記事を時間順にここに並べる。コメントや補足があれば、ここ（冒頭）に書いて、記録は編集無しでそのままと…