博士（工学）, 信州大学

情報学基礎論, 情報学基礎理論

計算機システム, 計算機システム

情報ネットワーク, 情報ネットワーク

2009年
信州大学工学部 教授

2007年 - 2009年
信州大学大学院工学系研究科 准教授

2005年 - 2005年
カナダ・アルバータ州立大学　計算科学科　客員研究員

2003年 - 2003年
カナダ・アルバータ州立大学　計算科学科　客員研究員

2003年 - 2007年
信州大学大学院工学系研究科 助教授

2001年 - 2003年
信州大学工学部情報工学科 助教授

1998年 - 2001年
信州大学工学部情報工学科 助手

1994年 - 1998年
長野工業高等専門学校電子制御工学科 助手

2005年 - 2005年, カナダ・アルバータ州立大学　計算科学科　客員研究員

2003年 - 2003年, カナダ・アルバータ州立大学　計算科学科　客員研究員

1993年 - 1994年, 信州大学, 工学系研究科, システム開発工学専攻（中退）

1991年 - 1993年, 信州大学, 工学系研究科, 情報工学専攻（修了）

1991年, 信州大学, 工学部, 情報工学科（卒業）

2023年 - 2024年
検討委員, 長野市新技術等共同研究開発事業検討委員会

2021年 - 2023年
長野市立図書館協議会 委員

2018年 - 2024年
長野県本人確認情報保護審議会 委員

2014年 - 2022年
長野市個人情報保護審査会 審査委員

2008年
独立行政法人 新エネルギー・産業技術総合開発機構(NEDO) 技術委員（研究評価委員会）

2003年 - 2007年
長野県組込システムコンソーシアム運営委員会 研究会員

2000年 - 2004年
長野県開発テクノアドバイザー 委員

1997年 - 1999年
長野県上田浅間マルチメディアポリス開発機構 委員

2023年
精密エ学会技術賞, 精密エ学会技術賞
「フィゾー型機械式位相シフト干渉計による高開口数レンズの高精度測定技術の開発」 共同研究者 態谷俊樹、富田恵多（オリンパス株式会社） 日比野 謙一 （産業総合研究所） 和﨑克己（信州大学）

2023年
NaNA2023国際会議ベストペーパー賞（共著）
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation

2016年
情報処理学会, ESS2016（第6回 組込みシステム シンポジウム）優秀ポスター賞
三井雄太，張江洋次朗，和﨑克己 : 階層型ペトリネット設計・検証ツール：HiPS ; 組込みシステムシンポジウム2016（ESS2016）講演論文集, 情報処理学会, 96-97, 2016.【査読付】

2016年
情報処理学会, FIT奨励賞（第15回情報科学技術フォーラム）
和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016（第15回情報科学技術フォーラム）講演論文集, (J-036), 353-354, 2016.

2012年
電子情報通信学会信越支部, 電子情報通信学会信越支部ベストプラクティス賞

2012年
International Conference on Information Technology :New Generation 2012, ITNG2012国際会議　ベストポスター賞 (共著)
Sho NISHIDA, Katsumi WASAKI : Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+ ; Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, IEEE Computer Society Conference Proceedings, DOI 10.1109/ITNG.2012.63, 2012.

2007年
教育システム情報学会, 平成19年度　教育システム情報学会　論文賞 (共著)
國宗永佳，新村正明，和崎克己，不破　泰，師玉康成，中村八束 : 信州大学インターネット大学院の現状と評価 ; 教育システム情報学会誌，22，(4)，264-271，2005.

2001年
The Institute of Control, Automation, and Systems Engineers, Korea (ICASE), ICCAS2001国際会議　論文賞 (共著)

Posture Estimation for Bed Monitoring System Using RFID
Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI
Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023), 1671-1676, 2023年10月, 査読有り

Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education
Shizuka NAKAMURA, Katsumi WASAKI
IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology, 685, 21-26, 2023年10月, 査読有り

Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry
Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts, 43-44, 2023年09月, 査読有り

Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation
Hikofumi SUZUKI, Akiyoshi IWASA, Takumi UCHIYAMA, Katsumi WASAKI
Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023), 558-567, 2023年08月, 査読有り

Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering
Hikofumi SUZUKI, Katsumi WASAKI
Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023), 319-326, 2023年07月, 査読有り

Description of Restricted Object Reservation System using Specification and Description Language VDM++
Aoto MAKITA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 413-420, 2023年05月, 査読有り

Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS
Yuya CHIBA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 379-386, 2023年05月, 査読有り

Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams
Yu MANTA, Katsumi WASAKI
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 199-207, 2023年05月, 査読有り

Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI
Applied Sciences, 13(5335), 2023年04月, 査読有り

Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry
Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022), (OR-11-0125), 528-530, 2022年11月, 査読有り

Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry
Toshiki KUMAGAI, Kenichi HIBINO, Keita TOMITA, Katsumi WASAKI
Applied Optics, 61(30), 8926-8935, 2022年10月, 査読有り

An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022), LNAI 13467, 141-146, 2022年09月, 査読有り

Classification of Human Posture on Bed Using Machine Learning
Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI
Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022), 547-548, 2022年07月, 査読有り

Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method
Tomoki MIURA, Katsumi WASAKI
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 393-398, 2022年06月, 査読有り

Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver
Yuta YOSHIZAWA, Katsumi WASAKI
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 387-392, 2022年06月, 査読有り

The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education
Shizuka NAKAMURA, Katsumi WASAKI
Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022), 219-223, 2022年04月, 査読有り

Mizar数学ライブラリの定理検索を行うWebアプリケーション
Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022, 2022年03月, 査読有り

Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI
International Journal of Science and Engineering Investigations(IJSEI), 10(116), 45-50, 2021年09月, 査読有り

A Web Platform for Hosting the Mizar Mathematical Library
Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A, 2021年07月, 査読有り

A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
Kohei FUJIMORI, Katsumi WASAKI
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 255-263, 2021年07月, 査読有り

Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language
Katsumi WASAKI
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 313-321, 2021年07月, 査読有り

Synthetic aperture phase-shifting interferometry for high-numerical-aperture spherical surface measurement
Toshiki KUMAGAI, Yasunari NAGAIKE, Kenichi HIBINO, Katsumi WASAKI
Optical Engineering, 60(1), 0141011-1-0141011-13, 2021年01月, 査読有り

Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values
Yojiro HARIE, Katsumi WASAKI
Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230, 3, 570-580, 2020年08月, 査読有り

An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020), 39-44, 2020年07月, 査読有り

Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Katsumi WASAKI
Formalized Mathematics, 28(1), 65-77, 2020年04月, 査読有り

フローネット変換を用いたペトリネットの構造的活性・有界性解析手法
張江洋次朗，和﨑克己
電子情報通信学会 第32回 回路とシステムワークショップ（KWS32）論文集, (WIP-16), 278-283, 2019年08月, 査読有り

見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発
間所洋和，下井信浩，佐藤和人，中正和久，新村正明，和﨑克己
電子情報通信学会論文誌(D), J102-D(5), 411-422, 2019年05月, 査読有り

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI
Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018), 582-586, 2018年10月, 査読有り

HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI
Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), 686-690, 2017年10月, 査読有り

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH2017), 356-361, 2017年07月, 査読有り

A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
Yojiro HARIE, Katsumi WASAKI
Advances in Intelligent Systems and Computing, 558, 265-273, 2017年04月, 査読有り

Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI
Advances in Intelligent Systems and Computing, 558, 57-65, 2017年04月, 査読有り

Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016), 290-294, 2016年10月, 査読有り

A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness
Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA
Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016), 422-427, 2016年07月, 査読有り

Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 1006-1012, 2016年03月, 査読有り

Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
Bishnu Prasad GAUTAM, Katsumi WASAKI
IEEJ Transactions on Electrical and Electronic Engineering, 10(s1), S60-S68, 2015年04月, 査読有り

文書型マルウェアに対するエントロピーとエミュレーションを用いたシェルコード特定方法
岩本一樹, 和崎克己
情報処理学会論文誌, 56(3), 892-902, 2015年03月, 査読有り

A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation
Kazuki IWAMOTO, Katsumi WASAKI
Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015), (ST005), 7pages, 2015年01月, 査読有り

Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization)
Hiroyuki MATSUURA, Katsumi WASAKI
International Journal of Innovative Computing Information and Control, 10(5), 1601-1623, 2014年10月, 査読有り

Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon)
Hiroyuki MATSUURA, Katsumi WASAKI
International Journal of Innovative Computing Information and Control, 10(3), 1121-1133, 2014年06月, 査読有り

Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido
Bishnu Prasad GAUTAM, Katsumi WASAKI
Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014), 3, 1830-1837, 2014年04月, 査読有り

静的解析により抽出されたAPI推移に基づくマルウェアの分類
岩本一樹, 和崎克己
情報処理学会論文誌, 54(3), 1199-1210, 2013年, 査読有り

Content Development for Distance Education in Advanced University Mathematics Using Mizar
TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13), 321-326, 2013年, 査読有り

Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+
Sho NISHIDA, Katsumi WASAKI
Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, 2012年04月, 査読有り

Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties
Kazuto IDE, Katsumi WASAKI
Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012), 1, 195-200, 2012年, 査読有り

Malware Classification based on Extracted API Sequences using Static Analysis
Kazuki IWAMOTO, Katsumi WASAKI
Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012), 31-38, 2012年, 査読有り

Morphology for Image Processing, Part I
Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
Formalized Mathematics, 20(1), 61-63, 2012年, 査読有り

Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
Yutaka YAMADA, Katsumi WASAKI
Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011), 1, 139-144, 2011年08月, 査読有り

Development and Evaluation of a Long-range 300-m Leaky Coaxial Cable in the 2.4-GHz Band for IEEE 802.11 b/g Wireless Network Access
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
IEEJ Transactions on Electrical and Electronic Engineering, 6(1), 37-45, 2011年, 査読有り

Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching -
Keiichi TANAKA, Katsumi WASAKI
Proceedings of the 8th International Conference on Information Technology : New Generations (ITNG2011), 1, 1-6, 2011年, 査読有り

電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模エージェントベースシステムの開発と評価
田中敬一, 和崎克己
教育システム情報学会誌, 27(3), 267-279, 2010年, 査読有り

Development of a Simple Multiple-Position Identifying System with a Long Range Multiband Leaky Coaxial Cable for Rescue Operations in Tunnels or Passages in Underground Facilities
Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki
Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010), 1(WE3C-02), 163-166, 2010年, 査読有り

Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks
Keiichi TANAKA, Katsumi WASAKI
Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010), 1, 3191-3196, 2010年, 査読有り

Evaluation of a Dual-band Long Leaky Coaxial Cable in the 2.4 and 5 GHz Frequency Bands for Wireless Network Access
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009), 1(TU3C), 510-513, 2009年, 査読有り

Complex Integral
Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA
Formalized Mathematics, 17(4), 233-236, 2009年, 査読有り

Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits
Katsumi WASAKI
Mechanized Mathematics and Its Applications, 7(2), 17-25, 2008年, 査読有り

Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II
Katsumi WASAKI
Formalized Mathematics, 16(1), 73-80, 2008年, 査読有り

Stability of the 4-2 Binary Addition Circuit Cells. Part I
Katsumi WASAKI
Formalized Mathematics, 16(4), 385-395, 2008年, 査読有り

Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access
Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008), 1(TH1C), 687-690, 2008年, 査読有り

A Meta Hardware Description Language Melasy for Model-Checking Systems
Naoki IWASAKI, Katsumi WASAKI
Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008), 1(MC1), 273-278, 2008年, 査読有り

A Watermarking Scheme using Background Pattern to Protect Printed Documents
Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA
Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007), 1(151), 17-20, 2007年, 査読有り

A Case Study of Formal Verification for Multi-Level Pipeline Logic Circuit by Using Mizar Proof Checker
Katsumi WASAKI, Kenichi ARAI
Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007年, 査読有り

Riemann Indefinite Integral of Functions of Real Variable
Yasunari SHIDAMA, Noboru ENDOU，Katsumi WASAKI
Formalized Mathematics, 15(2), 59-63, 2007年, 査読有り

A Design Verification of the Parallel Pipelined ImageProcessing
Katsumi WASAKI, Toshiaki HARAI
Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I, 1(59), 1-4, 2007年, 査読有り

Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
Katsumi WASAKI, Toshiaki HARAI
Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007), 1(6), 1-7, 2007年, 査読有り

A Modeling and Formal Verification of Multi-layered Combined Circuits
Katsumi WASAKI
Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007), 1(6), 1-5, 2007年, 査読有り

Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA
The Journal of Information and Systems in Education, 5(1), 76-83, 2006年, 査読有り

A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), 1(151), 283-287, 2006年, 査読有り

ニューラルネットワークを用いた高分子材料のガラス転移温度(Tg)の予測と汎化能力について
近藤康彦, 和崎克己, 師玉康成
計算数理工学論文集, 5(05-062413), 73-78, 2005年, 査読有り

信州大学インターネット大学院の現状と評価
國宗永佳，新村正明，和崎克己，不破　泰，師玉康成，中村八束
教育システム情報学会誌, 22(4), 264-271, 2005年, 査読有り

Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps
Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA
The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005), 1(484-032), 29-34, 2005年, 査読有り

Display Scope Control System of e-Learning Courseware based on the Learning Progress
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
Proceedings of the IPSI-2005, 1, 1-5, 2005年, 査読有り

Generalized Full AdderCircuits (GFAs). Part I
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI
Formalized Mathematics, 13(4), 549-571, 2005年, 査読有り

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683(1), 1296-1302, 2005年, 査読有り

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005), 3, 1296-1302, 2005年, 査読有り

信州大学インターネット大学院の現状と将来計画
不破　泰，國宗永佳，新村正明，和崎克己，師玉康成，中村八束
メディア教育研究, 1(1), 11-18, 2004年, 査読有り

A Design Verification of an n-bit Adder Circuit Using a Proof Checker
Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA
Mechanized Mathematics and Its Applications, 3(1), 18-26, 2004年, 査読有り

Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA
Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 2004年, 査読有り

A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04), 11(WeM1.5), 61-66, 2004年, 査読有り

The Design Verification for the 3DES Encipher Chip based on an Extended Petri Net and XML/Java Executor
Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 8th International Conference on Control，Automation，Robotics and Vision (ICARCV2004), 11(WeM1.5), 1994-1999, 2004年, 査読有り

Full Subtracter Circuit. Part II
Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI
Formalized Mathematics, 11(3), 231-236, 2003年, 査読有り

信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
新村正明，不破　泰，和崎克己，師玉康成，中村八束，大下眞二郎
人工知能学会誌, 18(4), 426-432, 2003年, 査読有り

長距離無線LANと広域CATV通信網接続による山岳医療情報ネットワークの構築
中村正幸，楊　毓英，窪田昭真, 清水　洋, 三浦　裕, 和崎克己，師玉康成, 滝沢正臣
医学物理, 23(1), 30-39, 2003年, 査読有り

A High Reliability Design for NFS Server Software By using An Extended Petri Net
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003), 3(56), 498-502, 2003年, 査読有り

Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters
Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03), 1(FB6-1), 1636-1639, 2003年, 査読有り

Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 2003年, 査読有り

Shinshu University, Graduate School of Science and Technology on the Internet
Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA，Yatsuka NAKAMURA, Shinjiro OSHITA
Proceedings of the International Conference on Advance in Infrastructure for Electronic Business, Education, Science, Medicine and Mobile Technologies on the Internet (SSGRR-2003s), 1(56), 1-6, 2003年, 査読有り

Study on a Noise Reduction System of CATV Network Upstream for Data Communication
Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 12th International Conference on　Computer Communication and Networks (ICCCN2003), 12(30-3), 613-616, 2003年, 査読有り

Full Adder Circuit. Part II
Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI
Formalized Mathematics, 10(1), 65-71, 2002年, 査読有り

The Persistence ofthe Petri Net State-space
Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV’02), 1(TuA4.1), 69-72, 2002年, 査読有り

A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net
Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
Proceedings of the 7th International Conference on Control，Automation，Robotics and Vision (ICARCV'02), 1(TuA4.2), 73-77, 2002年, 査読有り

Property of Complex Functions
Takashi MITSUISHI，KatsumiWASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 179-184, 2001年, 査読有り

Property of Complex Sequence and Continuity of Complex Function
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 185-190, 2001年, 査読有り

Scalar Multiple of Riemann Definite Integral
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 191-196, 2001年, 査読有り

Darboux's Theorem
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(1), 197-200, 2001年, 査読有り

Integrability of Bounded Total Functions
Noboru ENDOU，Katsumi WASAKI, Yasunari SHIDAMA
Formalized Mathematics, 9(2), 271-274, 2001年, 査読有り

Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 281-284, 2001年, 査読有り

Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 285-289, 2001年, 査読有り

Basic Properties of Fuzzy Set Operation and Membership Function
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(2), 357-362, 2001年, 査読有り

Ensemble by Seven Musical Performance Robots
Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI
Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers, 13(1), 50-55, 2001年, 査読有り

The Correctness of the High Speed Array Multiplier Circuits
Hiroshi YAMAZAKI，Katsumi WASAKI
Formalized Mathematics, 9(3), 475-479, 2001年, 査読有り

Basic Properties of Extended Real Numbers
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 491-494, 2001年, 査読有り

Definitions and Basic Properties of Measurable Functions
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 495-500, 2001年, 査読有り

Some Properties of Extended Real Numbers Operations: absolute value, min and max
Noboru ENDOU，Katsumi WASAKI，YasunariSHIDAMA
Formalized Mathematics, 9(3), 511-516, 2001年, 査読有り

The Concept of Fuzzy Relation and Basic Properties of its Operation
Takashi MITSUISHI，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 517-524, 2001年, 査読有り

Measurability of Extended Real Valued Function
Noboru ENDOU，Katsumi WASAKI，Yasunari SHIDAMA
Formalized Mathematics, 9(3), 525-529, 2001年, 査読有り

コンカレントエンジニアリングを目指したロボット設計製作教育の試行
金田忠裕, 吉田丈夫, 大須賀公一, 師玉康成, 和崎克己
日本機械学会論文誌C編, 67(659), 268-273, 2001年, 査読有り

The House Keeping System of Automated Evaluation of Students’ Programming Reports
Hikofumi SUZUKI，Katsumi WASAKI，Tatsuo NAKAZAWA，Yasunari SHIDAMA
Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001), 1(S1-7), 1-2, 2001年, 査読有り

Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01), 1(I-7), 61-66, 2001年, 査読有り

Optimization of Fuzzy Feedback Control in L∞ Space
Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001), 1(P211), 896-899, 2001年, 査読有り

Integral manifold and H-infinity control in weak nonlinear systems
Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 2001年, 査読有り

An Optimization of Fuzzy Logic by using Genetic Algorithm
Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI
Mechanized Mathematics and Its Applications, 1(1), 39-45, 2000年, 査読有り

Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
Takashi MITSUISHI，Jun KAWABE, Katsumi WASAKI，Yasunari SHIDAMA
Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000年, 査読有り

A Set of Time Dependent Fuzzy Membership Functions and Its Compactness
Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 2000 American Control Conference (ACC2K), 2468-2471, 2000年, 査読有り

Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method
Takashi MITSUISHI，Katsumi WASAKI，Keiji OHKUBO，Jun KAWABE，Yasunari SHIDAMA
Proceedings of the 2000 American Control Conference (ACC2K), 1944-1948, 2000年, 査読有り

Decision-Making of Theme by Students in a Case Study and Its Results
Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI
Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000), 1(FM5.2), 301-304, 2000年, 査読有り

A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net
Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI
Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000), 1(FM5.2), 1-6, 2000年, 査読有り

A process design for the Network File System model based on the Logical Coloured Petri Net
Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
Proceedings of the 6th International Conference on Control，Automation，Robotics and Vision (ICARCV2000), 1(FM5.3), 1-6, 2000年, 査読有り

Mamdani fuzzy controller on NBV space
Yuguang YANG，Noboru ENDOU，Katsumi WASAKI，Keiji OHKUBO，Yasunari SHIDAMA
Proceedings of the 1999 American Control Conference (ACC99), 1(TA12), 1842-1845, 1999年, 査読有り

Existence of Optimal Fuzzy Rules in Fuzzy Control
Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic, 1(8), 77-86, 1999年, 査読有り

Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools
Tatsuo NAKAZAWA，Katsumi WASAKI，Michio SHIMIZU，Kazunori ITOH
Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99), 8(8), 251-252, 1999年, 査読有り

Center Manifold and H∞ Control in Weak Nonlinear Systems
Noboru ENDOU，Keiji OHKUBO，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 1, 73-78, 1999年, 査読有り

Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control
Takashi MITSUISHI，Jun KAWABE，Katsumi WASAKI，Pauline N. KAWAMOTO，Yasunari SHIDAMA
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 3, 51-55, 1999年, 査読有り

The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid
Hikofumi SUZUKI，Tatsuo NAKAZAWA，Katsumi WASAKI，Yasunari SHIDAMA
Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99), 33-35, 1999年, 査読有り

NBV空間のファジィ集合族のコンパクト性とファジィ制御への応用
楊　毓光，和崎克己，江口正義，師玉康成，木村盛茂
電子情報通信学会論文誌, J82-A(4), 523-529, 1999年, 査読有り

中心多様体と弱非線形系H∞制御
宮島啓一，和崎克己，鈴木彦文，江口正義，師玉康成
電子情報通信学会論文誌, J82-A(5), 637-648, 1999年, 査読有り

Full Subtracter Circuits. Part I
Katsumi WASAKI，Noboru ENDOU
Formalized Mathematics, 8(1), 77-81, 1999年, 査読有り

Correctness of Binary Counter Circuits
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 83-85, 1999年, 査読有り

Correctness of Johnson Counter Circuits
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 87-91, 1999年, 査読有り

Correctness of a Cyclic Redundancy Check Code Generator
Yuguang YANG，Katsumi WASAKI，Yasushi FUWA，Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 129-132, 1999年, 査読有り

Fuzzy Optimal Control in L^2 Space
Takashi MITSUISHI，Katsumi WASAKI，Jun KAWABE，Yasunari SHIDAMA
Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98), 8(2), 62-65, 1998年, 査読有り

An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net
Katsumi WASAKI，Issei TAGUCHI，Hajime EIZAWA，Takeshi NAKAO，Pauline N. KAWAMOTO
Proceedings of the 5th International Conference on Control，Automation，Robotics and Vision (ICARCV98), 1(TM4.6), 858-862, 1998年, 査読有り

画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
和崎克己，不破　泰，江口正義，中村八束
画像電子学会誌, 25(6), 734-742, 1997年, 査読有り

2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
Katsumi WASAKI，Pauline N. KAWAMOTO
Formalized Mathematics, 6(2), 189-197, 1997年, 査読有り

高専電子制御工学科における実験実習指導～システム技術者能力の育成を目指す総合実験実習の導入～
小野伸幸，和崎克己，岸　佐年，鈴木　宏，堀内富雄，坂口正雄
工学教育, 45(1), 21-25, 1997年, 査読有り

トークンを用いたパケット交換システム用バス調停方式
和崎克己，不破　泰，中村八束
電気学会電子・情報・システム部門誌（C分冊）, 117(12), 1782-1793, 1997年, 査読有り

Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model
Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
Proceedings of the 4th International Conference on Control，Automation，Robotics and Vision (ICARCV96), 2(TA-2-2), 708-713, 1996年, 査読有り

A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON
Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA
SYSTEMS AND COMPUTERS IN JAPAN, 25(8), 1-15, 1994年07月, 査読有り

セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
和崎克己，不破　泰，江口正義，中村八束
電子情報通信学会論文誌, J77-D-I(1), 41-52, 1994年, 査読有り

A Verification for Redundant Signed Digit Adder Circuits
Edited by Roman Matuszewski and Anna Zalewska
From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric, 10(23), 213-230, 2007年07月

高速ディジタル回路の論理的設計手法について
和崎克己
信州大学博士学位論文, 1997年03月

数理論理 (B3)
信州大学

情報システム実験II (B3)
信州大学

分散コンピューティング (B3)
信州大学

並列分散システム特論 (M)
信州大学

並列分散システム演習Ⅰ (M)
信州大学

並列分散システム演習Ⅱ (M)
信州大学

並列分散システム特別実験 (M)
信州大学

並列計算システム特論(D)
信州大学

IEEE

電子情報通信学会(IEICE)

電気学会(JIEE)

情報処理学会(IPSJ)

教育システム情報学会（JSiSE）

大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合
科学研究費補助金, 基盤研究(C)
2019年 - 2022年

高齢者見守りネットワークシステム
共同研究, 秋田県立大学
2018年 - 2024年

総務省SCOPE：地域ICT振興型研究開発「複合センサを用いた地域型独居高齢者生活モニタリングシステムの研究開発」フェーズI・II
受託研究, 総務省SCOPE
2015年 - 2017年

グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系（代表者）
科学研究費補助金, 基盤研究(C)
2011年 - 2013年

MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発（分担）
科学研究費補助金, 基盤研究(B)
2010年 - 2013年

関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法（代表者）
科学研究費補助金, 基盤研究(C)
2008年 - 2010年

アニメーション機能のある簡易オーサリングシステムの研究
共同研究, 浅間電子出版（株）
2008年 - 2008年

自学自習型e-Learningにおける学生サポートシステムの開発に関する研究（分担）
科学研究費補助金, 基盤研究(B)
2007年 - 2010年

総務省消防庁「消防防災科学技術研究推進制度」受託研究 GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発
受託研究, 総務省消防庁
2006年 - 2008年

文部科学省「海外先進教育研究実践支援プログラム」カナダ・アルバータ州立大学　計算科学科　（派遣研究員）取組テーマ「E-Learning教材の国際高度化実践」 整理番号：16-海-202
受託事業
2005年 - 2005年

文部科学省「現代的教育ニーズ取組プログラム（現代GP）」事業 分野(6)e-Learning「信州大発：学びのビッグバンプロジェクト」
科学研究費補助金, 現代GP
2004年 - 2006年

グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証（代表者）
科学研究費補助金, 若手研究(B)
2004年 - 2005年

信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究（分担）
科学研究費補助金, 基盤研究(B)
2003年 - 2006年

プルーフチェッカーを用いた超並列演算器の設計検証（代表者）
科学研究費補助金, 若手研究(B)
2001年 - 2002年

文部省・高等専門学校：教育先端設備費（先端的設備）「オーディオ・ビジュアル・インフォメーションシステム」（長野高専・分担）
受託事業
1998年 - 2000年

制御システムモデルの設計に適した論理カラーペトリネット（ICARCV96シンガポール）電気通信普及財団・海外渡航旅費
受託事業, 電気通信普及財団
1996年 - 1996年

文部省・高等専門学校：特定研究経費「逐次リアルタイム画像復号時の出力ゆらぎに関する研究」（長野高専・代表者）
受託事業
1995年 - 1995年

並列分散システムのモデル化と解析

非同期回路の数学モデルと形式検証

モデル検査系向けハードウェアコンパイラ

見守りシステム, 6489536, 特許権
和崎克己，新村正明，下井信浩

UFO長野共創塾 DS講座「データをエンジニアリングする重要性とデータマイニング・プロセスの流れ」
講師
長野市ものづくり支援センター（UFONagano）, 2023年07月29日

経産省 高等教育機関における共同講座創造支援事業
共同研究講座（シナノケンシ/ASPINA）, 2023年04月01日

ASPINA_DS講座「ビッグデータとデータエンジニアリング、機械学習概論I,II（3回シリーズ）」
講師
シナノケンシ/ASPINA, シナノケンシ/ASPINA本社, 2022年12月23日 - 2023年02月27日

北陸信越工学教育協会 事業企画委員
2021年 - 2022年

電子情報通信学会 代議員（信越支部）
2020年06月04日 - 2021年06月04日

電子情報通信学会 信越支部 庶務幹事
2018年 - 2020年

電子情報通信学会北海道支部学術講演会「高信頼性システム講演会」
稚内北星学園大学, 2016年08月04日

情報処理学会 会誌 デジタルプラクティス(DP)モニタ
2014年 - 2015年

電子情報通信学会 会誌編集委員 WG・A（地方）
2013年05月01日 - 2015年04月30日

検証モデリング手法講演会「形式手法と検証技術が創る高信頼性システムの世界」
講師
稚内北星学園大学, 2013年

電子情報通信学会 信州大学学生会顧問
2012年 - 2013年

電子情報通信学会 信越支部委員
2011年 - 2012年

長野県工業技術総合センター「平成18年度から20年度消防庁科学技術研究推進制度」における受託研究成果発表会
講師
長野県工業技術総合センター：長野県松本市, 2010年

ARECリレー講演会（第110回）「形式手法と検証技術が創る高信頼性システムの世界」（80名）
講師
浅間リサーチ・エクステンション・センター, 2010年

県組込システムコンソーシアム講演会「信州大学大学院高度ものづくり専門職コースについて」
SIP塩尻, 2007年

電子情報通信学会東北支部学術講演会「最近のインターネットセキュリティ技術について」
いわき明星大学, 2006年

University of Alberta, Department of Computer Science, Visiting Researcher
2005年 - 2005年

九州工業大学　e-Learning講演会「現代GP「信州大発“学び”のビッグバンプロジェクト」取組」
九州工業大学, 2005年

いわき明星大学　理工学セミナー「信州大学インターネット大学院について」
講師
いわき明星大学, 2004年

University of Alberta, Department of Computer Science, Research Associate
2003年 - 2003年

長野県情報技術試験場　知的制御研究会講演会「ディジタル信号処理とWavelet変換の基礎」
長野県情報技術試験場, 2002年

長野県情報技術試験場　アルプスハイランド現代制御研究会「現代制御理論の基礎とDSPプログラミング」
長野県情報技術試験場, 2002年

兵庫教育大学・学校教育研究センター　FDワークショップ「信州大学インターネット大学院構想について」
講師
兵庫教育大学・学校教育研究センター, 2002年

八光エンジニアリング　タイムリーHITセミナー講演会「ブロードバンド時代の情報通信技術とセキュリティ -コンピュータウィルスとクラッキング行為への対応について-」
講師
八光エンジニアリング, 2002年

情報処理学会 東海支部運営委員
2001年 - 2003年

長野県情報技術試験場　知的制御研究会講演会「並列画像処理技術の基礎」
長野県情報技術試験場, 2001年

長野県短期大学 非常勤講師
2000年 - 2005年

長野県情報技術試験場　知的制御研究会講演会「メカトロ実験で学ぶDCモータ制御の考え方と実践方法」
長野県情報技術試験場, 2000年

さかきテクノセンター公開講座「表計算ソフトウェア活用技術（Excel&Lotus1-2-3）」
さかきテクノセンター, 1996年

長野工業高等専門学校　先端技術公開講座「新しい生産システム制御の考え方と実践方法(Petri Nets)」
長野工業高等専門学校, 1996年

企画立案・運営等
Technical Symposium and General Assembly of Mizar JAPAN (2019-2020), Faculty of Engineering, Shinshu University, Nagano, Japan., 2018年12月27日 - 2020年12月27日

Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology（Qingdao, China）, 21th June, 2010, 30 audiences.
企画立案・運営等
Qingdao University of Science&Technology（Qingdao, China）, 2010年

信州大学高等教育システムセンター「情報技術などを活用した教育改善」意見交換会
企画立案・運営等
信州大学高等教育システムセンター, 2004年

高効率計算機システム構築技術, High Performance Computing (HPC) Systems

形式検証とモデルチェッキング技術, Formal Verification and Model Checking

2008年04月01日 - 2010年03月31日, 正副委員長, 4

2007年05月01日 - 2008年04月30日, 情報工学科委員, 11

2004年04月01日 - 2005年03月31日, 情報工学科委員, 11

2009年12月01日 - 2012年03月31日, 情報工学科委員, 4

2012年04月01日 - 2013年03月31日, 情報工学科委員, 4

2014年04月01日 - 2017年03月31日, 正副委員長, 12

2014年04月01日 - 2015年03月31日, 広報室員（副入試委員（広報））, 4

2022年09月01日 - 2023年03月31日, WGメンバー

2023年04月01日, DS講座担当

2022年03月01日, WG座長

2009年04月01日 - 2013年03月31日, 1年〜4年生

2012年11月01日 - 2013年10月31日, 就職担当

1998年04月01日 - 1999年03月31日, 成績処理システム担当

1998年04月01日 - 1999年03月31日, 情報工学科委員

2000年04月01日 - 2003年03月31日, 2年〜4年生

2002年04月01日 - 2003年03月31日, 情報工学科委員

2000年, 情報工学専攻

2003年, 情報工学科

2006年 - 2007年, 情報工学科委員

2017年 - 2018年, 委員長

2018年 - 2022年, 委員長

2021年 - 2022年, 委員

2000年04月01日 - 2003年03月31日, 地域共同研究センター（CRC）活動推進委員, 工学部委員

2000年 - 2003年, 地域共同研究センター（CRC）機器担当専門教官, ネットワーク管理

2004年 - 2007年, 文部科学省「現代的教育ニーズ取組プログラム（現代GP）」, 教材国際化担当

2006年 - 2007年, 大学院高度ものづくり専門職コース, 塩尻サテライト担当

2021年 - 2023年, 学術情報・図書館委員会委員, 工学部委員

2011年04月01日 - 2016年03月31日, CRC地域共同研究センター運営委員会, 工学部委員, 4

2011年04月01日 - 2014年03月31日, 産学官連携推進本部運営委員会（SILO）, 工学部委員, 11

2014年04月01日 - 2015年09月30日, エンジニアリング分野知的財産審査委員会, 工学部委員, 11

2014年04月01日 - 2015年03月31日, アドミッションセンター研究部門会議, 工学部委員, 6

2015年04月01日 - 2016年03月31日, アドミッションセンター広報部門会議, 工学部委員, 6

2016年04月01日 - 2017年03月31日, アドミッションセンター運営委員会, 工学部委員, 12

2011年04月01日 - 2014年03月31日, ナノテク・材料・IT分野知的財産審査委員会, 工学部委員, 11

2015年10月01日 - 2021年09月30日, エンジニアリング分野知的財産審査委員会, 委員長, 11

2021年10月01日, エンジニアリング分野知的財産審査委員会, 工学部委員, 11

2021年 - 2024年, 大学史資料センター運営委員会, 工学部委員

2022年04月01日 - 2025年03月31日, 数理データサイエンス・AI人材育成プログラム（大学推進プロジェクト R4-R6）, プロジェクト責任者

2020年09月01日 - 2022年03月23日, 全学改組WT・新学部検討WT, 工学部委員

2024年04月01日 - 2027年03月31日, 評議員

2021年04月01日 - 2024年03月31日, 信州大学附属図書館, 工学部図書館長

2023年04月01日 - 2026年03月31日, 工学部数理データサイエンス・AI教育研究センター, 副センター長

2012年04月01日 - 2014年03月31日, 工学部情報工学科 正副学科長, 正副学科長

2008年04月01日 - 2009年03月31日, 大学院博士課程講座主任, 数理情報システム学講座

2016年04月01日 - 2018年03月31日, 大学院博士課程部門長, 数理情報システム学部門

2021年04月01日 - 2024年03月31日, 学部長補佐（教育改革・改組担当）

2022年04月01日 - 2024年03月31日, 工学部電子情報システム工学科 正副学科長, 正副学科長