unkochinchinさんの投稿動画

unkochinchinさんが公開している投稿動画の一覧

http://www.nicovideo.jp/user/294472/video

てすと

coqによるlistの結合が結合律を満すことの証明
1:34｜2010年05月24日 12：51：37 投稿

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