ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。 --- 共有資源の排他制御は、やり方を間違えると大変。しかも、並行処理・並列処理だから、タイミングによってバグが出たり出なかったり、非常にやっかい。 ほんとは、モデルをきちんと定義して、数学的に間違いないことを証明してから、それを実装するのがいいが、なかなかそうもいかない。 そういうことをやるのが、形式仕様記述(Formal Methods)という分野