damaさんが公開している投稿動画の一覧
http://www.nicovideo.jp/user/131952998/video
COQで巨大数を定義する時間を競います。 8:44｜2024年04月27日 15：58：03 投稿
http://www.nicovideo.jp/watch/sm43713223
