Home >

news ヘルプ

論文・著書情報


タイトル
和文:高階関数を扱う確率論基礎の形式化 
英文:Formalized Foundations for Higher-Order Probability Theory 
著者
和文: 平田路和.  
英文: Michikazu Hirata.  
種別
種別:学位論文(博士) 
国名:Japan 
言語 English 
学位授与組織 Tokyo Institute of Technology 
報告番号  
学位授与日  
審査員  

©2007 Institute of Science Tokyo All rights reserved.