Home > 組織・担当情報 > 東京工業大学 > 学術国際情報センター > 西崎真也

news ヘルプ

西崎真也 研究者情報

西崎  Nishizaki 
真也  Shin-ya 
所属組織 東京工業大学 学術国際情報センター
専門分野 その他 (プログラミング言語意味論, ソフトウエア検証)
学位論文 Simply Typed Lambda Calculus with First-class Environments,  本文,  Doctor of Science,  1994/--/--, 
関連URL
個人用ホームページURLhttp://www.lambda.cs.titech.ac.jp/

©2007 Tokyo Institute of Technology All rights reserved.