日本語
Hiroshima City University 
Graduate School of Information Sciences 
Dept. of Computer and Network Engineering 

顔写真 Professor 
Nagayama Shinobu 

Birth:1977  
Tel.082-830-1599  
Fax.082-830-1568  
 

Profile
1. Development of logic simulator
2. Optimization of Decision Diagram and its application
3. Synthesis method of numerical function generators
4. Design method of digital signal synthesizers
5. Analysis of multi-state systems with multi-state components using decision diagrams
6. Regular expression matching methods using decision diagrams 

Career
Kitakyushu Foundation for the Advancement of Industry, Science and Technology (FAIS)  Invited Researcher  2004/10/01-2005/03/31 
Hiroshima City University  Faculty of Information Sciences Dept. of Computer Engineering  Research Associate (Assistant Professor)  2005/04/01-2008/03/31 
Hiroshima City University  Graduate School of Information Sciences Dept. of Computer and Network Engineering  Lecturer  2008/04/01-2010/03/31 
Hiroshima City University  Graduate School of Information Sciences Dept. of Computer and Network Engineering  Associate Professor  2010/04/01-2016/03/31 
Hiroshima City University  Graduate School of Information Sciences Dept. of Computer and Network Engineering  Professor  2016/04/01-Present 

Academic background
Meiji University  Faculty of Science and Engineering  Dept. of Computer Science  2000/03/31  Graduated 
Meiji University  Graduate School, Division of Science and Engineering  基礎理工学専攻  Doctor prophase  2002/03/31  Completed 
Kyushu Institute of Technology  Graduate School, Division of Information Engineering  情報システム専攻  Doctor later  2004/09/30  Completed 

Academic degrees
Ph.D in Computer Engineering  Kyushu Institute of Technology  2004/09/30 

Licenses and qualifications
中学校教諭 1種免許状  2000/03/31 
高等学校教諭 1種免許状  2000/03/31 
中学校教諭 専修免許状  2002/03/31 
高等学校教諭 専修免許状  2002/03/31 

Research Areas
Fundamental Informatics 

Research keywords
Logic simulator 
Decision Diagram (DD) 
software synthesis 
numerical function generator 
Computer Aided Design (CAD) 
Design Automation (DA) 
analysis and diagnosis of multi-state systems using multiple-valued decision diagrams 
regular expression matching using decision diagrams 

Research Funds
Grant-in-Aid from Ministry of Education, Science, Sports, and Culture  Research on development of synthesis and verification systems for numerical function generators  2006/04/01-2008/03/31  Representative 
Grant of Hiroshima City University  Research on representations of elementry functions using decision diagrams and their applications  2006/04/01-2008/03/31  Representative 
Grant-in-Aid from Ministry of Education, Science, Sports, and Culture  最適化問題の高速解法のためのリコンフィギャラブル専用エンジンに関する研究  2006/04/01-2008/03/31  Assignment  Joint research  Joint research within university 
Grant-in-Aid from Ministry of Education, Science, Sports, and Culture  Research on development of synthesis system for multivariable numerical function generators  2008/04/01-2010/03/31  Representative 
Grant of Hiroshima City University  Research on graph-based representations of multiple-variable mathematical functions and floating-point mathematical functions  2008/04/01-2010/03/31  Representative 
View details...

Bibliography
Fast Network Intrusion Detection Systems  Chapter 3.1  Cambridge Scholars Publishing  2016/05/01  URL 
Applications of Zero-Suppressed Decision Diagrams  Chapter 4  MORGAN & CLAYPOOL PUBLISHERS  2014/11/01  URL 
Research for Development of Flexible Dedicated Circuits  13  一般社団法人 情報処理学会  2011/08/01 
View details...

Papers
Research paper (scientific journal)  Joint  A balanced decision tree based heuristic for linear decomposition of index generation functions  Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler  IEICE Transactions on Information and Systems  E100-D/ 8  2017/08/01 
Research paper (scientific journal)  Joint  On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State Systems  Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, and Theodore Manikas  IEICE Transactions on Information and Systems  E97-D/ 9, 2234-2242  2014/09/01 
Research paper (scientific journal)  Joint  An Area Efficient Regular Expression Matching Engine Using Partial Reconfiguration for Quick Pattern Updating  Yoichi Wakaba, Shin'ichi Wakabayashi, Shinobu Nagayama, Masato Inagi  IPSJ Transactions on System LSI Design Methodology  7, 110-118  2014/08/04 
Research paper (scientific journal)  Joint  Piecewise Arithmetic Expressions of Numeric Functions and Their Application to Design of Numeric Function Generators  Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler  Journal of Multiple-Valued Logic and Soft Computing  23/ 3-4, 293-313  2014/06/01 
Research paper (scientific journal)  Joint  Simple Hybrid Scaling-Free CORDIC Solution for FPGAs  Leonid Moroz, Shinobu Nagayama, Taras Mykytiv, Ihor Kirenko, Taras Boretskyy  International Journal of Reconfigurable Computing  2014, 4pages-  2014/04/25  10.1155/2014/615472 
View details...

Research presentations
Oral presentation(invited, special)  Development of fast and reliable network intrusion detection systems underlying IoT  Compass for Next-Gen ICT - Message from RIEC Nation-Wide Cooperative Research Projects -  2017/02/23 
Poster presentation  An efficient FPGA implementation of Mahalanobis distance-based outlier detection for streaming data  IEEE International Conference on Field Programmable Technol-ogy  2016/12/09 
Oral presentation(general)  An Efficient Heuristic for Linear Decomposition of Index Generation Functions  IEEE International Symposium on Multiple-Valued Logic  2016/05/18 
Oral presentation(general)  Edge Reduction for EVMDDs to Speed Up Analysis of Multi-State Systems  IEEE International Symposium on Multiple-Valued Logic  2015/05/20 
Public discourse, seminar, tutorial, course, lecture and others  Fast and Reliable Network Intrusion Detection Systems Architectures  Special Lecture at Dept. Computer Science & Engineering, Southern Methodist University  2015/02/20 
View details...

Intellectual property rights
Patent  Analysis Method and Analysis Machine for Multi-State Systems  2012-25041  2012/02/08  2013-161411  2013/08/19 
Patent  Diagnosis Method and Diagnosis Machine for Multi-State Systems  2012-250017  2012/11/14 
View details...

Prizes
学業成績優秀賞  2000/03/31 
The Takeda Techno-Entrepreneurship Award  2001/12/04 
Excellent Student Award of the IEEE Fukuoka Section  2003/02/24 
Outstanding Contributed Paper Award, 34th IEEE ISMVL  2005/05/20 
The excellent paper award in the SDLM workshop 2006.  2006/07/12 
View details...

Allotted class
情報工学実験I 
LSI設計演習 
論理回路 
離散数学 
コンピュータシステム特論 
View details...

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

Textbooks and teaching materials
Applications of Zero-Suppressed Decision Diagrams  2014/11/01  大学院向けの教科書 
View details...

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

Memberships of academic societies
ACM  2008-Present 
Japan Research Group of Multiple-Valued Logic  2006-Present 
IPS  2006-Present 
IEEE  2002-Present 
IEICE  2002-Present 
View details...

Committee Career
38th IEEE International Symposium on Multiple-Valued Logic 2008  Program Committee  2007/11-2008/05 
IEEE Computer Society, Technical Committee on Multiple-Valued Logic  Members-at-large  2008/05-2011/05 
Student Forum at ASPDAC2010  Poster Selection Committee  2009/10-2010/02 
19th International Workshop on Post-Binary ULSI Systems  Workshop Co-Chair  2010/05-2010/05 
IEEE Computer Sociery, Technical Committee on Multiple-Valued Logic  Bulletin/Web Editor  2010/05-2011/05 
View details...

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