Yusaku Nishimiya

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

A mathematics student working primarily on categorical models & proof complexity of non-commutative multiplicative linear logic.

At RIKEN Center for Advanced Intelligence Project, Japan. (link)

Broad research interests:

Linear logic
Categorical logic
Computability and computational complexity
Formal languages and automata
Algebraic combinatorics
Categorical functional analysis
Computable foundation for mathematics
Category theory in theory of computing
Interpretability, semantics and category theoretic characterisations 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 variants with sub-context-free proof complexity. (manuscript in preparation)

CV (pdf)
Google scholar
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