このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

必要なもの

pc-setup インストール／設定

事情 - 檜山正幸のキマイラ飼育記 メモ編 以来。

まず、自分にとって必要なもの。

とりあえず入れる

エディタ

Emacsはやめようかと思うが、Coqなどのフロントエンドとして必須だからインストールはする。

Emacsパッケージに関連して：

他エディタに移行すれば、ispellやmagitは不要。

Coq + ProofGeneralだけはemacsかな。R, OCamlも他エディタで環境作り。Maximaは付属GUIで使う。

で、他エディタだが、

現状VSCodeにしようかと思っている。

文書ツール

TeXは必要になったらでいいな。GhostViewは必須だ。ps2pdfコマンドは欲しいが、Ghostscriptに付いているようだ。

GraphVizは絵に図を入れるときに使う。Doxygenも使う。Catyが古いGraphVizに依存しているから、できるだけそのまま持っていこう。C:\Installed\Graphviz-2.28 。pandocは入れ直せばいいだろう。

プログラミング言語

MSVSは古い版の正規ライセンスがあるのだが、機能的には今のフリー版でも十分。

移動できそうなら移動。面倒なら捨ててもいいや。

Python 2.7.3は今でもダウンロード可能だから、システムを持っていく必要はないが、インストールしたライブラリがけっこうあるから、移動可能なら移動しよう。Phython関係のライブラリ。

あと：

Coq, R, Maxima, Isabelleは新規インストールして環境再構築だ。Haskell Platformはとりあえずはいいや。必要なら入れる。

node.jsは入れ直す。今はnodistで入れてるが、今度はnvmで入れよう。nodistをやめるには、

次の記事に顛末が書かれている。

ともかくも、nodeは最新版を入れる。npmパッケージについては、事前に入れる必要はない。

あと、パッケージマネージャは、yarnにしようかと。

他では、

Javaは最新JDKを新しくいれよう。StandardMLはIsabelleからPolyML使うことでいいや。

↑とりあえずいらん。

シェル環境

長年MinGW使ってきたが、Git for Windowsだけでもいいかな。

ただし、gcc関係でtdm-gccは入れよう。

PowerShellに関しては設定を色々しているので、移動の必要がある。

Cygwinはいらん。

システム

VCS

Gitはシェル環境としても使えるからいれるが、

Mercurialは最新版Pythonと共にいれるか。

↑いらん。

その他のツール／ライブラリ

どっちもインストールし直し。

↑いらんな。

↑気が向いたときに再インストール。

↑Scilabだけは再インストール。他にデスクトップとかPathにあったヤツ↓

他に C:/ProgramData/Microsoft/Windows/Start Menu/Programs/ の下にもゴタゴタある。

ちなみに、Pathは、

%SystemRoot%\system32\WindowsPowerShell\v1.0
C:\Program Files\ImageMagick-6.9.2-Q16
C:\Windows\system32
C:\Windows
C:\Windows\System32\Wbem
C:\Windows\System32\WindowsPowerShell\v1.0
C:\Program Files\ThinkPad\Bluetooth Software
C:\Program Files\ThinkPad\Bluetooth Software\syswow64
C:\Program Files\Broadcom\WHL
C:\Program Files\Broadcom\WHL\syswow64
C:\Program Files (x86)\Common Files\Lenovo
C:\Program Files (x86)\Windows Live\Shared
C:\SWTOOLS\ReadyApps
C:\Program Files\Common Files\Microsoft Shared\Windows Live
C:\Program Files (x86)\Common Files\Microsoft Shared\Windows Live
C:\Program Files (x86)\Intel\Services\IPT
C:\Program Files\Common Files\Lenovo
C:\Program Files (x86)\Symantec\VIP Access Client
C:\Program Files (x86)\QuickTime\QTSystem
C:\Program Files\Microsoft DNX\Dnvm
C:\Program Files (x86)\Windows Kits\8.1\Windows Performance Toolkit
C:\Program Files\Microsoft SQL Server\110\Tools\Binn
C:\Program Files\Microsoft SQL Server\120\Tools\Binn
C:\ProgramData\Oracle\Java\javapath
C:\Program Files (x86)\Smart Projects\IsoBuster
C:\Program Files\Oracle\VirtualBox
C:\ProgramData\chocolatey\bin
C:\Users\hiyama\AppData\Local\Pandoc
c:\Installed\Ruby193\bin
C:\Installed\Coq\bin
C:\Installed\nodist-master\bin
C:\Installed\nodejs
C:\Users\hiyama\AppData\Roaming\npm
C:\Installed\OMake\bin
c:\Installed\ffmpeg\bin
C:\Installed\emacs\bin
C:\Program Files (x86)\CMake\bin
C:\Installed\GnuGlobal\bin
C:\Installed\OCaml\bin
C:\Installed\Python27
C:\Installed\Python27\Scripts
C:\Installed\Graphviz-2.28\bin
C:\Program Files\Calibre2
C:\Installed\Subversion\bin
C:\Installed\Vagrant\bin
C:\Installed\R\R-3.1.3\bin\x64
C:\Program Files (x86)\MiKTeX 2.9\miktex\bin
C:\Installed\Go\bin
C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\bin\amd64
C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE
C:\Installed\MinGW.OLD\bin
C:\Installed\Git\cmd
C:\Installed\Git\mingw64\bin
C:\Installed\Git\usr\bin
C:\Installed\TDM-GCC-64\bin
C:\Installed\doxygen\bin
C:\Installed\Rust stable GNU 1.8\bin
C:\Installed\mizar
C:\Users\hiyama\Work\bin
C:\Program Files\Java\jdk1.8.0_101\bin

市販品

ちょっと分からん。調べる。

追加

注意