×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
川上 孝仁
カワカミ タカト (Takato Kawakami)
更新日: 2015/05/07
ホーム
研究キーワード
研究分野
MISC
所属学協会
共同研究・競争的資金等の研究課題
基本情報
学位
修士(工学)(京都大学)
J-GLOBAL ID
200901005626352731
researchmap会員ID
1000118747
研究キーワード
4
プログラミング言語
プログラム意味論
programming language
program semantics
研究分野
1
情報通信 / 情報学基礎論 /
MISC
4
文字列書換えにもとづくPL/0言語処理系記述の試み
第54回(平成9年前期)全国大会講演論文集(分冊1)情報処理学会 1-179 1997年
オブジェクト指向論理型言語Extended Self-contained Prolog
三菱電機技報 60(9) 1986年
三菱AIワークステーション《MELCOM PSI》
三菱電機技報 60(9) 1986年
Theory of gravity wave emission from moving sources in the upper atmosphere
Journal of Atmospheric and Terrestrial Physics 39 1977年
所属学協会
3
米国計算機学会(Association for Computing Machinery)
情報処理学会
Information Processing Society of Japan
共同研究・競争的資金等の研究課題
2
プログラム意味論に関する研究
The study of program semantics
メニュー
マイポータル