ABCD (A Basic Course in Dvorak) 終わり。 http://www.kototone.jp/typex/index.htmlqwerty より打ちやすそうな「気」はする。 あとは練習 ?

修理に出していた Mac が帰って来たので、セットアップ。 XCode Tools Carbon Emacs のインストールまで済んでいたので、 shell を tcsh に変更 macports インストール .cshrc 設定 ののちに、 sudo port selfupdate sudo port install ocaml +doc +labltk s…

Coq: 定理証明支援系。(プログラムの正当性を機械で示すのを支援) http://coq.inria.fr/で、Coq 入門に良いページ。 http://www.cis.upenn.edu/~bcpierce/sfPENN の大学院向けの授業で、プログラミング言語の礎を教えるために Coq を使ったときの資料。 基礎…

とりあえず、テスト。