Nakamura Yoshiki 中村誠希

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

Research Projects
(1 results)
Research Products
(14 results)

ポジティブ関係計算とポジティブ存在論理の相互的研究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

ポジティブ関係計算とポジティブ存在論理の相互的研究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 中村誠希