2000年 An Extended SD-Form Semantics Model Transactions of Information Processing Society of Japan 巻 41 号 2 開始ページ 513 終了ページ 516 エクスポート BibTeX RIS