2013年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
A-009上書きハッシュ表の性質

山口　陽平,  岩田　茂樹,  

A-010A Result on Complexity of Quantum Computation

Mitsuru Hamada,  

A-011浮動小数点フォーマットに基づく事前誤差解析を用いた多倍長演算における演算精度の自動調整アルゴリズムの提案と評価

野口　剛史,  古賀　雅伸,  川端　悠一郎,  矢野　健太郎,  

RA-006Normal Basisを用いた多項式基底間の基底変換

石井　将大,  猪俣　敦夫,  藤川　和利,  

RA-007双対解を用いた提携構造付きコアの非空判定アルゴリズムの高速化

岩崎　敦,  上田　俊,  横尾　真,  

RA-008portfolio型並列SATソルバにおける多様な探索を行うための手法の提案

薗部　知大,  稲葉　真理,