ニコニコＶＩＰ

HOME

人気タグ⇒ 例のアレ　novelsm@ster　OP　神曲　日記　高音質　出オチ　PV　鉄道　メタル　

超未来言語 Gallina - yoshihiro503

LL Future (2008-08-30)今井宜洋 (yoshihiro503) 次　: sm4505381 (shelarcy) 最初: sm4481852 (LL Future 開会宣言) マイリスト: mylist/8224180http://ll.jus.or.jp/2008/

投稿日：2008-09-03 10:45:29
長さ：00:05:17
PV:887　 コメ:29　 マイリス：16

LLFuture　TechTalk　GALLINA　Coq　sm1276083　関数型言語　ocaml-nagoya　FORMEL