Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
Go言語関連書籍のまとめ - Qiita
改訂2版 基礎からわかる Go言語 レベル 初級 URL 改訂2版 基礎からわかる Go言語 | 書籍詳細｜株式会社 C&R研究所 改訂2版 基礎からわかる Go言語 | 古川 昇 |本 | 通販 | Amazon 内容 基本の説明が本としてまとまっているのが良い。 細かな説明までは踏み込んでいない。 基本的な文法のまとめが1〜8章まで。 よく使うプログラミングパターンのサンプルが9章にまとまっている。 手早く学習するなら、9章を実際に書いて動かして、わからない部分の知識を1〜8章を見直すのが良さそう。 スターティングGo言語 レベル 中級 URL スターティングGo言語（松尾愛賀）｜翔泳社の本 スターティングGo言語 (CodeZine BOOKS) | 松尾 愛賀 |本 | 通販 | Amazon 内容 一通りの基本を理解して、もう少し細かいGoの言語仕様を理解したい人向け。 どっちで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
