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 Institute of Science Tokyo All rights reserved.