English
広島市立大学 
情報科学研究科 
情報工学専攻 

顔写真 教授 
永山 忍 
ナガヤマ シノブ 
Nagayama Shinobu 

1977年生まれ  
Tel.082-830-1599  
Fax.082-830-1568  
 

プロフィール
・平成12年 論理シミュレータの開発に従事
・平成13年 決定グラフの最適化と応用に関する研究に従事
・平成16年 数値計算回路の設計および合成法に関する研究に従事
・平成22年 ディジタル波形信号合成器の開発とその設計自動化に関する研究に従事
・平成22年 決定グラフを用いた多状態システムの解析法に関する研究に従事
・平成24年 決定グラフを用いた正規表現マッチングに関する研究に従事
・平成28年 車載ネットワークへの不正侵入防止システムの開発に関する研究に従事 

経歴
(財)北九州産業学術推進機構  招聘研究員  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-現在 

学歴
明治大学  理工学部  情報科学科  2000/03/31  卒業 
明治大学  理工学研究科  基礎理工学専攻  博士前期  2002/03/31  修了 
九州工業大学  情報工学研究科  情報システム専攻  博士後期  2004/09/30  修了 

学位
博士(情報工学)  九州工業大学  2004/09/30 

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

研究分野
情報学基礎 

研究キーワード
論理シミュレータの開発 
決定グラフの最適化 
ソフトウェア合成 
数値計算回路の合成法 
計算機設計支援ツール 
設計自動化ツール 
多値決定グラフを用いた多状態システムの解析・診断法 
決定グラフを用いた正規表現マッチング 

共同・受託研究希望テーマ
IoTを支える知的ネットワークセキュリティ技術に関する研究  機器の安全性と利便性の両立を目指し、ネットワークから機器への不正アクセスを機械学習により識別する方法およびその効率的なハードウェア実装法について研究  産学連携等、民間を含む他機関等との共同研究を希望  技術相談,受託研究,共同研究 
数値計算の効率的なハードウェア実装法に関する研究  三角関数や対数関数などの数学関数から流体解析などで用いられる複雑な微分方程式に至るまでの様々な数値計算を、FPGAで高速かつコンパクトに実装する方法について研究  産学連携等、民間を含む他機関等との共同研究を希望  技術相談,受託研究,共同研究 
詳細表示...

研究費
科学研究費  数値計算回路の自動合成および設計検証システムの開発に関する研究  2006/04/01-2008/03/31  代表 
学内特定研究  決定グラフを用いた初等関数の表現法とその応用に関する研究  2006/04/01-2008/03/31  代表 
科学研究費  最適化問題の高速解法のためのリコンフィギャラブル専用エンジンに関する研究  2006/04/01-2008/03/31  分担  共同研究  学内共同研究 
科学研究費  多変数数学関数回路の自動合成システムの開発に関する研究  2008/04/01-2010/03/31  代表 
学内特定研究  多変数数学関数と浮動小数点数学関数の決定グラフによる表現法に関する研究  2008/04/01-2010/03/31  代表 
詳細表示...

著書
Fast Network Intrusion Detection Systems  第3.1章  Cambridge Scholars Publishing  2016/05/01  URL 
Applications of Zero-Suppressed Decision Diagrams  第4章  MORGAN & CLAYPOOL PUBLISHERS  2014/11/01  URL 
2010年度論文賞の受賞論文紹介:柔軟な専用回路の開発を目指して  13  一般社団法人 情報処理学会  2011/08/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  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 
研究論文(学術雑誌)  共著  多状態システムの高速な解析のための枝重みつきMDDの最適化について  永山 忍, 笹尾 勤, ジョン バトラー, ミッチェル ソーントン, セオドア マニカス  IEICE Transactions on Information and Systems  E97-D/ 9, 2234-2242  2014/09/01 
研究論文(学術雑誌)  共著  An Area Efficient Regular Expression Matching Engine Using Partial Reconfiguration for Quick Pattern Updating  若葉 陽一, 若林 真一, 永山 忍, 稲木 雅人  IPSJ Transactions on System LSI Design Methodology  7, 110-118  2014/08/04 
研究論文(学術雑誌)  共著  初等関数の区分的算術式と数値計算回路の設計への応用  永山 忍, 笹尾 勤, ジョン バトラー  Journal of Multiple-Valued Logic and Soft Computing  23/ 3-4, 293-313  2014/06/01 
詳細表示...

研究発表
口頭発表(一般)  インデックス生成関数の線形分解のためのZDDを用いた厳密最適化手法化  IEEE International Symposium on Multiple-Valued Logic  2018/05/17 
ポスター発表  An FPGA-based Nearest Neighbor Search Engine Using Distance-Based Hashing for High-Dimensional Data  Workshop on Synthesis And System Integration of Mixed Information technologies  2018/03/27 
口頭発表(一般)  インデックス生成関数の線形分解のための厳密最適化アルゴリズム  IEEE International Symposium on Multiple-Valued Logic  2017/05/23 
口頭発表(招待・特別)  Development of fast and reliable network intrusion detection systems underlying IoT  新世代ICTの羅針盤 - 通研共同プロジェクトからのメッセージ -  2017/02/23 
ポスター発表  An efficient FPGA implementation of Mahalanobis distance-based outlier detection for streaming data  IEEE International Conference on Field Programmable Technol-ogy  2016/12/09 
詳細表示...

知的財産権
特許  多状態システムの解析方法および解析装置  2012-25041  2012/02/08  2013-161411  2013/08/19 
特許  多状態システムの診断方法及び診断装置  2012-250017  2012/11/14 
詳細表示...

受賞
学業成績優秀賞  2000/03/31 
武田研究奨励賞  2001/12/04 
IEEE福岡支部学生研究奨励賞  2003/02/24 
Outstanding Contributed Paper Award, 34th IEEE ISMVL  2005/05/20 
平成18年度 システムLSI設計技術研究会 優秀論文賞  2006/07/12 
詳細表示...

担当授業科目
情報工学実験I 
LSI設計演習 
論理回路 
離散数学 
コンピュータシステム特論 
詳細表示...

教育実績
板書と演習による旧方式授業の実践(論理回路)  2009/04/10-2009/07/10  板書してノートを取らせるという旧来の授業スタイルを実践し, 授業アンケートで, 高評価を得ることができ, Teaching Excellence Awardの受賞に至った. 
詳細表示...

教科書・教材
Applications of Zero-Suppressed Decision Diagrams  2014/11/01  大学院向けの教科書 
詳細表示...

社会活動
第38回 IEEE多値論理国際会議, プログラム委員  2008/11-2009/05  論文の合否を判定しプログラムを作成する 
システムLSI設計技術研究会 運営委員  2008/04-2012/03  研究会活動の運営 
IEEE多値論理国際会議, Members-at-large  2008/05-2011/05  IEEE多値論理国際会議の運営 
第33回多値論理フォーラム開催担当幹事  2009/01-2010/09  多値論理フォーラムの開催・運営 
電気・情報関連学会中国支部第60回連合大会 特別講演・懇親会幹事  2009/05-2009/10  各代表幹事の補佐 
詳細表示...

所属学協会
ACM  2008-現在 
多値論理研究会  2006-現在 
情報処理学会  2006-現在 
IEEE  2002-現在 
電子情報通信学会  2002-現在 
詳細表示...

委員歴
第38回 IEEE多値論理国際会議  プログラム委員  2007/11-2008/05 
IEEEコンピュータソサイエティ多値論理専門委員会  広義委員  2008/05-2011/05 
電気・情報関連学会中国支部第60回連合大会  特別講演・懇親会幹事  2009/05-2009/10 
ASPDAC2010 学生フォーラム  ポスター選奨委員  2009/10-2010/02 
多値論理研究会  庶務担当幹事  2009/10-2011/09 
詳細表示...

公開講座
連続講義(クリスマス講座)  公開講座  2009/12-2009/12  くらしを支えるコンピュータ 
広島市立安佐北高校 模擬授業  その他  2010/07-2010/07  コンピュータ概論(くらしを支えるコンピュータ) 
出張体験授業(祇園北高校)  その他  2010/10-2010/11  一度は受けたみたい大学の情報科学 ~情報科学って何を学ぶんだろう?~ 
出張体験授業(美鈴が丘高校)  その他  2010/11-2011/02  一度は受けたみたい大学の情報科学 ~情報科学って何を学ぶんだろう?~ 
出張体験授業(6月16日広島新庄高校)  公開講座  2011/06-2011/06  一度は受けたみたい大学の情報科学 ~情報科学って何を学ぶんだろう?~ 
大学見学会(7月20日井口高校)  公開講座  2011/07-2011/07  一度は受けたみたい大学の情報科学 ~情報科学って何を学ぶんだろう?~ 
8月6日国泰寺高校科学クラブアシスタンス  公開講座  2011/08-2012/01  C・C++プログラミング実践講座 
大学見学会(11月30日祇園北高校)  公開講座  2011/11-2011/11  一度は受けたみたい大学の情報科学 ~情報科学って何を学ぶんだろう?~ 
出張体験授業(12月12日美鈴が丘高校)  その他  2011/12-2011/12  FPGAを用いた論理回路設計演習 
出張体験授業(12月15日井口高校)  公開講座  2011/12-2011/12  論理パズル演習 
1月7日国泰寺高校科学クラブアシスタンス  公開講座  2012/01-2012/01  C・C++プログラミング実践講座応用編 
出張体験授業(6月11日広島新庄高校)  その他  2012/06-2012/06  FPGAを用いたコンピュータ設計演習1 
出張体験授業(6月18日広島新庄高校)  その他  2012/06-2012/06  FPGAを用いたコンピュータ設計演習2 
8月4日広島国泰寺高校科学クラブアシスタンス  その他  2012/08-2012/08  プログラミング講座 
9月2日広島国泰寺高校科学クラブアシスタンス  その他  2012/09-2012/09  プログラミング集中講座 
12月16日広島国泰寺高校科学クラブアシスタンス  公開講座  2012/12-2012/12  プログラミング応用講座 ープログラムでロボットを動かそうー 
7月15日広島国泰寺高校科学クラブアシスタンス  その他  2013/07-2013/07  プログラミング集中講座 
広島県立賀茂高等学校 体験的職業研究活動  その他  2013/08-2013/08  広島市立大学の紹介 - 情報科学部では何を学ぶのか? - 
8月11日広島国泰寺高校科学クラブアシスタンス  その他  2013/08-2013/08  プログラミング集中講座 
9月1日広島国泰寺高校科学クラブアシスタンス  その他  2013/09-2013/09  プログラミング集中講座(上級編) 
出張体験授業(11月11日井口高校)  その他  2013/11-2013/11  研究の進め方・成果発表の仕方 
大学見学会(6月19日安芸南高校)  公開講座  2014/06-2014/06  広島市立大学の紹介「情報科学部で何が学べるのか?」 
6月22日広島国泰寺高校科学クラブアシスタンス  公開講座  2014/06-2014/06  プログラミング集中講座(初級編) 
7月26日広島国泰寺高校科学クラブアシスタンス  公開講座  2014/07-2014/07  プログラミング集中講座(中級・上級編) 
広島市立美鈴が丘高校 模擬授業  その他  2014/10-2014/10  広島市立大学の紹介   -情報科学部で何が学べるのか?- 
出張体験授業(11月12日祇園北高校)  その他  2014/11-2014/11  FPGAを用いた論理回路設計演習 
大学見学会(1月14日 沼田高校)  公開講座  2015/01-2015/01  情報工学実験の紹介 
安芸南高校模擬授業(安芸南大学)  公開講座  2015/03-2015/03  研究とは「情報科学について」 
4月17日広島国泰寺高校科学クラブアシスタンス  公開講座  2015/04-2015/04  情報科学講座(初級編) 
広島新庄高校 模擬授業  その他  2015/06-2015/06  情報科学概論   -情報科学部で何が学べるのか?- 
安田女子中学校 模擬授業  その他  2015/06-2015/06  プログラミング入門 
6月21日広島国泰寺高校科学クラブアシスタンス  公開講座  2015/06-2015/06  プログラミング集中講座(初級編) 
広島県立広高校 模擬授業  その他  2015/07-2015/07  広島市立大学の紹介   -情報科学部で何が学べるのか?- 
7月20日広島国泰寺高校科学クラブアシスタンス  公開講座  2015/07-2015/07  プログラミング集中講座(中級編) 
出張体験授業(12月18日美鈴が丘高校)  その他  2015/12-2015/12  論理パズル演習 
大学見学会(1月14日 沼田高校)  その他  2016/01-2016/01  情報工学実験の紹介 
安芸南高校模擬授業(安芸南大学)  公開講座  2016/03-2016/03  研究とは「情報科学について」 
安田女子高等学校 模擬授業  その他  2016/05-2016/05  情報活用術と情報科学について 
広島国泰寺高校科学クラブアシスタンス  公開講座  2016/05-2016/05  プログラミング集中講座(初級編) 
大学見学会(6月23日 安芸南高校)  その他  2016/06-2016/06  情報科学の紹介 
広島国泰寺高校科学クラブアシスタンス  公開講座  2016/09-2016/09  プログラミング集中講座(中級編) 
安田女子高等学校 模擬授業  その他  2016/11-2016/11  学問の入口(研究)について 
安芸南高校模擬授業(安芸南大学)  公開講座  2017/03-2017/03  研究とは「情報科学について」 
広島新庄高校模擬授業  公開講座  2017/05-2017/05  プログラミング入門 
安芸南高校模擬授業(安芸南大学)  公開講座  2017/06-2017/06  研究とは「情報科学について」 
広高校模擬授業  公開講座  2017/07-2017/07  研究とは「情報科学について」 
安田女子高校模擬授業  公開講座  2017/07-2017/07  研究とは「情報科学について」 
安古市高校模擬授業  公開講座  2017/07-2017/07  プログラミング入門 
沼田高校模擬授業  公開講座  2017/10-2017/10  情報科学概論 
連続講義(クリスマス講座)  公開講座  2017/12-2017/12  安全で快適なインターネットを影で支えるシステムについて 
詳細表示...