程京徳 CHENG JINGDE

研究者番号	30217228
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2007年度 – 2009年度: 埼玉大学, 大学院・理工学研究科, 教授 2006年度: 埼玉大学, 大学院理工学研究科, 教授 1999年度 – 2002年度: 埼玉大学, 大学院・理工学研究科, 教授 1999年度: 埼玉大学, 大学院・数理工学研究科, 教授 1998年度: 九州大学, 大学院システム情報科学研究科, 教授 … もっと見る 1996年度 – 1997年度: 九州大学, 大学院・システム情報科学研究科, 教授 1990年度 – 1995年度: 九州大学, 工学部, 助教授 1989年度: 九州大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / 知能情報学 / 情報工学 / ソフトウエア / 人文・社会系研究代表者以外計算機科学 / 情報学 / 情報工学 / 情報工学
キーワード	研究代表者プログラム従属性 / 保守 / プログラム解析 / Debug / 複雑さ評価 / デバッグ / 自律進化 / スライシング / プログラム理解 / 拡充的推論 … もっと見る / 相関的推論 / 強相関論理 / 認識的プログラミング / 認識プロセス / 科学的発見 / ソフトウェア発展 / ソフトウェア従属性 / 帰結論理 / 相関論理 / automated theorem finding / autonomous evolution / ampliative reasoning / relevant reasoning / strong relevant logic / epistemic programming / epistemic processes / scientific discovery / 自己計測 / 自動定理発見 / Complexity metrics / Program understanding / Slicing / Program analysis / Program dependencies / Declarative concurrent programs / Imperative concurrent programs / 並行プログラムの系統的開発法 / プロセス相互作用 / 関数型並行プログラム / 論理型並行プログラム / 宣言型並行プログラム / 命令型並行プログラム / Maintenance / Complexity Metrics / Test / Program Analysis / Program Dependencies / Concurrent Programs / プロセス支配ネット / プロセス従属ネット / 通信従属性 / 同期従属性 / 非決定的並列定義使用ネット / 非決定的並列制御流れネット / テスト / 並行プログラム / 時間規範相関論理 / 汎用先行推論エンジン / 規範相関論理 / 行動推論 / 時間相関論理 / 先行推論 / 永続計算システム / 反応的システム / ソフトウェア工学 / 創造力教育 / 論理パズル / 哲学論理 / 古典数理論理 / 証明 / 推論 / 論理学 / 並行システム / 認識プログラミング / 認識プロセスの強相関論理モデル / 発見的・進化的知識処理 / ソフトウェア保守 / 並行プログラム従属性解析理論 / 自己革新的知識処理 / 発見的知識処理 / 演繹等価性 / 選言-含意パラドックス / 連言-含意パラドックス / 必然的な帰結関係 / 進化的知識処理 / 発現的知識処理 … もっと見る研究代表者以外 ASIS / Ada95 / Integrated support environment / プログラム従属性 / テストケース自動生成 / スライシング / 並行型プログラム開発支援環境 / プログラム従属性理論 / 統一的プログラム抽象表現 / 検証 / デバッグ / テスト / 並行動作システム / SSL (Secure Socket Layer) Protocol / Authentication / Man in the Middle / Behavior Description / Concurrent Systems / Verification / Formal Specification / Security Protocol / Secure Socket Laver (SSL)プロトコル / Secure Socket Layer (SSL)プロトコル / Secure Socket Layer(SSL)プロトコル / 認証 / なりすまし / 振舞い記述 / 形式仕様記述 / セキュリティプロトコル / Program dependence theory / Concurrent Programming / テスト充分性 / プロセス従属ネット / システム従属ネット / 定義使用ネット / 統合開発環境 / Ada 95 / ソフトウェア開発支援 / 従属性理論 / 並行型プログラム / OSC / Testing adequacy / Automatic test case generation / Slicing / Program dependencies / CFN / Unified Program representations / Ada / 開発環境 / 並行プログラム / 順序列テスト基準 / テスト十分性 / テスケース自動生成 / 非決定的定義使用ネット / Deductive Object-Oriented Database / Object-Oriented Database / Genome Database / Next Generation Database / CAD Database / Deductive Database / 非正規関係 / 線形再帰 / 間接的接続関係 / ユ-ザ-インタ-フェ-ス / マジックセット法 / 再帰質問処理 / CADデ-タベ-ス / 演繹デ-タベ-ス / DNA2次構造 / ゲノム情報処理 / CADデータベース / 質問処理 / 演繹オブジェクト指向データベース / ゲノムデータ / CADデータ / オブジェクト指向データベース / 演繹データベース / 高機能データベース / Distributed RunーTime Environment / Distributed Cooperative Processing / Deadlock / Debugging / Testing / Validation / Specification / Concurrent Programs / プログラム変換 / 実時間処理 / 分散実行環境 / 分散協調処理 / デッドロック / 仕様記述 / 並列型プログラム / Miranda / 関数型プログラミング言語 / ストリーム / 並行動作プログラム / 分散処理システム / 並列オペレーティングシステム / 仕様スライス / 仕様記述言語Z / 実行可能仕様 / 形式的仕様 / ストリーム並列 / UNIXワークステーションの価格性能比 / 組み込み型ソフトウェアの生産性 / 並列計算機用プログラムの性能評価 / 並行プログラムの複雑さ評価 / 並行プログラムの従属性モデル / 著作過程の詳細分析 / ヒューマンインタフェースの評価 / ソフトウェア文書の評価隠す

先行予測に基づく反応的システムの実現と応用研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  埼玉大学
利用者に自律的に助言する論理学学習システムの開発研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  2002
- 研究種目
  
  特定領域研究
- 審査区分
  
  人文・社会系
- 研究機関
  埼玉大学
強相関論理に基づく認識的プログラミングシステムの構築研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1999 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  埼玉大学
ソフトウェア従属性解析理論に基づく既存ソフトウェアの適応的発展方法論研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1998
- 研究種目
  
  特定領域研究(A)
- 研究機関
  九州大学
セキュリティプロトコルの形式的記述および検証に関する基礎的研究
- 研究代表者
  
  荒木啓二郎
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
ソフトウェア従属性理論に基づく既存ソフトウェアの適応的発展方法論に関する研究研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1997
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
科学的発見を支援する認識的プログラミングパラダイムの創立研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  萌芽的研究
- 研究分野
  
  計算機科学
- 研究機関
  埼玉大学
   九州大学
並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
並行型プログラムの総合的開発支援環境の構築
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1994 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
発見的・自己革新的知識処理を基礎付ける論理体系の構築研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
高機能高品質ソフトウェアの評価法の研究
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
発現的・自己革新的知識処理を基礎付ける論理体系に関する研究研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
- 研究代表者
  
  荒木啓二郎
- 研究期間 (年度)
  1992 – 1993
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  奈良先端科学技術大学院大学
   九州大学
並行プログラムの従属性理論とその応用に関する基礎的研究研究代表者
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1992 – 1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  九州大学
演繹データベースの手法を用いたCADシステムの高機能化に関する研究
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1991 – 1993
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報学
- 研究機関
  九州大学
並列型プログラムの検証支援法に関する基礎的研究
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  九州大学

すべて 2010 2009 2008 2007 2006

すべて雑誌論文学会発表

[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- 著者名/発表者名
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computational Science (印刷中)
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- 著者名/発表者名
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computational Science Vol. 4, No. 3
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings,Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Vol.5572(Springer-Verla)
  
  ページ: 68-76
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  LectureNotesinArtificialIntelligence 5572
  
  ページ: 68-72
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] 先行推論に基づく永続的反応システム(招待論文)2009
- 著者名/発表者名
  程京徳
- 雑誌名
  
  Telecom Frontier, SCAT Technical Journal 65
  
  ページ: 34-41
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5572
  
  ページ: 68-76
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] 先行推論に基づく永続的反応システム2009
- 著者名/発表者名
  程京徳
- 雑誌名
  
  Telecom Frontier, SCAT Technical Journal No. 65
  
  ページ: 34-41
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction(and some of its Extensions)2008
- 著者名/発表者名
  Ying GAO and Jingde CHENG
- 雑誌名
  
  Mathematical Structures in Computer Science 18
  
  ページ: 145-164
- NAID
  120006385753
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 雑誌名
  
  AIP Conference Proceedings 1051
  
  ページ: 244-254
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Qualitative Spatio-Temporal Reasoning about Moving Objects in Three-dimensional Space2008
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science 5370
  
  ページ: 637-648
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Continuous Reactability of Persistent Computing Systems2008
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  ページ: 219-229
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space(L. Kang, et al. (Eds.))2008
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings Vol. 5370(Lecture Notes in Computer Science)(Springer-Verlag)
  
  ページ: 637-648
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Fast Duplication Checking Algorithm for Forward RAsoning Engines2008
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 499-507
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Low Cost and Resilient Message Queuing Middleware2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computer Science and Network Security Vol. 8, No. 8
  
  ページ: 225-237
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction (and some of its Extensions)2008
- 著者名/発表者名
  Ying GAO, Jingde CHENG
- 雑誌名
  
  Mathematical Structures in Computer Science Vol. 18, No. 1
  
  ページ: 145-164
- NAID
  120006385753
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Yuichi GOTO, Takahiro KOH, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 526-535
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] "Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 雑誌名
  
  Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems(in D. M. Dubois(Ed.))(Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems)(The American Institute of Physics) Vol.1051
  
  ページ: 244-254
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Low Cost and Resilient Message Queuing Middleware2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computer Science and Network Security 8
  
  ページ: 225-237
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Continuous Reactability of Persistent Computing Systems2008
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems 20
  
  ページ: 219-229
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Operational Semantics for Positive Relevant Logics without Distribution2007
- 著者名/発表者名
  Ying GAO and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science 4497
  
  ページ: 325-335
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence (Invited Paper)2007
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Journal of Ubiquitous Computing and Intelligence Vol. 1, No. 1
  
  ページ: 35-41
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems Based on Soft System Buses as all Infrastructure of Ubiquitous Computing and Intelligence2007
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Journal of Ubiquitous Computing and Intelligence 1
  
  ページ: 35-41
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence2007
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Journal of Ubiquitous Computing and Intelligence(American Scientific Publishers) Vol.1, No.1(Invited Paper)
  
  ページ: 35-41
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic2007
- 著者名/発表者名
  Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science Vol. 169
  
  ページ: 87-97
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 845-851
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007,XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy,September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- 雑誌名
  
  FreeEnCal : A Forward Reasoning Engine with General-Purpose(in B. Apolloni, R.J. Howlett, and L.C. Jain(Eds.)) Vol.4693(Springer-Verlag)
  
  ページ: 444-452
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction2007
- 著者名/発表者名
  Ying GAO, Jingde CHENG
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science Vol. 169
  
  ページ: 61-71
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] FreeEnCal:A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 444-452
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Measuring Reactability of Persistent Computing Systems2007
- 著者名/発表者名
  Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science 4829
  
  ページ: 144-151
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- 著者名/発表者名
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 18
  
  ページ: 225-234
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems2006
- 著者名/発表者名
  Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science Vol.4006
  
  ページ: 167-178
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- 著者名/発表者名
  Jingde CHENG, Feng SHANG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 18
  
  ページ: 61-74
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Comparative Study between Soft System Bus and Traditional Middlewares2006
- 著者名/発表者名
  Mohammad REza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science Vol.4278
  
  ページ: 1264-1273
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- 著者名/発表者名
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol.18
  
  ページ: 225-234
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- 著者名/発表者名
  Jingde CHENG, Feng SHANG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol.18
  
  ページ: 61-74
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] 先行推論による予測とその論理基礎2006
- 著者名/発表者名
  程京徳
- 雑誌名
  
  日本信頼性学会誌「信頼性」 Vol.28 No.7
  
  ページ: 451-460
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems2006
- 著者名/発表者名
  Jingde CHENG and Feng SHANG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems(CHAOS) Vol.18
  
  ページ: 61-74
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] 先行推論による予測とその論理基礎2006
- 著者名/発表者名
  程京徳
- 雑誌名
  
  日本信頼性学会誌「信頼性」 Vol. 28, No. 7
  
  ページ: 451-460
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] An Improvement of REM : A Replication Oriented Event-based Middleware2009
- 著者名/発表者名
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 4th International Conference on Availability, Reliability and Security
- 発表場所
  Fukuoka, Japan, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 学会等名
  Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings(E. Corchado, X. Wu, E. Oja (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Anticipatory Reasoning for Computing Anticipatory Systems2009
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- 学会等名
  Ninth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege, Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems2009
- 著者名/発表者名
  Yuichi GOTO, Ryota KUBONIWA, Jingde CHENG
- 学会等名
  Ninth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege, Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 3rd International Conference on Availability, Reliability and Security
- 発表場所
  Barcelona, Spain, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] An Improvement of REM: A Replication Oriented Event-based Middleware2008
- 著者名/発表者名
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  4th International Conference on Availability, Reliability and Security
- 発表場所
  福岡工業大学
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Ensuring Reliability and Availability of Soft System Bus2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  2nd IEEE International Conference on Secure System Integration and Reliability Improvement
- 発表場所
  横浜市国際交流協会
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Qualitative Spatiotemporal Reasoning about Moving Objects in Three-dimensional Space2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Advances in Computation and Intelligence : Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008, Proceedings(L. Kang, et al. (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  8th International Conference on Hybrid Intelligent Systems
- 発表場所
  Barcelona, Spain
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 学会等名
  3rd Intemational Conference on Availability, Reliability and Security
- 発表場所
  Barcelona,Spain
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Ensuring Reliability and Availability of Soft System Bus2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement(The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society)
- 発表場所
  Yokohama, Japan
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Qualitative Spatio-temporal Reasoning about Movement of Mobile Agents/Objects2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  7th International Conference on Machine Learning and Cybernetics
- 発表場所
  Kunming, China
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Testing and Debugging Persistent Computing Systems: A New Chal lenge in Ubiquitous Computing2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
- 発表場所
  Shanghai,China
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Testing and Debugging Persistent Computing Systems : A New Challenge in Ubiquitous Computing2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Proceedings of the 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
- 発表場所
  Shanghai, China, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Proceedings of the 8th International Conference on Hybrid Intelligent Systems, pp.410-416
- 発表場所
  Barcelona, Spain(IEEE Computer Society Press)
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Yuichi GOTO, Takahiro KOH, Jingde CHENG
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (Invited Paper)2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Natsumi KITAJIMA
- 学会等名
  Computing Anticipatory Systems : CASYS 2007-Eighth International Conference, Liege, Belgium, 6-11 August 2007, AIP Conference Proceedings (D. M. Dubois (Ed.))
- 発表場所
  The American Institute of Physics
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic2008
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Proceedings of the 8th International Conference on Hybrid Intelligent Systems
- 発表場所
  Barcelona, Spain, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning Reacting Systems2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing : held at the ACM/IFIP/USENIX 8th International Middleware Conference
- 発表場所
  Newport Beach, USA, ACM Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Measuring Reactability of Persistent Computing Systems2007
- 著者名/発表者名
  Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 学会等名
  Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers(M. Lumpe and W. Vanderperren (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] FreeEnCal : A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, Yuichi GOTO
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II(B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2007
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Distributed Hash Table based Implementation of Soft System Buses2007
- 著者名/発表者名
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- 学会等名
  2nd International Conference on Scalable Information Systems
- 発表場所
  Suzhou,China
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Semilattice Model for the Theory Grid,Proceedings of the 3rd Intemational Conference on Semantics2007
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  3rd International Conference on Semantics, Knowledge and Grid
- 発表場所
  Xi'an,China
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Operational Semantics for Positive Relevant Logics without Distribution2007
- 著者名/発表者名
  Ying GAO, Jingde CHENG
- 学会等名
  Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings(S. B. Cooper, B. Loewe, and A. Sorbi (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Rephcation Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  5th Intemational Wbrkshop on Middleware fbr Pervasive and Ad-Hoc Computing
- 発表場所
  Newport Beach,USA
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] ENQUETE-BAISE:A General-Purpose E-Questionnaire Server fbr Ubiquitous Questiomaire2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Masato KOIDE, Keigo NAGAHAMA, Masami SOMEYA, Yusuke UTSUMI, and Ayaka SHIONOIRI
- 学会等名
  2nd IEEE Asia-Pacific Services Computilg Conference
- 発表場所
  Tsukuba,Japan
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Distributed Hash Table based Implementation of Soft System Buses2007
- 著者名/発表者名
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 2nd International Conference on Scalable Information Systems, ACM International Conference Proceeding Series
- 発表場所
  Suzhou, China, ACM Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Continuous Reactabiity of Persistent Computing Systems2007
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Persistent Computing Systems as an Infrastructure for Pervasive Services2006
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Masami SOMEYA, Takumi ENDO
- 学会等名
  Proceedings of the 1st International Symposium on Pervasive Computing and Applications
- 発表場所
  Urumchi, China, IEEE
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems2006
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Proceedings of the 1st International Conference on Availability, Reliability and Security
- 発表場所
  Vienna, Austria, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Prototype Implementation of an Anticipatory Reasoning-Reacting System (Invited Paper)2006
- 著者名/発表者名
  Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 学会等名
  Computing Anticipatory Systems : CASYS 2005-Seventh International Conference, Liege, Belgium, 8-13 August 2005(D. M. Dubois (Ed.))
- 発表場所
  American Institute of Physics
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning, Proceedings of the IEEE 2006 Annual International Conference on Systems2006
- 著者名/発表者名
  Jingde CHENG
- 学会等名
  Man, and Cybernetics, pp. 1036-1041, Taipei
- 発表場所
  Taiwan(The IEEE Systems, Man, and Cybernetics Society)
- データソース
  KAKENHI-PROJECT-18300005

1. 牛島和夫 (40037750)

共同の研究課題数: 10件

共同の研究成果数: 0件
2. 乃村能成 (70274496)

共同の研究課題数: 6件

共同の研究成果数: 0件
3. 古川善吾 (30190135)

共同の研究課題数: 5件

共同の研究成果数: 0件
4. 荒木啓二郎 (40117057)

共同の研究課題数: 4件

共同の研究成果数: 0件
5. 岡村耕二 (70252830)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 福田晃 (80165282)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 後藤祐一 (70400801)

共同の研究課題数: 1件

共同の研究成果数: 47件
8. 吉田紀彦 (00182775)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 平原正樹 (10192717)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 高木利久 (30110836)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 坂本憲広 (00253485)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 佐藤賢二 (10215783)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 田口研治 (30294903)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 後藤幸功 (40315130)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 藤村直美 (40117239)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 島崎眞昭 (60026242)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 木村泉 (50015525)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 最所圭三 (50170486)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 木實新一 (70234804)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 蒲池正幸 (90274498)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 張漢明

共同の研究課題数: 1件

共同の研究成果数: 0件
22. CHANG Hang-myung

共同の研究課題数: 1件

共同の研究成果数: 0件

程 京徳 CHENG JINGDE

研究課題

研究成果

共同研究者

先行予測に基づく反応的システムの実現と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

利用者に自律的に助言する論理学学習システムの開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

強相関論理に基づく認識的プログラミングシステムの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア従属性解析理論に基づく既存ソフトウェアの適応的発展方法論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

セキュリティプロトコルの形式的記述および検証に関する基礎的研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア従属性理論に基づく既存ソフトウェアの適応的発展方法論に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

科学的発見を支援する認識的プログラミングパラダイムの創立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並行型プログラムの総合的開発支援環境の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

発見的・自己革新的知識処理を基礎付ける論理体系の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

高機能高品質ソフトウェアの評価法の研究

研究代表者

研究期間 (年度)

研究種目

研究機関

発現的・自己革新的知識処理を基礎付ける論理体系に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

研究代表者

研究期間 (年度)

程京徳 CHENG JINGDE