本文メニューサイト内検索

Pickup Video/Audio


動画の再生にはAdobe Flash Playerが必要です。iOSおよびにAndroid4.1以降のFlash非対応端末での動画再生は行えません。

Void Metabolism

続きを見る
  • link
  • link
  • link
  • link
  • link

Logical Foundations of Computing

Logical Foundations of Computing

Course description and aims

This course covers the intersection of programming language theory and mathematical logic.
The key notion is "Curry-Howard correspondence", which shows the direct relationship between computer pro ...

Update Syllabus:2016/4/27

Update Lecture Notes:2016/5/27

 

Leading edge energy technology

Leading edge energy technology

Course description and aims

Mitigation of carbon dioxide emission to the atmosphere and the security in energy supply are inevitable issues to establish sustainable society in future. This course overviews the outline of the ...

Update Syllabus:2016/4/27

Update Lecture Notes:2016/5/27

 

February 2008 Monthly Access Ranking

Intelligent Control

Intelligent Control

Outline of lecture

This lecture aims to teach fundamentals of intelligent control techniques. The talks include adaptive control systems, fuzzy control, artificial neural nets, and other soft-computing techniques.

Purpose of lecture

This lecture is composed of two parts. Part I deals with adaptive identifiers and controllers. Part II illustrates some soft-computing techniques.

Update Syllabus:2005/5/10

Update Lecture Notes:2005/5/10