キーワード GALLINA が含まれる動画 ： 6 件中 1 - 6 件目
種類:
- タグ
- キーワード
対象:
定理証明器Coqの紹介
定理証明器Coqを使った、証明のデモです。 [Coqのダウンロードhttp://coq.inria.fr/] [Coqのブログ「にわとり小屋のプログラミング日記」http://d.hatena.ne.jp/yoshihiro503/] [OCaml名古屋http://itpl.co.jp/ocaml-nagoya/]
超未来言語 Gallina - yoshihiro503
LL Future (2008-08-30)
今井宜洋 (yoshihiro503)
次 : sm4505381 (shelarcy)
最初: sm4481852 (LL Future 開会宣言)
マイリスト: mylist/8224180
http://ll.jus.or.jp/2008/
黒サガ様がバレンタインをUTAって盛り上げて下さるそうです
皆さんはバレンタインデーの準備は出来ていますか？
私はこの通りバッチリです。
元動画はgallina様のsm20000171です。
昨年この動画を見た時、今年は間に合わないけれど、来年に絶対にUTAわせると思っておりました。
元動画のコメントにあった「普通にしてたらモテるだろうに」と「あなた正体隠してるからしょうがないですよ」が悲しくてなりません。
声は前回と同じ置鮎さん。悪サガは曽我部さんでなくてはという思いもあったのですが、置鮎さんで揃えておけば善と悪で足りない声を補い合えますから。
あと10曲目だからというわけではないけれど、コーラスに今まで作った全員を使いました。
★謝るサガsm19817913 ★頭を抱えるサガsm24311644 ★mylist/33513856
ラテンロックいろいろ 【作業用BGM】
ていうか、明らかにロックっぽくないのがあるなー。
ラテン系マイリストmylist/10945862
■Quetzal "Canto Liso"
■B-Side Players "Alegria"
■Ozomatli "La Gallina"
■Los Amigos Invisibles "Cuchi-Cuchi"
■Yerba Buena "Guajira"
■HABANA Blues "Habaneando"
■Orishas "El Kilo"
■Interactivo "No money"
■X Alfonso "Perro que ladra"
■Polito Ibañez "Flotan"
■Cecilia Noël and The Wild Clams "9069"
