で、さっそくGallinaの情報をあつめてみようとしたわけだが、GallinaってCoq上の言語(の一番シンプルなやつ)の名前なのかな…。もしかして去年と同じものを違う角度からしゃべってただけなんだろうか。つ、釣られた。無知と不勉強を露呈しまくり。

http://ll.jus.or.jp/2008/ 今年は奇跡はおきず、きっちり寝すごした。けど、結局後半だけLL Futureに行ってきたので、例によって今の印象を偏見もまじえて垂れ流し。今回は1000人以上収容できる広いホールでの開催でなかなか壮観だった。800人とかいたらし…