中村誠希 Nakamura Yoshiki

研究者番号	00866311
その他のID	https://orcid.org/0000-0003-4106-0408
所属 (現在)	2026年度: 千葉大学, 大学院理学研究院, 准教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 東京科学大学, 情報理工学院, 助教 2021年度 – 2023年度: 東京工業大学, 情報理工学院, 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 小区分12030:数学基礎関連
キーワード	研究代表者計算複雑度 / 数理論理 / 形式言語 / 関係 / 計算複雑さ / 関係計算 / オートマトン / グラフ / 計算困難さ / 数理論理学 / 有限モデル理論 / 関係代数

研究課題
(2件)
研究成果
(14件)

関係・言語の表現の数理論理学的な研究の深化研究代表者
- 研究代表者
  
  中村誠希
- 研究期間 (年度)
  2025 – 2029
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  東京科学大学
ポジティブ関係計算とポジティブ存在論理の相互的研究研究代表者
- 研究代表者
  
  中村誠希
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東京工業大学

すべて 2024 2023 2022 2021

すべて雑誌論文学会発表

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

中村 誠希 Nakamura Yoshiki

研究課題

研究成果

関係・言語の表現の数理論理学的な研究の深化研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Expressive power and succinctness of the positive calculus of binary relations2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022

著者名/発表者名

雑誌名

データソース

[学会発表] Existential calculi of relations with transitive closure: Complexity and edge saturations2024

著者名/発表者名

学会等名

データソース

[学会発表] On the finite variable-occurrence fragment of the calculus of relations with bounded dot-dagger alternation2023

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Existential calculi of relations with transitive closure: Complexity and edge saturations2023

著者名/発表者名

学会等名

データソース

[学会発表] Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements2023

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Spatial Existential Positive Logics for Hyperedge Replacement Grammars2022

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

中村誠希 Nakamura Yoshiki