研究課題
前年度までに得ていたポアソン方程式の複雑度に関する結果がMathematical Structures in Computer Science誌に掲載された。新たな進展としては、二型の多項式時間限定の概念を理論的に簡便に扱うのに役立つ新たな特徴づけを与え、国際会議Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)で発表した。また離散問題においてはレビンらによって確立されていた平均計算量の理論を、連続系である三体問題の複雑さの定式化に自然に応用する予備的結果を得た。これについては数回の口頭発表を行ったが、同様な解析法は、次年度からの基盤研究「連続系の複雑さを解明する計算理論」において強化・一般化を目指す計画であり、それに向けて引続き議論を進めている。更に、非専門家や周辺分野の研究者に向けて、「アナログ計算機と計算可能性」（全脳アーキテクチャ研究会）、「解析における計算理論」（九州大学数理学府）、「離散計算量理論の考え方を連続世界に応用するには」（Second Workshop on Mathematical Logic and its Application）のテーマで招待講演・集中講義を行い、本研究の成果を含めて連続系計算理論の基本的な考え方や適用手法を広く紹介することができた。
29年度が最終年度であるため、記入しない。
すべて 2018 2017 その他
すべて 国際共同研究 (3件) 雑誌論文 (2件) (うち国際共著 2件、 査読あり 2件) 学会発表 (3件) (うち国際学会 2件、 招待講演 2件) 備考 (1件)
Mathematical Structures in Computer Science
巻: 27(8) ページ: 1437-1465
10.1017/S096012951600013X
In Proc. Second International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics
巻: 84 ページ: 23
10.4230/LIPIcs.FSCD.2017.23
http://www.i.kyushu-u.ac.jp/~kawamura/26700001/
