▶Japanese
Post to SNS
- Home
- > School of Computing
- > Graduate major in Mathematical and Computing Science
- > Functional Programming
- School of Science
-
School of Engineering
- Undergraduate major in Mechanical Engineering
- Undergraduate major in Systems and Control Engineering
- Undergraduate major in Electrical and Electronic Engineering
- Undergraduate major in Information and Communications Engineering
- Undergraduate major in Industrial Engineering and Economics
- Common courses
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
- School of Environment and Society
- 工学院，物質理工学院，環境・社会理工学院共通科目
- Liberal arts and basic science courses
- First-Year Courses
- School of Science
- School of Engineering
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
-
School of Environment and Society
- Department of Architecture and Building Engineering
- Department of Civil and Environmental Engineering
- Department of Transdisciplinary Science and Engineering
- Department of Social and Human Sciences
- Department of Innovation Science
- Graduate major in Technology and Innovation Management
- Common courses
- Liberal arts and basic science courses
- Academic unit or major
- Graduate major in Mathematical and Computing Science
- Instructor(s)
- Wakita Ken Masuhara Hidehiko
- Class Format
- Lecture
- Media-enhanced courses
- Day/Period(Room No.)
- Mon1-2(W611) Thr1-2(W611)
- Group
- -
- Course number
- MCS.T502
- Credits
- 2
- Academic year
- 2016
- Offered quarter
- 3Q
- Syllabus updated
- 2016/4/27
- Lecture notes updated
- 2016/9/28
- Language used
- English
- Access Index
-
Lecture
Lecture 1 Overview
2016.9.26(Mon.) 1-2Session
Lecture
Lecture 2 Introduction to functional programming in OCaml (1)
2016.9.29(Thu.) 1-2Session
Lecture
Lecture 3 Introduction to functional programming in OCaml (2)
2016.10.3(Mon.) 1-2Session
Lecture
Lecture 4 Introduction to functional programming in OCaml (3)
2016.10.6(Thu.) 1-2Session
Lecture
Lecture 5 Software architecture of the MinCaml compiler
2016.10.13(Thu.) 1-2Session
Lecture
Lecture 6 From program to abstract syntax tree
2016.10.17(Mon.) 1-2Session
Lecture
Lecture 7 Type analysis
2016.10.20(Thu.) 1-2Session
Lecture
Lecture 8 From abstract syntax tree to K-normal form
2016.10.24(Mon.) 1-2Session
Lecture
Lecture 9 Optimization (1)
2016.10.27(Thu.) 1-2Session
Lecture
Lecture 10 Optimization (2)
2016.10.31(Mon.) 1-2Session
Lecture
Lecture 11 Elimination of functional closures
2016.11.3(Thu.) 1-2Session
Lecture
Lecture 12 Generation of abstract machine code
2016.11.7(Mon.) 1-2Session
Lecture
Lecture 13 Register assignment
2016.11.10(Thu.) 1-2Session
Lecture
Lecture 14 Generation of executable code
2016.11.14(Mon.) 1-2Session
Lecture
Lecture 15 Wrap up
2016.11.21(Mon.) 1-2Session
It is necessary for those who refer to the PDF file to use "Adobe Reader" as the plug-in software of Adobe System Company.
If you don't have the software, please download from this item (free).
