この講義についての情報を流すためのページです。
講義の日程、演習課題などを出しますので、常にチェックしてください。

講義の目的

この講義では、プログラミング言語に関する技術、理論を学びます。 様々なプログラミング言語の背景の計算モデルを中心にいろいろな概念を学んだ後、プログラムの正しさや意味を扱う理論に触れます。

講義の進め方

パワーポイントを用いて講義を行います。講義資料は講義の進捗に合わせて配付しますが、昨年度の資料でよければここにあります。 毎回小テスト等で出席を取ります。 ときどきまとまった課題を出し、それらの提出は評価に反映させます。

予定 　

• ４月　５日　導入：プログラミング言語
  キーワード：プログラミング言語パラダイム、計算モデル
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ４月１２日　命令型言語の概要
  キーワード：命令型・代入型言語パラダイム、制御構造、構造的プログラミング
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ４月１９日　データ型
  キーワード：基本データ型、構造データ型、強い型付け、集合との関係
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ４月２６日　抽象データ型
  キーワード：抽象化、カプセル化、情報隠蔽、データ不変条件
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ５月１０日　手続き呼出し
  キーワード：束縛、静的／動的スコープ、ブロック構造、引数渡し（呼出し）
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ５月１７日　演習１（スコープ、引数渡し）
  資料:練習問題, レポート課題
  
• ５月２４日　関数型プログラミング
  キーワード：ラムダ計算、関数抽象、関数適用、汎関数、
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ５月３１日　ＬＩＳＰ入門
  キーワード：ＬＩＳＰ言語、リスト構造と基本関数、再帰的プログラミング
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ６月　７日　論理型プログラミング
  キーワード：構成的プログラミング、論理プログラミング、導出と反駁、ホーン節、ＳＬＤ導出
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ６月１４日　Prolog入門
  キーワード：Prolog言語、バックトラック、！（カット）、ＤＢとProlog
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ６月２１日　演習２（関数型言語、論理型言語）
  資料:練習問題、その答
  
• ６月２８日　プログラムの理論（１）
  キーワード：ホーア論理
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ７月　５日　プログラムの理論（２）
  キーワード：表示的意味論
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ７月１２日　プログラムの理論（３）
  キーワード：領域理論と不動点意味論
  資料:パワーポイント， pdf， 4upのpdf， 印刷用
  
• ７月１９日　演習３（プログラムの理論）
  資料:演習問題， その答
  
• ７月２６日　休講
• ８月　２日　期末試験　資料の持込み可
  

参考書 　

• R. W. Sebesta,"Concepts of Programming Languages, Seventh Edition", Addison Wesley．
• ラビ・セシィ（神林靖 訳）,「プログラミング言語の概念と構造」, ピアソン・エデュケーション．
• 松本吉浩,「ソフトウエア工学」, 丸善．
• R. バード（土井範久 訳）,「プログラム理論入門」, 培風館．