2007年 状況制約下における並行モジュールのシーケンス構成論 情報処理学会論文誌 数理モデル化と応用 岩田健一, 笹倉万里子, 山崎進 巻 Vol.48 号 SIG 6 (TOM 17) 開始ページ 43 終了ページ 50 エクスポート BibTeX RIS