情報処理工学研究室 (武市研) ホームページ

こちらは 東京大学 工学部 計数工学科 情報処理工学研究室 (武市研) のホームページです.

English version

• 所在地
• 研究領域
  • 関数プログラミング
  • 構成的アルゴリズム論
  • プログラム言語処理系
  • 自然言語
• 研究室関係の論文，発表
• 講義ノート：算法言語 (東大内からのみアクセス可)
• セミナー：Categorical Aspects of Constructive Algorithmics
• 構成員 (教職員，学生，スタッフ，ゲスト)
• インターネットサービス
  • FTP サーバ (論文，UtiLisp，和田研フォントその他)
  • Finger インターフェース
• インターネットアクセス
  • 東京大学のホームページ
  • 計数工学科・計数工学専攻のホームページ
  • 情報工学専攻のホームページ (予定)
  • 東大内のInformation Servers一覧
  • 他のインターネット資源へのリンク
• 研究室向けサービス (外部からの参照不可)
• 研究室百景，Slideshow