JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science ： ISSN 0918-7553 >
A Type Theory for Krivine-style Evaluation and Compilation
Mathematical foundations for self-referential sentences
Models for Blocking Probability of Hign-Speed Optical Banyan Networks on Vertical Stacking
電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討
残響音声からの基本周波数推定に関する検討
