書かれているとおりにしても，起動しない．その後ごにょごにょやって Proof General は起動したのだが，Isabelle のプロセスが segmentation fault を出す．どうも，/usr/local/Isabelle/bin に，起動スクリプト Isabelle と isabelle があって，$0 の先頭の…

ここで，cygwinのパーミッション問題，といっているのは，Windows アプリケーションでファイルを作成すると，permission が 0700 になってしまうこと． http://www.sixnine.net/cygwin/cygwin-doc/professional.html に，解決方法が出ている． ACL の設定と…

Windows で du を実行したい．Windowsにはない．これはまあ，仕方がない．Cygwin の du が，ものすごく遅くて，あまり使いたくない． 多分，command line 版も含めて，いろいろあるのだろうけれど，google で windows disk usage として最初に引っかかったの…

レンタルサーバで，root権限なしでCPANを使う． cpan の configuration で，perl Makefile.PL の引数を聞かれるところで，PREFIX=~/perl と答えればよい．(サンプルとして表示されている．) これは，"makepl_arg" というキーに保存されるようだ．ちなみに，…