研究課題
厳密な理論保証を持つアルゴリズム設計理論，および，計算複雑性理論に関して以下に記載するものを含めて研究成果を得た．(1) 地下鉄路線図の可視化における交差数最小化問題に対して，理論的保証を持つ厳密アルゴリズムを提案した．(2) ワードクラウドの可視化において，その意味論をグラフによってモデル化した問題を考案し，その計算複雑性の解明，および，理論的保証を持つ近似アルゴリズムの構築に成功した．(3) 単純多角形領域の直径と半径を計算するという問題に対して，マンハッタン距離によって計測が行われる場合に，それらを線形時間で計算する高速アルゴリズムを開発した．
2: おおむね順調に進展している
「研究の目的」に記載した3つのテーマ「厳密計算の費やす資源に対する信頼性評価」，「信頼性の低い計算構成要素を用いて信頼性の高い計算結果を得るアルゴリズム設計理論」，「頑健な厳密計算アルゴリズム設計技法とその現実的計算量解析手法の発展」のすべてに関して進展を得て，その結果を国際学会，国際論文誌において発表した．
前年度の成果を踏まえて，「研究の目的」に記載した3つのテーマに取り組む．そのために，最新の研究成果の調査，専門的知識の入手，および，研究会参加による意見・情報交換を行う．また，研究によって得られたアルゴリズムの有効性を検証するために計算機実験を行ない，理論にフィードバックする．研究の過程で得られた理論的成果，実験結果に関する情報交換を行なうために，国内外の研究会等で発表する．
研究打ち合わせ，および，研究討議にかかわる事前調査を入念に行った結果，強指数時間仮説，凸多面体の拡張定式化，回路計算量理論と通信複雑性理論などの知見が必要であることが判明し，それにかかわる調査も追加して行ったため．追加調査によって得られた知見を援用することで，厳密計算の信頼性を保証する一般理論の構築を目指す．そのために，設備備品費 （研究成果の調査，専門的知識の入手，計算機実験の実施のための関係図書・計算機の購入），旅費 （研究会参加による意見・情報交換，研究発表），謝金 （計算機実験の実施のためのプログラム作成補助）を使用する．
すべて 2014 2013
すべて 雑誌論文 (15件) (うち査読あり 12件) 学会発表 (11件) (うち招待講演 3件) 図書 (1件)
Networks
巻: 63 ページ: 231-238
10.1002/net.21540
Discrete Applied Mathematics
巻: 168 ページ: 69-77
10.1016/j.dam.2012.11.015
Lecture Notes in Computer Science
巻: 8392 ページ: 120-131
10.1007/978-3-642-54423-1_11
巻: 8496 ページ: 235-244
10.1007/978-3-319-07890-8_20
巻: 8496 ページ: 369-380
10.1007/978-3-319-07890-8_31
Proceedings of 30th Annual Symposium on Computational Geometry
巻: 未定 ページ: 未定
tba
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
巻: 8392 ページ: 514-525
10.1007/978-3-642-54423-1_45
ArXiv Preprint
巻: 1403.7272
Theoretical Computer Science
巻: 497 ページ: 13-19
10.1016/j.tcs.2012.08.006
巻: 8242 ページ: 520-521
Proceedings of CCCG 2013
巻: なし
IACR Cryptology ePrint Archive
巻: 2013/874
信学技法
巻: 113(14) ページ: 43-48
