教育

概要

• 学部生向け研究室紹介スライド（2012年11月版） syokai2012.pdf

• 講義関連資料
• 研究室の目指すものと必要とされる能力等
• 学部4年生、修士・博士課程の教育
• 大堀研スタッフによる教科書

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

以下の課題をあげてあります．

次世代高信頼プログラミング言語SML#の開発

大堀研で進めている次世代プログラミング言語開発プロジェクトに参加し，関連する理論や処理系の一部を構築する内容です．

• 「私はハッカー*1である．今までにないシステムを実装したい．」
• 「ラムダ計算や論理学を現実生のソフトに生かしてみたい．」

といった希望を持っているものには，またとない機会でしょう．詳しくは，SML＃のページおよび，SML＃に関する招待講演のスライドをご覧下さい．

ＳＭＬ＃等の高機能関数型言語のためのプログラム開発環境の研究

• 構造エディタ
• WebやAjax技術との統合
• ＳＭＬ＃でのゲームプログラム開発環境

種々のデータソースを統合するデータモデルおよび検索システムの研究

関係データモデルを一般化したデータモデルによって，

• PostgreSQL等の既存の関係データベース
• excelファイル等のデータファイル
• XML等のWEB上のデータ

などを種々のデータが自由に扱え，かつ柔軟なプログラミングが可能な検索システムの設計と開発．

大規模並列計算の基礎理論

大規模並列計算の基礎となる並列計算アルゴリズム、並列計算パターン、および並列性を意識せずに記述したプログラムから大規模並列計算向けコードへのコンパイル技術などを研究している．具体的な課題の一例としては以下が挙げられる．

• 関数型言語の並列評価のための基礎理論の構築
• 並列計算アルゴリズムの代数的なプログラム変換に基づいた系統的・自動的な導出
• 特定用途向けの並列計算言語の設計と実装
• ＳＭＬ＃への超並列機能の組み込み

コンパイルや機械語コードの論理学的基礎の研究

「ハッカー(*1)による基礎理論研究」とでも言える内容でしょうか．専門的ですが，興味があれば，

• 日本での特別講演のスライド
• 日本での講演のスライド
• 海外での講演のスライド

をご覧下さい．

高信頼Webプログラミングのための次世代スクリプト言語の開発

スクリプト言語の特徴である高度で柔軟な文字列処理と型付き関数型言語の利点である高階の関数や多相型システムなどを統合したスクリプト言語の設計や開発を目指す研究プロジェクト．

• 高度な文字列操作のためのライブラリやテンプレートエンジン
• Ruby，Perlなどのスクリプト言語と型付き関数型言語の連携
• Ruby on Railsなどに比類する機能性とMLの型システムを両立したWebアプリケーションフレームワーク

問い合わせ

質問や詳しい話を聞きたい方はメール等でお問い合わせください．