酒井 正彦

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

研究内容

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

みなさん、こんにちは。情報システム学専攻の酒井です。2020年8月にこの文章を書いてます。大学教員は皆そうだと思うんですけど、この春は対面の授業ができなくてオンライン教材の作成に追われたんじゃないかと思います。紆余曲折を経て、PDFス ...