日記ははてなで書くことにしました。 ごくまれに技術的なことを書いた際に、ウェブの検索でひっかかった方が便利かなと思ったもので。 optimizer_trace_patchはすっかりくじけてますねー。