タグ COQ が登録されている動画 : 10 件中 1 - 10 件目

種類:

対象:

COQで巨大数RTAε0部門

COQで巨大数RTAε0部門

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

【やまさん】アイロニ すこっぷ 歌ってみた

【やまさん】アイロニ すこっぷ 歌ってみた

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

名古屋Reject会議 yosihiro503

名古屋Reject会議 yosihiro503

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

名古屋Reject会議 mzp

名古屋Reject会議 mzp

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

CoqでGCを証明してみたよ ( CSNagoya 第5回GC本読書会 vol.5)

CoqでGCを証明してみたよ ( CSNagoya 第5回GC本読書会 vol.5)

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

てすと

てすと

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

超未来言語 Gallina - yoshihiro503

超未来言語 Gallina - yoshihiro503

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

定理証明器Coqの紹介

定理証明器Coqの紹介

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

ProofMovieTest

ProofMovieTest

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