Yusaku Nishimiya

Name in Japanese: 西宮優作　
Email: ogpqn420s@mozmail.com (I will respond using the real address.)

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)

Broad research interests:

General interests:

Computable foundation for mathematics
Logic and category theory in theory of computing
Complexity, interpretability, semantics and categorification of (machine) learning

Talks & Posters

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)

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)

LinkedIn
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