不定期戯言2

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