そろそろいろいろ書き散らしたことをブログ「JRF…

jrf> そろそろいろいろ書き散らしたことをブログ「JRF のひとこと」のほうにつけておくべきだが、今日はちょっと作業があるので、明日やることにしよう…。