梅田 眞由美 | 九州大学大学院システム情報科学府:(現)パナソニックits株式会社
スポンサーリンク
概要
関連著者
-
長谷川 隆三
九州大学大学院システム情報科学研究院
-
越村 三幸
九州大学大学院システム情報科学研究院
-
梅田 眞由美
九州大学大学院システム情報科学府:(現)パナソニックits株式会社
-
長谷川 隆三
Kyushu University
-
梅田 眞由美
九州大学
-
Koshimura Miyuki
Dept.of Intelligent Systems Faculty Of Information Science And Electrical Eng. Kyushu Univ.
-
長谷川 隆三
九州大学
-
越村 三幸
九州大学
-
藤田 博
九州大学大学院システム情報科学研究院
-
平兮 亮
九州大学
-
平兮 亮
九州大学大学院システム情報科学府知能システム学専攻
-
Hasegawa Ryuzo
Ntt Software Laboratories
-
Hasegawa Ryuzo
Kyushu Univ. Fukuoka‐shi Jpn
-
藤田 博
九州大学大学院システム情報科学研究科
-
長谷川 隆三
九州大学大学院システム情報科学研究科知能システム学専攻
-
藤田 博
九州大学
著作論文
- B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
- 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 抽象モデル生成による不要節の削除(人工知能,認知科学)