研究者
J-GLOBAL ID：200901036376518470
更新日: 2020年08月28日
横内 寛文
ヨコウチ ヒロフミ | Yokouchi Hirofumi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署：
群馬大学
群馬大学 について
「群馬大学」ですべてを検索
職名：
准教授
研究分野 (1件)：
情報学基礎論
研究キーワード (6件)：
コンピュータ科学における論理学
, プログラム意味論
, プログラミング言語
, Logic in Computer Science
, Semantics of Programs
, Programming Languages
MISC (31件)：
Hirofumi Yokouchi. Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. Lecture Notes in Computer Science. 2008. 4989. 225-271
Hirofumi Yokouchi. Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. Lecture Notes in Computer Science. 2008. 4989. 225-271
Hirofumi Yokouchi. Completeness of type assignment systems with intersection, union, and type quantifiers. Theoretical Computer Science. 2002. 272. 1-2. 341-398
YOKOUCHI HIROFUMI. Completeness of type assignment systems with intersection, union, and type quantifierss. Theoretical Computer Science. 2002. Vol. 272, No. 1-2, 341-398
YOKOUCHI HIROFUMI. Syntax and semantics of type assignment systems. MSJ Memoirs. 2000. Vol. 2, 99-141
もっと見る
書籍 (1件)：
現代数理科学事典
丸善 2010
講演・口頭発表等 (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)
学歴 (2件)：
- 1978 東京工業大学 理学部 情報科学科
- 1978 東京工業大学
学位 (1件)：
理学博士 (東京工業大学)
経歴 (1件)：
群馬大学 准教授
委員歴 (2件)：
情報処理学会 論文誌編集委員
情報処理学会 論文誌編集委員
所属学会 (2件)：
日本ソフトウェア科学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM
