教員総覧 - 永山　忍 | 広島市立大学

（最終更新日 : 2024-03-14 20:05:52）

Visruth.jpg not found

ナガヤマ　シノブ Nagayama Shinobu
永山　忍

所属広島市立大学大学院情報科学研究科情報工学専攻

広島市立大学情報科学部情報工学科

職種教授

メールアドレス

教員審査
	大学院における研究指導担当資格有り

プロフィール
・平成12年　論理シミュレータの開発に従事・平成13年　決定グラフの最適化と応用に関する研究に従事・平成16年　数値計算回路の設計および合成法に関する研究に従事・平成22年　ディジタル波形信号合成器の開発とその設計自動化に関する研究に従事・平成22年　決定グラフを用いた多状態システムの解析法に関する研究に従事・平成24年　決定グラフを用いた正規表現マッチングに関する研究に従事・平成28年　車載ネットワークへの不正侵入防止システムの開発に関する研究に従事・平成31年　次世代車載ネットワークへの不正侵入を高速に検知する自己学習型システムの開発・令和5年　地方でのスマートファクトリー推進を目的とした良品・不良品の高速判定システムの開発

職歴
2004/10/01 ～ 2005/03/31	(財)北九州産業学術推進機構招聘研究員
2005/04/01 ～ 2008/03/31	広島市立大学情報科学部　情報工学科助手(助教)
2008/04/01 ～ 2010/03/31	広島市立大学大学院情報科学研究科情報工学専攻講師
2010/04/01 ～ 2016/03/31	広島市立大学大学院情報科学研究科情報工学専攻准教授
2016/04/01	広島市立大学大学院情報科学研究科情報工学専攻教授
全件表示（7件）

学歴
1996/04/01～2000/03/31	明治大学理工学部情報科学科卒業
2000/04/01～2002/03/31	明治大学理工学研究科基礎理工学専攻博士前期課程修了
2002/04/01～2004/09/30	九州工業大学情報工学研究科情報システム専攻博士後期課程修了
2004/09/30 (学位取得)	Ph.D in Computer Engineering
2004/09/30 (学位取得)	博士（情報工学）

資格・免許
2000/03/31	中学校教諭 1種免許状
2000/03/31	高等学校教諭 1種免許状
2002/03/31	中学校教諭専修免許状
2002/03/31	高等学校教諭専修免許状

教育・研究活動状況
スマートフォンから工場で働くロボット、自動車や航空機に至るまで、コンピュータ（計算機システム）は私たちの身の回りの様々なところで使われていますが、コンピュータは使う人の要望や用途に合わせて設計・開発することが求められ、用途ごとに様々な工夫がされています。用途や要望は時代とともに変化していきますので、時代の用途・要望に合った最も良いコンピュータとその作り方（設計・開発方法）を追求していくのが、私の教育研究分野です。 ICT の普及により、コンピュータは現代社会にとって無くてはならないものになっている一方で、それゆえにコンピュータシステムへの不正アクセス（コンピュータウィルス）がもたらす社会への影響（被害）も年々大きくなっています。このような社会的な背景を受け、近年は、不正アクセスを高速に検知するシステムの設計・開発について研究しています。不正アクセスを賢く見分け、日々巧妙化する手口に迅速かつ柔軟に対応できるシステムを開発することにより、安全で、なおかつ今よりも快適なデジタル化社会の実現を目指しています。

現在の専門分野
情報学基礎キーワード(論理シミュレータの開発、決定グラフの最適化、ソフトウェア合成、数値計算回路の合成法、計算機設計支援ツール、設計自動化ツール、多値決定グラフを用いた多状態システムの解析・診断法、決定グラフを用いた正規表現マッチング、インデックス生成関数の設計自動化ツールの開発、機械学習に基づくネットワーク侵入検知ハードウェアの開発、機械学習に基づく高速異常検知システムの開発)

研究テーマ
2023/04/01 2027/03/31	地方でのスマートファクトリー推進を目的とした良品・不良品の高速判定システムの開発
2019/04/01 2023/03/31	次世代車載ネットワークへの不正侵入を高速に検知する自己学習型システムの開発
2016/04/01 2019/03/31	車載ネットワークへの不正侵入防止システムの開発
2012/04/01 2016/03/31	決定グラフを用いた正規表現マッチング
2010/04/01 2016/03/31	ディジタル波形信号合成器の開発とその設計自動化
全件表示（9件）

共同・受託研究希望テーマ
スマートファクトリー推進を目的とした良品・不良品の高速判定システムの開発に関する研究
IoTを支える知的ネットワークセキュリティ技術に関する研究
数値計算の効率的なハードウェア実装法に関する研究

研究課題・受託研究・科研費
2006/04/01 ～ 2008/03/31	数値計算回路の自動合成および設計検証システムの開発に関する研究若手研究(B)
2006/04/01 ～ 2008/03/31	決定グラフを用いた初等関数の表現法とその応用に関する研究 * 一般研究
2006/04/01 ～ 2008/03/31	最適化問題の高速解法のためのリコンフィギャラブル専用エンジンに関する研究機関内共同研究基盤研究(C)一般
2008/04/01 ～ 2010/03/31	多変数数学関数回路の自動合成システムの開発に関する研究若手研究(B)
2008/04/01 ～ 2010/03/31	多変数数学関数と浮動小数点数学関数の決定グラフによる表現法に関する研究 * 一般研究
全件表示（35件）

著書・論文歴
論文	On Representation of Maximally Asymmetric Functions Based on Decision Diagrams Journal of Applied Logics 10 (6),1105-1130頁 (共著) 2023/12/01
論文	Feature Vectors Based on Wire Width and Distance for Lithography Hotspot Detection IPSJ Transactions on System LSI Design Methodology 16,2-11頁 (共著) 2023/02/01
論文	A Fast Method for Exactly Optimum Linear Decomposition of Index Generation Functions Journal of Multiple-Valued Logic and Soft Computing 38 (3-4),387-405頁 (共著) 2022/06/01
論文	An exact optimization method using ZDDs for linear decomposition of symmetric index generation functions International Federation of Computational Logic Journal of Logic and Their Applications 5 (9),1849-1866頁 (共著) 2018/12/01
論文	A balanced decision tree based heuristic for linear decomposition of index generation functions IEICE Transactions on Information and Systems E100-D (8),1583-1591頁 (共著) 2017/08/01
全件表示（193件）

学会発表
2023/05/22	Decomposition-Based Representation of Symmetric Multiple-Valued Functions (IEEE International Symposium on Multiple-Valued Logic)
2022/05/21	On Decision Diagrams for Maximally Asymmetric Functions (IEEE International Symposium on Multiple-Valued Logic)
2021/05/25	Improvement in the Quality of Solutions of a Heuristic Linear Decomposer for Index Generation Functions (IEEE International Symposium on Multiple-Valued Logic)
2020/11/11	On a Generation Method of Benchmark Maximally Asymmetric Functions (29th International Workshop on Post-Binary ULSI Systems)
2020/11/09	On Optimum Linear Decomposition of Symmetric Index Generation Functions (IEEE International Symposium on Multiple-Valued Logic)
全件表示（85件）

講師・講演
2015/02/20	高速かつ高信頼なネットワーク侵入検知システムの構成 (Southern Methodist University, Dallas, TX, USA)
2019/09/20	次世代自動車の開発を陰で支える情報科学技術
2019/04/12	良く似たデータを素早く探せ！ - 類似・近似データ探索の高速化について -
2018/09/21	次世代自動車の開発を陰で支える情報科学技術
2017/09/22	次世代自動車の開発を影で支える情報科学技術
全件表示（120件）

取得特許
2013/08/19	多状態システムの解析方法および解析装置（2013-161411）
2012/11/14	多状態システムの診断方法及び診断装置（2012-250017）

受賞学術賞
2024/03/21	広島市立大学 2023年度教員表彰（教育、大学運営及び地域・社会貢献に対して）
2021/03/24	2020年度教員表彰（教育に対して）
2020/03/25	2019年度教員表彰（大学運営と社会貢献に対して）
2020/03/25	2019年度特別教員表彰
2019/05/22	Outstanding Contributed Paper Award, 48th IEEE ISMVL
全件表示（34件）

使用する外国語(研究成果の発表に主に用いる外国語)
言語：英語

使用する外国語(論文の執筆に主に用いる外国語)
言語：英語

教育上の能力

●教育方法の実践例

2009/04/10 ～ 2009/07/10	板書と演習による旧方式授業の実践（論理回路）

●作成した教科書、教材

2014/11/01	Applications of Zero-Suppressed Decision Diagrams

所属学会
2008	ACM
2006	情報処理学会
2006	多値論理研究会
2002	IEEE
2002	電子情報通信学会

委員会・協会等
2024/01/07 ～ 2026/01/11	電子情報通信学会多値論理とその応用研究会座長
2023/04/25 ～ 2027/03/31	情報処理学会論文誌TSLDM　編集委員
2023/04/01 ～ 2024/03/31	沼田高等学校　学校協力者会議評価部会協力者会議評価部会委員
2023/03 ～ 2025/03	ASPDAC2025 Organizing Committee Member (Publication Chair)
2022/05/20 ～ 2023/05	53rd IEEE International Symposium on Multiple Valued Logic Publication Chair, Publicity Chair
全件表示（99件）

公開講座
2009/12	連続講義（クリスマス講座）講座種別：公開講座
2010/07	広島市立安佐北高校模擬授業講座種別：その他
2010/10	出張体験授業（祇園北高校）講座種別：その他
2010/11	出張体験授業（美鈴が丘高校）講座種別：その他
2011/06	出張体験授業（６月１６日広島新庄高校）講座種別：公開講座
全件表示（60件）

技術相談
2020/03/10	自律走行とCAN擾乱の教育向けロボットについて
2019/09/12	スマートファクトリーに向けたICT活用について