Slides will be provided in both Japanese and English. Lectures will be conducted in Japanese.
| 11/28 (Fri) | # 1 | Guidance | |
| 12/ 4 (Thu) | # 2 | Foundations on Theory of Computation (1) | |
| 12/ 5 (Fri) | # 3 | Optimization Techniques (1) | |
| 12/11 (Thu) | # 4 | Foundations on Theory of Computation (2) | |
| 12/12 (Fri) | # 5 | Approaches to solve NP-complete problems (1) | |
| 12/18 (Thu) | # 6 | Optimization Techniques (2) | |
| 12/19 (Fri) | # 7 | Optimization Techniques (3) | |
| 12/25 (Thu) | # 8 | Approaches to solve NP-complete problems (2) | |
| 12/26 (Fri) | # 9 | Representations of Boolean Functions (1) | |
| 1/ 8 (Thu) | # 10 | Optimization Techniques (4) | |
| 1/ 9 (Fri) | # 11 | Using Binary Decision Diagrams (1) | |
| 1/15 (Thu) | # 12 | Representations of Boolean Functions (2) | |
| 1/22 (Thu) | # 13 | Graph Calculus and NP vs. coNP (Advanced Topic) | |
| 1/23 (Fri) | # 14 | Using Binary Decision Diagrams (2) | |
| 1/29 (Thu) | # 15 | Assignment | |
| 1/30 (Fri) | # 16 | Assignment |
The above lecture schedule may be subject to change.