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…

少し早めに起床。某校正。朝食、朝刊、髭剃り。朝、娘を保育園に送ってから大学へ。某校正と索引作りの続き。某君にも別の某索引作りを手伝ってもらい、両方午前中に終わらせる。某献本手続もする。お昼は研究室にあるものを食べる。お昼すぎ、某予習。昼下…