研究者
J-GLOBAL ID：202301017584773250
更新日: 2024年10月01日
中村 誠希
Nakamura Yoshiki
所属機関・部署：
職名：
助教
競争的資金等の研究課題 (2件)：
- 2021 - 2026 ポジティブ関係計算とポジティブ存在論理の相互的研究
- 2016 - 2019 動的論理の代数的一般化とその複雑さの理論解析
論文 (12件)：
-
Yoshiki Nakamura 0001. Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops. RAMiCS. 2024. 207-224
-
Yoshiki Nakamura 0001, Ryoma Sin'ya. Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. AFL. 2023. abs/2309.02760. 185-199
-
Yoshiki Nakamura 0001. On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation. MFCS. 2023. 69-15
-
Yoshiki Nakamura 0001. Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. LICS. 2023. 1-13
-
Yoshiki Nakamura 0001. Spatial Existential Positive Logics for Hyperedge Replacement Grammars. 30th EACSL Annual Conference on Computer Science Logic(CSL). 2022. 30-17
もっと見る
学位 (1件)：
受賞 (2件)：
- 2022/07 - 東京工業大学 東工大挑戦的研究賞
- 2020/12 - 公益財団法人井上科学振興財団 井上研究奨励賞
前のページに戻る
