不定期戯言

昨日作ったツールを生徒に使ってもらった。なんとか使えるようだ。動作が重いところは，サーバへの負荷なのか，それともNFSの負荷なのかを切り分ける必要がありそうだな。