2022-12-09 Twitterやめました. 2022年11月10日に私が管理しているTwitterアカウントを全て削除(削除もれの可能性あり)しました。ということで、Twitterの代わりとしてここを使用しますのでよろしくお願いします。