主な研究課題
|
|
基本情報
|
| 氏名 | 熊澤 努 |
| 氏名（カナ） | クマザワ ツトム |
| 氏名（英語） | Kumazawa Tsutomu |
| 所属 | 山陽小野田市立山口東京理科大学工学部数理情報科学科 |
| 職名 | 教授 |
| researchmap研究者コード | |
| researchmap機関 |
 |
ソフトウェアの開発を円滑に進め，高い品質を実現するためには，ソフトウェアを検査して不具合を発見する技術が必要です．こうした検査技術の一つである形式的検証技術の研究を，群知能と呼ばれる知的探索技術を使って行っています．