中野浩

ナカノヒロシ | Nakano Hiroshi

所属機関・部署：
職名：教授

研究分野 (1件)：情報学基礎論

研究キーワード (2件)： Computer Science , 計算機科学

競争的資金等の研究課題 (1件)：

論文 (11件)：

MISC (4件)：

S.Hayashi, M.Ishikawa, S.Kobayashi, H.Nakano, S.Nakazaki, Two extensions of PX system (extended abstract). Electronic Notes of Theoretical Computer Science. 1996. Vol.3
S.Hayashi, M.Ishikawa, S.Kobayashi, H.Nakano, S.Nakazaki, Two extensions of PX system (extended abstract). Electronic Notes of Theoretical Computer Science. 1996. Vol.3
Logical Structures of the Catch and Throw Mechanism. Ph.D thesis submitted to the University of Tokyo. 1995
Logical Structures of the Catch and Throw Mechanism. Ph.D thesis submitted to the University of Tokyo. 1995

書籍 (1件)：

講演・口頭発表等 (4件)：

Background on the modality
(Thirty-Fifth Annual Symposium on Logic in Computer Science 2020)
近似様相を含む型の意味論について
(SLACS 2019 2019)
Constructive Programming with Approximation Modality
(SLACS 2000 2000)
A realizability interpretation of self-referential types
(SLACS 1998 1998)

学歴 (4件)：

学位 (1件)：

経歴 (6件)：

全件表示

受賞 (1件)：

所属学会 (4件)：

IEEE Computer Society , Association for Computing Machinery , 電子情報通信学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

中野 浩