Course title
6M0018001
Problem Solving Systems

 aiba akira Click to show questionnaire result at 2018
Course content
In this course, students will have knowledge on a mathematical theory for functions called "lambda calculus". Lambde calculus is an important theory not only as mathematical theory but a model of programming languages. The class will not too much concentrate on mathematical or technical side of the theory. So, not so much mathematical knowledge is required.
Purpose of class
Understanding　theoretical aspects of Functional Programming Languages through learning and understanding the theory of Lambda Calculus.
Goals and objectives
  1. Understanding Lambda calculus.
  2. Understanding the role of models of programming languages.
  3. Understanding mathematical process on considering programming languages
Language
Japanese
Class schedule

 Class schedule HW assignments (Including preparation and review of the class.) Amount of Time Required
1． Introduction to lambda calculus * 30minutes
2． lambda calculus: term, free and bound variables * 30minutes
3． lambda calculus: substitution, beta reduction * 30minutes
4． lambda calculus: reduction strategy * 30minutes
5． lambda calculus: outermost reduction strategy * 30minutes
6． lambda calculus: innermost reduction strategy, and others * 30minutes
7． lambda calculus: comparison amnog various reduction strategies * 30minutes
8． lambda calculus and calculus on natural numbers * 30minutes
9． mechanical evaluation of lambda terms: reduction machina * 30minutes
10． Definition of SECD machine * 30minutes
11． SECD machine (cont.) * 30minutes
12． Introduction to model theory * 90minutes
13． Difficulty on defining models for lambda calculus * 30minutes
14． lambda calculus and its models * 30minutes
15． ovreview
Total. - - 480minutes
Relationship between 'Goals and Objectives' and 'Course Outcomes'

 Report Total.
1. 40% 40%
2. 20% 20%
3. 40% 40%
Total. 100% -
Evaluation method and criteria
by a report(100%)
Textbooks and reference materials
not specified
Prerequisites
student will be requested to remenber programming languages already educated.
Office hours and How to contact professors for questions
  • Tuesday 12:30-13:00
Relation to the environment
Non-environment-related course
Regionally-oriented
Non-regionally-oriented course
Development of social and professional independence
  • Non-social and professional independence development course
Active-learning course
N/A
Course by professor with work experience
Work experience Work experience and relevance to the course content if applicatable
N/A N/A
Last modified : Thu Mar 21 15:28:23 JST 2019