研究室関係のドキュメントを整備。一度全部 XHTML にしようと思ったのだが、今後どういう形でメンテナンスされるか分からず不安なのと、SSI を使いすぎてソースがよく分からなくなってしまったので、全部破棄する。SSI は便利なのはいいが、いわゆる web オ…