横内 寛文

J-GLOBALへ         更新日: 18/11/15 03:19
 
アバター
研究者氏名
横内 寛文
 
ヨコウチ ヒロフミ
所属
群馬大学
職名
准教授
学位
理学博士(東京工業大学)

研究分野

 
 

経歴

 
 
   
 
群馬大学  准教授
 

学歴

 
 
 - 
1978年
東京工業大学 理学部 情報科学科
 

委員歴

 
 
   
 
情報処理学会 論文誌編集委員
 
 
   
 
情報処理学会  論文誌編集委員
 

Misc

 
YOKOUCHI HIROFUMI
Theoretical Computer Science   Vol. 272, No. 1-2, 341-398    2002年
Hirofumi Yokouchi
Lecture Notes in Computer Science   4989 225-271   2008年
Application and composition in functional programming, Journal of Information Processing
YOKOUCHI HIROFUMI
Journal of Information Processing   Vol. 8, No. 3, 217-221    1986年
ラムダ計算のカテゴリー論的モデルに基づいた計算体系, コンピュータソフトウェア
横内 寛文
コンピュータソフトウェア   Vol. 4, No. 4, 45-55    1987年
新しいプログラミング・パラダイム
横内 寛文
共立出版      1988年

書籍等出版物

 
現代数理科学事典
丸善   2010年   ISBN:ISBN978-4-621-08125-

講演・口頭発表等

 
A systematic proof of strong normalization for polymorphic lambda-mu-calculus with sum and existential quantifier types
TRS Meeting   2012年