エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
新刊『定理証明手習い』と『Goならわかるシステムプログラミング』の発売を開始しました!
新刊『定理証明手習い』と『Goならわかるシステムプログラミング』の発売を開始しました! 2017年10月19... 新刊『定理証明手習い』と『Goならわかるシステムプログラミング』の発売を開始しました! 2017年10月19日 ご来店ありがとうございます。 開店以来およそ6ヶ月、ここまで『プロフェッショナルSSL/TLS』と『RubyでつくるRuby』の2タイトルで営業していたラムダノートのWebサイトですが、 久しぶりに新刊の発売を開始します。しかも2タイトルの同時発売です! 1つめの新刊タイトルは『定理証明手習い』です。 証明といっても、証明するのは数学の定理ではなくプログラムの正しさです。 プログラムの正しさというと、まだまだテストによる検証などが真っ先に思い浮かぶかもしれません。しかし、たとえば「定義した関数があらゆる入力に対して破綻せずに動作するか」をユニットテストだけで検証しつくすことはできません。 そこで、数学で公理から推論規則だけで命題の正しさを証明するように、プログラムでも公理からの等
2017/10/19 リンク