プログラミング言語論

Concepts of Programming Languages A

(平成31年度前期)

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

 


講義情報Course Information

l  予備知識 (Prerequisite)

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

 

l  講師 (Lecturer)

  建軍 (ちょう けんぐん) (Jianjun Zhao)

  Office: ウエスト2号館7751

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

  Tel: 092-802-3625 (Office)

 

l  ティーチングアシスタント (Teaching Assistant)

  (こう きょう(Qiang Hu

  Office: ウエスト2号館7713

  Email: kp3vc@yahoo.co.jp

 

l  講義時間と場所 (When and Where)

  毎週木曜日3限目(411日から、13:0014:30

  工学部第4講義室

成績評価Evaluation

l  宿題 (Homework) : 40%

l  最終試験 (Final exam) : 60%


講義内容Course Materials

l  1回目:講義の紹介 (1) (Introduction) (2019.04.11) (PDF Slide)

l  2回目:講義の紹介 (2) (Introduction) (2019.04.18) (PDF Slide)

l  3回目:構文と意味 (1) (Syntax and Semantics) (2019.04.25) (PDF Slide)

l  4回目:構文と意味 (2) (Syntax and Semantics) (PDF Slide)命令型プログラミング言語 (1) (Imperative Programming Languages) (2019.05.09) (PDF Slide)

l  5:命令型プログラミング言語 (2) (Imperative Programming Languages) (2019.05.16) (PDF Slide)

l  6目:命令型プログラミング言語 (3) (Imperative Programming Languages) (2019.05.23) (PDF Slide)

l  7命令型プログラミング言語 (4) (Imperative Programming Languages) (2019.05.30) (PDF Slide)

l  8:命令型プログラミング言語 (5) (Imperative Programming Languages) (2019.06.06) (PDF Slide)

l  9回目:オブジェクト指向プログラミング言語 (Object-Oriented Programming Languages) (2019.06.13) (PDF Slide)

l  10回目:論理型プログラミング言語 (Logic Programming Languages) (2019.06.20) (PDF Slide)

l  11回目:関数型プログラミング言語 (Functional Programming Languages) (2019.06.27) (PDF Slide)

l  12回目:休講 (2019.07.04)

l  13回目:プログラム解析と検証 (Program Analysis and Verification) (2019.07.11)

 


宿題Homework

l  1回目: (Homework) (2019.05.16) (提出日:530)

l  2回目: (Homework提出方法解答プログラムの例) (2019.05.31) (提出締切:61324:00まで)

  (元の提出先のメールアドレスは問題があり、新しいメールアドレスkp3vc@yahoo.co.jpを使ってください。)

l  3回目: (Homework提出方法) (2019.06.21) (提出締切:7424:00まで、電子ファイル(WordPDF)で提出すること!)

l  4回目: (Homework提出方法) (2019.06.21) (提出締切:71124:00まで)

 


Comments: zhao@ait.kyushu-u.ac.jp.
Last modified: June 26, 2019.