西村 進のホームページ
[英語]
京都大学
大学院理学研究科
数学教室
准教授
学会活動等
日本ソフトウエア科学会会員
研究領域
Computer Science(計算機科学)
研究テーマ
プログラム変換、プログラミング言語理論
出版物
出版物リスト（英語、
日本語）
連絡先
西村 進
〒606-8502 京都市左京区北白川追分町
京都大学 大学院理学研究科 数学教室
研究室: 理学部６号館 ８０５
電子メール: susumu@math.kyoto-u.ac.jp
電話: 075-753-2671 (研究室)
FAX: 075-753-2711
ホームページ:
http://www.math.kyoto-u.ac.jp/~susumu/