Rchr
J-GLOBAL ID：200901036376518470   Update date: Aug. 28, 2020

Yokouchi Hirofumi

ヨコウチ ヒロフミ | Yokouchi Hirofumi
Affiliation and department：
Gunma University

About Gunma University


Job title： Associate Professor
Research field  (1)： Information theory
Research keywords  (6)： コンピュータ科学における論理学 ,  プログラム意味論 ,  プログラミング言語 ,  Logic in Computer Science ,  Semantics of Programs ,  Programming Languages
MISC (31)：
ｍore...
Books (1)：
  • 現代数理科学事典
    丸善 2010
Lectures and oral presentations  (2)：
  • A systematic proof of strong normalization for polymorphic lambda-mu-calculus with sum and existential quantifier types
    (TRS Meeting 2012)
  • A systematic proof of strong normalization for polymorphic lambda-mu-calculus with sum and existential quantifier types
    (TRS Meeting 2012)
Education (2)：
  • - 1978 Tokyo Institute of Technology School of Science Dept. of Information Science
  • - 1978 Tokyo Institute of Technology Faculty of Science Department of Information Science
Professional career (1)：
  • Doctor of Science (Tokyo Institute of Technology)
Work history (1)：
  • Gunma University Associate Professor
Committee career (2)：
  • 情報処理学会 論文誌編集委員
  • 情報処理学会 論文誌編集委員
Association Membership(s) (2)：
日本ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM