Embedded Files
西宮 優作
Email: firstname.nishimiya@a.riken.jp
An University of Illinois maths student.
& an intern at the RIKEN Center for Advanced Intelligence Project (AIP)
Interests (non-exhaustive!)
Algebra (particularly of formal languages and graphs)
Combinatorial and geometric group theory
Monoids and semigroups
Automata, complexity and computability theory
Linear logic
Structural proof theory
Category theory (especially in logic and theory of computation)
... broadly, any mutually informative interactions between algebraic, geometric, combinatorial and logical ideas, phenomena and structures.
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)
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)
Tohoku University Natural Language Processing Group (the parent lab of RIKEN AIP Natural Language Understanding team)
Brain Image Analysis Unit, RIKEN Center for Brain Science (where I developed graph algorithms for neural morphology research on Wednesdays, 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
@ iTHEMS, 14 March, 2025
Page updated
Google Sites
Report abuse