情報特別演習 I、II
- 筑波大学 情報科学類 授業
- アドバイザ教員:
亀山幸義(kam[at]cs.tsukuba.ac.jp)
- 受入れ学生数: 2人
概要
今年度、アドバイス可能な内容は以下のものです。
- 関数型プログラミング言語 (OCaml, Haskell など)
- 関連授業: プログラム言語論I
- 関連授業: ソフトウェアサイエンス実験B [S8] 関数プログラミング
- 定理証明システム (Coqなど)
- プログラミング言語論 (型理論など)
- 関連授業: プログラム言語論I
- 関連授業: オートマトンと形式言語
- 関連授業: 大学院 プログラム言語特論
過去にアドバイスした内容
- MinCamlコンパイラ(住井氏作成の関数型プログラミング言語のコンパイラ)を解読して、独自の拡張をほどこす。
- 定理証明器Coqを使った体系F の強正規化可能性(強い停止性)の形式検証
- 部分計算(プログラム特化)の技法を用いたScheme処理系の高速化 (2015)
- プログラム言語Luaの処理系の作成と例外機能の実装 (2015)
- リージョン推論アルゴリズムの実装と動向調査 (2016)
- 関数型言語Haskellにおける並行・並列プログラミング (2016)
面接の希望者へ
- 面接希望時間(3つ程度)と自分の名前を書いて、亀山あてにメールしてください。
亀山幸義(kam[at]cs.tsukuba.ac.jp)
「情報特別演習I,II」のページ