プログラミング言語設計論

開講元

数理・計算科学コース

担当教員

増原 英彦

授業形態

講義

メディア利用科目

-

曜日・時限
(講義室)

クラス

-

科目コード

MCS.T503

単位数

200

開講時期

2026年度

開講クォーター

4Q

シラバス更新日

2026年3月5日

使用言語

日本語

シラバス

授業の目的（ねらい）、概要

プログラミング言語には様々なものがあり、それらが提供している機能もまた様々である。そういった多様な言語機能には、ソフトウェアのモジュール化、再利用性、安全性などを向上させるという強い動機があり、言語の意味論、モジュール化機構、型システムといった理論的背景によって支えられている。さらに高度な言語機能は、それを効率的に実行する技術によって支えられてきた。これら諸機能を俯瞰的に把握することで、プログラミング言語の設計を行う際の要点を理解するだけでなく、プログラミング言語を使ってソフトウェア開発を行う際の指針を得ることができる。

到達目標

プログラミング言語に備わる様々な機能と実行機構が、どのような理論的背景の下で成立し、実際の言語・処理系によってどのような特徴や違いがあるかを学ぶことで、プログラミング言語の設計に関する全体像を把握することを目標とする。このようなプログラミング言語に関する深い知識を得ることで、その背後にある情報科学の理論の応用例を知り、特定の言語にとらわれないプログラミングの本質を身に付けることも目標とする。
プログラミング言語機能のうち(1)表面言語、即ち利用者が実際に記述するプログラムのための諸機能と(2)近年の実行機構、即ち古典的なコンパイラ技術の上に成立する言語処理系技術をテーマとする。特に近年では極めて一般的になっているオブジェクト指向言語とその発展型およびその処理系に見られる機能を対象とする。

キーワード

Parnasモジュール化原則、情報隠蔽、抽象データ型、Liskov置換原則、オブジェクト指向、クラス、継承、委譲、再利用性、デザインパターン、多重継承、trait、仮想機械、バイトコード、実行時コンパイラ、メタ言語フレームワーク、部分計算

学生が身につける力

• 専門力
• 教養力
• コミュニケーション力
• 展開力 (探究力又は設定力)
• 展開力 (実践力又は解決力)

授業の進め方

各回で簡単なテストを行い、その回の問題点を理解する準備をする。その上で言語機能が設計された背景、基本的な機能、バリエーションについて講義をする。講義は討論形式を中心に行う。

(偶数年度は日本語開講であるため、非日本語使用者のために講義スライドは英語を使用する。また英語による質問・補足説明も歓迎する。

授業計画・課題

準備学修(事前学修・復習)等についての指示

履修者は積極的に講義中の議論に参加することが望ましい。

教科書

特になし

参考書、講義資料等

特になし

成績評価の方法及び基準

レポート課題および口頭試験によって評価する。課題は授業で取りあげた諸概念を、実際のプログラミング言語に即して実験するものとする。これによって授業内容を応用可能なレベルまで理解しているかを判定し、成績評価の基準とする。口頭試験は提出されたレポートに即した試問をする。

関連する科目

• ..

履修の条件・注意事項

特になし