Nakamura Yoshiki 中村誠希

… Alternative Names

中村誠希ナカムラヨシキ

Less

Researcher Number	00866311
Other IDs	https://orcid.org/0000-0003-4106-0408
Affiliation (Current)	2026: 千葉大学, 大学院理学研究院, 准教授
Affiliation (based on the past Project Information) *help	2025: 東京科学大学, 情報理工学院, 助教 2021 – 2023: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 計算複雑度 / 数理論理 / 形式言語 / 関係 / 計算複雑さ / 関係計算 / オートマトン / グラフ / 計算困難さ / 数理論理学 / 有限モデル理論 / 関係代数

Research Projects
(2 results)
Research Products
(14 results)

Refinement of mathematical-logical approaches for expressions of relations and languagesPrincipal Investigator
- Principal Investigator
  
  中村誠希
- Project Period (FY)
  2025 – 2029
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Institute of Science Tokyo
ポジティブ関係計算とポジティブ存在論理の相互的研究Principal Investigator
- Principal Investigator
  
  中村誠希
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Institute of Technology

All 2024 2023 2022 2021

All Journal Article Presentation

[Journal Article] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023
- Author(s)
  Yoshiki Nakamura and Ryoma Sin'ya
- Journal Title
  
  Proceedings of AFL 2023
  
  Volume: 386 Pages: 185-199
- DOI
  10.4204/eptcs.386.15
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K13828
[Journal Article] Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations2023
- Author(s)
  Yoshiki Nakamura
- Journal Title
  
  Proceedings of LICS 2023
  
  Volume: - Pages: 1-13
- DOI
  10.1109/lics56636.2023.10175811
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K13828
[Journal Article] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023
- Author(s)
  Yoshiki Nakamura
- Journal Title
  
  Proceedings of MFCS 2023
  
  Volume: 272
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K13828
[Journal Article] Expressive power and succinctness of the positive calculus of binary relations2022
- Author(s)
  Yoshiki Nakamura
- Journal Title
  
  Journal of Logical and Algebraic Methods in Programming
  
  Volume: 127 Pages: 100760-100760
- DOI
  10.1016/j.jlamp.2022.100760
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K13828
[Journal Article] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022
- Author(s)
  Yoshiki Nakamura
- Journal Title
  
  Proceedings of the 30th EACSL Annual Conference on Computer Science Logic
  
  Volume: 216
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] Existential calculi of relations with transitive closure: Complexity and edge saturations2024
- Author(s)
  中村誠希
- Organizer
  CSCAT 2024 理論計算機科学と圏論ワークショップ (掲載論文1の内容に関する発表)
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023
- Author(s)
  Yoshiki Nakamura
- Organizer
  MFCS 2023 (掲載論文2の内容に関する発表)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] 変数出現を制限した関係計算について2023
- Author(s)
  中村誠希
- Organizer
  第57回MLG数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] Existential calculi of relations with transitive closure: Complexity and edge saturations2023
- Author(s)
  Yoshiki Nakamura
- Organizer
  LICS 2023 (掲載論文1の内容に関する発表)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023
- Author(s)
  Yoshiki Nakamura
- Organizer
  AFL 2023 (掲載論文3の内容に関する発表)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] ハイパーエッジ置換文法のための空間ポジティブ存在論理について2022
- Author(s)
  中村誠希
- Organizer
  第三十三回 ALGI 代数，論理，幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022
- Author(s)
  Yoshiki Nakamura
- Organizer
  30th EACSL Annual Conference on Computer Science Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] ポジティブ関係計算の formula-size game について2021
- Author(s)
  中村誠希
- Organizer
  第三十二回 ALGI（代数，論理，幾何と情報科学研究集会）
- Data Source
  KAKENHI-PROJECT-21K13828
[Presentation] ポジティブ関係計算の formula-size game について2021
- Author(s)
  中村誠希
- Organizer
  第38回記号論理と情報科学研究集会 (SLACS2021)
- Data Source
  KAKENHI-PROJECT-21K13828

Nakamura Yoshiki 中村 誠希

中村 誠希 ナカムラ ヨシキ

Research Projects

Research Products

Refinement of mathematical-logical approaches for expressions of relations and languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

ポジティブ関係計算とポジティブ存在論理の相互的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023

Author(s)

Journal Title

Data Source

[Journal Article] Expressive power and succinctness of the positive calculus of binary relations2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022

Author(s)

Journal Title

Data Source

[Presentation] Existential calculi of relations with transitive closure: Complexity and edge saturations2024

Author(s)

Organizer

Data Source

[Presentation] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023

Author(s)

Organizer

Data Source

[Presentation] 変数出現を制限した関係計算について2023

Author(s)

Organizer

Data Source

[Presentation] Existential calculi of relations with transitive closure: Complexity and edge saturations2023

Author(s)

Organizer

Data Source

[Presentation] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023

Author(s)

Organizer

Data Source

[Presentation] ハイパーエッジ置換文法のための空間ポジティブ存在論理について2022

Author(s)

Organizer

Data Source

[Presentation] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022

Author(s)

Organizer

Data Source

[Presentation] ポジティブ関係計算の formula-size game について2021

Author(s)

Organizer

Data Source

[Presentation] ポジティブ関係計算の formula-size game について2021

Author(s)

Organizer

Data Source

Nakamura Yoshiki 中村誠希

中村誠希ナカムラヨシキ