2012年 セレクト及びマージ頂点数の最小化によるパイプライン化依存性グラフの簡単化 電子情報通信学会論文誌 籠谷裕人, 岡本卓爾 巻 J95-D 号 開始ページ 1206 終了ページ 1215 エクスポート BibTeX RIS