最近のニュース

• [過去のニュース]

研究室概要

• 所在地 ／ メンバー
• 研究領域
• プロジェクト
  • Fortress上でのスケルトン並列プログラミング手法に基づいたライブラリ開発
  • 文部科学省 e-Society PSDプロジェクト (終了; 2003年度から 5年間)
  • 21世紀情報科学技術戦略コア 超ロバスト計算原理プロジェクト (終了; 2002年度から 5年間)
  • 科学技術新興事業団 さきがけ研究21 「機能と構成」 (終了; 2001年度から 3年間)
• 研究室紹介資料
  • 2003年
  • 駒場生への進学ガイダンス―― 「計算機プログラムの数理」
  • 2005年6月13日 オープンラボ ポスター (PDF形式)

研究発表・セミナー

• 研究室関係の論文・発表
• 博士論文
• 研究室主催セミナー

研究室関連情報

• 参考書情報
  • 「関数プログラミング」(準備中)
  • 「プログラミング言語」(準備中)
  • 「計算機プログラムの構造と解釈」 第二版 (和田先生 訳)
• 講義ノート (Public PukiWiki) (一部学外参照不可)