2018-10-14 ブログ移行 はてなダイアリーが終了するため、過去ログをこちらに移しました。 近年はtwitterログ置き場になっていましたが、こちらには自動投稿機能がないため、 以下のリンクをクリックして直接twitterをご覧ください。 ハリネズミのマークがついているツイートが私の投稿です。