LTSAの紹介３回目ということで、食事をする哲学者の問題を扱いたいと思います。 食事をする哲学者の問題は、並行システムが語られる際によく使われる例題となります。哲学者の問題をざっと説明します。スパゲティが置かれたテーブルに、５人の哲学者が座って…