Hey there! t33f is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What are you doing? Join today to start receiving t33f's updates.

Already using Twitter
from your phone? Click here.

t33f

おやすみなさいーabout 17 hours ago from twitter-mode
円周率を暗記している人がたくさんいそうであることと、素数を暗記してる人をあまり見かけないこととを逆接でつなぐのはあまり適切とはいえないabout 18 hours ago from twitter-mode
100未満の素数を列挙するくらいはできる人も多いと思うけどabout 18 hours ago from twitter-mode
円周率を暗記してる人はたくさんいそうだけど、素数を暗記してる人はあまり見かけない。about 18 hours ago from twitter-mode
いま、わりとフリーダムな感じの文体になった。たぶん僕が何も飾らずに力を抜いて書くと普段からそんな風になるんじゃないかと思わないでもないabout 18 hours ago from twitter-mode
明日朝から用事じゃん。と思ったけど、いつもこの時間に寝て 8:30 とかに出かけてたんだっけどうだっけ一週間空いたら忘れたabout 18 hours ago from twitter-mode
BGM 音程ひどいｗｗ: 消しゴムで初音ミクを作ってみたよー http://bit.ly/bvBI4about 18 hours ago from twitter-mode
Excelで長門有希 http://bit.ly/12T2gwabout 18 hours ago from twitter-mode
消しゴムで長門有希作った http://bit.ly/K9WCGabout 18 hours ago from twitter-mode
どこで全消し逃してるのか一回見ただけじゃ分からなかった http://bit.ly/DB9IJabout 19 hours ago from twitter-mode
火事場の馬鹿力を出すために火を放つことの是非about 19 hours ago from twitter-mode
眠いときは適切な判断ができないので眠気を覚まそうとしないabout 19 hours ago from twitter-mode
関空連絡橋 http://movapic.com/pic/2009...about 19 hours ago from web
「違う」って動詞なんだけど気分としては形容詞に近い感覚で使うんだなあ、って思ったけどこれは誰かが前に言っていた気がするabout 19 hours ago from twitter-mode
中学生のとき、日食をみんなで直接見てた気がするabout 20 hours ago from twitter-mode
ところで tmitter は富田さんが管理しているから tmitter なのだろうとわりと本気で思っていた時期があるabout 20 hours ago from twitter-mode
親にメールしようとしていたのに、気付いたら宛先欄に tmitter のアドレスが入力されていたabout 20 hours ago from twitter-mode
@tri_iro そうですよね。僕もだいたい同じことを考えてたのですabout 20 hours ago from twitter-mode
竹内関数って primitive recursive じゃなかったっけ http://bit.ly/2VMwF4about 20 hours ago from twitter-mode
半端におなかすいたどうしよう9:05 PM Jul 12th from tmitter

Name t33f
Location Kyoto, Japan
Web http://t33f.tumbl...
Bio Ph.D. student studying non-classical logics. / Also interested in pure mathematics, (meta)programming, type theory, and psychology.