勝股 審也

研究分野

• 第11回Asian Symposium on Programming Languages and Systems APLAS 2013のPCを務めております。 APLAS 2013
• 第18回ACM SIGPLAN International Conference on Functional Programming ICFP 2013のPCを務めております。 ICFP 2013
• 第15回プログラミングおよびプログラミング言語ワークショップ PPL2013のco-chairを務めました。 PPL 2013

担当授業

公開講座関連

最近の論文

• Shin-ya Katsumata and Tetsuya Sato. Preorders on Monads and Coalgebraic Simulations.
  In Proc. FoSSaCS '13, LNCS 7794, pp.145--160. Springer, Heidelberg, 2013. (c) Springer. (Paper page,PDF)
• Koji Nakazawa and Shin-ya Katsumata. Extensional Models of Untyped Lambda-Mu Calculus.
  In Proc. CL&C '12, Electronic Proceedings in Theoretical Computer Science, volume 97, pp. 35-47, 2012. (Paper page)
• Shin-ya Katsumata. Relating computational effects by TT-lifting.
  In Inform. and Comput. (Special issue on ICALP 2011), Volume 222, pp. 228-246, 2013. (ScienceDirect,PDF)
• 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)

学会活動

連絡先