generated at
ダイニングフィロソフィア問題
同義語食事する哲学者の問題

dining philosophers problem