Filter
twitter.com/yoshihiro503
Nagoya, Japan
–
I am a Coq user. http://bitbucket.org/yoshihiro503/
4,568 Posts by yoshihiro503
4,568 Posts by yoshihiro503
僕らの世代は1960-70年代に毎日セシウム食べ，当時は体内に数百Bqあった．尿からも5Bq/Lぐらい出ていた．でも，大気圏内核実験禁止されてからは体内セシウムは急激に減った．過去のデータありますよ．
あれだ、どうせhaXeハッカソンやるなら、JavaScript生成器を最適化したらJSXより速くなったでござるとか、そういうのがｲｲﾊﾅｼﾀﾞﾅｰとなってよい
そういえば今日知った #Coq のtactic。
Goal forall x y z:N, (x+z)%N=(y+z)%N -> (x=y)%N.
intros. zify. omega.
next page ›
Page 1 of 100