名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました - みずぴー日記

テクノロジーカテゴリーの変更を依頼記事元:

mzp.hatenadiary.org

22 usersがブックマークコメント

コメント

4

記事へのコメント4件

注目コメント
新着コメント

h-hirai 「Haskell/OCaml/F#に似た親しみやすい文法」ってどこいらへんターゲットなんすかねー。

2011/08/12 リンク

nilab 名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました - みずぴー日記

2011/07/03 リンク

mrkn 次世代の開発手法 BDD + PDD の布石。

2011/06/10 リンク

Itisango 名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました

event

2011/02/28 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

名古屋Ruby会議で「Coq to Rubyで初める証明駆動開発」というタイトルで発表してきました - みずぴー日記

Coq to Rubyによる証明駆動開発@名古屋ruby会議02 View more presentations from Hiroki Mizuno Coq to Rubyによる証明駆動開発@名古屋ruby会議02 View more presentations from Hiroki Mizuno

ブックマークしたユーザー

azutha2014/01/07
hush_in2012/10/14
yoshihiro5032011/09/28
OKU_s622011/09/16
r-west2011/08/12
h-hirai2011/08/12
yhara2011/08/12
digimedaloter2011/07/30
nilab2011/07/03
mrkn2011/06/10
killnow2011/04/14
gemini72011/03/29
h6n2011/03/24
pekepekesamurai2011/03/17
hazy-moon2011/03/16
oanus2011/03/09
ruicc2011/03/09
yuiseki2011/03/09

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx