はてなダイアリーが使えなくなるとのことで，取り急ぎ過去の記事をはてなブログに移行しておきました．ただし，ここのサイトには記事を追加する予定は今のところありません．今後は，職場の研究室のサイトに掲載します．ここに移行した内容については，まだ…