程 京徳 | 埼玉大学大学院理工学研究科
スポンサーリンク
概要
関連著者
-
程 京徳
埼玉大学大学院理工学研究科
-
後藤 祐一
埼玉大学大学院理工学研究科
-
程 京徳
九州大学大学院システム情報科学研究科 情報工学専攻
-
牛島 和夫
九州大学大学院システム情報科学研究院
-
後藤 祐一
久留米大学外科
-
牛島 和夫
九州産業大学情報科学部
-
牛島 和夫
九州大学 システム情報科研究
-
堀江 大輔
埼玉大学大学院理工学研究科
-
森本 祥一
産業技術大学院大学
-
森本 祥一
埼玉大学工学部情報システム工学科
-
森本 祥一
専修大学
-
森本 祥一
専修大学経営学部
-
野中 裕介
九州大学大学院システム情報科学府
-
奈良 信介
埼玉大学理工学研究科情報システム工学専攻
-
野中 裕介
九州大学:(現)九州大学大学院システム情報科学研究科
-
牛島 和夫
九州大学工学部情報工学科
-
乃村 能成
九州大学大学院システム情報科学研究院
-
中田 光治
九州大学大学院システム情報科学研究科 情報工学専攻
-
森本 祥一
産業技術大学院大学産業枝折研究科
-
藤乘 靖士
埼玉大学理工学研究科情報システム工学専攻
-
後藤 祐一
埼玉大学理工学研究科情報システム工学専攻
-
程 京徳
埼玉大学理工学研究科情報システム工学専攻
-
奈良 信介
埼玉大学大学院理工学研究科
-
牛島 和夫
九州システム情報技術研
-
宮里 肇
九州大学大学院システム情報科学研究科情報工学専攻
-
多川 孝央
現在 日本学術振興会研究員(九州大学にて未来開拓事業リサーチ・アソシエイト)
-
程 京徳
九州大学
-
花田 泰紀
九州大学大学院人間環境学府修士課程
-
森本 祥一
埼玉大学大学院理工学研究科情報数理科学専攻
-
多川 孝央
現在, 日本学術振興会研究員(九州大学にて未来開拓事業リサーチ・アソシエイト)
-
大堀 順也
現在, NTTコミュニケーションウェア(株)技術開発部所属
-
西 和則
九州大学大学院システム情報科学研究科情報工学専攻
-
道添 亮幸
九州大学大学院システム情報科学研究科情報工学専攻
-
大堀 順也
現在 Nttコミュニケーションウェア(株)技術開発部所属
-
牛島 和夫
九州大学
-
花田 泰紀
九州大学大学院システム情報科学研究科:(現)株式会社東芝
-
驛場 猛雄
埼玉大学大学院理工学研究科
著作論文
- D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
- 情報セキュリティ工学データベースシステムISEDSの開発と応用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
- 並列化による前向き演繹エンジンの高速化(シンポジウム)
- ソフトシステムバスの実現について--ユビキタスコンピューティングのための永続システムを目指して (2004年情報学シンポジウム講演論文集--ユニバーサルとユビキタス) -- (ポスターセッション)
- UMLによるプロテクションプロファイルのモデル化とその形式的検証(セキュリティ,フォーマルアプローチ論文)
- 自己計測機能を含む並行プログラムの開発における計測仕様書とその応用
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- 強相関性原理を満たす決定可能な相関論理体系について
- 先行推論による予測とその論理基礎(予測技術の信頼性)
- ISO/IEC 15408に基づく情報セキュリティ要求管理データベース
- ユビキタスコンピューティングのためのソフトシステムバス技術
- 先行予測反応システム
- 先行予測反応システム
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- Autonomous Evolutionary Information Systems and Active Database Systems: What is the Difference between them ? (人工知能基礎論研究会(第46回) 知識ベースシステム研究会(第54回) 合同研究会 テーマ:「アクティブマイニング」および一般)
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- ネットワークを利用した無記名投票システムの開発
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- Ada 2012プログラムのためのタスキングデッドロック検出ツール