CSP入門(完)_CSPモデルのOccam2へのインプリメント(2) - 共立出版コンピュータサイエンス誌『bit』