tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20131002 00:21 @xhl_kogitsune 非Aの世界なら通らなかったところだった
20131002 09:15 RT @itimasan: kinaba つ【諦める】
20131002 09:15 これどういうコンテキストだったっけ https://t.co/ogNiRCMXaa
20131002 09:23 @zakkas783 諦めません!あと閃光少女3巻よかったです
20131002 09:27 @zakkas783 無給休暇でぜんぜん構わないので取りたいですし諦めない!! じゃなくて、マジレスするといちまさん過去発言のbotさんなので昔の会話の一部だと思うんですけど思い出せぬという。
20131002 09:28 RT @ksknac: POPL 2014 の Accepted Papers が出ていた. http://popl.mpi-sws.org/2014/accepted.html
20131002 21:14 急にホットケーキを無限に食べたい気分が発生している
20131002 21:19 クッキーをω枚焼くとかω^2枚焼くという話が数週間前のTLに流れていたけど、ℵ0枚じゃなくてω枚ということは単に枚数だけでなく焼く順序の構造まで気にしてクッキーを焼いているのだろうかとか気になっていたのを思い出した
20131002 21:24 @john_229 僕が食べる係をやりますので作る係を任せた
20131002 23:59 算数ウォーズの順序数加乗冪バージョンやりたい RT kinabaせんせーが順序数ゲーを実装されるのか

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0