1. Faculty
    教員
  2. Student
    学生
  3. Staff
    スタッフ

Atsushi Igarashi / 五十嵐 淳

Professor, Department of Communications and Computer Engineering

情報学研究科 通信情報システム専攻・教授

PROFILE

Research Field

理論計算科学、基礎理論、型システム
Theoretical Computer Science, Principles of Programming Languages, Type Systems

Research Topic

ソフトウェア契約、高階モデル検査、定理証明支援系、多段階プログラミング
Software Contracts, Higher-order Model Checking, Proof Assistants, Multi-stage Programming


MESSAGE

プログラミング言語はソフトウェアシステムを設計・記述するための人工言語で、計算機の応用範囲が広がりとともに、応用領域に特化してデザインされたプログラミング言語が数多く生まれており、今後もこの傾向は続きます。よいプログラミング言語のデザインには計算機科学の高度な知識・ノウハウだけでなく、与えられた枠組みの中でのシステム設計を行う技術だけではなく、その枠組みを反省的な視点から考察する「システム設計のための枠組み自体の設計」という問題意識を持つ必要があると考えています。本プログラムにおいては、このような「設計のための設計」の視点から、今までにないシステムのデザインが可能な人材が生み出せればと考えています。


LINKS