Yoshさんの投稿動画

モーツァルト: ディベルティメンとの1楽章を演奏してみました。みんな大学に入ってから趣味で楽器を始め
4:58｜2007年10月26日 13：04：04 投稿

http://www.nicovideo.jp/watch/sm1374656

定理証明器Coqを使った、証明のデモです。　[Coqのダウンロードhttp://coq.inria.
2:14｜2007年10月14日 11：19：37 投稿

http://www.nicovideo.jp/watch/sm1276083

定理証明器Coqを使った証明動画のテストです。完成品はsm1276083です。
1:36｜2007年10月06日 10：42：25 投稿

http://www.nicovideo.jp/watch/sm1212567