酒井 正彦

日本ではAIといえば機械学習を思い浮かべることが多いかと思います。機械学習では人の知識を使わずに、データ から得られる情報のみにより知識の習得を行いますが、その一方でChatGPTのデータが不正確で当てにならない と話題になったりして ...

酒井 正彦（情報システム学専攻）

数年前、音楽情報処理の研究を始めた。ヤマハ音楽振興会の研究助成に採択されたのがことの始まりとも言える。 音楽情報処理といえば、いわゆるAI花盛りだ。 それまで項書換え系という、プログラムの ...

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

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

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