研究者
J-GLOBAL ID：200901005626352731   更新日: 2015年05月07日

川上 孝仁

カワカミ タカト | Kawakami Takato
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： プログラミング言語 ,  プログラム意味論 ,  programming language ,  program semantics
競争的資金等の研究課題 (2件)：
  • プログラム意味論に関する研究
  • The study of program semantics
MISC (4件)：
学位 (1件)：
  • 修士(工学) (京都大学)
所属学会 (3件)：
米国計算機学会(Association for Computing Machinery) ,  情報処理学会 ,  Information Processing Society of Japan
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM