知能ソフトウェア基礎学
計算知能の基礎理論と応用,数理情報学,ソフトウェア工学に関する研究を幅広く行っている.具体的には,機械学習アルゴリズム,数理計画法,分散アルゴリズム,定量的ソフトウェア開発支援,ソフトウェアリポジトリマイニング,人間行動分析,人間と機械のインタラクション,コンピュータビジョンに関する研究を推進している.
![]() |
|
---|
マルチエージェントシステムのための分散アルゴリズムの開発
複数の主体(エージェント)が分散協調的に課題を解決する方法を研究している.具体的には,各エージェントが近傍の少数のエージェントとのみ通信可能な状況で全エージェントが大規模問題を効率的に解決するための分散アルゴリズムを設計し,主成分分析,非負値行列因子分解,連合学習等に応用している.
プレスリリース
![]() |
|
---|
ソフトウェア開発管理シミュレータの開発
本研究では,定量的ソフトウェア開発管理を学ぶためのシミュレータを開発している(https://www.okayama-u.ac.jp/user/salab/spm/).本シミュレータでは,開発工数の見積もり,開発者スキルを考慮した人員割り当て,生産性要因の考慮,進捗管理,コスト管理,OJTによる開発者スキルの向上などを学ぶことができる.
![]() |
|
---|
自律的に情報を探索・分析し、次にとるべき戦略を考え、自らの振る舞いを変更することで目的を達成する自己適応システムやマルチエージェントシステムの実現を目指しています。また、ソフトウェア開発を自動化する技術や、ユーザが抱いている要求を自動で発見する技術など、自律ソフトウェアをデザイン、実装する次世代技術についても研究を進めています。
![]() |
|
---|
画像生成の逆問題による画像理解
画像生成(3次元CG)は,3次元空間での物体の形・位置・向き等が与えられたとき,幾何学や光学の法則に従って2次元画像を生成する.逆問題では2次元画像から3次元物体の形・位置・向き等を推定することにより,写真の理解や計測ができる.このために,画像生成の逆問題の性質を利用した数値最適化法を研究している.
![]() |
|
---|
流通するソフトウェアを収集・解析し,セキュリティやプライバシー漏洩に関する課題の発見・解決に取り組んでいます.現在は,特にAndroidアプリケーションに注目して,静的・動的テイント解析やネイティブコードの解析,ネットワークトラフィック解析などの技術の改良や,これらの技術を用いたプライバシー漏洩の実態調査を行っています.