Welcome to Jingde Cheng's home page

研　　究

情報セキュリティ工学

• 情報保証性と情報安全性
  

• 電子証拠
  

• 積極的・先行的防衛
  

• 先行推論による予測に基づく永続的反応システム
  

• 電子投票・アンケートシステム
  

• 情報セキュリティ工学環境の開発と応用
  

知識工学

• 相関的・拡充的推論
  

• 強相関論理とその応用
  

• 科学的発見における認識プロセスと科学的発見のための認識的プログラミング
  

• 自動定理発見と自動問題提示
  

• 知識処理システムの自律的進化
  

• 囲碁（囲棋）における知識の表現と推論
  

ソフトウェア工学

• 永続コンピューティングと永続的コンピューティングシステム
  

• 先行コンピューティングと先行的コンピューティングシステム
  

• 高可用性高信頼性高安全性システムの設計、開発、保守、進化方法論
  

• プログラムおよびシステムの従属性解析とそれらの応用
  

• プログラミング言語Adaとその応用
  

• 永続コンピューティングとユビキタスコンピューティングのためのソフトシステムバス技術