Coq 庵 - Coq プログラマのアンカンファレンス in 名古屋 (8/29)

Coq 庵 - Coq プログラマのアンカンファレンス in 名古屋 (8/29)
keigoi 曰く、Coq プログラマーの集会が 2010 年 8 月 28 日に名古屋で開催されます。 証明支援器 Coq はソフトウェア開発における形式的手法の一つである定理証明のためのツールですが、Coq のプログラミング言語としての側面や、Coq でソフトウェアを開発できることは産業界はもとよりインターネットのプログラマ界隈においてもあまり知られていません。 Coq 庵は、Coq を用いたプログラミングや、Coq を用いたソフトウェア設計と安全性の検証にフォーカスし、自由な情報交換を目的としたアンカンファレンスです。 バグのないプログラムの開発、関数型言語や形式手法に興味のある方など ぜひともご参加ください。 日時 :2010/08/29 13:00 to 17:30定員: 46 人場所: 名古屋市青少年文化センター(ナディアパーク) 第3研修室 http://www.nadyapark.jp/traffic/ 参加費: 200 — 300 [円] くらい時間: 13:00 — 17:00申し込み URL: http://atnd.org/events/6022 twitterハッシュタグ: #CoqUnyoshihiro503 というプログラマが主催しています。 Coq の普及のため、日本においてブログ投稿や毎月の Coq プログラマの集い等の活動をしているプログラマのようです。面白い Coq プログラミングの例として、Coq による迷路の最短路の自動解答プログラムを正しさの証明付きでブログに投稿しています (「にわとり小屋でのプログラミング日記」の記事) 。彼のブログには他にも Coq の記事が多くあります。興味がある方は是非ご覧になってください。 すべて読む | デベロッパーセクション | アナウンス | プログラミング
ttp://slashdot.jp/developers/article.pl?sid=10/07/14/012201
PICKUP
債務の一本化をしよう

債務整理は司法書士に

探偵事務所

アルバイトの多重債務者

東京メトロ副都心線雑司が谷駅

多重債務で生活が苦しい!

イオン導入でスキンケア(エステサロン)

ｻﾗ金借金で個人再生

隠れてメールしてる 浮気・不倫調査

傷害保険