さて、この前の日記で、哲学者たちとフォークを一つのテーブルに着かせる事ができました。 では、今度はナイーブなアルゴリズムでデッドロックが起きる事を検証してみましょう。 今回のアルゴリズム 哲学者は同時に１本のフォークをとる。 ２本獲得して満足…

最近形式手法について勉強したくて、この本を買ってAlloyって言語について勉強してみたので書いてみる。抽象によるソフトウェア設計−Alloyではじめる形式手法−作者: Daniel Jackson,中島震,今井健男,酒井政裕,遠藤侑介,片岡欣夫出版社/メーカー: オーム社発…