学部後期課程
過去（2020年度）の授業の情報です
学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
プログラミング言語
「適切な高水準プログラミング言語を用いればもっと問題が簡単に解決できるようになる」ことを理解してもらうことを最低限の目標とする（情報系を専門としない人にも有用な経験となるはずである）．専門的トピックとしては，言語の設計の背後にある考え方や実装方式などについて学び，今後のプログラミング言語の進化・発展に貢献するために必要な基礎知識を身につけてもらうことを目標とする．
The minimum objective is to understand "programming languages matter; with appropriate high level programming languages, you can solve your problems more easily and more reliably" (it will be a useful experience for those who do not major computer science/engineering). For advanced topics, we cover paradigms behind language designs and methods/tools to implement programming languages, so as to acquire knowledge and skills to contribute to the development and evolution of programming languages.
The minimum objective is to understand "programming languages matter; with appropriate high level programming languages, you can solve your problems more easily and more reliably" (it will be a useful experience for those who do not major computer science/engineering). For advanced topics, we cover paradigms behind language designs and methods/tools to implement programming languages, so as to acquire knowledge and skills to contribute to the development and evolution of programming languages.
時間割／共通科目コード
コース名
教員
学期
時限
FEN-EE4d19L1
FEN-EE4d19L1
プログラミング言語
田浦 健次朗
月曜2限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
可
開講所属
工学部
授業計画
以下を予定しているが回数の関係ですべてをカバーできない可能性も高いのであくまで目標と考えていただきたい．学生の興味や理解度に応じて変更する．
* 安全な言語と危険な言語
* 安全で効率的な言語の基礎としての型システム
* プログラミングパラダイム
関数型
オブジェクト指向
* 高水準言語の実習
Ocaml (関数型, 静的型)
Python (オブジェクト指向, 動的型)
* 自動メモリ管理: 安全な言語のもうひとつの基礎
* 安全なプログラムを書くためのツール
* 言語処理系が行う最適化，そのアルゴリズム(概要)
* 言語処理系を作るためのツール
* 学生による文献購読・発表
-------------------------
I wish to cover these topics. Due to time restriction, however, it is likely that I cannot cover all topics below. Please consider them as landmarks. We will adapt based on the students interests and progress.
* Safe languages and unsafe languages
* Type systems, as a basis for safe and efficient languages
* Important programming paradigms
Functional
Object Oriented
* Practices in high level languages
Ocaml (functional and statically typed)
Python (object oriented and dynamically typed)
* Automatic memory management: another critical basis for safe languages
* Other tools for writing safe programs
* Optimizations by compilers and their algorithms (an overview)
* Tools for building compilers
* Readings and presentations by students
成績評価方法
出席，発表，レポート
教科書
下記講義ノートページに記載
参考書
下記講義ノートページに記載
履修上の注意
視野を広げる
その他
前提となる知識と項目：・Cでのプログラミング経験
・・コンピュータのハードウェアとオペレーティングシステムに関する基本的理解
応用先_分野と項目：ソフトウェアシステム構築
ヒューマンインタフェース構築
