日本大学生産工学部 数理情報工学科 新着情報
Mathematical Information Engineering News
北米ゲーミング＆シミュレーション学会(NASAGA)主催の国際会議NASAGA2020が今年はオンラインで開催され，10月24日(土)の午前8時から（日本時間では同日21:30)から大学院生川上智君がBig Data Display Method and Marketing Business Game (MBG) Prototypeというタイトルで試作したマーケティングビジネスゲーム(MBG)について１時間半で発表しました．発表はMBAのデモンストレーションを中心に行い，古市先生と川上智君とがそれぞれ自宅から参加しながら１本のゲームをプレイする形式で行いました．なお，NASAGAへの参加は今回初めてでしたが，教育現場で使うゲームの開発手法や開発事例が多数発表され，今後日本からも多くの教育者が参加すると良いと感じました．
国際会議The 26th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS2020)が2020年7月13～15日にイタリア・ナポリで開催予定でしたが，COVID-19の感染拡大の影響で バーチャルカンファレンスとしてオンラインでの開催になりました．大学院博士前期課程２年の池ヶ谷祐輝さん（細川研究室所属）の論文" A Test Sensitization State Compaction Method on Controller Augmentation"が採択され，発表しました．
池ヶ谷さんの発表内容は，テスト活性化状態の圧縮に関するものです．前回インド・コルカタで開催されたWRTLT2019で発表したテスト活性化状態を有効状態上に圧縮する手法と無効状態間で圧縮する手法を拡大させて，評価結果を充実させました．
国際会議20th IEEE The Workshop on RTL and High Level Testing (WRTLT2019)が2019年12月13～14日にインド・コルカタ・The LaLiT Great Eastern Kolkataで開催され，数理情報工学専攻の大学院博士前期課程２年の三澤健一郎さん（細川研究室所属）の論文"A Don’t Care Identification-Filling Co-Optimization Method for Low Capture Power Testing Using Partial MaxSAT "が採択され，大学院博士前期課程1年の池ヶ谷祐輝さん（細川研究室所属）の論文" A Compaction Method of Test Sensitization States on Controller Augmentation "が採択され，発表しました．
国際会議32nd IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT2019)が2019年10月2～4日にオランダ・ノールトウェイク（ESA-ESTEC）／デルフト（Delft University of Technology）で開催され，数理情報工学専攻の大学院博士前期課程２年の竹内勇希さん（細川研究室所属）の論文"A State Assignment Method to Improve Transition Fault Coverage for Controllers"がポスタセッションで採択され，発表しました．
宮崎市で開催された国際会議JSST2019において，数理情報工学専攻の大学院博士前期課程1年の花岡佑哉さん（伊東研究室所属）の論文 "Shape Modelling of Plateau Borders of Metal Foam by Implicit Surface"と，学部4年の八木友也さん（伊東研究室所属）の論文 "Implicit Function Generated by Piecewise Polynomial and Radial Basis Function"が採択され，11/6(水)に口頭発表してきました．花岡さんは，近年注目されている「発泡金属」の形状モデリング法について研究しており，今回は「オープンセル」という状態のモデリング手法を提案しました．また，八木さんは，CGやシミュレーションなどに応用される陰関数について研究しており，高速かつメモリ使用量を抑えた陰関数生成法を提案しました．花岡さんは2年連続での国際会議発表となっただけでなく，発表が高く評価され，昨年に引き続き特集号へのフルペーパー投稿の推薦をいただきました．現在，フルペーパーの投稿に向けて執筆中です．
国際会議25th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS2019)が2019年7月1～3日にギリシャ・ロドス島・Hotel Rodos Palaceで開催され，数理情報工学専攻の大学院博士前期課程２年の石山悠太さん（細川研究室所属）の論文 " A Design for Testability Method for k-Cycle Capture Test Generation” がポスターセッションで採択され，大学院博士前期課程２年の竹内勇希さん（細川研究室所属）の論文" A Controller Augmentation Method to Improve Transition Fault Coverage for RTL Data-Paths"がオーラルセッションで採択され，発表しました．
国際会議DiGRA 2019 KYOTOが京都立命館大学で2019年8月6日(火)〜10日(土)に開催され，世界35カ国から400名を超えるゲームの研究者が集まり，シリアスゲームやゲーミフィケーション等ゲームの力を世の中の問題解決に応用する方法や，ゲームの芸術表現，eSports等ゲームの観戦と人との関係，知的所有系や法整備等，10のトラックに分かれて250の研究発表を行いました．参加者の中には女性研究者が非常に多く，また博士後期課程在学中の学生が多く，海外にはゲームで学位を取得する学生が多いのに比べて，日本ではゲームを学ぶ学生の多くが大学院へは進学しないという国の違いが大きく出たように思います．そのような事情の中，数理情報工学科の学生と教員はこの学会で次のような大きな役目を果たし，世界におけるデジタルゲーム研究における日本大学の存在感を大きくアピールできました．
- Nadia Groenewald (ユトレヒト芸術大学からの交換留学生 (2018年2月〜7月)) : DiGRA 2019のロゴ，ポスター等メインビジュアル全般のデザインを担当
国際会議The 19th IEEE Workshop on RTL and High Level Testing (WRTLT2018)が2018年10月18～19日に中国・合肥・Westin Hotel Baohe Hefeiで開催され，数理情報工学専攻の大学院博士前期課程1年の石山悠太さん（細川研究室所属）の論文 " A Controller Augmentation Method for k-cycle Capture Test Generation Using Partial Scan Designs” と，大学院博士前期課程1年の竹内勇希さん（細川研究室所属）の論文" A Design for Testability Method to Improve Transition Fault Coverage Using Controller Augmentation at Register Transfer Level"が採択され，発表しました．
石山さんの発表内容は，デジタル情報機器に搭載されているシステムLSI（大規模集積回路）のテスト容易化設計に関するものです．具体的にはコントローラと呼ばれる状態遷移機械でモデル化されたハードウェア中のレジスタを可制御・可観測にし，さらにデータパスの中の演算器などのハードウェア要素がkサイクル間で容易にテストできるように，コントローラの無効状態と呼ばれる空間にテスト可能な制御信号を出力するコントローラ拡大という手法を提案しました。この研究内容は株式会社ソシオネクスト社（富士通とパナソニックのLSI設計部門が母体となって設立された会社）との共同研究によるものです．
竹内さんの発表内容は，システムLSIの遷移故障と呼ばれるタイミング欠陥をモデル化した故障の検出率を向上させるためのテスト容易化設計に関するものです．具体的には，コントローラから生成される制御信号で検出不能なデータパス中のマルチプレクサやレジスタの故障をテストできるように，コントローラ拡大手法を提案しました．その結果，データパス中の遷移故障検出率を3.7%向上させることができました．
2019年4月2日，数理情報工学科にはアムステルダム応用科学大学(HvA)から４名の先生方が来られました．HvAからは2015年以降スティーブン，マーチン，ナオミ，ダニエルの４人の学生がそれぞれ5ヶ月間留学生として滞在し，日本人の学生とチームを組んでソフトウェアの開発を行いました．しかし，まだ数理情報工学科の学生がHvAへ留学するケースは希望者がいないため実現しておらず，今回の訪問は将来のそのような可能性について相談するためでした．米国への留学も魅力的ですが，HvAでは英語によるPBL型のプログラムが用意されており，数理情報工学科で３年生が各研究室で実施する「数理情報工学演習」と似た形式で，オランダをはじめとする周辺諸国からの学生と一緒にソフトウェアを開発することができます．興味のある学生は，数理情報工学科の古市先生までお問い合わせください．
2017年12月15日(金)14:40-15:30 日本大学生産工学部39号館505教室でイリノイ大学アーバナ・シャンペン校iSchool (School of Information Science，情報科学研究科)の高澤有以子先生が「学びとコミュニケーション」というタイトルで特別講演をされます．あらゆる分野における学びとコミュニケーションの関係について，米国におけるフィールドワークの成果も交えてわかりやすくお話ししてくださいますので，数理情報工学を学ぶ大学院生・学部生はもちろんのこと，全学科及び専攻の学部生，大学院生及び教職員の皆さんの参加をお待ちしております．
事前申し込み不要，無料，学外の方もご参加いただけます
- 日時：2017年12月15日(金)14:40-15:30
- 場所：日本大学生産工学部39号館505教室
- 講師：イリノイ大学 iSchool 高澤有以子先生 (日本大学の校友(*日本大学生物資源学部卒業)です）
- 演題：学びとコミュニケーション ～技術と情報と人，マイクロコズミックアプローチ～
- 対象：大学院生，学部生，教員，職員，一般（学外の方も歓迎）
事前申し込み不要，無料，学外の方もご参加いただけます
日大生産工学部では海外の多数の大学と協定を結び，交換留学制度等を実施しています．その中の一つが米国オハイオ州にあるKent State Univerisy(KSU)ですが，2017年11月10日（金）にKSUのESL所長他が数理情報工学科を訪問され，3,4年生の学生の研究風景を見学されました．見学先の研究室ではオランダのアムステルダム応用科学大学(HVA)から１名の学生が2017年9月から2018年2月までインターンシップ学生として日本人の学生と一緒に「数理情報工学演習II」の一環としてシリアスゲームを開発しており，海外からの留学生と日本人の学生とが英語によりソフトウェアを共同で開発している様子をご覧になり，数理情報工学科は国際性の面からとても良い教育環境だとお褒めの言葉をいただきました．交換留学とは相互に留学することですが，数理情報工学科の学生で米国またはオランダの大学への留学を希望される学生は，是非とも事務室までお問合せください，数理情報工学科には海外で学ぶための様々なチャンスが用意されています．
