鈴木 淳之 | 静岡大学
スポンサーリンク
概要
関連著者
-
鈴木 淳之
静岡大学
-
鈴木 淳之
静岡大学情報学部
-
鈴木 淳之
静岡大 情報
-
中松 和己
姫路工業大学
-
山口 高平
静岡大学情報学部
-
和泉 憲明
静岡大学情報学部
-
丸山 哲
静岡大学大学院理工学研究科
-
中松 和巳
姫路工業大学
-
妹尾 年晃
静岡大学
-
木内 洋介
静岡大学
-
鈴木 淳之
静岡大学工学部知能情報工学科
-
水野 忠則
静岡大学大学院
-
田窪 昭夫
東京電機大学情報環境学部情報環境工学科
-
田窪 昭夫
三菱電機情報システム製作所
-
水野 忠則
静岡大学
-
王 国傑
静岡大学大学院電子科学研究科
-
北村 輝夫
静岡大学大学院工学研究科
-
田窪 昭夫
三菱電機(株)
-
田辺 公一朗
静岡大学大学院電子科学研究科
-
大手 希望
静岡大学
著作論文
- テキストからの数学知識の獲得
- エキスパートシステムの開発のための再利用可能メソッドライブラリの設計と実装 (「オントロジーの基礎と応用」)
- エキスパートシステム開発支援のための再利用可能部品ライブラリの構築
- エキスパートシステムの性能向上のための仕様変更方法 (テーマ:「スケジューリングとAI」および一般)
- 再利用可能なメソッドライブラリを利用したES開発支援環境
- エキスパ-トシステムのための仕様と実装の相互運用環境
- モーバイルコンピューティングシステムモデルの提案
- 定義階層構造に基づく問題解決階層の決定
- EVALPに基づく交通信号制御
- EVALPに基づく交通信号制御(セッション6,ITS情報処理・一般)
- EVALPに基づく交通信号制御(セッション6)(ITS情報処理・一般)
- 仮定にもとづく知識管理システムの関連論理による形式化
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3,ITS情報処理・一般)
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3)(ITS情報処理・一般)
- ディフィージブル義務論理のベクトル真理値付き論理プログラムへの変換