ソフトウェアの基礎理論⑤――OSの形式化の例―資源割当て問題――デッドロックの静的および動的防止法のアルゴリズムについて紹介する