https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ドコモショップ行って電話修理に出してきた。代替機の設定するのが面倒なのでケータイメール見ない気がするので用があるときはtwitterで話しかけてください（ツイッターの設定はする） ＠みなさま | |
| @john_229 ほほう | |
| 32形と40形 | |
| テレビは○○型って書くけど蛍光灯は○○形なんだな | |
| @xhl_kogitsune えっえっ | |
| "JR四国キハ47形501の走行音"を聴いている | |
| 明日買う蛍光灯のサイズをメモる場所が普段ならメールなのだがつまり https://t.co/nBTsybRz こういうことになっていた | |
| @septef まだであった。スーパーいなば乗りに行く以外に特に鳥取行きたい用事が今のところないのだよねえ | |
| ほうじ茶ジャム、見た目も味も食感も何もかもが餡子だ。 | |
| "A note on the expressive power of linear orders" http://www.lmcs-online.org/ojs/viewarticle.php?id=853 読んでる＆大変楽しい。bit(n,i)=nのiビット目は1、という述語を加減乗除もビット演算も使わず、自然数上のある順序関係２つだけで作る | |
| http://gyazo.com/2dfe04472e7b24ef6b8e306492b1eccc | |
| なんかもっとエンコードエンコードしてない自然な表現でできないのかな、という興味と、簡潔データ構造的なもの(に使えないのかな|に使われている表現使ってこういうの出来ないのかな)的な興味がある | |
| 主観的明日にSRMあるのか。CFを寝落ちと登録忘れ繰り返してたせいで一ヶ月何も進歩してないまずい |