Embedded Files
A mathematics student working primarily on proof theory of non-commutative linear logic and formal languages.
At RIKEN Center for Advanced Intelligence Project, Japan. (link)
Research interests:
Linear logic and other substructural logics
Formal languages and automata theory
Geometric group theory
Order theory
Computational complexity
General interests:
Non-commutative algebra/logic
Computable foundation for mathematics
Categorical logic
Logic and category theory in computer science
Complexity, interpretability, semantics and categorification of (machine) learning
Talks & Posters
Talks & Posters
Non-commutative linear logic with sub-context-free complexity @ TU Wien Computational Logic Seminar, 2 July, 2025. (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)
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. PDF)
with Taniguchi, Negishi et al., Learnability of regular languages in language models. The 39th Annual Conference of the Japanese Society for AI, 2025. (PDF)
Awards & Grants
Awards & Grants
Association for Symbolic Logic student travel award 2025. (700 EUR)
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 develop graph algorithms for neural morphology research on Wednesdays, part-time.)
Photography by Eugenio Bertolini
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.
Page updated
Google Sites
Report abuse