IP賞(平成12年5月)メッセージ2013年度からの新しい研究室です。ディジタル回路の設計と検証に関する研究を行います。コンピュータを使って問題を解く際の方り方には、ソフトウェア化に適したやり方と、ディジタル回路・ハードウェア化に適したやり方があります。当研究室では、後者について、やり方を工夫し、ハードウェア化した際にできるだけ小面積、省電力かつ高速な専用回路となるやり方を考え出します。設計された回路に誤り・バグがないことを数学的に検証し保証する、回路の検証手法について、その効率化を目指します。「今は役に立つかどうか分からなくても、人生の思いもよらない展開で、後々きっと役立つから、日々こつこつやるべし」をモットーに教育研究活動に取り組んでいます。音声や画像などの認識処理を取り上げ、下記のような研究を進めています。(1)各種の認識処理に適した専用回路のVLSIアーキテクチャの設計(2)認識処理回路の設計技術の発展に貢献すべく、将来の認識処理回路のVLSIアーキテクチャ設計のあり方また、回路の検証を、設計者の回路に関する知識を用いて、高速化する方法について検討を行っています。