以前チェックした研究室

画面を閉じる
画面を閉じる
理学部
情報科学科
戻る
  • 情報学系

馬谷 誠二 研究室

プログラミング言語に関する研究

研究キーワード
  • プログラミング言語
  • 言語処理系
馬谷 誠二 研究室
JVM上関数型言語の混合実行による抽象解釈

プログラミング言語の設計および実装全般に関わる研究を行っています。具体的には、(1) 分散・協調計算に用いるプログラミング言語、(2) 安全性・信頼性を考慮したプログラミング言語や、ドメイン特化言語の設計を行ったり、動的言語のためのプログラム解析手法や、あらたな言語処理系開発用ツールの提案なども行っています。また、他大学の研究者とも連携し、並列・分散環境上で効率良くプログラムを実行するための処理方式に関する研究も進めています。

馬谷 誠二准教授Umatani Seiji[理学部/情報科学科]

専門分野
  • 情報学・ソフトウェア
主な担当科目
関連リンク
PROFESSOR's VOICEPROFESSOR's VOICE

プログラミング言語の設計および実装に関する研究

馬谷 誠二准教授

並行・分散計算、セキュリティなどの応用に特化した言語機能の設計、それらの効率良い実装等、プログラミング言語に関する様々な研究を進めています。

この研究室もチェック!