Shin-ya Katsumata
Japanese Page
Publication
Research Field
My research field is theoretical computer science.
- I was a PC member of the
the tenth international symposium on functional and logic programming.
FLOPS 2010
- I was a PC member of the
twelfth workshop on programming and programming languages.
PPL 2010
- I was a committee member of
the camp-style workshop on geometry of interaction,
traced monoidal categories and implicit complexity.
The workshop webpage
Teaching
Programming I (at Doshisha University, the first semester, 2009-2011; elementary Java programming)
Introduction to computer science (at Kyoto University, the first semester, 2006-2011; untyped lambda calculus and
Church-Turing thesis)
Recent Papers
- Shin-ya Katsumata.
Relating Computational Effects by TT-Lifting.
In Proc. ICALP 2011, LNCS 6756, pp.174-185, 2011.
(c) Springer.
(Springer,PDF)
- Shin-ya Katsumata.
Categorical Descriptional Composition.
In Proc. APLAS 2010, LNCS 6461, pp.222-238, Springer 2010.
(c) Springer.
(Springer,PDF)
- Masahito Hasegawa and Shin-ya Katsumata.
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories.
In Math. Proc. of Camb. Phil. Soc., volume 148, pp. 107-109.
(c) Cambridge Philosophical Society.
(PDF)
- Shin-ya Katsumata.
A Characterisation of Lambda Definability with Sums via TT-Closure Operators.
In Proc. CSL 2008, LNCS 5213, pp. 278-292. Springer 2008.
(c) Springer.
(Springer,PDF)
- Shin-ya Katsumata.
Attribute Grammars and Categorical Semantics.
In Proc. ICALP 2008, LNCS 5126, pp. 271-282. Springer 2008.
(c) Springer.
(Springer,PDF)
Contact Information
Shin-ya Katsumata
Assistant Professor at Research Institute for Mathematical Sciences (RIMS), Kyoto University
Postal address: RIMS,
Kyoto university, Kitashirakawa Oiwakecho, Sakyoku, Kyoto,
606-8502 Japan
Office address: Rm 476, Research Building No. 2,
Yoshida Honmachi, Sakyoku, Kyoto,
606-8501 Japan
Tel: +81-75-645-7274
FAX: +81-75-645-7272