Rchr
J-GLOBAL ID：202301017584773250
Update date: Oct. 01, 2024
Nakamura Yoshiki
Nakamura Yoshiki
Affiliation and department：
Job title：
Assistent Professor
Research theme for competitive and other funds (2)：
- 2021 - 2026 ポジティブ関係計算とポジティブ存在論理の相互的研究
- 2016 - 2019 動的論理の代数的一般化とその複雑さの理論解析
Papers (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
ｍore...
Professional career (1)：
- Doctor of Science (Tokyo Institute of Technology)
Awards (2)：
- 2022/07 - 東京工業大学 東工大挑戦的研究賞
- 2020/12 - 公益財団法人井上科学振興財団 井上研究奨励賞
Return to Previous Page
