Concepts of Programming Languages

(プログラミング言語論AB

(Spring 2017)

(Please note that the content of this website is subject to change!)

 


Course Information

Description:


Prerequisit
e:

Students should have basic knowledge of programming languages, object-oriented programming, and software engineering.

Instructor:

Jianjun Zhao ( 建軍)

Office: Room 751, West Building 2 (7th Floor)

Email: zhao@ait.kyushu-u.ac.jp

Tel: 092-802-3625 (Office)

 

When and Where:

April 13, 2017 July 20, 2017 (from 13:00 to 14:30)

工学部講義室15


Evaluation

Homework:

30%

Final exam:

70%


Course PPT

1回講義PPTIntroduction (1) (講義の紹介) (2017.04.13)

2回講義PPTIntroduction (2) (講義の紹介) (2017.04.20)

3回講義PPTIntroduction (3) (講義の紹介), Syntax and Semantics (1) (構文と意味) (2017.04.27)

4回講義PPT休講 (2017.05.01)

5回講義PPTSyntax and Semantics (2) (構文と意味) (2017.05.11)

6回講義PPTSyntax and Semantics (3) (構文と意味) , Imperative Programming Languages (1) (命令型プログラミング言語) (2017.05.18)

7回講義PPTImperative Programming Languages (2) (命令型プログラミング言語) (2017.05.25)

8回講義PPTImperative Programming Languages (3) (命令型プログラミング言語) (2017.06.01)

9回講義PPTImperative Programming Languages (4) (命令型プログラミング言語) (2017.06.08)

10回講義PPTImperative Programming Languages (5) (命令型プログラミング言語) (2017.06.15)

11回講義PPTObject-Oriented Programming Languages (オブジェクト指向プログラミング言語) (2017.06.22)

12回講義PPTLogic Programming Languages (論理型プログラミング言語) (2017.06.29)

13回講義PPTFunctional Programming Languages (関数型プログラミング言語) (2017.07.06)

14回講義PPT月曜授業日のため、休講 (2017.07.13)

15回講義PPTProgram Analysis and Verification (プログラム解析と検証) (2017.07.20)

 

 


Homework

 

1 HomeworkAnswers

(提出締切:201768木曜日授業の時、A4サイズ用紙、手書き或はプリント両方ともOK

2 HomeworkAnswers

(提出締切:201776日(木曜日)授業の時、A4サイズ用紙、手書き或はプリント両方ともOK

3 HomeworkAnswers

(提出締切変更2017720木曜日授業の時、A4サイズ用紙、手書き或はプリント両方ともOK

 

Homework提出状況(三回分)

(問題がございましたら、201784日(金曜日)午後5時までにメールで趙までご連絡ください。zhao@ait.kyushu-u.ac.jp

(ところで、一つの提出者不明なReportがあります(氏名と学籍番号を書いていない)。分かれば、ご連絡ください。提出者不明のReport

 


Final Score

 

*最終成績 (教務提出分) (2017.08.02)(評価基準:Homework: 30%、最終試験: 70%

問題がございましたら、201784日(金曜日)午後5時までにメールで趙までご連絡ください。zhao@ait.kyushu-u.ac.jp

 

Course Schedule

The course will be given from April 13 till July 20, 2017 (13:00 -14:30).


Important Dates


Comments: zhao@ait.kyushu-u.ac.jp
Last modified: August 2, 2017.