HOME > 研究活動について > 研究室別研究業績一覧

研究室別研究業績一覧

コンピュータサイエンス専攻 知識ソフトウェア科学講座 大規模知識処理研究室

検索語    
分類

学術論文   その他の業績(論文形式) 


2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006

学術論文

該当データがありません.

その他の業績(論文形式)

  • 竹内文登, 西野 正彬, 安田 宜仁, 秋葉 拓哉, 湊 真一, 永田 昌明 : 制約を伴うDAG最短路問題の高速解法, IEICE-COMP2015-31, IEICE-115, no.344, pp.9-16, 2015
  • 伊藤 華, 井上 祐馬, 湊 真一 : ZDD のトップダウン構築における変数順序付け法の実験と考察, 情報科学技術フォーラム講演論文集, 14, 1, pp.115-116, 2015
  • 鈴木 浩史,湊 真一 : 頂点誘導部分グラフを列挙索引化するフロンティア法, 信学技報, 115, 15, pp.15-20, 2015
  • 竹内 文登, 安田 宜仁, 湊 真一 : 組合せ集合のmeet演算による共通因子抽出, 人工知能学会全国大会, p.3C4-3 , 2015
  • 竹内 文登, 鈴木 浩史, 白石恒介, 井上祐馬, 湊 真一 : MEET演算を用いた組合せ集合間の類似度の定義と応用, 情報科学技術フォーラム, p.F-021, 2015
  • Yuma Inoue, Shin-ichi Minato : Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits, 7th International Conference on Reversible Computation, pp.186-199, 2015

ページの先頭へ