Nakamura Yoshiki 中村誠希

… Alternative Names

中村誠希ナカムラヨシキ

Less

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

Research Projects
(1 results)
Research Products
(7 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 2023 2022 2021

All Journal Article Presentation

[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] 変数出現を制限した関係計算について2023
- Author(s)
  中村誠希
- Organizer
  第57回MLG数理論理学研究集会
- 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] 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] 変数出現を制限した関係計算について2023

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 中村誠希

中村誠希ナカムラヨシキ