勝股 審也

研究分野

• The Tenth International Symposium on Functional and Logic Programming のPCを務めました。 FLOPS 2010
• 第12回プログラミングおよびプログラミング言語ワークショップ PPL2010の委員を務めました。 PPL 2010
• 理論計算機科学と圏論ワークショップ CSCAT 2010の幹事を務めました。 CSCAT 2010
• 2009年夏、数理解析研究所企画の合宿型セミナーを開催いたしました。 相互作用の幾何、トレース付きモノイダル圏と非明示的計算量

担当授業

公開講座関連

最近の論文

• 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)

連絡先