Kawamura Akitoshi 河村彰星

… Alternative Names

KAWAMURA Akitoshi 河村彰星

Less

Researcher Number	20600117
Other IDs
Affiliation (Current)	2025: 京都大学, 数理解析研究所, 准教授
Affiliation (based on the past Project Information) *help	2019 – 2024: 京都大学, 数理解析研究所, 准教授 2017 – 2018: 九州大学, システム情報科学研究院, 准教授 2015 – 2017: 東京大学, 大学院総合文化研究科, 講師 2014 – 2016: 東京大学, 総合文化研究科, 講師 2014: 東京大学, 総合文化研究所, 講師 2011 – 2014: 東京大学, 情報理工学(系)研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Basic Section 60010:Theory of informatics-related / Information science, computer engineering, and related fields / Theory of informatics / Fundamental theory of informatics Except Principal Investigator Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Basic Section 60010:Theory of informatics-related / Transformative Research Areas, Section (IV) / Medium-sized Section 60:Information science, computer engineering, and related fields / Science and Engineering / Fundamental theory of informatics
Keywords	Principal Investigator 計算可能解析 / 数値計算 / 計算量 / 実数表現 / 微分方程式 / 精度保証 / 実数計算 / 計算可能性 / formalized mathematics / constructive type theory … More / higher-order Hoare logic / program verification / exact real computation / 複雑度 / 厳密数値計算 / 平均計算量 / コルモゴロフ量 / 情報量規準 / ランダム性 / 計算複雑度 / 厳密計算 / 複素解析 / プログラム理論 / 形式証明 / フラクタル / 到達可能性 / ホロノミック列 / 連分数 / プログラム抽出 / パラメタ計算量 / 線形時間 / 算法設計 / 貪慾法 / 計算幾何 / グラフ探索 / 被覆問題 / 近似率 / 提携構造形成 / 無羨望性 / マルチエージェント / 資源配置 / 周期性 / 最適化 / 詰込問題 / ナッシュ均衡 / 警邏問題 / 仕事割当 / ヘドニックゲーム / 遷移可能性 / スケジューリング / 応用数理 / アルゴリズム / 力学系 / ワイラオホ次数 / 函数解析 / アナログ計算 / 計算量理論 / 実効的解析学 / 帰納解析学 / 計算可能解析学 … More Except Principal Investigator プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学 / データ構造 / アルゴリズム論 / アルゴリズム / 資源配分 / 制御理論 / マルチエージェント / 社会選択理論 / ゲーム理論 / マーケットデザイン / マルチエージェントシステム / 計算複雑度 / 実数計算量 / 回路計算量 / 反マトロイド / 計算量 / computation / 指数時間アルゴリズム / 分配関数 / イジングモデル / 格子グラフ / 量子グラフマイナー理論 / 量子格子グラフ理論 / グラフマイナー理論 / 計算量理論 / 量子コンピュータ / 量子グラフ理論 / 量子計算理論 Less

連続な空間上の計算とその複雑さの研究
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Kyoto University
Verified exact computation over continuous higher typesPrincipal Investigator
- Principal Investigator
  
  河村彰星
- Project Period (FY)
  2022 – 2023
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
Mathematical Foundations of Multi-Agent Optimization
- Principal Investigator
  
  東藤大樹
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyushu University
アルゴリズム基礎理論の追究・発展
- Principal Investigator
  
  牧野和久
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  Kyoto University
Computational complexity of continuous systemsPrincipal Investigator
- Principal Investigator
  
  Kawamura Akitoshi
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
  Kyushu University
Analysis of unbounded scheduling problemsPrincipal Investigator
- Principal Investigator
  
  Kawamura Akitoshi
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Research Field
  
  Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
  Kyushu University
Theory and applications of complexity theory for continuous systemsPrincipal Investigator
- Principal Investigator
  
  Kawamura Akitoshi
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyushu University
  The University of Tokyo
Exploring the limits of computation from mathematical logic
- Principal Investigator
  
  Makino Kazuhisa
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Understanding the Limitation of Quantum Computation by Quantum Graph Theory
- Principal Investigator
  
  IMAI HIROSHI
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
Computational Complexity in Analysis and GeometryPrincipal Investigator
- Principal Investigator
  
  KAWAMURA Akitoshi
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation

[Journal Article] Trade-offs among degree, diameter, and number of paths2023
- Author(s)
  Toshimasa Ishii, Akitoshi Kawamura, Yusuke Kobayashi, Kazuhisa Makino
- Journal Title
  
  Discrete Applied Mathematics
  
  Volume: 327 Pages: 96-100
- DOI
  10.1016/j.dam.2022.12.007
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00001, KAKENHI-PROJECT-19K22841, KAKENHI-PLANNED-20H05967
[Journal Article] Elementarily Traceable Irrational Numbers2023
- Author(s)
  Hiroshima Keita、Kawamura Akitoshi
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13967 Pages: 135-140
- DOI
  10.1007/978-3-031-36978-0_11
- ISBN
  9783031369773, 9783031369780
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03203
[Journal Article] Online Scheduling on Identical Machines with a Metric State Space2022
- Author(s)
  Hiromichi Goko, Akitoshi Kawamura, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita
- Journal Title
  
  39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, LIPIcs
  
  Volume: 219
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PLANNED-20H05967
[Journal Article] Online Scheduling on Identical Machines with a Metric State Space. STACS 2022:2022
- Author(s)
  Hiromichi Goko, Akitoshi Kawamura, Yasushi Kawase, Kazuhisa Makino, Hanna Sumita
- Journal Title
  
  39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, LIPIcs
  
  Volume: 219
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PLANNED-20H05967
[Journal Article] Simple strategies versus optimal schedules in multi-agent patrolling2020
- Author(s)
  Kawamura Akitoshi、Soejima Makoto
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 839 Pages: 195-206
- DOI
  10.1016/j.tcs.2020.07.037
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K19960
[Journal Article] Second-Order Linear-Time Computability with Applications to Computable Analysis2019
- Author(s)
  Kawamura Akitoshi、Steinberg Florian、Thies Holger
- Journal Title
  
  Proc. of the 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), April 13-16, 2019, Kitakyushu, Japan
  
  Volume: 11436 Pages: 337-358
- DOI
  10.1007/978-3-030-14812-6_21
- ISBN
  9783030148119, 9783030148126
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18J10407, KAKENHI-PROJECT-18H03203
[Journal Article] Average-case polynomial-time computability of Hamiltonian dynamics2018
- Author(s)
  A. Kawamura, H. Thies and M. Ziegler
- Journal Title
  
  Proc. 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS), Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 117 Pages: 30-30
- DOI
  10.4230/LIPICS.MFCS.2018.30
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203, KAKENHI-PROJECT-18J10407
[Journal Article] Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving2018
- Author(s)
  A. Kawamura, F. Steinberg and H. Thies
- Journal Title
  
  Proc. 25th Workshop on Logic, Language, Information and Computation (WoLLIC), Lecture Notes in Computer Science (LNCS)
  
  Volume: 10944 Pages: 223-236
- DOI
  10.1007/978-3-662-57669-4_13
- ISBN
  9783662576687, 9783662576694
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203, KAKENHI-PROJECT-18J10407
[Journal Article] Morpion Solitaire 5D: A new upper bound of 121 on the maximum score2017
- Author(s)
  Kawamura Akitoshi、Tatsu Yuichi、Uno Yushi、Yamato Masahide
- Journal Title
  
  Inf. Process. Lett.
  
  Volume: 121 Pages: 6-10
- DOI
  10.1016/j.ipl.2017.01.003
- NAID
  110009779042
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Sequentially Swapping Colored Tokens on Graphs2017
- Author(s)
  Katsuhisa Yamanaka, Erik D. Demaine, Takashi Horiyama, Akitoshi Kawamura, Shin-Ichi Nakano, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno
- Journal Title
  
  Proceedings of 11th International Conference and Workshop on Algorithms and Computation (WALCOM 2017)
  
  Volume: - Pages: 435-447
- DOI
  10.1007/978-3-319-53925-6_34
- NAID
  120006779053
- ISBN
  9783319539249, 9783319539256
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106005, KAKENHI-PROJECT-15K00008, KAKENHI-PROJECT-15K00009, KAKENHI-PLANNED-24106002
[Journal Article] Polynomial running times for polynomial-time oracle machines2017
- Author(s)
  A. Kawamura and F. Steinberg
- Journal Title
  
  In Proc. Second International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics
  
  Volume: 84 Pages: 23-23
- DOI
  10.4230/LIPIcs.FSCD.2017.23
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Journal Article] A Lower Bound on Opaque Sets2016
- Author(s)
  Akitoshi Kawamura, Sonoko Moriyama, Yota Otachi, Janos Pach
- Journal Title
  
  Proc. of the 32nd Symposium on Computational Geometry
  
  Volume: 32
- DOI
  10.4230/LIPIcs.SoCG.2016.46
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540004, KAKENHI-PROJECT-26330002, KAKENHI-PROJECT-16K12392, KAKENHI-PLANNED-24106002
[Journal Article] Towards computational complexity theory on advanced function spaces in analysis2016
- Author(s)
  A. Kawamura, F. Steinberg and M. Ziegler
- Journal Title
  
  Proc. Computability in Europe (CiE), Lecture Notes in Computer Science
  
  Volume: 9709 Pages: 142-152
- DOI
  10.1007/978-3-319-40189-8_15
- ISBN
  9783319401881, 9783319401898
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001, KAKENHI-PLANNED-24106002
[Journal Article] Complexity theory of (functions on) compact metric spaces2016
- Author(s)
  A. Kawamura, F. Steinberg and M. Ziegler
- Journal Title
  
  Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  
  Volume: - Pages: 837-846
- DOI
  10.1145/2933575.2935311
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001, KAKENHI-PLANNED-24106002
[Journal Article] On the computational complexity of the Dirichlet Problem for Poisson's Equation2016
- Author(s)
  KAWAMURA AKITOSHI、STEINBERG FLORIAN、ZIEGLER MARTIN
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 27 Issue: 8 Pages: 1437-1465
- DOI
  10.1017/s096012951600013x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002, KAKENHI-PROJECT-26700001
[Journal Article] Simple strategies versus optimal schedules in multi-agent patrolling2015
- Author(s)
  A. Kawamura and M. Soejima
- Journal Title
  
  Proceedings of the Ninth International Conference on Algorithms and Complexity (CIAC), to appear
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240001
[Journal Article] Simple strategies versus optimal schedules in multi-agent patrolling.2015
- Author(s)
  A. Kawamura and M. Soejima
- Journal Title
  
  Proceedings of the Ninth International Conference on Algorithms and Complexity
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240001
[Journal Article] Fence patrolling by mobile agents with distinct speeds2015
- Author(s)
  A. Kawamura,Y. Kobayashi
- Journal Title
  
  Distributed Computing
  
  Volume: 28 Issue: 2 Pages: 147-154
- DOI
  10.1007/s00446-014-0226-3
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Thin strip graphs2015
- Author(s)
  T. Hayashi, A. Kawamura, Y. Otachi, H. Shinohara, and K. Yamazaki
- Journal Title
  
  Discrete Applied Mathematics, to appear
  
  Volume: - Pages: 203-210
- DOI
  10.1016/j.dam.2015.01.018
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-24500007, KAKENHI-PROJECT-25730003, KAKENHI-PLANNED-24106004, KAKENHI-PLANNED-24106002
[Journal Article] On minimum- and maximum-weight minimum spanning trees with neighborhoods2015
- Author(s)
  R.Dorrigiv, R.Fraser, M.He, S.Kamali, A.Kawamura, A.Lopez-Ortiz, D.Seco
- Journal Title
  
  Theory of Computing Systems
  
  Volume: 56 Issue: 1 Pages: 220-250
- DOI
  10.1007/s00224-014-9591-3
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Simple strategies versus optimal schedules in multi-agent patrolling2015
- Author(s)
  A. Kawamura, M. Soejima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9079 Pages: 261-273
- DOI
  10.1007/978-3-319-18173-8_19
- ISBN
  9783319181721, 9783319181738
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy2015
- Author(s)
  A. Kawamura, N. Müller, C. Rösnick and M. Ziegler
- Journal Title
  
  Journal of Complexity
  
  Volume: 31(5) Issue: 5 Pages: 689-714
- DOI
  10.1016/j.jco.2015.05.001
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001, KAKENHI-PLANNED-24106002
[Journal Article] Small complexity classes for operators in analysis2014
- Author(s)
  A. Kawamura and H. Ota
- Journal Title
  
  Mathematical Foundations of Computer Science 2014, Lecture Notes in Computer Science
  
  Volume: 8635 Pages: 432-444
- DOI
  10.1007/978-3-662-44465-8_37
- ISBN
  9783662444641, 9783662444658
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-26700001, KAKENHI-PLANNED-24106002
[Journal Article] On characterizations of randomized computation using plain Kolmogorov complexity2014
- Author(s)
  S. Hirahara and A. Kawamura
- Journal Title
  
  Mathematical Foundations of Computer Science 2014, Lecture Notes in Computer Science
  
  Volume: 8635 Pages: 348-359
- DOI
  10.1007/978-3-662-44465-8_30
- NAID
  110009925279
- ISBN
  9783662444641, 9783662444658
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23240001, KAKENHI-PLANNED-24106002
[Journal Article] Weight Balancing on Boundaries and Skeletons2014
- Author(s)
  Luis Barba, Otfried Cheong, Jean-Lou De Carufel, Michael Gene Dobbins, Rudolf Fleischer, Akitoshi Kawamura, Matias Korman, Yoshio Okamoto, János Pach, Yuan Tang, Takeshi Tokuyama, Sander Verdonschot, Tianhao Wang:
- Journal Title
  
  Proceedings of 30th Symposium on Computational Geometry
  
  Volume: 30 Pages: 436-443
- DOI
  10.1145/2582112.2582142
- NAID
  110009804829
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-22300001, KAKENHI-PLANNED-24106005, KAKENHI-PLANNED-24106007, KAKENHI-PROJECT-24700008, KAKENHI-PLANNED-24106002
[Journal Article] Computational Complexity of Smooth Differential Equations2014
- Author(s)
  Akitoshi Kawamura , Hiroyuki Ota, Carsten Rosnick Martin Ziegler
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 10 Pages: 1-15
- DOI
  10.2168/lmcs-10(1:6)2014
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23700009, KAKENHI-PLANNED-24106002
[Journal Article] Function Spaces for Second-Order Polynomial Time2014
- Author(s)
  Akitoshi Kawamura, Arno Pauly
- Journal Title
  
  CiE
  
  Volume: LNCS8493 Pages: 245-254
- DOI
  10.1007/978-3-319-08019-2_25
- ISBN
  9783319080185, 9783319080192
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Morpion Solitaire 5D: a new upper bound of 121 on the maximum score2013
- Author(s)
  Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato
- Journal Title
  
  CCCG
  
  Volume: 25 Pages: 8-10
- NAID
  110009779042
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] The distance 4-sector of two points is unique2013
- Author(s)
  R. Fraser, M. He, A. Kawamura, A. López-Ortiz, J. I. Munro, P. K. Nicholson
- Journal Title
  
  Proc. Twenty-Fourth International Symposium on Algorithms and Computation (ISAAC)
  
  Volume: LNCS 8283 Pages: 612-622
- DOI
  10.1007/978-3-642-45030-3_57
- ISBN
  9783642450297, 9783642450303
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700009, KAKENHI-PLANNED-24106002
[Journal Article] Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime2012
- Author(s)
  Akitoshi Kawamura, Norbert Th. Müller, Carsten Rösnick, Martin Ziegler
- Journal Title
  
  arXiv:1211.4974
  
  Volume: arXiv:1211.4974
- Data Source
  KAKENHI-PROJECT-23700009
[Journal Article] Computational Complexity of Smooth Differential Equations2012
- Author(s)
  A. Kawamura, H. Ota, C. Rosnick, and M. Ziegler
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7464 Pages: 578-589
- DOI
  10.1007/978-3-642-32589-2_51
- ISBN
  9783642325885, 9783642325892
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23700009
[Journal Article] Fence Patrolling by Mobile Agents with Distinct Speeds2012
- Author(s)
  A. Kawamura
- Journal Title
  
  ISAAC 2012, LNCS
  
  Volume: 7676 Pages: 598-608
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106002
[Journal Article] Complexity theory for operators in analysis2012
- Author(s)
  Akitoshi Kawamura and Stephen Cook
- Journal Title
  
  ACM Transactions on Computation Theory
  
  Volume: 4 Issue: 2 Pages: 1-24
- DOI
  10.1145/2189778.2189780
- NAID
  110008900059
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] Scheduling recurring tasks with frequency requirements2024
- Author(s)
  河村彰星
- Organizer
  研究集会「群・代数・言語と計算機科学の周辺領域」
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05967
[Presentation] 初等的に追跡される数2024
- Author(s)
  河村彰星，廣島佳汰
- Organizer
  日本数学会年会
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 初等的に追跡される無理数2023
- Author(s)
  廣島佳汰，河村彰星
- Organizer
  情報処理学会第192回アルゴリズム研究会
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 周期的な仕事の割当について2023
- Author(s)
  河村彰星
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] The ultimate signs of second-order holonomic sequences2023
- Author(s)
  F. Hagihara and A. Kawamura
- Organizer
  23rd Japan-Korea Joint Workshop on Algorithms and Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Computational complexity of differential equations2023
- Author(s)
  A. Kawamura
- Organizer
  17th Asian Logic Conference (ALC)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Subrecursive translations between irrational number representations2023
- Author(s)
  A. Kawamura
- Organizer
  Fifth Workshop on Digitalization and Computable Models (WDCM)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 2階ホロノミック列の極限符号2023
- Author(s)
  河村彰星，萩原普賢
- Organizer
  冬のLAシンポジウム
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 周期的な仕事の割当について2023
- Author(s)
  河村彰星
- Organizer
  第8回山陰基礎論と数学およびその周辺の研究集会
- Data Source
  KAKENHI-PROJECT-20H00587
[Presentation] 輪番詰込の密度閾値について2022
- Author(s)
  河村彰星
- Organizer
  2022年電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-20H00587
[Presentation] Polynomial-time equivalent representations of compact sets in Euclidean spaces2022
- Author(s)
  A. Kawamura
- Organizer
  Continuity, Computability, Constructivity (CCC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 実函数の計算理論2022
- Author(s)
  河村彰星
- Organizer
  組合せ最適化セミナー
- Invited
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 輪番詰込スケジューリングの密度限界2022
- Author(s)
  河村彰星
- Organizer
  応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] 輪番詰込の密度閾値について2022
- Author(s)
  河村彰星
- Organizer
  電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] 輪番詰込スケジューリングの密度限界2022
- Author(s)
  河村彰星
- Organizer
  応用数学合同研究集会
- Data Source
  KAKENHI-PROJECT-20H00587
[Presentation] Average-case polynomial-time computability of Hamiltonian dynamics2021
- Author(s)
  A. Kawamura
- Organizer
  First Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 時間限定の下での中間次数について2020
- Author(s)
  河村彰星
- Organizer
  第7回山陰基礎論・解析学研究集会
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 輪番スケジューリングと密度限界2020
- Author(s)
  河村彰星
- Organizer
  Japanese Conference on Combinatorics and its Application
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] 輪番スケジューリングと密度限界2020
- Author(s)
  河村彰星
- Organizer
  日本オペレーションズ・リサーチ学会「超スマート社会のシステムデザインのための理論と応用」研究部会第8回研究会
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] On randomized polynomial-time approximability of real numbers and sets2019
- Author(s)
  A. Kawamura and U. Lechine
- Organizer
  Third Workshop on Mathematical Logic and its Applications (MLA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Gray code representation and polynomial-time approximability2019
- Author(s)
  A. Kawamura
- Organizer
  Computability Theory and Foundations of Mathematics (CTFM) 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] 複数の巡査による線分警邏のゲーム理論的分析2019
- Author(s)
  奥村恭平，河村彰星
- Organizer
  電子情報通信学会総合大会COMP学生シンポジウム
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] 警邏スケジューリング問題2019
- Author(s)
  河村彰星
- Organizer
  日本オペレーションズリサーチ学会九州支部総会講演会
- Invited
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] グレー符号と乱択近似可能実数2019
- Author(s)
  河村，レシーヌ
- Organizer
  情報処理学会第172回アルゴリズム研究会
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Optimization in multi-agent patrolling on graphs2018
- Author(s)
  A. Kawamura
- Organizer
  Second Workshop on Self-organization in Swarm of Robots (WSSR)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] On proving parameterized polynomial time computability of compositions of fundamental functions2018
- Author(s)
  H. Hamamoto, A. Kawamura and M. Ziegler
- Organizer
  Computability Theory and Foundations of Mathematics (CTFM) 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] A class for second-order linear-time computability2018
- Author(s)
  A. Kawamura, F. Steinberg and H. Thies
- Organizer
  Continuity, Computability, Constructivity (CCC) 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Applications of average-case complexity to problems in analysis2018
- Author(s)
  A. Kawamura, H. Thies and M. Ziegler
- Organizer
  夏のエルエーシンポジウム
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Simple strategies versus optimal schedules in multi-agent patrolling2018
- Author(s)
  A. Kawamura
- Organizer
  Ninth Workshop on Graph Searching, Theory & Applications (GRASTA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] Average-case polynomial-time computability of the three-body problem2018
- Author(s)
  A. Kawamura
- Organizer
  Dagstuhl Seminar 18361: Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Applying ideas in discrete complexity theory to the continuous world2018
- Author(s)
  A. Kawamura
- Organizer
  Continuity, Computability, Constructivity (CCC) 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Bounds on optimal patrolling schedules2018
- Author(s)
  A. Kawamura
- Organizer
  Banff International Research Station (BIRS) Workshop on Extremal Problems in Combinatorial Geometry
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] グレー符号と乱択近似可能数2018
- Author(s)
  河村
- Organizer
  数学基礎論若手の会
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Computable analysis and computability in linear time2018
- Author(s)
  A. Kawamura, F. Steinberg and H. Thies
- Organizer
  Computability Theory and Foundations of Mathematics (CTFM) 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03203
[Presentation] Applying ideas in discrete complexity theory to the continuous world2018
- Author(s)
  A. Kawamura
- Organizer
  Second Workshop on Mathematical Logic and its Application
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] 恒常的スケジューリングの未解決問題2017
- Author(s)
  河村彰星
- Organizer
  離散構造処理系プロジェクト秋のワークショップ
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] Multi-agent cooperative patrolling of designated points on graphs2017
- Author(s)
  A. Kawamura and H. Noshiro
- Organizer
  20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K19960
[Presentation] 解析学における計算量2017
- Author(s)
  河村彰星
- Organizer
  日本数学会年会特別講演
- Place of Presentation
  首都大学東京（東京都八王子市）
- Year and Date
  2017-03-25
- Invited
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Average Case Complexity for the N-body problem2017
- Author(s)
  A. Kawamura, H. Thies and M. Ziegler
- Organizer
  Computability in Europe (CiE) 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] アナログ計算機と計算可能性2017
- Author(s)
  河村彰星
- Organizer
  第19回全脳アーキテクチャ勉強会
- Invited
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Data-types for multidimensional functions in reliable numerics―Implementations inspired by Real Complexity Theory2016
- Author(s)
  A. Kawamura, F. Steinberg and H. Thies
- Organizer
  19th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC)
- Place of Presentation
  函館市民会館（北海道函館市）
- Year and Date
  2016-08-31
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] 実数計算の理論と実践――連続世界の計算限界2016
- Author(s)
  河村彰星
- Organizer
  オペレーションズリサーチ学会数理計画（RAMP）シンポジウム
- Place of Presentation
  新潟大学（新潟県新潟市）
- Year and Date
  2016-10-14
- Invited
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Towards computational complexity theory on advanced function spaces in analysis2015
- Author(s)
  A. Kawamura, F. Steinberg and M. Ziegler
- Organizer
  Continuity, Computability, Constructivity―From Logic to Algorithms (CCC)
- Place of Presentation
  Kochel am See, Germany
- Year and Date
  2015-09-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] 連続世界の計算量2015
- Author(s)
  河村彰星
- Organizer
  情報処理学会第百五十一回アルゴリズム研究会・人工知能学会第九十六回人工知能基本問題研究会
- Place of Presentation
  愛知県名古屋市昭和区
- Year and Date
  2015-01-14
- Invited
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Computational complexity of real functions2015
- Author(s)
  A. Kawamura
- Organizer
  German-Japanese Workshop on The- ory and Practice of Real Computation
- Place of Presentation
  Meiji University
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Computational complexity of real functions2015
- Author(s)
  A. Kawamura
- Organizer
  German-Japanese Workshop on Theory and Practice of Real Computation
- Place of Presentation
  明治大学駿河台キャンパス（東京都千代田区）
- Year and Date
  2015-07-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Weihrauch reducibility in polynomial-time computable analysis2015
- Author(s)
  A. Kawamura
- Organizer
  Sixteenth International Workshop on Logic and Computational Complexity (LCC)
- Place of Presentation
  京都大学吉田キャンパス（京都府京都市左京区）
- Year and Date
  2015-07-04
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Towards computational complexity theory on advanced function spaces in analysis2015
- Author(s)
  A. Kawamura, F. Steinberg, M. Ziegler
- Organizer
  Continuity, Computability, Constructivity { From Logic to Algorithms
- Place of Presentation
  Kochel am See
- Year and Date
  2015-09-14
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 塀の警邏2015
- Author(s)
  河村彰星
- Organizer
  スケジューリングシンポジウム
- Place of Presentation
  東京
- Year and Date
  2015-09-26
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Computational complexity theory for classes of integrable functions2015
- Author(s)
  A. Kawamura, F Steinberg and M. Ziegler
- Organizer
  Constructivism and Computability
- Place of Presentation
  石川県金沢市
- Year and Date
  2015-03-03
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] On the image and length of polynomial-time computable curves2015
- Author(s)
  T. Katayama, A. Kawamura
- Organizer
  Twelfth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  tokyo
- Year and Date
  2015-07-12
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Invitation to real complexity theory: Algorithmic foundations to reliable numerics with bit-costs2015
- Author(s)
  A. Kawamura, M. Ziegler
- Organizer
  The 18th Korea-Japan Joint Workshop on Algorithms and Computation
- Place of Presentation
  Incheon
- Year and Date
  2015-08-21
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Invitation to real complexity theory: Algorithmic foundations to reliable numerics with bit-costs2015
- Author(s)
  A. Kawamura and M. Ziegler
- Organizer
  18th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC)
- Place of Presentation
  Incheon, Korea
- Year and Date
  2015-08-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] On the image and length of polynomial-time computable curves2015
- Author(s)
  T. Katayama and A. Kawamura
- Organizer
  Twelfth International Conference on Computability and Complexity in Analysis (CCA)
- Place of Presentation
  明治大学駿河台キャンパス（東京都千代田区）
- Year and Date
  2015-07-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Reducibility in polynomial-time computable analysis2015
- Author(s)
  A. Kawamura
- Organizer
  Dagstuhl Seminar, Joint Session of 15391 "Algorithms and Complexity for Continuous Problems" and 15392 "Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis"
- Place of Presentation
  Wadern, Germany
- Year and Date
  2015-09-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Weihrauch reducibility in polynomial-time computable analysis2015
- Author(s)
  A. Kawamura
- Organizer
  Sixteenth International Workshop on Logic and Com- putational Complexity
- Place of Presentation
  Kyoto
- Year and Date
  2015-07-04
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Towards computational complexity theory on advanced function spaces in analysis2015
- Author(s)
  A. Kawamura, F. Steinberg, M. Ziegler
- Organizer
  Twelfth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  tokyo
- Year and Date
  2015-07-12
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 多項式時間測度とランダム性について2015
- Author(s)
  河村彰星
- Organizer
  電子情報通信学会コンピュテーション研究会
- Place of Presentation
  大阪大学
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 線分および点の警邏について2014
- Author(s)
  河村彰星，副島真
- Organizer
  LAシンポジウム
- Place of Presentation
  半月庵, 山口県
- Year and Date
  2014-07-17
- Data Source
  KAKENHI-PROJECT-23240001
[Presentation] Analytic functions in iRRAM2014
- Author(s)
  A. Kawamura, F. Steinberg and H. Thies
- Organizer
  Eleventh International Conference on Computability and Complexity in Analysis (CCA)
- Place of Presentation
  Darmstadt, Germany
- Year and Date
  2014-07-23
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] Applying higher-type complexity to analysis2014
- Author(s)
  Akitoshi Kawamura
- Organizer
  Fifth Workshop on Developments in Implicit Computational Complexity (DICE)
- Place of Presentation
  Grenoble, France
- Year and Date
  2014-04-05
- Invited
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] 細帯グラフ2014
- Author(s)
  大舘陽太，河村彰星，篠原英裕，林貴史，山崎浩一
- Organizer
  電子情報通信学会コンピュテーション研究会
- Place of Presentation
  東北大学, 宮城県
- Year and Date
  2014-04-24
- Data Source
  KAKENHI-PROJECT-23240001
[Presentation] 解析函数の完全精度演算の計算量と実装について2014
- Author(s)
  河村彰星
- Organizer
  平成26年度RIMS研究集会「証明論・計算論とその周辺」
- Place of Presentation
  京都府京都市左京区
- Year and Date
  2014-12-25
- Data Source
  KAKENHI-PROJECT-26700001
[Presentation] 境界上の重みの釣合せ2014
- Author(s)
  河村彰星，岡本吉央，徳山豪
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-25
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 帰納解析学における小さな計算量級2014
- Author(s)
  太田浩行，河村彰星
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学, 広島県
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-23240001
[Presentation] 乱択計算の素朴コルモゴロフ記述量を用いた特徴づけについて2014
- Author(s)
  河村彰星，平原秀一
- Organizer
  電子情報通信学会コンピュテーション研究会
- Place of Presentation
  道後温泉大和屋, 愛媛県
- Year and Date
  2014-06-14
- Data Source
  KAKENHI-PROJECT-23240001
[Presentation] 帰納解析学における小さな計算量級2014
- Author(s)
  太田浩行，河村彰星
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 解析函数の表現と計算量について2013
- Author(s)
  河村彰星
- Organizer
  平成24年度冬のLAシンポジウム
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Morpion Solitaire: a new upper bound 121 of the maximum score2013
- Author(s)
  Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato
- Organizer
  電子情報通信学会コンピュテーション研究会
- Place of Presentation
  奈良女子大学
- Year and Date
  2013-06-24
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 解析函数の表現と演算子の計算量について2013
- Author(s)
  河村彰星
- Organizer
  日本数学会年会
- Place of Presentation
  学習院大学
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] arameterized uniform complexity in numerics: from smooth to analytic, from NP-hard to polytime2013
- Author(s)
  A. Kawamura
- Organizer
  Computability Theory and Foundations of Mathematics
- Place of Presentation
  東京工業大学
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Fence Patrolling by Mobile Agents with Distinct Speeds2012
- Author(s)
  A. Kawamura
- Organizer
  22nd Annual Fall Workshop on Computational Geometry
- Place of Presentation
  University of Maryland, USA
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 再帰的解析学における計算量2012
- Author(s)
  河村彰星
- Organizer
  数理解析研究所研究集会「証明論と複雑性」
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Polynomial-time randomness and differentiability
- Author(s)
  A. Kawamura, K. Miyabe
- Organizer
  Computability in Europe (CiE)
- Place of Presentation
  Milan, Italy
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] On the Computational Complexity of Laplace's and Poisson's Equations
- Author(s)
  A. Kawamura, F. Steinberg, M. Ziegler
- Organizer
  Logic Colloquium (LC)
- Place of Presentation
  Évora, Portugal
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] 滑らかな常微分方程式の計算量
- Author(s)
  太田、河村、ツィーグラー、レースニク
- Organizer
  冬のエルエーシンポジウム
- Place of Presentation
  京都府京都市左京区
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] 連続系の計算量
- Author(s)
  河村彰星
- Organizer
  新学術領域研究「計算限界解明」計算量理論秋学校
- Place of Presentation
  長野県北佐久郡軽井沢町
- Invited
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] Polynomial-time computability on the space of real functions
- Author(s)
  A. Kawamura
- Organizer
  Dagstuhl-seminar 11411: Computing with Infinite Data
- Place of Presentation
  独国ザールラント州ワーデルン市
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] Resource-bounded randomness and differentiability
- Author(s)
  河村彰星
- Organizer
  Computability Theory and Foundations of Mathematics
- Place of Presentation
  Tokyo Institute of Technology
- Year and Date
  2014-02-17 – 2014-02-20
- Invited
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Complexity of Laplace's and Poisson's Equation compared to ordinary integration
- Author(s)
  A. Kawamura, F. Steinberg and M. Ziegler
- Organizer
  Logic Colloquium
- Place of Presentation
  Evora, Portugal
- Year and Date
  2013-07-22 – 2013-07-27
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] The inverse barycenter problem
- Author(s)
  L. Barba, J.-L. De Carufel, R. Fleischer, A. Kawamura, M. Korman, Y. Okamoto, Y. Tang, T. Tokuyama, S. Verdonschot and T. Wang
- Organizer
  ixteenth Japan Conference on Discrete and Computational Geometry and Graphs
- Place of Presentation
  東京大学
- Year and Date
  2013-09-17 – 2013-09-19
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 遮光線の長さについて
- Author(s)
  大舘陽太, 河村彰星，森山園子
- Organizer
  夏のエルエーシンポジウム
- Place of Presentation
  福岡県福岡市東区
- Year and Date
  2013-07-16 – 2013-07-18
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 掩蔽の最短化
- Author(s)
  大舘，河村，森山
- Organizer
  第十七回列挙アルゴリズムセミナー
- Place of Presentation
  群馬県渋川市
- Year and Date
  2013-04-12 – 2013-04-14
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 計算資源としての乱択
- Author(s)
  河村彰星
- Organizer
  京都大学大学院人間環境学研究科　数理科学講座談話会
- Place of Presentation
  京都府京都市左京区
- Invited
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] 境界上の重みの釣合せ
- Author(s)
  河村彰星，マティアス・コルマン，唐淵，鄭地園，ジャン・ルー・ド・カルフェル，徳山豪，マイケル・ドビンズ，サンダー・バードンスホト，ヤーノシュ・パハ，ルイス・バルバ，ルードルフ・フライシャー，王天豪，岡本吉央
- Organizer
  冬のエルエーシンポジウム
- Place of Presentation
  京都大学
- Year and Date
  2014-01-28 – 2014-01-30
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] On small complexity classes for computable analysis
- Author(s)
  A. Kawamura
- Organizer
  Continuity, Computability, Constructivity -- From Logic to Algorithms (CCC)
- Place of Presentation
  Gregynog, Swansea University, Wales, UK
- Invited
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] 解析学における計算量（ポスター発表）
- Author(s)
  河村彰星
- Organizer
  情報科学技術フォーラム
- Place of Presentation
  鳥取県鳥取市
- Year and Date
  2013-09-04 – 2013-09-06
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 縮小写像による距離三等分線の構成
- Author(s)
  河村彰星
- Organizer
  日本数学会年会
- Place of Presentation
  学習院大学
- Year and Date
  2014-03-15 – 2014-03-18
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] The distance 4-sector of two points is unique
- Author(s)
  R.Fraser, M.He, A.Kawamura, A.Lopez-Ortiz, J.I.Munro, P.K.Nicholson
- Organizer
  Annual Fall Workshop on Computational Geometry
- Place of Presentation
  City College of New York
- Year and Date
  2013-10-25 – 2013-10-26
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] On small complexity classes for computable analysis
- Author(s)
  Akitoshi Kawamura
- Organizer
  Continuity, Computability, Constructivity -- From Logic to Algorithms
- Place of Presentation
  Swansea University
- Year and Date
  2013-06-26 – 2013-06-30
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Polynomial-time randomness and differentiability
- Author(s)
  A. Kawamura and K. Miyabe
- Organizer
  Computability in Europe
- Place of Presentation
  Univ. of Milano-Bicocca
- Year and Date
  2013-07-01 – 2013-07-05
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] On shortest barriers
- Author(s)
  A. Kawamura, S. Moriyama and Y. Otachi
- Organizer
  ixteenth Japan Conference on Discrete and Computational Geometry and Graphs
- Place of Presentation
  東京大学
- Year and Date
  2013-09-17 – 2013-09-19
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Parameterized uniform complexity in numerics: from smooth to analytic, from NP-hard to polytime
- Author(s)
  A. Kawamura, N. Th. Mueller, C. Roesnick and M. Ziegler
- Organizer
  Tenth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  Nancy, France
- Year and Date
  2013-07-08 – 2013-07-10
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 解析学における高階計算量
- Author(s)
  河村、クック
- Organizer
  電子情報通信学会コンピュテーション研究会
- Place of Presentation
  宮城県仙台市青葉区
- Data Source
  KAKENHI-PROJECT-23700009
[Presentation] Small type-two complexity classes for computable analysis
- Author(s)
  A.Kawamura
- Organizer
  honan Seminar 033: Implicit Computational Complexity and Applications: Resource Control, Security, Real Number Computation
- Place of Presentation
  Shonan Village Center
- Year and Date
  2013-11-04 – 2013-11-07
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] Morpion Solitaire: New upper bounds on the maximum score
- Author(s)
  A. Kawamura, T. Okamoto, Y. Tatsu, Y. Uno and M. Yamato
- Organizer
  ixteenth Japan Conference on Discrete and Computational Geometry and Graphs
- Place of Presentation
  東京大学
- Year and Date
  2013-09-17 – 2013-09-19
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] On the Computational Complexity of Laplace's and Poisson's Equations
- Author(s)
  A. Kawamura, F. Steinberg and M. Ziegler
- Organizer
  Tenth International Conference on Computability and Complexity in Analysis
- Place of Presentation
  Nancy, France
- Year and Date
  2013-07-08 – 2013-07-10
- Data Source
  KAKENHI-PLANNED-24106002
[Presentation] 多項式時間ランダム性と微分可能性
- Author(s)
  河村彰星，宮部賢志
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  愛媛大学
- Year and Date
  2013-09-24 – 2013-09-27
- Data Source
  KAKENHI-PLANNED-24106002

1. Makino Kazuhisa (60294162)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
2. 小林佑輔 (40581591)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
3. 小野廣隆 (00346826)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 立木秀樹 (10211377)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. IMAI HIROSHI (80183010)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YAMASHITA Shigeru (30362833)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. MATSUMOTO Keiji (60272390)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. MURAO Mio (30322671)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. LE GALL Francois (50584299)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 垣村尚徳 (30508180)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. ロスマンベンジャミン (90599177)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 東藤大樹 (50708394)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 藤田桂英 (00625676)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 畑秀明 (00713041)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 石崎孝幸 (10650335)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 定兼邦彦 (20323090)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 玉置卓 (40432413)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 瀧本英二 (50236395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 渋谷哲朗 (60396893)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. THIES HOLGER (50839107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
21. 木原貴行 (80722701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. COOK Stephen

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. ZIEGLER Martin

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
24. GURVICH Vladimir

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. BOROS Endre

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. PARK SEWON

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 石井利昌

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
28. 森山園子

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
29. 徳山豪

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
30. 岡本吉央

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Kawamura Akitoshi 河村 彰星

KAWAMURA Akitoshi 河村 彰星

Research Projects

Research Products

Co-Researchers

連続な空間上の計算とその複雑さの研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verified exact computation over continuous higher typesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mathematical Foundations of Multi-Agent Optimization

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

アルゴリズム基礎理論の追究・発展

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computational complexity of continuous systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Analysis of unbounded scheduling problemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory and applications of complexity theory for continuous systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Exploring the limits of computation from mathematical logic

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Understanding the Limitation of Quantum Computation by Quantum Graph Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Complexity in Analysis and GeometryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Trade-offs among degree, diameter, and number of paths2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Elementarily Traceable Irrational Numbers2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Online Scheduling on Identical Machines with a Metric State Space2022

Author(s)

Journal Title

Data Source

Kawamura Akitoshi 河村彰星

KAWAMURA Akitoshi 河村彰星