教員紹介：大島 聡史（おおしま さとし）
スーパーコンピュータなどの高性能な計算ハードウェアの活用なくして、現代の便利な生活もさらなる科学の発展もありえません。計算ハードウェアの性能を最大限に発揮するためにはそれに見合うソフトウェアが必要ですが、ハードウェアの特徴・特 ...
教員紹介：橋本 健二（はしもと けんじ）
形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...
教員紹介：吉田 則裕（よしだ のりひろ）
名古屋大学 大学院情報学研究科 附属組込みシステム研究センター 准教授
（情報システム学専攻 情報プラットフォーム論講座 所属）
個人ウェブサイト:
E-Mail: yoshida AT ert ...
ミニ特集： 「非機械学習AI –論理によるAI–」の趣旨と概要
日本ではAIといえば機械学習を思い浮かべることが多いかと思います。機械学習では人の知識を使わずに、データ から得られる情報のみにより知識の習得を行いますが、その一方でChatGPTのデータが不正確で当てにならない と話題になったりして ...
看護師の勤務表作成 ー解集合プログラミングの応用ー
番原 睦則（情報システム学専攻）
彼は某国立大学の准教授である．彼は古くからの友人であり，優秀なプログラマーである．彼は故あって，附属病院のDXプロジェクトに関わることになった．実は附属病院の看護部では超過勤務の削減が積年 ...
Rep-Tileパズルの解の総数はいくつ？ –論理式を用いた計数–
橋本 健二（情報システム学専攻）
Rep-Tileというパズルをみなさんご存知でしょうか？ いわゆるタイルの敷き詰めパズルなのですが、この記事ではそのRep-Tileを題材に敷き詰め方の総数を求める問題についてお話します。 ...
MIDIからの自動採譜 ー リズム木とトークンによるリズム解析 ー
酒井 正彦（情報システム学専攻）
数年前、音楽情報処理の研究を始めた。ヤマハ音楽振興会の研究助成に採択されたのがことの始まりとも言える。 音楽情報処理といえば、いわゆるAI花盛りだ。 それまで項書換え系という、プログラムの ...