大堀研の教育内容

概要

• 講義関連資料 （lecture notes）


• 研究室が目指すものと必要とされる能力等
• 修士・博士課程の教育カリキュラム

2009年度学部研究室研修題目

1. 次世代高信頼プログラミング言語SML#の開発
   大堀研で進めている次世代プログラミング言語開発プロジェクトに参加し，関連 する理論や処理系の一部を構築する内容です．
   • 「私はハッカー（＊１）である．今までにないシステムを実装 したい．」
   • 「ラムダ計算や論理学を現実生のソフトに生かしてみたい．」
   といった希望を持っているものには，またとない機会でしょう． 詳しくは， SML＃のページ および， SML＃に関する招待講演のスライドをご覧下さい．
2. ＳＭＬ＃等の高機能関数型言語のためのプログラム開発環境の研究
   • 構造エディタ
   • WebやAjax技術との統合
   • ＳＭＬ＃でのゲームプログラム開発環境
3. データベースとプログラミング言語との統合の研究
   • 関数型言語用XMLインターフェイス
   • SQLとの連携ミドルウエア
   • データベース操作コンビネータ
4. 革新的なデータベースのためのデータモデルおよび検索言語の研究
   • 関係データモデルへの高階関数やその他高度な機能の導入
   • 意味論や型理論に基づくデータモデルの一般化
   • XML等のWEB上のデータアクセスのための検索言語
5. コンパイルや機械語コードの検証のための論理学的基礎の研究
   「ハッカー（＊１）による基礎理論研究」とでも言える内容でしょうか． 専門的ですが，興味があれば，
   • 日本での特別講演のスライド
   • 日本での講演のスライド
   • 海外での講演のスライド
   をご覧下さい．
6. 型理論に基づくコンパイラの最適化技術の研究
   • 静的解析を応用したインライニングの効率化
   • 関数融合変換
   これも専門的ですが，豊富な経験と技術があります．ＳＭＬ＃は，我々が構築し た型主導コンパイルの先駆的な理論を基に設計されています．興味があれば，Ｓ ＭＬ＃プロジェクトの「SML#の理論的基礎」のページなどをごらんください．

（＊１） A person with an enthusiasm for programming or using computers as an end in itself. 創造的プログラマ．

参考資料

1. スタッフによるプログラミング言語関連の教科書