サクサク読めて、アプリ限定の機能も多数！
組み込み系だけど、並行処理と並列処理の区別はうるさいな。両者の割合によってパフォーマンスが変わる。/ 「バグが無い」は全step/全条件/全タイミング検証で「証明」しているモジュールもある。小モジュール限定。
spacefrontier のブックマーク 2014/07/30 14:47
このブックマークにはスターがありません。 最初のスターをつけてみよう！
kyon-mm.hatenablog.com2014/07/30
はじめに 言いたい事はわかるんですけど、ふわっと言葉を使っていると間違っていることもあります。 ということで、ほとんど自戒なのですが、今や私も気になる部分は多々あるので、私が思う気を付けたらいいよっ...
365 人がブックマーク・80 件のコメント
＼ コメントが サクサク読める アプリです ／
組み込み系だけど、並行処理と並列処理の区別はうるさいな。両者の割合によってパフォーマンスが変わる。/ 「バグが無い」は全step/全条件/全タイミング検証で「証明」しているモジュールもある。小モジュール限定。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ソフトウェア開発では出来るだけ言葉遣いに気をつけよう。さもなくばマサカリを受けろ。 - うさぎ組
はじめに 言いたい事はわかるんですけど、ふわっと言葉を使っていると間違っていることもあります。 ということで、ほとんど自戒なのですが、今や私も気になる部分は多々あるので、私が思う気を付けたらいいよっ...
365 人がブックマーク・80 件のコメント
＼ コメントが サクサク読める アプリです ／