2010年07月21日のツイート
@kururu_goedel: おやすみなさい。
@kururu_goedel: 4本目のreferee report送った。数点の修正を条件にアクセプト。
@kururu_goedel: 出席点かぁ。「授業にさえ出てきてくれればもう少しまともに理解してくれるのになぁ」と思ったときに、出席が成績に直結しますよと宣言することは一番手っ取り早く出席率を上げる方法なのだ、っていうのはある。
@kururu_goedel: @kikx うわ、それはCoqで出来ているという事実だけで十分すぎるほどです。
2010-07-21 13:14:08 via Seesmic to @kikx