Embedded Files
西宮 優作
Email: firstname.nishimiya@a.riken.jp
A University of Illinois maths student.
Research interests
Broadly, any mutually informative interactions between algebraic, geometric, combinatorial and logical ideas, phenomena and structures; somewhat more specifically:
Linear logic
Category theory (especially in logic and theory of computation)
Relation algebra
Structural proof theory
Combinatorial and geometric group theory
Monoids and semigroups
Automata, complexity and computability
Morphogenesis
... so far.
Publications & Works in Progress
Publications & Works in Progress
Nishimiya and Taniguchi, Non-commutative linear logic fragments with sub-context-free complexity. (To appear in TbiLLC 2025: Fifteenth International Tbilisi Symposium on Logic, Language and Computation. arxiv)
with Taniguchi, Negishi et al., Learnability of regular languages in language models. The 39th Annual Conference of the Japanese Society for AI, 2025. (PDF)
Talks & Posters
Talks & Posters
Non-commutative linear logic with sub-context-free complexity @ 🇬🇪 Tbilisi Symposium on Logic, Language and Computation. (Abstract, slides)
Complexity, expressivity, syntax and semantics @ RIKEN Interdisciplinary Theoretical and Mathematical Program seminar: a broad introduction to logic and theory of computing research for a diverse scientific audience. (Abstract)
Structure and complexity of non-commutative linear logic @ AIP Maths Seminar 2025 (Seminar-link, Poster-pdf, References)
also presented at Computer Science and Category Theory workshop (CSCAT 2025).
Descriptive automata-computability via formal languages @ 'Workshop for young researchers in the foundation of mathematics 2024' (数学基礎論若手の会2024 (link), Slides)
Collaborators
Collaborators
Paul Brunet (personal page)
Masaya Taniguchi (personal page)
Awards & Grants
Awards & Grants
RIKEN Autumn School 2025 Best Poster Award (Mathematical Sciences)
University of Illinois Springfield undergraduate research grant
Association for Symbolic Logic student travel award 2025
Links
Links
University of Illinois Springfield, Mathematical Sciences & Philosophy Department (where I do my BA in maths)
RIKEN Center for Advanced Intelligence Project (where I did a research internship 2024-2026)
Brain Image Analysis Unit, RIKEN Center for Brain Science (where I developed graph algorithms for neural morphology research part-time from Jan to Sep 2025.)
My 2025 poster
2025-1_printed-poster-YusakuNishimiya.pdf
About the website favicon (tab marker)
The Mokkou (木瓜) is the emblem of my family. Its motif is the flower of quince trees Chaenomeles speciosa.
@ RIKEN Autumn School, 15 Oct, 2025
Page updated
Google Sites
Report abuse