情報・システム-コンピュテーション(開催日：2012/06/14)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2012/6/14
[資料番号]
目次

,  

[発表日]2012/6/14
[資料番号]
正誤表

,  

[発表日]2012/6/14
[資料番号]
組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化

川原 純,  湊 真一,  

[発表日]2012/6/14
[資料番号]COMP2012-12
系列二分決定グラフを操作するための豊富な演算体系の構築

伝住 周平,  有村 博紀,  湊 真一,  

[発表日]2012/6/14
[資料番号]COMP2012-13
不完全データと矛盾しない有向二値完全系統樹を列挙する効率的手法

清見 礼,  岡本 吉央,  斎藤 寿樹,  

[発表日]2012/6/14
[資料番号]COMP2012-14
無順序木の編集距離の指数時間厳密アルゴリズム

阿久津 達也,  田村 武幸,  深川 大路,  高須 淳宏,  

[発表日]2012/6/14
[資料番号]COMP2012-15
Recursive and non recursive formulas in finitism

,  

[発表日]2012/6/14
[資料番号]COMP2012-16
A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis

,  

[発表日]2012/6/14
[資料番号]COMP2012-17
超二次論理式サイズへ向けた候補となる論理関数

上野 賢哉,  

[発表日]2012/6/14
[資料番号]COMP2012-18
距離d独立頂点集合問題の計算複雑さ

江藤 宏,  郭 豊瑞,  宮野 英次,  

[発表日]2012/6/14
[資料番号]COMP2012-19
平面無向グラフで2番目に短い経路を求めるアルゴリズム

張 聡,  永持 仁,  

[発表日]2012/6/14
[資料番号]COMP2012-20
楕円曲線スカラー倍算における効率的なアトミックブロック

チュンサティアンサップ チッチャノック,  

[発表日]2012/6/14
[資料番号]COMP2012-21
非対称数字表現に対する平均ハミング重みの最適化

スッパキットパイサーン ウォラポン,  枝廣 正人,  今井 浩,  

[発表日]2012/6/14
[資料番号]COMP2012-22
包含多角形列の計算手法とその実験的解析

大西 建輔,  星 守,  

[発表日]2012/6/14
[資料番号]COMP2012-23
単位正方形上の一意被覆問題に対する近似アルゴリズム

伊藤 健洋,  中野 眞一,  岡本 吉央,  大舘 陽太,  上原 隆平,  宇野 毅明,  宇野 裕之,  

[発表日]2012/6/14
[資料番号]COMP2012-24
重み付きDelaunay三角形分割と離散的Ricciフローについて : 重み付きDelaunay三角形分割とサークルパッキングメトリックの関係

田沼 利浩,  今井 浩,  

[発表日]2012/6/14
[資料番号]COMP2012-25
コンピュテーション研究専門委員会からのお知らせ

,  

[発表日]2012/6/14
[資料番号]
複写される方へ

,  

[発表日]2012/6/14
[資料番号]
Notice for Photocopying

,  

[発表日]2012/6/14
[資料番号]
12>> 1-20hit(22hit)