購入者、自動販売機をそれぞれCSPでモデリングし、正しく動作するシステムを検証しながら設計してみよう。まず、下記のような購入者3人と自動販売機をモデリングする。購入者の動作はコインを入れ、ジュースのボタンを押す。 channel coin, juice PERSON = c…