笠原 孝保 | (株)日立製作所電力・電機開発本部
スポンサーリンク
概要
関連著者
-
笠原 孝保
(株)日立製作所電力・電機開発本部
-
小林 康弘
日立製作所
-
山田 直之
(株)日立製作所電力・電機開発本部
-
小林 康弘
(株)日立製作所日立研究所
-
笠原 孝保
日立・エネ研
-
山田 直之
日立・エネ研
-
小林 康弘
日立・エネ研
-
笠原 孝保
日立製作所 電力・電機開発本部
-
小林 康弘
(株)日立製作所・日立研
-
山田 直之
(株)日立製作所エネルギー研究所
-
山田 直之
日立製作所
-
上野 浩一
(株)日立製作所ソフトウェア開発本部
-
笠原 孝保
日立製作所エネルギー研究所
-
山田 直之
(株)日立製作所 電力・電機開発研究所
-
小林 康弘
(株)日立製作所エネルギー研究所
著作論文
- 制約条件を効率的に処理する推論方式の開発と計画問題への応用
- 知識処理システム構築のための問題向き推論プログラム自動生成手法
- モジュール型知識情報処理システム(2) : 対象知識の入力支援法
- モジュール型知識情報処理システム(1) : 情報処理モジュール構成法
- Mandrioli, D.: Generating Test Cases for Real-Time Systems from Logic Specification, ACM Trans. on Computer Systems, Vol.13, No.4, pp.365-398 (1995).