プログラム言語論

Google Classroom:
https://classroom.google.com/c/NzUyNjE3NzI3MDM3?cjc=i5anvyrp

プログラミング言語の諸概念と, それに基づくプログラミングパラダイムを学ぶ.
これにより,

* プログラミング言語に対する一般的な理解
* プログラミングパラダイムに沿ったプログラミング作法

の獲得を目指す.

特定の科目の履修を前提にすることはないが,

* 基本的なプログラミング(例えば「プログラミング通論」相当)
* 計算機の基本的な仕組み(例えば「計算機通論」相当)
* 集合論と記号論理の数学記法(例えば「離散数学」相当)

についての知識は前提とする.

本科目の理解の助けになるであろう科目や経験は次の通り:

* 「言語処理系論」の同時履修
* 形式言語の基礎知識(例えば「形式言語理論」相当)

同学期に開講される「言語処理系論」とは密に連携した授業内容である.
両方履修すると, プログラミング言語の概念と仕組みがより深く理解できるように設計されている.

授業教材はオンライン資料として配布する.
その中に, 参考資料を適宜記載する.

授業内容:

1. ガイダンス, イントロダクション
2. プログラミング言語:起源と歴史
3. ALGOL
4. 型システム
5. オブジェクト指向とデータ抽象
6. クラスシステム
7. JavaとJVM
8. スクリプト言語
9. 関数プログラミングと関数型言語
10. Haskellと純関数プログラミング
11. 計算効果とモナド
12. メタプログラミング
13. 並列プログラミング
14. C
15. まとめ

進め方:

* 11回以降は発展的内容であり, 授業進度に合わせて内容を取捨選択をする.
* 各回にコメントフィードバックを求め, 次回で適宜取り上げる.

* 各回のコメントフィードバック, 及びそれに係る復習・自習
* 期末試験, 及びそれに係る復習
* レポート課題, 及びそれに係る自習(プログラミングを含む)

成績評価方法:

各回のコメントフィードバック・期末試験・レポート課題から総合的に判断する.
ただし, コメントフィードバックと中間レポート課題は, 補助的な位置付けである.
期末レポート課題は, 発展的なオプション課題である.

評価基準:

授業で扱ったプログラミング言語の諸概念やプログラミングパラダイムを理解し, 自ら扱うことができるかを評価する.
期末試験の受験は, 単位取得において必須とする.
尚, オプションの期末レポート課題を提出しなくても, 他が十分良くできていれば, 「優」が取れるように調整する見通しである.

Google Classroomで受け付ける.

プログラミング言語は, プログラマの思考を縛る.
あなたがプログラミング言語を1つしか選べないなら, あなたの思考はそれに囚われる.

"The tools we are trying to use and the language or notation we are using to express or record our thoughts, are the major factors determining what we can think or express at all!"
---Edsger W. Dijkstra (1972)

木2開講