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

（最終更新日 : 2025-10-27 18:29:32）

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 2012/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件）

著書・論文歴
論文	A Proposal of Invariant Operations on Maximally Asymmetric Functions for Their Efficient Generation Journal of Multiple-Valued Logic and Soft Computing 45 (1-3),73-93頁 (共著) 2025/06/01
論文	Functional Decomposition of Symmetric Multiple-Valued Functions and Their Compact Representation in Decision Diagrams IEICE Transactions on Information and Systems E107-D (8),922-929頁 (共著) 2024/08/01
論文	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
全件表示（208件）

学会発表
2025/06/06	Representation of Rotation Symmetric Multiple-Valued Functions Using Decision Diagrams (IEEE International Symposium on Multiple-Valued Logic)
2024/05/29	A Proposal of Equivalence Classes in Maximally Asymmetric Functions and Their Application to Benchmark Generation (IEEE International Symposium on Multiple-Valued Logic)
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)
全件表示（87件）

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

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

受賞学術賞
2025/10/01	PMI Japan Forum 2025 The Best Academic Speaker of PMI Japan Forum 2025
2025/03/24	広島市立大学 2024年度教員表彰（教育、研究、大学運営及び地域・社会貢献に対して）
2024/03/21	広島市立大学 2023年度教員表彰（教育、大学運営及び地域・社会貢献に対して）
2021/03/24	2020年度教員表彰（教育に対して）
2020/03/25	2019年度教員表彰（大学運営と社会貢献に対して）
全件表示（36件）

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

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

教育上の能力

●教育方法の実践例

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

●作成した教科書、教材

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

社会における活動
2025/06/01 ～ 2026/06/30	第56回 IEEE多値論理国際会議, Publication & Publicity Co-Chair
2025/04/01 ～ 2026/03/31	沼田高校　学校協力者会議評価部会委員
2024/06/01 ～ 2025/06/30	第55回 IEEE多値論理国際会議, Program Chair
2024/04/01 ～ 2025/03/31	沼田高校　学校協力者会議評価部会委員
2024/01/01 ～ 2025/12/31	IEEE多値論理技術委員, セクレタリ/ウェブ担当
全件表示（6件）

所属学会
2023 ～	教育システム情報学会
2008 ～	ACM
2006 ～	情報処理学会
2006 ～	多値論理研究会
2002 ～	IEEE
全件表示（6件）

委員会・協会等
2024/01/01 ～ 2025/12/31	IEEE Computer Society, Technical Community on Multiple-Valued Logic Secretary/Web Editor
2024/06/01 ～ 2025/06/30	55th IEEE International Symposium on Multiple Valued Logic Program Chair
2024/01/07 ～ 2026/01/11	電子情報通信学会多値論理とその応用研究会座長
2023/04/25 ～ 2027/03/31	情報処理学会論文誌TSLDM　編集委員
2023/04/01 ～ 2024/03/31	沼田高等学校　学校協力者会議評価部会協力者会議評価部会委員
全件表示（101件）

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

技術相談
2024/12/17	地元リサイクル業者のDX推進について
2020/03/10	自律走行とCAN擾乱の教育向けロボットについて
2019/09/12	スマートファクトリーに向けたICT活用について