Home
About
Research
エージェントに関する研究
インタフェース研究
ロボットに関する研究
音楽情報に関する研究
生体情報を利用した研究
生物知能
学際的研究
その他の研究
Members
Publications
博士論文
修士論文
学士論文
Events
Contact
English Page
発表論文一覧
対外発表
博士論文
修士論文
学士論文
博士論文
2010年
吉川 浩 "宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究"
Hiroshi Yoshikawa "A Study on Synthesis of Correct Digital Circuits and Cooperative Systems with Respect to Declarative Specifications"