2007-08-03 明日の件 日記 LLSprits 気づくと明日なんですね。僕もまだ場所がわかってません。でも、明日のセッションで気になるのが、今のところ、基調講演とLTのCoqなんですが、僕は間違っているでしょうか。