Search for faculty members
Kawamura, Akitoshi
Research Institute for Mathematical Sciences (RIMS) Associate Professor
list
Last Updated :2025/12/19
Basic Information
Affiliated programs (koza)
Academic Degree
ID,URL
J-Global ID
Researcher number
20600117
Website(s) (URL(s))
list
Last Updated :2025/12/19
Research
Research Topics, Overview of the research
Research Topics
Computability and Complexity / Computational Mathematics / Design and Analysis of Algorithms / Discrete and Computational Geometry
Papers
- The Ultimate Signs of Second-Order Holonomic Sequences.Fugen Hagihara; Akitoshi KawamuraICALP, Jul. 2025, Peer-reviewed
- Pinwheel CoveringAkitoshi Kawamura; Yusuke Kobayashi; Yosuke KusanoLecture Notes in Computer Science, 18 May 2025, Peer-reviewed
- Reachability in Linear Recurrence AutomataMika Hirvensalo; Akitoshi Kawamura; Igor Potapov; Takao YuyamaLecture Notes in Computer Science, 18 Sep. 2024, Peer-reviewed
- Proof of the Density Threshold Conjecture for Pinwheel SchedulingAkitoshi KawamuraProceedings of the 56th Annual ACM Symposium on Theory of Computing, 10 Jun. 2024, Peer-reviewed
- Elementarily Traceable Irrational NumbersKeita Hiroshima; Akitoshi KawamuraLecture Notes in Computer Science, 19 Jul. 2023, Peer-reviewed
- Trade-offs among degree, diameter, and number of paths.Toshimasa Ishii; Akitoshi Kawamura; Yusuke Kobayashi; Kazuhisa MakinoDiscret. Appl. Math., 2023, Peer-reviewed
Misc.
- Perpetual Scheduling Under Frequency ConstraintsAkitoshi KawamuraAlgorithmic Foundations for Social Advancement, 08 Mar. 2025
- Mark Braverman氏の業績 : IMUアバカス・メダル受賞者紹介河村 彰星数学 / 日本数学会 編, 2024
Presentations
- Higher-order complexityAkitoshi KawamuraCIRM Research School: Complexity as a Kaleidoscope, 03 Apr. 2025, Invited
- 計算できるとはどういうことか河村彰星第144回京都大学丸の内セミナー, 07 Feb. 2025, Invited
- 輪番割当問題河村彰星第24回日本情報オリンピック本選 講演会, 26 Jan. 2025, Invited
- 輪番スケジュール河村彰星第19回AFSA コロキウム, 29 May 2024, Invited
- Scheduling recurring tasks with frequency requirementsAkitoshi KawamuraGroup, Algebra, Language and Related Areas in Computer Science, 15 Feb. 2024, Invited
- 竹叢伐採の近似率の改善河村彰星情報処理学会第197回アルゴリズム研究会, 21 Mar. 2024
- 初等的に追跡される数河村彰星; 廣島佳汰日本数学会年会, 18 Mar. 2024
- 輪番割当6分の5予想の解決河村彰星情報処理学会第196回アルゴリズム研究会, 20 Jan. 2024
- Computational complexity of differential equationsAkitoshi Kawamura17th Asian Logic Conference (ALC), 10 Oct. 2023, Invited
- Subrecursive translations between irrational number representationsAkitoshi KawamuraFifth Workshop on Digitalization and Computable Models (WDCM), 05 Oct. 2023, Invited
- The ultimate signs of second-order holonomic sequencesFugen Hagihara; Akitoshi Kawamura23rd Japan-Korea Joint Workshop on Algorithms and Computation, 25 Jun. 2023
- 初等的に追跡される無理数廣島佳汰; 河村彰星情報処理学会第192回アルゴリズム研究会, 17 Mar. 2023
- 2階ホロノミック列の極限符号河村彰星; 萩原普賢冬のLAシンポジウム, 01 Feb. 2023
- 周期的な仕事の割当について河村彰星第8回山陰基礎論と数学およびその周辺の研究集会, 09 Jan. 2023
Awards
External funds: Kakenhi
- アルゴリズム基礎理論の追究・発展Grant-in-Aid for Transformative Research Areas (A)Transformative Research Areas, Section (IV)Kyoto University牧野 和久From 19 Nov. 2020, To 31 Mar. 2025, Grantedアルゴリズム;アルゴリズム論;データ構造
- Mathematical Foundations of Multi-Agent OptimizationGrant-in-Aid for Scientific Research (A)Medium-sized Section 60:Information science, computer engineering, and related fieldsKyushu University東藤 大樹From 01 Apr. 2020, To 31 Mar. 2024, Grantedマルチエージェントシステム;マーケットデザイン;ゲーム理論;社会選択理論;マルチエージェント;制御理論;資源配分
- Computational complexity of continuous systemsGrant-in-Aid for Scientific Research (B)Basic Section 60010:Theory of informatics-relatedKyoto University;Kyushu UniversityAkitoshi KawamuraFrom 01 Apr. 2018, To 31 Mar. 2023, Project Closed計算可能解析;計算量;線形時間;パラメタ計算量;プログラム抽出;計算可能性;実数表現;連分数;ホロノミック列;到達可能性;フラクタル;形式証明;実数計算;プログラム理論;複素解析;厳密計算;精度保証;計算複雑度;ランダム性;情報量規準;コルモゴロフ量;平均計算量;厳密数値計算;微分方程式;複雑度;数値計算
- Analysis of unbounded scheduling problemsGrant-in-Aid for Challenging Research (Exploratory)Kyoto University;Kyushu UniversityAkitoshi KawamuraFrom 30 Jun. 2017, To 31 Mar. 2023, Project Closedスケジューリング;遷移可能性;ヘドニックゲーム;仕事割当;警邏問題;ナッシュ均衡;詰込問題;最適化;周期性;資源配置;マルチエージェント;無羨望性;提携構造形成;近似率;被覆問題;グラフ探索;計算幾何;貪慾法;算法設計
- Theory and applications of complexity theory for continuous systemsGrant-in-Aid for Young Scientists (A)Kyushu University;The University of TokyoAkitoshi KawamuraFrom 01 Apr. 2014, To 31 Mar. 2018, Project Closed計算量;計算可能性;実数計算;実効的解析学;精度保証;微分方程式;計算量理論;アナログ計算;数値計算;函数解析;ワイラオホ次数;力学系;計算可能解析;アルゴリズム;応用数理;実数表現
- Exploring the limits of computation from mathematical logicGrant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)Science and EngineeringKyoto UniversityKazuhisa MakinoFrom 28 Jun. 2012, To 31 Mar. 2017, Project Closedcomputation;計算量;反マトロイド;回路計算量;実数計算量;計算複雑度
- Computational Complexity in Analysis and GeometryGrant-in-Aid for Young Scientists (B)The University of TokyoAkitoshi KAWAMURAFrom 28 Apr. 2011, To 31 Mar. 2015, Project Closed計算量;数値計算;計算可能解析;計算可能解析学;帰納解析学
- Understanding the Limitation of Quantum Computation by Quantum Graph TheoryGrant-in-Aid for Scientific Research (A)The University of TokyoHIROSHI IMAIFrom 01 Apr. 2011, To 31 Mar. 2015, Project Closed量子計算理論;量子グラフ理論;量子コンピュータ;計算量理論;グラフマイナー理論;量子格子グラフ理論;量子グラフマイナー理論;格子グラフ;イジングモデル;分配関数;指数時間アルゴリズム
- Verified Exact Computation over Continuous Higher TypesGrant-in-Aid for JSPS FellowsBasic Section 60010:Theory of informatics-relatedKyoto UniversityFrom 22 Apr. 2022, To 31 Mar. 2024, Granted
- Verified exact computation over continuous higher typesGrant-in-Aid for JSPS FellowsBasic Section 60010:Theory of informatics-relatedKyoto University河村 彰星From 08 Mar. 2023, To 31 Mar. 2024, Project Closedexact real computation;program verification;higher-order Hoare logic;constructive type theory;formalized mathematics
- 連続な空間上の計算とその複雑さの研究Grant-in-Aid for Scientific Research (B)Basic Section 60010:Theory of informatics-relatedKyoto University立木 秀樹From 01 Apr. 2023, To 31 Mar. 2028, Granted計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
- 連続な空間上の計算とその複雑さの研究Grant-in-Aid for Scientific Research (B)Basic Section 60010:Theory of informatics-relatedKyoto University立木 秀樹From 01 Apr. 2023, To 31 Mar. 2028, Granted計算可能解析学;厳密実数計算;計算複雑さ;プログラム抽出
list
Last Updated :2025/12/19
Education
Teaching subject(s)
- From 01 Apr. 2025, To 31 Mar. 2026Invitation to Modern Mathematics and Mathematical SciencesN114, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2025, To 31 Mar. 2026Special study course (Mathematical Science)5140, Year-long, Faculty of Science, 12
- From 01 Apr. 2025, To 31 Mar. 2026Seminar on Foundations of Computing d1346, Fall, Graduate School of Science, 3
- From 01 Apr. 2025, To 31 Mar. 2026Seminar on Foundations of Computing c1345, Spring, Graduate School of Science, 3
- From 01 Apr. 2025, To 31 Mar. 2026Seminar on Foundations of Computing b1344, Fall, Graduate School of Science, 3
- From 01 Apr. 2025, To 31 Mar. 2026Seminar on Foundations of Computing a1343, Spring, Graduate School of Science, 3
- From 01 Apr. 2024, To 31 Mar. 2025Invitation to Modern Mathematics and Mathematical SciencesN114, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2024, To 31 Mar. 2025Seminar on Foundations of Computing c1345, Spring, Graduate School of Science, 3
- From 01 Apr. 2024, To 31 Mar. 2025Seminar on Foundations of Computing b1344, Fall, Graduate School of Science, 3
- From 01 Apr. 2024, To 31 Mar. 2025Seminar on Foundations of Computing a1343, Spring, Graduate School of Science, 3
- From 01 Apr. 2024, To 31 Mar. 2025Seminar on Foundations of Computing d1346, Fall, Graduate School of Science, 3
- From 01 Apr. 2023, To 31 Mar. 2024Invitation to Modern Mathematics and Mathematical SciencesN114, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2023, To 31 Mar. 2024Special study course (Mathematical Science)5140, Year-long, Faculty of Science, 12
- From 01 Apr. 2023, To 31 Mar. 2024Seminar on Foundations of Computing c1345, Spring, Graduate School of Science, 3
- From 01 Apr. 2023, To 31 Mar. 2024Seminar on Foundations of Computing b1344, Fall, Graduate School of Science, 3
- From 01 Apr. 2023, To 31 Mar. 2024Seminar on Foundations of Computing a1343, Spring, Graduate School of Science, 3
- From 01 Apr. 2023, To 31 Mar. 2024Seminar on Foundations of Computing d1346, Fall, Graduate School of Science, 3
- From 01 Apr. 2022, To 31 Mar. 2023Seminar on Discrete Optimization d1296, Fall, Graduate School of Science, 3
- From 01 Apr. 2022, To 31 Mar. 2023Seminar on Discrete Optimization c1295, Spring, Graduate School of Science, 3
- From 01 Apr. 2022, To 31 Mar. 2023Seminar on Discrete Optimization a1293, Spring, Graduate School of Science, 3
- From 01 Apr. 2022, To 31 Mar. 2023Invitation to Modern Mathematics and Mathematical SciencesN114, Spring, Institute for Liberal Arts and Sciences, 2
- From 01 Apr. 2022, To 31 Mar. 2023Special study course (Mathematical Science)5140, Year-long, Faculty of Science, 12
- From 01 Apr. 2022, To 31 Mar. 2023Seminar on Discrete Optimization b1294, Fall, Graduate School of Science, 3
- From Apr. 2020, To Mar. 2021Seminar on Discrete Optimization aSpring, 理学研究科
- From Apr. 2020, To Mar. 2021Seminar on Discrete Optimization bFall, 理学研究科
- From Apr. 2020, To Mar. 2021Seminar on Discrete Optimization cSpring, 理学研究科
- From Apr. 2020, To Mar. 2021Seminar on Discrete Optimization dFall, 理学研究科
- From Apr. 2021, To Mar. 2022Special study course (Mathematical Science)Year-long, 理学部
- From Apr. 2021, To Mar. 2022Invitation to Modern Mathematics and Mathematical Sciences - Basic concepts and their role in various sciencesSpring, 全学共通科目
- From Apr. 2021, To Mar. 2022Seminar on Discrete Optimization aSpring, 理学研究科
- From Apr. 2021, To Mar. 2022Seminar on Discrete Optimization bFall, 理学研究科
- From Apr. 2021, To Mar. 2022Seminar on Discrete Optimization cSpring, 理学研究科
- From Apr. 2021, To Mar. 2022Seminar on Discrete Optimization dFall, 理学研究科
Participation in PhD Defense
- Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model CheckingKOJIMA RYOTA, Graduate School of Science, Sub-chief Examiner24 Mar. 2025
- Generalization of Bounded Linear Logic and its Categorical Semantics（有界線形論理の一般化とその圏論的意味論）吹原 耀司, Sub-chief Examiner23 Mar. 2021
- A nonstandard invariant of coarse spaces（粗空間の超準的不変量）今村 拓万, Sub-chief Examiner23 Mar. 2021
