Welcome to Jingde Cheng's home page

チュートリアル

情報セキュリティ工学に関するチュートリアル

• J. Cheng, "Anticipatory Reasoning-Reacting Systems"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Prediction by Anticipatory Reasoning and Its Logical Basis"
  Abstract: PDF
  Presentation material: PDF

知識工学に関するチュートリアル

• J. Cheng, "Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Epistemic Programming: Can We Have a Computational 'Science' and/or 'Engineering' of Scientific Discovery in the 21st Century?"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Relevant Reasoning: Its Key Role in Discovery and Prediction"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Relevant Logic and Its Applications - An Elementary Introduction to Relevant Logics for Computer Scientists"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Relevant Logics: Proof Theory and Model Theory"
  Abstract: PDF
  Presentation material: PDF

ソフトウェア工学に関するチュートリアル

• J. Cheng, "Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Soft System Buses for Persistent Computing and Ubiquitous Computing"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Dependence Analysis of Concurrent Programs and Its Applications"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "The Ada Programming Language: Its Past, Present, and Future"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Deadlocks in Concurrent Systems: Identification, Classification, and Detection"
  Abstract: PDF
  Presentation material: PDF

• J. Cheng, "Software Development: Principles, Facts, and Fallacies"
  Abstract: PDF
  Presentation material: PDF