nilog:

← 前の日	2018-08-11	次の日 →
← 一年前		一年後 →

Hatena::Bookmark (2018-08-11)

「Coqは、関数型プログラミング言語と仕様記述言語の特徴を持っています。Coqの中でプログラムを書いて、その正しさを「証明」できるというわけです」

Coqで学ぶ証明プログラミング！テストだけでなく「証明」で安全性を保証する - エンジニアHub｜若手Webエンジニアのキャリアを考える！
[B!] 2018-08-11 18:21:55

関連するかも情報

「Coqは、関数型プログラミング言語と仕様記述言語の特徴を持っています。Coqの中でプログラムを書いて、その正しさを「証明」できるというわけです」

Coqで学ぶ証明プログラミング！テストだけでなく「証明」で安全性を保証する - エンジニアHub｜若手Webエンジニアのキャリアを考える！
[B!] 2018-08-11 18:21:55

「「日本出版販売株式会社」と西畠清順さんの「そら植物園」による合弁会社、日本緑化企画株式会社が「星の王子さま」とコラボレーションしたバオバブの苗木を発売」

「世界一のクリスマスツリー」で炎上の自称プラントハンター、今度は「星の王子さま」ファンにケンカを売ってしまう | BUZZAP！（バザップ！）
[B!] 2018-08-11 19:33:36

2018年08年11日のnilogをすべて表示する

- NI-Lab.
- Mastodon (@nilab@mastodon-japan.net)
- Twitter (@nilab)
- Timelog (@nilab)
- はてなブックマーク (id:nilab)