情報システム学専攻ミニ特集, 非機械学習AI, 情報システム学専攻, コンピュータ科学科, 情報システム系

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

情報システム学専攻非機械学習AI, 情報システム学専攻

酒井 正彦(情報システム学専攻)

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

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

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

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

研究内容

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

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

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