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…

先日書いた「圧縮された本」の誤りについて、訂正がでました。 暗黒通信団webページは移転しました 全角スペースを「**」に置き換える、という対応にしたようです。 空白となっていた部分を可視化する バイト数を合わせる TeXの出力が本文と同じものとなる …

新幹線の乗り換えのために仙台で途中下車しました。1時間ぼと時間があったので外にでてきましたが、10年ほどぶりなのでいろいろ変わっていたり変わっていなかったり。 一番驚いたのは、仙台駅前の一等地、旧仙台ホテルの跡地にビルが建っていなかったこと。…