馬谷 誠二 研究室

理学部／情報科学科

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

馬谷 誠二 研究室

JVM上関数型言語の混合実行による抽象解釈

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

Photos

  • JVM上関数型言語の混合実行による抽象解釈

    JVM上関数型言語の混合実行による抽象解釈

Umatani Seiji

馬谷　誠二 准教授

[理学部／情報科学科]

専門分野
  • 情報学・ソフトウェア
関連リンク

PROFESSOR's VOICE

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

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

馬谷　誠二准教授

SHARE

一覧に戻る

Recommend

この研究室もチェック！

ページTOPへ