Wikiについて
だれでも編集できるWikiを設置。
WikiはMediaWiki, PukiWiki, YukiWiki, DokuWiki等無数にある。この中でも日本では有名ではないが、海外ではMediaWikiに次いで多く使用されるDokuWikiを使用することにした。
理由は、MediaWikiは機能が充実しているが重すぎる、PukiWikiは日本では有名だが最近の開発はやや停滞気味、YukiWikiは開発停止している、という消去法的に決定した。
とはいうもののDokuWikiは機能は一通りそろっており、データベースを使用しないファイルベースであるので扱いが楽であり、最近は日本語のドキュメントも増えつつある。