項書換え系

本研究科価値創造研究センターの外国人客員教員制度により、Aart Middeldorp先生（オーストリア インスブルック大学教授）を2021年8月から2022年2月まで7ヶ月間、情報システム学専攻酒井研究室に招へいしました。当初予定し ...

研究内容

「虫のいないプログラムはない」といわれるほど、誤りのないプログラムを作るのが大変な作業であることはよく知られています。プログラムの正しさの定式化には、まず最初にプログラムが持つ意味を数学的に定める必要があります。現在、プログラ ...

研究内容

バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...