河村彰星 Kawamura Akitoshi

研究者番号	20600117
その他のID
所属 (現在)	2025年度: 京都大学, 数理解析研究所, 准教授
所属 (過去の研究課題情報に基づく) *注記	2019年度 – 2024年度: 京都大学, 数理解析研究所, 准教授 2017年度 – 2018年度: 九州大学, システム情報科学研究院, 准教授 2015年度 – 2017年度: 東京大学, 大学院総合文化研究科, 講師 2014年度 – 2016年度: 東京大学, 総合文化研究科, 講師 2014年度: 東京大学, 総合文化研究所, 講師 2011年度 – 2014年度: 東京大学, 情報理工学(系)研究科, 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 小区分60010:情報学基礎論関連 / 情報科学、情報工学およびその関連分野 / 情報学基礎理論 / 情報学基礎研究代表者以外合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連 / 小区分60020:数理情報学関連 / 小区分60010:情報学基礎論関連 / 学術変革領域研究区分(Ⅳ) / 中区分60:情報科学、情報工学およびその関連分野 / 理工系 / 情報学基礎
キーワード	研究代表者計算可能解析 / 数値計算 / 計算量 / 実数表現 / 微分方程式 / 精度保証 / 実数計算 / 計算可能性 / formalized mathematics / constructive type theory … もっと見る / higher-order Hoare logic / program verification / exact real computation / 複雑度 / 厳密数値計算 / 平均計算量 / コルモゴロフ量 / 情報量規準 / ランダム性 / 計算複雑度 / 厳密計算 / 複素解析 / プログラム理論 / 形式証明 / フラクタル / 到達可能性 / ホロノミック列 / 連分数 / プログラム抽出 / パラメタ計算量 / 線形時間 / 算法設計 / 貪慾法 / 計算幾何 / グラフ探索 / 被覆問題 / 近似率 / 提携構造形成 / 無羨望性 / マルチエージェント / 資源配置 / 周期性 / 最適化 / 詰込問題 / ナッシュ均衡 / 警邏問題 / 仕事割当 / ヘドニックゲーム / 遷移可能性 / スケジューリング / 応用数理 / アルゴリズム / 力学系 / ワイラオホ次数 / 函数解析 / アナログ計算 / 計算量理論 / 実効的解析学 / 帰納解析学 / 計算可能解析学 … もっと見る研究代表者以外プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学 / データ構造 / アルゴリズム論 / アルゴリズム / 資源配分 / 制御理論 / マルチエージェント / 社会選択理論 / ゲーム理論 / マーケットデザイン / マルチエージェントシステム / 計算複雑度 / 実数計算量 / 回路計算量 / 反マトロイド / 計算量 / computation / 指数時間アルゴリズム / 分配関数 / イジングモデル / 格子グラフ / 量子グラフマイナー理論 / 量子格子グラフ理論 / グラフマイナー理論 / 計算量理論 / 量子コンピュータ / 量子グラフ理論 / 量子計算理論隠す

連続な空間上の計算とその複雑さの研究
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60010:情報学基礎論関連
   小区分60020:数理情報学関連
   合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連
- 研究機関
  京都大学
連続系における高階函数の保証つき厳密計算研究代表者
- 研究代表者
  
  河村彰星
- 研究期間 (年度)
  2022 – 2023
- 研究種目
  
  特別研究員奨励費
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
マルチエージェント最適化の数理基盤
- 研究代表者
  
  東藤大樹
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  九州大学
アルゴリズム基礎理論の追究・発展
- 研究代表者
  
  牧野和久
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅳ)
- 研究機関
  京都大学
連続系の複雑さを解明する計算理論研究代表者
- 研究代表者
  
  河村彰星
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
   九州大学
準無限スケジューリング問題の分析と応用研究代表者
- 研究代表者
  
  河村彰星
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  挑戦的研究(萌芽)
- 研究分野
  
  情報科学、情報工学およびその関連分野
- 研究機関
  京都大学
   九州大学
連続系計算量理論の深化と展開研究代表者
- 研究代表者
  
  河村彰星
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  若手研究(A)
- 研究分野
  
  情報学基礎理論
- 研究機関
  九州大学
   東京大学
数理論理学からの計算限界解析
- 研究代表者
  
  牧野和久
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  京都大学
量子グラフ理論確立による量子計算能力の限界解明
- 研究代表者
  
  今井浩
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎
- 研究機関
  東京大学
解析学及び幾何学における計算量研究代表者
- 研究代表者
  
  河村彰星
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  東京大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 その他

すべて雑誌論文学会発表

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

1. 牧野和久 (60294162)

共同の研究課題数: 2件

共同の研究成果数: 2件
2. 小林佑輔 (40581591)

共同の研究課題数: 2件

共同の研究成果数: 1件
3. 小野廣隆 (00346826)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 立木秀樹 (10211377)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 今井浩 (80183010)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山下茂 (30362833)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 松本啓史 (60272390)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 村尾美緒 (30322671)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. ルガルフランソワ (50584299)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 垣村尚徳 (30508180)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. ロスマンベンジャミン (90599177)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 東藤大樹 (50708394)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 藤田桂英 (00625676)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 畑秀明 (00713041)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 石崎孝幸 (10650335)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 定兼邦彦 (20323090)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 玉置卓 (40432413)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 瀧本英二 (50236395)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 渋谷哲朗 (60396893)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. THIES HOLGER (50839107)

共同の研究課題数: 1件

共同の研究成果数: 2件
21. 木原貴行 (80722701)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. クックステファン

共同の研究課題数: 1件

共同の研究成果数: 0件
23. ツィーグラーマーティン

共同の研究課題数: 1件

共同の研究成果数: 7件
24. グルビッティブラディミア

共同の研究課題数: 1件

共同の研究成果数: 0件
25. ボロシュエンドレ

共同の研究課題数: 1件

共同の研究成果数: 0件
26. PARK SEWON

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 石井利昌

共同の研究課題数: 0件

共同の研究成果数: 1件
28. 森山園子

共同の研究課題数: 0件

共同の研究成果数: 1件
29. 徳山豪

共同の研究課題数: 0件

共同の研究成果数: 1件
30. 岡本吉央

共同の研究課題数: 0件

共同の研究成果数: 1件

河村 彰星 Kawamura Akitoshi

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

連続系における高階函数の保証つき厳密計算研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

マルチエージェント最適化の数理基盤

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

連続系の複雑さを解明する計算理論研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

準無限スケジューリング問題の分析と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

連続系計算量理論の深化と展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数理論理学からの計算限界解析

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

量子グラフ理論確立による量子計算能力の限界解明

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

解析学及び幾何学における計算量研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Trade-offs among degree, diameter, and number of paths2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Elementarily Traceable Irrational Numbers2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Online Scheduling on Identical Machines with a Metric State Space2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Online Scheduling on Identical Machines with a Metric State Space. STACS 2022:2022

河村彰星 Kawamura Akitoshi