勝股 審也

English Page 研究業績一覧

研究分野

理論計算機科学の研究をしています。

担当授業

2013-16年度前期プログラミング入門 (同志社大学、月曜2限目)
2009-12年度前期プログラミングI (同志社大学、月曜1限目)
2006-11,2013-16年度前期コンピュータサイエンス入門(京都大学全額共通科目、木曜5限目)
2011年度プログラミング言語の表示的意味論(名古屋大学集中講義、7/11-7/15)

最近の論文

学会活動

プログラム共同委員長: LOLA 2015, PPL 2013
プログラム委員: ICFP 2017, CMCS 2016, ICALP 2015, MFPS XXX, APLAS 2013, ICFP 2013, FLOPS 2010, PPL 2010, PPL 2008, PPL 2007
幹事: CSCAT 2010
組織委員: Camp-style workshop on GoI, TSMC and IC

連絡先

勝股 審也
国立情報学研究所 特任准教授
100-0003 東京都千代田区一ツ橋1-1-1 パレスサイドビルディング3階 ERATO蓮尾プロジェクト