研究者
J-GLOBAL ID:200901065151582233
更新日: 2022年09月15日
高松 忍
タカマツ シノブ | Takamatsu Shinobu
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
研究分野 (2件):
情報学基礎論
, 知能情報学
研究キーワード (6件):
ソフトウェアサイエンス
, 知識情報処理
, 自然言語処理
, Software Science
, Knowledge Information Processing
, Natural Language Processing
競争的資金等の研究課題 (4件):
有限状態システムの論理型記述言語と動的解釈法
論理的意味論に基づく自然言語仕様記述の文脈理解
A Logic-Based Description Language of Finite State Systems and the Dynamic Interpretation Method
Contextual Understanding of Natural Language Specification Descriptions Based on Logical Semantics
MISC (51件):
和泉 憲明, 黄瀬 浩一, 福永 邦雄. プロセス代数と様相論理を融合した並行システムの仕様記述. 電子情報通信学会論文誌・D-I. 1997. J80-D-I. 4. 411-414
A Specification Description of Concurrent Systems Unifying Process Algebra and Modal Logic(共著). Trans. of IEICE. 1997. J80-D-I. 4. 411-414
プロセス代数と様相論理を融合した並行システムの仕様記述. 電子情報通信学会論文誌D-I. 1997. J80-D-I. 4. 411-414
A Specification Description of Concurrent Systems Unifying Process Algebra and Modal Logic(共著). Trans. of IEICE. 1997. J80-D-I. 4. 411-414
和泉 憲明, 黄瀬 浩一, 福永 邦雄. A First - Order Theory of Agent Models with Layerd Architeture. Proc. oj. the 2end Int. Conf. on Multi - Agent Systems, p.444. 1996
もっと見る
学歴 (4件):
- 1973 大阪府立大学 工学研究科 電気工学
- 1973 大阪府立大学
- 1971 大阪府立大学 工学部 電気工学科
- 1971 大阪府立大学
学位 (1件):
工学博士 (大阪府立大学)
経歴 (1件):
大阪産業大学 デザイン工学部 情報システム学科 教授
所属学会 (3件):
電子情報通信学会
, 人工知能学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM