Lecturers: OGATA, Kazuhiro (email: ogata at jaist dot ac dot jp)
and DO, Canh Minh (email: canhdo at jaist dot ac dot jp)
Term 2-1 (Oct 10 - Dec 2), 2025
Contents:
News
How to
tackle
Exam
Assignments
Class schedule (lecture notes)
A programming language Minila (used at 8th, 9th
& 10th classes)
Links
Part of the exercises found in the lecture notes are the assignment problems. The details, such as the submission deadine, will be described at classes.
Class schedule (lecture
notes)
9:00 - 10:40, Oct 16, Thursday
1. Sorts, Operators, Terms and Equations (lecture note 1)
Submission deadline of HW1: 18:00 of Oct 23 (JST)
13:30-15:10, Oct 16, Thursday
2. Modules, Order Sorts and Lists
of Natural Numbers (lecture note
2)
Submission deadline of HW2: 18:00 of Oct 23 (JST)
10:50-12:30, Oct 21, Tuesday
3. Term Rewriting (lecture note 3)
Submission deadline of HW3: 18:00 of Oct 30 (JST)
9:00 - 10:40, Oct 23, Thursday
4. Parametrized Modules
(lecture note 4)
Submission deadline of HW4: 18:00 of Oct 30 (JST)
13:30-15:10, Oct 23, Thursday
Tutorial Hour (for lecture
note 3)
10:50-12:30, Oct 28, Tuesday
5.
Tables (lecture note
5)
Submission deadline of HW5: 18:00 of Nov 4 (JST)
9:00 - 10:40, Oct 30, Thursday
6.
Infinite Lists (lecture note
6)
Submission deadline of HW6: 18:00 of Nov 6 (JST)
10:50-12:30, Nov 4, Tuesday
7. Multisets (lecture
note 7)
Submission deadline of HW7: 18:00 of July 11 (JST)
9:00 - 10:40, Nov 6, Thursday
8. A Programming Language Processor - Interpreter
(lecture note 8)
13:30- 15:10, Nov 6, Thursday
9. A Programming Language
Processor - Virtual Machine (lecture note 9)
10:50-12:30, Nov 11, Tuesday
10. A Programming Language Processor - Compiler (lecture note 10)
Submission deadline of HW8, 9, and 10: 18:00 of Nov 18 (JST)
9:00 - 10:40, Nov 13, Thursday
11.
Program Verification - Natural Numbers (lecture note 11)
Submission deadline of HW11: 18:00 of Nov 20 (JST)
10:50-12:30, Nov 18, Tuesday
12. Pregram Verification - Lists (lecture note
12)
Submission deadline of HW12: 18:00 of Nov 25 (JST)
9:00 - 10:40, Nov 20, Thursday
13.
Verification of Arithmetic Caclulator Compiler (lecture note 13)
Submission deadline of HW13: 18:00 of Nov 27 (JST)
10:50-12:30, Nov 25, Tuesday
14. Proof
Assistant (lecture note
14)
Submission deadline of HW14: 18:00 of Dec 4 (JST)
9:00 - 10:40, Nov 27, Thursday
Tutorial Hour (for Exam)
10:50 - 12:30, Dec 2, Tuesday
Exam
A Programming Language Minila (used at 8th, 9th & 10th classes)
ast.cafe
misc.cafe
interpreter.cafe
vm.cafe
compiler.cafe