ニコリの鍜治真起社長が，TBS 「R30」 に出演していました．別のコーナーもあって 「なんだ，50 分全部社長じゃないのか」 と突っ込みはしましたが，半分くらいは社長．感想はひたすら 「本当に出てるよ！」．テーマは数独．数独の名前の由来って，ちょっと…

先輩と．今日はあまり進んでいなかったが，何をすればいいのかわかった気がした． そして先輩にやっておかなくてはならないと言われたので，今までの計算などを TeX に起こす作業を始める．「解くのは好きだけど書くのは嫌いでしょ」 という指摘はまさにその…