2017年6月23日 フロンティア法における頂点変数の効率的な扱いについて ~ネットワーク信頼性の場合~ 湊基盤(S)離散構造処理系プロジェクト 初夏のワークショップ 井上 武 記述言語 日本語 会議種別 ポスター発表 リンク情報 URLhttp://www-erato.ist.hokudai.ac.jp/docs/workshop/2017/170623_inoue.pdf