Karetta|[お題] サンタクロース問題オリジナルは A new exercise in concurrency 問題はこんな感じ． ねぼすけサンタがいる．休日が開けて，９頭いるトナカイ全員が戻ってくるか，１０人いるこびとさんのうち３人がやってきて起こしてくれるまでずっと寝てるというわけだ． ９頭組のトナカイに起こされたら，ハーネスをつけてソリを引かせてオモチャを配りに行く．配りおわったらトナカイたちのハーネスを外す．そしたらトナカイたちは休日だということでどこかにでかけてしまう． ３人組のこびとさんたちに起こされたら，会議をひらいて次期のオモチャをどうするかをこびとさんたちに伝授する．すんだらこびとさんたちは自分の仕事にもどっていく． トナカイ９頭組とこびとさん３人組が同時にサンタが起きるのを待ってる場合 にはトナカイの方を優先する． トナカイもこびとさんもまたそのうちに三々五々やってくる． 一旦やってきたトナカイは９頭揃っ
