Ritsumeikan University Research Organization of Science and Engineering, VLSI Center, Research Organization of Science and Engineering VLSI Center
About Ritsumeikan University Research Organization of Science and Engineering, VLSI Center, Research Organization of Science and Engineering VLSI Center
On Model-based Disign Verification for Combinatorial Boolean Network
(Proc.15th IEA/AIE 2002, LNAI-2358, Springer 2002)
On Linear Representation Theorem For Quantative Belief Revision
(Proc. 15th Australian joint Conference on Artificial Intelligence LNAI 2557,Springer 2002)
On Model-based Disign Verification for Combinatorial Boolean Network
(2002)
On Linear Representation Theorem For Quantative Belief Revision
(2002)
On A Linear Theory of Knowledge State
(人工知能学会研究会資料 2001)
- 1972 Kyoto University "Graduate School, Division of Engineering"
- 1967 Kyoto University Faculty of Engineering
- 1967 Kyoto University Faculty of Engineering
Professional career (1):
Doctor of Engineering
Work history (2):
1994 - 2010 :立命館大学教授
Ritsumeikan University Research Organization of Science and Engineering, The Institute of Science and Engineering, Research Organization of Science and Engineering The Institute of Science and Engineering Professor