LA 2007

オープニング 14:10〜14:20

セッション 1 14:20〜15:20

[1] 決定性・線形プッシュダウン木オートマトン

○藤芳 明生 (茨城大学工学部情報工学科)

[2] 誤り訂正符号を用いた公開鍵暗号方式

○平野 貴人 (東京工業大学), 田中圭介 (東京工業大学)

[3] On Randomly Generated Interval Graphs and Scale-freeness.

○繁住 健哉 (東京工業大学情報理工学研究科数理・計算科学専攻), 上原 隆平 (北陸先端科学技術大学院大学情報科学研究科), 渡辺 治 (東京工業大学情報理工学研究科数理・計算科学専攻)

セッション 2 15:40〜16:20

[4] ある投票ゲームに関する戦略のモデル化

上原 隆平 (JAIST), ○河村 泰之 (愛媛大), 松永 博充 (JAIST), 元木 光雄 (JAIST)

[5] d-primitive words, cyclic-square-free words, and disjunctive words

○守谷 哲夫 (国士舘大学)

学生セッション 1 16:40〜17:30

[S1] proper interval graphの多項式時間再構築アルゴリズム

○菅原 祐介 (北陸先端科学技術大学院大学)

[S2] 関税モデルへのオークションアルゴリズムの拡張

○宮沢 徹 (長岡技術科学大学), 武井 由智 (長岡技術科学大学)

[S3] ランダム3SATに対するアルゴリズムの研究

○安藤 友則 (東京工業大学)

[S4] 対話型変換機 ‐機械翻訳の訳抽出モデル‐

○山中 秀樹 (電気通信大学大学院電気通信学研究科情報工学専攻)

[S5] フーリエ表現要約サンプリングアルゴリズムの評価および拡張

○八木谷 允 (長岡技術科学大学), 武井 由智 (長岡技術科学大学)

学生セッション 2 17:50〜18:50

[S6] 戦略的な資源獲得のための行動計画

○熊谷 一生 (一関高専 制御情報工学科), 小保方 幸次 (一関高専 制御情報工学科)

[S7] 辺の伸縮を許したリンケージの裏返し判定問題

○藤本 洋一 (北陸先端科学技術大学院大学)

[S8] Simplices法を用いたMCBBネットワーク設計近似アルゴリズムの解析

○小林 佑輔 (長岡技術科学大学), 武井 由智 (長岡技術科学大学)

[S9] 順列の列挙

○関根 航人 (群馬大学), 山中 克久 (群馬大学), 中野 眞一 (群馬大学)

[S10] 非可解LP問題におけるSimplicesアルゴリズムの解析

○鈴木 健 (長岡技術科学大学), 武井 由智 (長岡技術科学大学)

[S11] MPQ木を用いた重み付き区間グラフに対するアルゴリズム

○山本 直樹 (東京工業大学)

セッション 3 8:30〜9:30

[6] A Spectral Method for MAX2SAT in the Planted Solution Model

○山本 真基 (京都大学)

[7] Graph Embedding While Preserving Pairwise Distances

○浅野 哲夫 (北陸先端科学技術大学院大学)

[8] The Complexity of the Hajos Calculus on Planar Graphs

Yoichi Hanatani (Kyoto University), Takashi Horiyama (Saitama University), Kazuo Iwama (Kyoto University), ○Suguru Tamaki (Kyoto University)

セッション 4 9:50〜10:50

[9] サイクルグラフ上での地図作成問題に対する最適なオンラインアルゴリズム

○森本 尚之 (京都大学 情報学研究科), 宮崎 修一 (京都大学 学術情報メディアセンター), 岡部 寿男 (京都大学 学術情報メディアセンター)

[10] 辺上を移動するロボット2台による多角形探索

○深見 浩和 (九州大学大学院システム情報科学府), 小野 廣隆 (九州大学大学院システム情報科学研究院), 定兼 邦彦 (九州大学大学院システム情報科学研究院), 山下 雅史 (九州大学大学院システム情報科学研究院)

[11] 格子問題に基づく認証および署名方式

○草川 恵太 (東京工業大学), 河内 亮周 (東京工業大学), 田中 圭介 (東京工業大学)

セッション 5 11:10〜12:10

[12] Analysis of Recurrence Relations Generalized from the Tower of Hanoi

○松浦 昭洋 (東京電機大学 理工学部 情報システム工学科)

[13] Near-Optimal Quantum Asymmetric-Key Cryptosystem

○河内 亮周, Christopher Portmann (東京工業大学)

[14] グラフ上のランダムウォーク高速化とその限界

○野中 良哲 (九州大学大学院システム情報科学府), 小野 廣隆 (九州大学大学院システム情報科学研究院), 定兼 邦彦 (九州大学大学院システム情報科学研究院), 山下 雅史 (九州大学大学院システム情報科学研究院)

セッション 6 9:20〜10:20

[15] フォンノイマン近傍保存的セルオートマトン上の信号伝達に対する規則の対称性の影響について

○谷本 尚理 (広島大学大学院工学研究科情報工学専攻), 今井 克暢 (広島大学大学院工学研究科情報工学専攻)

[16] 負荷分散枝被覆問題に対する最適性とアルゴリズム

○原田 雄太 (九州大学), 小野 廣隆 (九州大学), 定兼 邦彦 (九州大学), 山下 雅史 (九州大学)

[17] 記号毎に全順序付けられた有向非循環グラフのトポロジカルソート配列と配列の最長共通部分配列アルゴリズム

○酒井 義文 (東北大学大学院農学研究科)

セッション 7 10:40〜11:40

[18] 回路計算量の5nの下界に対する5nの上界

○天野 一幸 (群馬大), 垂井 淳 (電通大)

[19] controlling grammars について

○松原 俊一 (電気通信大学情報工学専攻)

[20] Quantum Digital Signature with A Single Trusted Party by Using Public Keys

○徳田 優 (東京大学情報理工学系研究科今井研究室), 長谷川 淳 (東京大学情報理工学系研究科今井研究室)