Coqの入門記事を書く会 (4) - ひとり勉強会

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

hzkr.hatenablog.com

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

コメント

0

記事へのコメント0件

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

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

Coqの入門記事を書く会 (4) - ひとり勉強会

今回は、入門記事書きはちょっと休憩して、Coqの解説記事などを集める会です。英語言語そのものを浅く... 今回は、入門記事書きはちょっと休憩して、Coqの解説記事などを集める会です。英語言語そのものを浅く/深く眺めていく、という方向のテキスト３つ： Coq in a Hurry 「忙しい人のためのCoq入門」。比較的よくまとまっている気がしました。 Coq Proof Assistant： A Tutorial 本家のチュートリアル Interactive Theorem Proving and Program Development (Coq'Art) Amazon 定番の一冊講義の素材として作られたチュートリアル達。より具体的な題材での演習付きなので面白いかも： 2nd Asian-Pacific Summer School on Formal Methods Using Proof Assistants for Programming Language Research or, H

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

morita_non2014/03/04
electricalPeach2011/04/19
mnru2011/03/15
yoshihiro5032010/10/14
eagletmt2010/10/13
qnighy2010/10/13
TOKOROTEN2010/10/12

同じサイトの新着

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

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx