印刷対象項目：
1名が検索されました。氏名をクリックすると研究者の詳細情報が表示されます。
情報学
計算機システム
| キーワード | 研究者名 | 研究情報 |
|---|---|---|
| 人工知能、ソフトウェアモデル検査、機械学習、深層学習、深層強化学習、敵対的生成ネットワーク、時間オートマトン、時相論理、組込システム設計検証、データサイエンス | 山根 智 |
共同研究希望テーマ
・組込みソフトウェアの検証
研究課題
・分散並列リアルタイムシステム ・機械学習 ・リアルタイムシステムの設計実装検証 ・動的再構成可能組込みシステム＆センサネットワークのモデル化、設計、検証、実装
出願済みの発明名称
・分散データベース格納方式
科研費採択テーマ
・時相論理と並行計算，オートマトンの統合化による自律性のある分散システムの設計支援 ・ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発 ・述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法 ・音響心理の定量的計測を目標とした心理モデルの構築と実験的検討 ・動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証 ・割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 ・動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証 ・革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証 ・組込みアセンブリプログラムのリアルタイム性検証 |