価値創造研究センター招聘研究員, 項書換え系, 情報システム学専攻, 価値創造研究センター

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

情報システム学専攻項書換え系, 難解言語, 自動採譜, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

研究内容

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

情報システム学専攻コロナ特集, オンライン講義, ソフトウェア

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