研究者
J-GLOBAL ID:200901035139299740
更新日: 2020年09月01日
奥居 哲
オクイ サトシ | Okui Satoshi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
中部大学 工学部 情報工学科
中部大学 工学部 情報工学科 について
「中部大学 工学部 情報工学科」ですべてを検索
機関情報を見る
職名:
助教授
研究分野 (1件):
情報学基礎論
研究キーワード (2件):
計算機科学
, Computer Science
競争的資金等の研究課題 (2件):
項書換え系に関する研究
Study on Term Rewriting System
MISC (11件):
抽象高階ナローイング. 情報処理学会論文誌プログラミング(PRO). 2004. (近刊)
Confidence in Peer-to-Peer Communication at Disaster Situation. Workshop on Synthetic Simulation and Robotics. 2003
Confidence in Peer-to-Peer Communication at Disaster Situation. Workshop on Synthetic Simulation and Robotics. 2003
A Middeldorp, S Okui. A deterministic lazy narrowing calculus. JOURNAL OF SYMBOLIC COMPUTATION. 1998. 25. 6. 733-757
A Middeldorp, S Okui. A deterministic lazy narrowing calculus. JOURNAL OF SYMBOLIC COMPUTATION. 1998. 25. 6. 733-757
もっと見る
学歴 (4件):
- 1995 筑波大学 工学研究科 電子・情報工学
- 1995 筑波大学
- 1990 筑波大学 第三学群 情報学類
- 1990 筑波大学
学位 (2件):
博士(工学)
修士(工学)
所属学会 (2件):
情報処理学会
, ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM