とても便利なJava APIのThreadLocalなんだけど，これの振る舞いを説明しようと図示を試みたが地蔵になってしまった． うーん，これを客観的に説明するには，どんなモデルを描けば良いんだろう？？？ ＃自分の抽象化能力のカベに行き詰まってしまった．:-(

ちょっと前にEngadget Japaneseで取り上げられたコレ（→）． "TAPE TIMER"でググると楽天とかで1800円くらいで売ってた．せっかくなのでベルの音量とか問い合わせてみたら，予想通りゼンマイ式のベルなんだそうな． ミーティングんときに100均のキッチンタイ…

この件，おおよそ見当がついてたので，自力で直せるか試してみた． 要はツールウィンドウ名を英語に直せばいいだけなので，こうすると良い．$IDEA_HOME/lib/resources_jp.jarからmessages/UIBundle_ja.propertiesを取り出し，下記のようにtool.window.name.x…