ミニ特集： 「非機械学習AI –論理によるAI–」の趣旨と概要
日本ではAIといえば機械学習を思い浮かべることが多いかと思います。機械学習では人の知識を使わずに、データ から得られる情報のみにより知識の習得を行いますが、その一方でChatGPTのデータが不正確で当てにならない と話題になったりして ...
看護師の勤務表作成 ー解集合プログラミングの応用ー
番原 睦則（情報システム学専攻）
彼は某国立大学の准教授である．彼は古くからの友人であり，優秀なプログラマーである．彼は故あって，附属病院のDXプロジェクトに関わることになった．実は附属病院の看護部では超過勤務の削減が積年 ...
Rep-Tileパズルの解の総数はいくつ？ –論理式を用いた計数–
橋本 健二（情報システム学専攻）
Rep-Tileというパズルをみなさんご存知でしょうか？ いわゆるタイルの敷き詰めパズルなのですが、この記事ではそのRep-Tileを題材に敷き詰め方の総数を求める問題についてお話します。 ...
MIDIからの自動採譜 ー リズム木とトークンによるリズム解析 ー
酒井 正彦（情報システム学専攻）
数年前、音楽情報処理の研究を始めた。ヤマハ音楽振興会の研究助成に採択されたのがことの始まりとも言える。 音楽情報処理といえば、いわゆるAI花盛りだ。 それまで項書換え系という、プログラムの ...
Model Counting Competition 2023よりProjected Weighted Model Counting 部門 第1位を受賞しました。(情報システム学専攻 橋本健二 助教)