https://twitter.com/kinaba のログ (twilog の方が便利です。)
| #spcamp 今日は、mechanized proof の話しようと準備してたらジャストタイミングでTLに http://twitter.com/m0h1can/status/3282925144 がどんぶらこどんぶらこと流れてきたので思わずスライドに引用するなどした一日でした | |
| m0h1canさん普及計画 | |
| @tri_iro @h_kagami ありがとうございます！＞ジェネリックの話 tri_iroさんの一二三から強制法は二年前に読んでたはずなのですが今読み返してみるとすごくよくわかるようになってきた…！ | |
| これはいける | |
| はらいた | |
| .@tsukuno 246円で充実ペプしそ野菜を作って飲むんだ | |
| .@finalfusion もともとお腹弱いので特に理由もなくはらいたフィーバーが襲ってくるのです… | |
| .@finalfusion 本当に理由がないってことはないはずなので、ほんとは、生活習慣とか見直した方がいいんですよねえ。mmm |