2007 状況制約下における並行モジュールのシーケンス構成論 情報処理学会論文誌 数理モデル化と応用 岩田健一, 笹倉万里子, 山崎進 Volume Vol.48 Number SIG 6 (TOM 17) First page 43 Last page 50 Export BibTeX RIS