window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

昨晩は少し校正をしてから寝た。朝、遅めに起床。昨晩していた校正の作業がまた失われていた。アドビのアクロバットで、いくつかの原稿をフォリオスタイルでまとめたファイルを使っていたのだが、どうもそれがよくないらしい。仕方ないのでまたやり直す。再…