2007-06-22から1日間の記事一覧
ホワット・ア・ワンダフル・ワールド 数学屋さんの悪い癖だを読んで、Coqを知り、CoqでHello, world!を見て、CoqかわいいよCoqと思いつつ、まぁやらないだろうと思いつつ、以下の部分に反応。 どこの大手企業もバックアップして無い,正式な仕様も無く開発コ…
ホワット・ア・ワンダフル・ワールド 数学屋さんの悪い癖だを読んで、Coqを知り、CoqでHello, world!を見て、CoqかわいいよCoqと思いつつ、まぁやらないだろうと思いつつ、以下の部分に反応。 どこの大手企業もバックアップして無い,正式な仕様も無く開発コ…