勝股 審也

English Page 研究業績一覧

研究分野

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

担当授業

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

公開講座関連

公開講座で用いたPCFのデモはこちらを ごらん下さい。
(Firefox-2.0 で動作を確認しました。Internet Explorerでは導出木の横線が正しく表示さ れません。)

最近の論文

学会活動

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

連絡先

勝股 審也
京都大学 数理解析研究所 助教
郵便物住所: 〒606-8502 京都市左京区北白川追分町 京都大学数理解析研究所
オフィス住所: 〒606-8501 京都市左京区吉田本町 京都大学総合研究2号館 476号室
電話番号: 075-753-7274
FAX: 075-645-7272