数理情報工学科には毎年世界中から沢山の来客がありますが，2017年11月18日（土）には日大二中の生徒さん80名が数理情報工学科を訪問され，3年生が数理情報工学演習（3年次の必修科目です）で開発しているソフトウェアを体験していただきました．今回体験していただいたのはいずれも子供たちの協調性向上を目的としたシリアスゲームで，体の動きの変化によって４人で音楽演奏を楽しむ「FloorPad」，二人でハイタッチをすることによって表示されるラインを使ってブロック崩しを楽しむ「Line H!tter」，仮想空間上で大縄跳びの練習をする「とびとび」を体験していただきました．この中から何人の生徒さんが将来数理情報工学科に入学し，今度は自分の後輩達に体験してもらうソフトウェアを開発することになるか，楽しみですね．

日大生産工学部では海外の多数の大学と協定を結び，交換留学制度等を実施しています．その中の一つが米国オハイオ州にあるKent State Univerisy(KSU)ですが，2017年11月10日（金）にKSUのESL所長他が数理情報工学科を訪問され，3,4年生の学生の研究風景を見学されました．見学先の研究室ではオランダのアムステルダム応用科学大学(HVA)から１名の学生が2017年9月から2018年2月までインターンシップ学生として日本人の学生と一緒に「数理情報工学演習II」の一環としてシリアスゲームを開発しており，海外からの留学生と日本人の学生とが英語によりソフトウェアを共同で開発している様子をご覧になり，数理情報工学科は国際性の面からとても良い教育環境だとお褒めの言葉をいただきました．交換留学とは相互に留学することですが，数理情報工学科の学生で米国またはオランダの大学への留学を希望される学生は，是非とも事務室までお問合せください，数理情報工学科には海外で学ぶための様々なチャンスが用意されています．

国際会議The 17th IEEE Workshop on RTL and High Level Testing (WRTLT2016)が2016年11月24～25日に日本・広島・安芸グランドホテルで開催され，数理情報工学専攻の大学院博士前期課程1年の佐藤護さん（細川研究室所属）の論文 "A Binding Method to Generate Easily Testable Functional Time Expansion Models“と，大学院博士前期課程1年の武田俊さん（細川研究室所属）の論文" A Design for Testability Method at RTL for Concurrent Operational Unit Testing "が採択され，発表しました．

佐藤さんの発表内容は，デジタル情報機器に搭載されているシステムLSI（大規模集積回路）の動作記述（C言語など）からテスト容易なレジスタ転送レベル回路(Verilog-HDLなど)を合成するアルゴリズムに関するものです．システムLSIは製造後にその品質を保証するためにテストを行う必要があります．ハードウェアの各要素は外部入力や外部出力に近いほうが，その際に使用する0と1の値で構成されるテストパターンの系列を容易に生成することができます．合成時にハードウェアの演算器の入力は外部入力から近い経路を、演算器の出力は外部出力に近い経路を生成するアルゴリズムを提案しました．実験では，このテスト容易化動作合成アルゴリズムを適用して生成された回路に存在する演算器の入出力はすべて外部入力と外部出力へレジスタ1個のみ介して到達できる経路を生成できたことを示しました．

続きを読む...

シリアスゲームとは，世の中の諸問題解決を目的として開発されたコンピュータゲームのこと．今年も日本デジタルゲーム学会の教育研究部会ではシリアスゲームジャムを開催しますが，今回の実行委員長は数理情報工学科の研究生粟飯原萌さんが行います．テーマ（世の中の諸問題）は「えいごでコミュニケーション～English Please～」．2020年に改訂となる文科省の教育指導要領で導入される小学校３年生からの英語学習の時間，これをターゲットとして，家庭における親子のコミュニケーション促進を目的としてシリアスゲームを，ゲーム制作やソフト開発に興味のある各国の学生やプロの皆さんが集い１２月１６日と１７日の２日間で制作します．どんな作品ができるか，楽しみですね！

続きを読む...