@kfpause: これはどうしても、と思う文章があったので翻訳してたらこんな時間。得られたものは大きかったが、「なんでこんな重要なものを今までちゃんと読んでなかったのさ」という思いに駆られる。明日の朝一は例の電気工事で研究室使えないので、この意味…