サクサク読めて、アプリ限定の機能も多数!
ソフトウェアを検査する手法として定理証明ってアプローチがあるのか
nerikara4chimi のブックマーク 2021/01/28 10:55
プログラミング言語の未来はどうなるか | κeenのHappy Hacκing Blogソフトウェアを検査する手法として定理証明ってアプローチがあるのか2021/01/28 10:55
このブックマークにはスターがありません。 最初のスターをつけてみよう!
keens.github.io2021/01/26
κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広...
659 人がブックマーク・75 件のコメント
\ コメントが サクサク読める アプリです /
ソフトウェアを検査する手法として定理証明ってアプローチがあるのか
nerikara4chimi のブックマーク 2021/01/28 10:55
このブックマークにはスターがありません。
最初のスターをつけてみよう!
プログラミング言語の未来はどうなるか | κeenのHappy Hacκing Blog
keens.github.io2021/01/26
κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広...
659 人がブックマーク・75 件のコメント
\ コメントが サクサク読める アプリです /