i628e Information Processing Theory 

Lecturers: OGATA, Kazuhiro (email: ogata at jaist dot ac dot jp)
               SIRITANAWAN, Prarinya
               KAWAI, Tatsuji
               VIGLIETTA, Giovanni
               UEHARA, Ryuhei
Room: the one specified by Education Affairs Section
Term: 2-2, FY2019

News

- Jan 27: Some more slides are available now.
- Dec 24: Online course (or lecturer) evaluation questionnaire is available on https://gakumu.jaist.ac.jp/hcampus/
Your cooperation is more than welcome, which may improve the quality of the course.
- Dec 24: The lecture materials for classes 3, 4 & 5 are available on this page.
- Dec 06: Each course (and each lecturer) is supposed to be assessed by students. You will be able to assess online each lecturer of the course on Dec 23 or later. You will receive an email on it from Education Affairs Section. Will you please kindly cooperate with the course (or lecturer) assessment? Your cooperation will improve the course, being able to give better lectures to future students!
- Dec 06: Each lecturer will give you assignments to evaluate you. Please follow each lecturer instructions.

Lecture schedule

1.  9:00-10:40, Dec 9, Monday   
    Model Checking: Basics (by Ogata)
2. 13:30-15:10, Dec 9, Monday
    Model Checking: A Remedy for State Explosion (by Ogata)
    Assignment of lectures 1 & 2
    (Submission deadline: 23:59, Dec 31, Tuesday, 2019 (JST))

3.  9:00-10:40, Dec 16, Monday
    Robot Vision: Robot Perception (by Siritanawan)
4. 10:50-12:30, Dec 18, Wednesday
    Robot Vision: Visual based Simultaneous Localization and Mapping (by Siritanawan)
5.  9:00-10:40, Dec 23, Monday
    Robot Vision: Modern Object Recognition System (by Siritanawan)

6.  9:00-10:40, Jan 6, Monday
    Point-free Topology: Introduction (by Kawai)
7. 10:50-12:30, Jan 8, Wednesday
    Point-free Topology: Analysis (by Kawai)
8. 10:50-12:30, Jan 15, Wednesday
    Point-free Topology: Computational Content (by Kawai)

9.  9:00-10:40, Jan 20, Monday
    The Art Gallery Problem (by Viglietta)
10. 10:50-12:30, Jan 22, Wednesday
    Introduction to Mobile Robots (by Viglietta)
11. 9:00-10:40, Jan 27, Monday
    The Complexity of Video Games (by Viglietta)

12. 13:30-15:10, Jan 27, Monday
    Computational Origami: Introduction and Preliminaries 0 1 2 3 (by Uehara)
13. 10:50-12:30, Jan 29, Wednesday
    Computational Origami: Folding Polygon to Polyhedra 1 2 3 (by Uehara)
14.  9:00-10:40, Feb 3, Monday
    Computational Origami: Folding Complexity 1 2 3 (by Uehara)