ハードウェア・OS などシステムの更新に合わせてウェブサイトの更新を始めました． これまでは PukiWiki を使ってきたのですが，開発が停まって久しいので DokuWiki への移行を進めています．