メンテナンス

長期間更新のないブログは編集できなくなるとの連絡がココログからあったので，更新しておきます．

当面，新しい記事を投稿する予定はありません．