情報特別演習 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つ程度)と自分の名前を書いて、亀山あてにメールしてください。