Rchr
J-GLOBAL ID:200901065151582233
Update date: Sep. 15, 2022
Takamatsu Shinobu
タカマツ シノブ | Takamatsu Shinobu
Contact this researcher
You can send email directly to the researcher.
Research field (2):
Information theory
, Intelligent informatics
Research keywords (6):
ソフトウェアサイエンス
, 知識情報処理
, 自然言語処理
, Software Science
, Knowledge Information Processing
, Natural Language Processing
Research theme for competitive and other funds (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
more...
Education (4):
- 1973 Osaka Prefecture University
- 1973 Osaka Prefecture University Graduate School, Division of Engineering
- 1971 Osaka Prefecture University School of Engineering
- 1971 Osaka Prefecture University Faculty of Engineering
Professional career (1):
工学博士 (大阪府立大学)
Work history (1):
Osaka Sangyo University Faculty of Design Technology Department of Information Systems Engineering Professor
Association Membership(s) (3):
電子情報通信学会
, 人工知能学会
, 情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM