Hey there! mzp 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's happening? Join today to start receiving mzp's tweets.

Already using Twitter
from your phone? Click here.

mzp

#coq exact Hnでやるよりもtrivialを使っておいたほうが、仮定の順番を変えたときに証明を書き直す手間が少なくてすむことに気がついた about 4 hours ago from tig.rb
TAPLで「自明だよね」という感じでやってる変形が、ぜんぜん自明じゃなくて泣きそう about 4 hours ago from tig.rb
休みなので、Soundnessの証明をしようとがんばってる。変数のときとLambdaのときの証明はできた about 4 hours ago from tig.rb
リアルフォースに無刻印モデルがでてる!やばい! B! http://www.vshopu.com/item/... about 10 hours ago from web
がっつり昼寝してた。 10:42 PM Nov 27th from web
#unfollowmeJPといっている人がいたので、フォローをはずしてみた。いいことをした 5:02 AM Nov 27th from tig.rb
すがきやの味がラーメンの標準的な味です。 RT @ttlweb: 名古屋人は呼吸するようにすがきや行きますからね。 RT @aodag: 愛知県に二郎が必要なのか。すがきやではだめなのか。 4:48 AM Nov 27th from tig.rb in reply to ttlweb
が、せっかくなので、久しぶりにmixiにログインして、コミュニティの整理とかしておいた。 4:34 AM Nov 27th from web
そうそう、mixiは気楽に書けないんです。RT @katzkawai: 飲みながら日記書けないしw RT @Dominion525: あと、コミュニケーション圧力が。RT @ttlweb: mixiはリア充のイメージがあって敷居が高いです RT @mzp: mixiやったほう.. 4:33 AM Nov 27th from web
kindle欲しいんだけど、できれば一回触ってから決めたい。誰か持ってないかなぁ 4:12 AM Nov 27th from tig.rb
mixiやったほうがいいのかなぁ。でも、日記かくのめんどい 4:11 AM Nov 27th from tig.rb
@Gemmat ボクは http://www8.atwiki.jp/git_jp/ のチュートリアルとmanしか読んだことがないです。 4:10 AM Nov 27th from tig.rb in reply to Gemmat
. @shimomura1004さんのサポート能力がハンパなかった。git pullできません、とういう状況から的確に原因を追求してた。skypeで 3:59 AM Nov 27th from tig.rb
あとげんまさんに教えれてて知ったんだけど、Greatなほうの入門Gitってgitのコミッタの一人が書いてたんだ。どうりでみんな買っているはずだ 3:51 AM Nov 27th from tig.rb
. @clairvyさん、読書メータにいるんだ。フォローせねば 3:50 AM Nov 27th from tig.rb
東京のITPSのひとは、MozillaJapanとかにインターンにいけるんだよなぁ。すごいなぁ 3:46 AM Nov 27th from web
RT @dynamitter: @sotarok もちろん。今年は ITSP 外の学生も 1 名。基本的にはグループ開発じゃなくて各自違う事をしましたが。 3:46 AM Nov 27th from web
. @Gemmatさんと飲んできた。ついでにスガキヤを紹介してきた。おいしかったです 3:42 AM Nov 27th from tig.rb
今日は、@Gemmatさんと飲みにいく。わくわく 12:37 AM Nov 27th from web
さて、休憩したし大学にいこう。誰かいるといいな 5:10 PM Nov 26th from web