1999年 問題解決のための効率的な等価変換ルールの探索 情報処理学会,数理モデル化と問題解決 巻 99 号 76・MPS-26-13 開始ページ 49 終了ページ 52 エクスポート BibTeX RIS