Spinは検証器としてCのソースを出力するのでCコンパイラが必要になるのだが，それ以外にも，一部のマクロの処理にC++プリプロセッサを使う．#defineでの定数宣言や#ifdefは自前で何とかしているようだが，#defineでマクロ関数を宣言したり#ifを使ったりする…

Spinはコマンドラインアプリだが，ラッパー的なGUIとしてXspinというのが存在する。色々手間が省けてラクではあるのだが，Tcl/Tkだったり内部的にgccを呼び出したりしてたりでインストールはちょっと面倒。てきとーに調べるとcygwinを使うやり方が出てくるが…

いつのまにか、データベースアクセスでエラー吐くようになってた。調べても「あきらめて再構築」という意見しか無かった。一応健康だった頃のダンプは残ってるけど、テーブル単体で作り直した方が早そうだったので中身消してインデックス作り直した上で再構…