主な研究課題

基本情報

氏名 熊澤 努
氏名(カナ) クマザワ ツトム
氏名(英語) Kumazawa Tsutomu

コメント

ソフトウェアの開発を円滑に進め,高い品質を実現するためには,ソフトウェアを検査して不具合を発見する技術が必要です.こうした検査技術の一つである形式的検証技術の研究を,群知能と呼ばれる知的探索技術を使って行っています.