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…

寒い…。論文の proof に修正を書き込む。途中ボス登場。うちの学科というか学部というか大学の摩訶不思議さについて話したりして、ボス猿。何しに来たのかいまいち不明。いや、D論の修正にくぎを刺しに来たんだけども。 今日も元気に歩いて帰る。研究室には…