博士（工学）, 信州大学

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

情報通信, 計算機システム , 計算機システム

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

2009年 - 現在
信州大学工学部 教授

2007年 - 2009年
信州大学大学院工学系研究科 准教授 （配置換え）

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

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

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

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

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

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

1997年 - 1997年, 信州大学, 論文博士 学位授与, 博士（工学）乙 第54号

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

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

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

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

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

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

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年度 教育システム情報学会 論文賞 (共著)
日本
國宗永佳;新村正明;和崎克己;不破 泰;師玉康成;中村八束;信州大学インターネット大学院の現状と評価;教育システム情報学会誌
平成19年度 教育システム情報学会 論文賞 (共著)

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

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
Yojiro Harie; Yuto Ogata; Bishnu Prasad Gautam; Katsumi Wasaki
2024 Twelfth International Symposium on Computing and Networking (CANDAR), 30-38, 2024年11月, 査読有り

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 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月, 査読有り

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 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月, 査読有り

Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
Yojiro Harie; Bishnu Gautam; Katsumi Wasaki
Applied Sciences, 13(9), 5335-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月, 査読有り

構造の健全モニタリングのためのIoT開発
Kenta Sawada; Kazuhisa Nakasho; Katsumi Wasaki; Nobuhiro Shimoi
IEEE International Conference on Consumer Electronics - Taiwan（ICCE-TW 2022）, 519-520, 2022年07月, 査読有り

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月, 査読有り

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月, 査読有り

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月, 査読有り

An Integrated Web Platform for the Mizar Mathematical Library.
Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki
CoRR, abs/2210.02336, 2022年

Classification of Human Posture on Bed Using Machine Learning.
Kenta Sawada; Kazuhisa Nakasho; Katsumi Wasaki; Nobuhiro Shimoi
ICCE-TW, 547-548, 2022年, 査読有り

An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki
Lecture Notes in Computer Science, abs/2210.02336, 141-146, 2022年, 査読有り

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月, 査読有り

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-13-0141011-13, 2021年01月, 査読有り

Fogging Jyaguchi Services in Tensai Gothalo.
Bishnu Prasad Gautam; Amit Batajoo; Katsumi Wasaki
CoRR, abs/2106.07866, 2021年, 査読有り

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values
Yojiro Harie; Katsumi Wasaki
Advances in Intelligent Systems and Computing, 3, 570-580, 2020年08月, 査読有り

An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
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月, 査読有り, 招待無し

フローネット変換を用いたペトリネットの構造的活性・有界性解析手法
張江 洋次朗; 和﨑 克己
回路とシステムワークショップ論文集 Workshop on Circuits and Systems, 32(WIP-16), 278-283, 2019年08月, 査読有り

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

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

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
Batajoo Amit; Yojiro Harie; Katsumi Wasaki
2018 IEEE 7th Global Conference on Consumer Electronics (GCCE), 582-586, 2018年10月, 査読有り, 招待無し

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, 2018年, 査読有り, 招待無し

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, 2018年, 査読有り, 招待無し

HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool
Yojiro Harie; Yuta Mitsui; Kouhei Fujimori; Amit Batajoo; Katsumi Wasaki
2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, 2017-January, 1-5, 2017年12月, 査読有り, 招待無し

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, 356-361, 2017年07月, 査読有り, 招待無し

A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation.
Katsumi Wasaki; Masaaki Niimura; Nobuhiro Shimoi
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications(SIMULTECH), 386-391, 2017年, 査読有り

高齢者見守りネットワークに用いる宅内センサ・エージェントの機能と設計
和崎 克己; 新村 正明; 下井 信浩
生活生命支援医療福祉工学系学会連合大会講演要旨集, 2016, 562-565, 2016年09月

枕センサとピエゾ荷重センサを用いたベッドモニタリング
下井 信浩; 間所 洋和; 中正 和久; 和崎 克己
生活生命支援医療福祉工学系学会連合大会講演要旨集, 2016, 574-577, 2016年09月

Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster
Bishnu Prasad Gautam; Amit Batajoo; Katsumi Wasaki; Suresh Shrestha; Sato Kazuhiko
IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016-May, 1006-1012, 2016年, 査読有り, 招待無し

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 2016 International Conference on Networking and Network Applications NaNA 2016, 423-428, 2016年, 査読有り, 招待無し

Formal Verification of Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Tool: HiPS
Yojiro Harie; Katsumi Wasaki
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 290-294-5, 2016年, 査読有り, 招待無し

Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai, Hokkaido
Bishnu Prasad Gautam; Katsumi Wasaki
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 10(s1), S60-S68, 2015年10月, 査読有り, 招待無し

文書型マルウェアに対するエントロピーとエミュレーションを用いたシェルコード特定方法
岩本 一樹; 和﨑 克己
情報処理学会論文誌, 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
2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, 3, 1829-+, 2014年, 査読有り, 招待無し

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

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年, 査読有り, 招待無し

多層アーキテクチャーを利用したSOAベースキャンパス管理マネージメントシステム:キャンパスSIA
PRASAD GAUTAM Bishnu; PRASAD GAUTAM Bishnu; WASAKI Katsumi
情報処理学会シンポジウムシリーズ(CD-ROM), 2012(4), 219-226, 2012年10月, 査読有り, 招待無し

Expression of quantum bayes' form and its calculations
Hiroyuki Matsuura; Katsumi Wasaki
ICIC Express Letters, 6(6), 1653-1657, 2012年06月

Morphology for image processing. Part i
Hiroshi Yamazaki; Czesław Byliński; Katsumi Wasaki
Formalized Mathematics, 20(1), 61-63, 2012年01月, 査読有り, 招待無し

An integrated design and verification environment handling the transformation from upstream design to the model checking process
Miyamoto, N.; Wasaki, K.
International Journal of Advancements in Computing Technology, 4(14), 2012年

Efficient Algorithm for Liveness/Safeness Analysis of Free-Choice Nets in A Petri Net Tool: HiPS
Kazuto Ide; Katsumi Wasaki
2012 6TH INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION SCIENCE, SERVICE SCIENCE AND DATA MINING (ISSDM2012), 179-184, 2012年, 査読有り

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
Asian Internet Engineeering Conference, AINTEC 2012, 31-38, 2012年, 査読有り, 招待無し

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, ITNG 2012, 827-830, 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年01月, 査読有り, 招待無し

Automatic generation of SPIN model checking code from UML activity diagrams
Yamada, Y.; Wasaki, K.
International Journal of Advancements in Computing Technology, 3(8), 2011年

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
2010 ASIA-PACIFIC MICROWAVE CONFERENCE, 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年, 査読有り, 招待無し

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

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 - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, 1, 1-6, 2010年, 査読有り, 招待無し

Quantum circuits, lots, interference and basis of neuro-computations
Hiroyuki Matsuura; Masahiro Nakano; Katsumi Wasaki
ICIC Express Letters, 3(1), 7-14, 2009年03月

Overview of Graduate School of Science and Technology on the Internet, Shinshu University and Its Evaluation
Hisayoshi Kunimune; Masaaki Niimura; Katsumi Wasaki; Yasushi Fuwa; Yasunari Shidama; Yatsuka Nakamura
The Journal of Information and Systems in Education, 7(1), 112-120, 2009年03月, 査読有り, 招待無し

Complex integral
Masahiko Yamazaki; Hiroshi Yamazaki; Yasunari Shidama; Katsumi Wasaki
Formalized Mathematics, 17(4), 233-236, 2009年01月, 査読有り, 招待無し

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
RWS: 2009 IEEE RADIO AND WIRELESS SYMPOSIUM, 1(TU3C), 483-+, 2009年, 査読有り, 招待無し

A Design Verification of the Parallel Pipelined Image Processings
Katsumi Wasaki; Toshiaki Harai
INTERNATIONAL ELECTRONIC CONFERENCE ON COMPUTER SCIENCE, 1060(59), 200-203, 2008年, 査読有り, 招待無し

A meta hardware description language Melasy for model-checking systems
Naoki Iwasaki; Katsumi Wasaki
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 1(MC1), 273-+, 2008年, 査読有り, 招待無し

Development of a 300 m 2.4 GHz frequency band leaky coaxial cable for wireless network access
Masayuki Nakamura; Hideaki Takagi; Kiyoshi Einaga; Toshiyuki Nishikawa; Naoshi Moriyama; Katsumi Wasaki
2008 IEEE RADIO AND WIRELESS SYMPOSIUM, VOLS 1 AND 2, 1(TH1C), 687-+, 2008年, 査読有り, 招待無し

Stability of the 4-2 binary addition circuit cells. Part i
Katsumi Wasaki
Formalized Mathematics, 16(4), 377-387, 2008年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

Controller design and verification for a pipeline image processor based on an extended Petri net
Katsumi Wasaki; Toshiaki Harai; Tamotsu Hayashi; Kenichi Arai
DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 1(6), 257-260, 2007年, 査読有り, 招待無し

A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
Katsumi Wasaki; Ken-ichi Arai
Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007年, 査読有り, 招待無し

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年, 査読有り, 招待無し

Riemann indefinite integral of functions of real variable
Yasunari Shidama; Noboru Endou; Katsumi Wasaki
Formalized Mathematics, 15(2), 59-63, 2007年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

Generalized Full Adder Circuits (GFA)
和崎 克己; 下井 信浩
Part I ; Formalized Mathematics Vol.13, No.4, 125-134, 2005年

The learning system of Shinshu University Graduate School of Science and Technology on the Internet
H Kunimune; M Niimura; K Wasaki; Y Fuwa; Y Shidama; Y Nakamura
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
H Kunimune; M Niimura; K Wasaki; Y Fuwa; Y Shidama; Y Nakamura
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683, 1296-1302, 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), 1-5, 2005年, 査読有り, 招待無し

Experimental telemedicine network with the long-range wireless LAN and CATV for mountain climbers in the Japanese Alps
Masayuki Nakamura; Yuying Yang; Shoshin Kubota; Katsumi Wasaki; Yasunari Shidama; Kenichi Kasahara; Saburo Saito; Yutaka Miura; Masaomi Takizawa; Sumio Murase
Proceedings of the IASTED International Conference on TELEHEALTH, 1(484-032), 29-34, 2005年, 査読有り, 招待無し

信州大学インターネット大学院の現状と評価
國宗 永佳; 新村 正明; 和崎 克己
教育システム情報学会誌 = Transactions of Japanese Society for Information and Systems in Education, 22(4), 264-271, 2005年, 査読有り, 招待無し

Generalized Full Adder Circuits (GFAs). Part I
Shin'nosuke Yamaguchi; Katsumi Wasaki; Nobuhiro Shimoi
FORMALIZED MATHEMATICS, 13(4), 549-571, 2005年, 査読有り, 招待無し

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

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor
S Yamaguchi; A Nishino; K Wasaki; Y Shidama
2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 11(WeM1.5), 1994-1999, 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年, 査読有り, 招待無し

Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
Akira NISHINO; Noboru KASADA; Katsumi WASAKI; A; Yasunari SHIDAMA
Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 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年, 査読有り, 招待無し

信州大学インターネット大学院の現状と将来計画 (特集 学部教育、大学院教育へのe-Learningの実践--単位認定e-Learningと教育改革)
不破 泰; 國宗 永佳; 新村 正明
メディア教育研究, 1(1), 11-18, 2004年, 査読有り, 招待無し

A remote sensing method of ground mines using time difference IR images
Katsumi Wasaki; Nobuhiro Shimoi; Yoshihiro Takita
Inverse Problems in Engineering Mechanics IV, 261-270, 2003年11月

信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
新村 正明; 不破 泰; 和崎 克己; 師玉 康成; 中村 八束; 大下 眞二郎; Masaaki Niimura; Yasushi Fuwa; Katsumi Wasaki; Yasunari Shidama; Yatsuka Nakamura; Shinjiro Oshita; Department of Information Engineering Faculty of Engineering Shinshu University; Information Engineering Course Graduate School of Science and Technology Shinshu University; Information Engineering Course Graduate School of Science and Technology Shinshu University; Department of Information Engineering Faculty of Engineering Shinshu University; Department of Information Engineering Faculty of Engineering Shinshu University; Department of Electrical and Electronic Engineering Faculty of Engineering Shinshu University
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 18(4), 426-432, 2003年07月, 査読有り, 招待無し

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

Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
YAMAGUCHI Shin'nosuke
First International Workshop on Automated Technology for Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 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年, 査読有り, 招待無し

Study on a noise reduction system of CATV network upstream for data communication
M Nakamura; YY Yang; K Wasaki; Y Shidama
ICCCN 2003: 12TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 12(30-3), 613-616, 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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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

信州大学インターネット大学院計画について
不破 泰; 師玉 康成; 和崎 克己; 中村 八束
教育システム情報学会誌 = Transactions of Japanese Society for Information and Systems in Education, 19(2), 112-117, 2002年04月, 招待無し

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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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

コンカレントエンジニアリングを目指したロボット設計製作教育
金田 忠裕; 吉田 丈夫; 大須賀 公一; 師玉 康成; 和崎 克巳
日本機械学会論文集. C編, 67(659), 2366-2371, 2001年07月, 査読有り, 招待無し

ロボット製作を通したグループ学習の分析
金田忠裕; よし谷安正; 吉田丈夫; 藤沢正一郎; 和崎克巳; 師玉康成
日本教育工学会論文誌, 25(1), 27-37, 2001年06月, 招待無し

大阪府立高専システム制御工学科における福祉技術に関する研究
金田 忠裕; 藤澤 正一郎; 西 高志; 土井 智晴; 梅本 敏孝; 里中 直樹; 吉田 丈夫; 廣口 和夫; 師玉 康成; 和崎 克巳
高等専門学校の教育と研究 : 日本高専学会誌, 6(1), 51-56, 2001年01月, 査読有り, 招待無し

時間に依存するファジィ集合族を用いた最適制御に関する一考察 (函数解析学の応用としての情報数理の研究)
遠藤 登; 河邊 淳; 和崎 克己; 師玉 康成
数理解析研究所講究録, 1186(1186), 216-222, 2001年01月, 招待無し

A smart sensing method for mine detection using time difference IR images
Katsumi Wasaki; Nobuhiro Shimoi; Yoshihiro Takita; Pauline N. Kawamoto
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 133-140, 2001年

Smart sensing for mine detection studies with IR cameras.
Nobuhiro Shimoi; Yoshihiro Takita; Kenzo Nonami; Katsumi Wasaki
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Integrating Intelligent Machines with Humans for a Better Tomorrow(CIRA), 356-361, 2001年

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

工学教育におけるロボットコンテストの意義「論説」
金田忠裕; 土井智晴; 梅本敏孝; 杉浦公彦; 吉田丈夫; 大須賀公一; 師玉康成; 和崎克己
工学教育, 49(2), 29-32, 2001年, 査読有り, 招待無し

Integral manifold and H-infinity control in weak nonlinear systems
K Miyajima; K Wasaki; H Suzuki; Y Shidama; M Eguchi
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 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年, 査読有り, 招待無し

Automatic HDL generation for a DES codec for an encrypted NFS server based on an extended Petri net
S Yamaguchi; K Wasaki; Y Shidama; PN Kawamoto
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 1(I-7), 61-66, 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年, 査読有り, 招待無し

Measurability of Extended Real Valued Function
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(3), 525-529, 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年, 査読有り, 招待無し

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

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

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

The Correctness of the High Speed Array Multiplier Circuits
YAMAZAKI H.
Formalized Mathematics, 9(3), 475-479, 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年, 査読有り, 招待無し

Basic Properties of Fuzzy Set Operation and Membership Function
Takashi MITSUISHI; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(2), 357-362, 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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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

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

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

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

Property of Complex Functions
Takashi MITSUISHI; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(1), 179-184, 2001年, 査読有り, 招待無し

Team-Teachingによるロボット製作の実践
金田 忠裕; 吉田 丈夫; 葭谷 安正; 土井 智晴; 里中 直樹; 藤沢 正一郎; 師玉 康成; 和崎 克巳
日本教育工学雑誌, 24, 69-72, 2000年08月, 査読有り, 招待無し

A process design for the Network File System model based on the Logical Coloured Petri Net
YAMAGUCHI S.
Sixth International Conference on Control, Automation, Robotics and Vision (ICARCV'2000) Decenber, 1(FM5.3), 1-6, 2000年, 査読有り, 招待無し

A Rapd HDL Generation for A pipelined DES Enchiher Circuit by using the Logical Coloured Petri Net
WASAKI K.
Sixth International Conference on Control, Automation, Robotics and Vision (ICARCV'2000) Decenber, 1(FM5.2), 1-6, 2000年, 査読有り, 招待無し

Decision-making of the theme by students in a case study and its results
T Kaneda; Y Kinugawa; Y Yoshitani; T Nishi; K Hiroguchi; T Yoshida; Y Shidama; K Wasaki
IEEE RO-MAN 2000: 9TH IEEE INTERNATIONAL WORKSHOP ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION, PROCEEDINGS, 1(FM5.2), 301-304, 2000年, 査読有り, 招待無し

Fuzzy optimal control using simple inference method and function type inference method
T Mitsuishi; K Wasaki; K Ohkubo; J Kawabe; Y Shidama
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1944-1948, 2000年, 査読有り, 招待無し

A set of time dependent fuzzy membership functions and its compactness
N Endou; K Wasaki; K Ohkubo; P Kawamoto; Y Shidama
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2468-2471, 2000年, 査読有り, 招待無し

Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
MITSUISHI T.
Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000年, 査読有り, 招待無し

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年, 査読有り, 招待無し

中心多様体と弱非線形系H^∞制御
宮島 啓一; 和崎 克己; 鈴木 彦文; 師玉 康成; 江口 正義
電子情報通信学会論文誌. A, 基礎・境界, 82(5), 637-648, 1999年05月, 査読有り, 招待無し

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

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), 1(FM5.2), 33-35, 1999年, 査読有り, 招待無し

Membership functions in L² space and its applications to fuzzy optimal control
Takashi Mitsuishi; Jun Kawabe; Katsumi Wasaki; Pauline Kawamoto; Yasunari Shidama
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 3(2), 51-55, 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(1), 73-78, 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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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年, 査読有り, 招待無し

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

Correctness of Johnson Counter Circuits
YANG Y; WASAKI K
Formalized Mathematics, 11(1), 87-91, 1999年, 査読有り, 招待無し

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

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

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年, 査読有り, 招待無し

Fuzzy optimal control in L^2 space
MITSUISHI T.
Proc. of 7th IFAC Symposium Artificial Intelligence in Real-Time Control, 1998, 8(2), 173-177, 1998年, 査読有り, 招待無し

高専電子制御工学科における実験実習指導
小野 伸幸; 和崎 克己; 鈴木 宏; 堀内 富雄; 岸 佐年; 坂口 正雄
工学教育, 45(1), 21-25, 1997年01月, 査読有り, 招待無し

トークンを用いたパケット交換システム用バス調停方式
和崎 克己; 不破 泰; 中村 八束
電気学会論文誌. C, 117(12), 1782-1793, 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年, 査読有り, 招待無し

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

A self‐recovering communication buffer based on the concept of cellular automaton
Wasaki, K.; Fuwa, Y.; Nakamura, Y.; Eguchi, M.
Systems and Computers in Japan, 25(8), 1-15, 1994年07月, 査読有り

セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
和崎 克巳; 不破 泰; 江口 正義; 中村 八束
電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ = The transactions of the Institute of Electronics, Information and Communication Engineers, 77(1), 41-52, 1994年01月, 査読有り, 招待無し

GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発（第3報）
高木秀昭; 窪田昭真; 寺島潤一; 宮下純一; 中村正幸; 西川敏行; 守山直志; 小池幸永; 山辺常広; 水谷功明; 角田正幸; 内川富彦; 黒田善夫; 島崎健司; 中川泰孝; 岩﨑直木; 桑島芳朗; 和﨑克己
長野県工業技術センター研究報告, 4(E9-E14), 2009年04月
最終著者

GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発
高木 秀昭; 和崎 克己; 小池 幸永
三菱電線工業時報, (105), 6-10, 2008年10月

工学教育としてのロボットコンテストの意義
金田 忠裕; 土井 智晴; 梅本 敏孝; 杉浦 公彦; 吉田 丈夫; 大須賀 公一; 師玉 康成; 和崎 克巳
工学教育, 49(2), 36-39, 2001年03月31日

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

LC-Petri Net expanded to be suitable for making FMS model
Wasaki Katsumi; Fuwa Yasushi; Eguchi Masayoshi; NAKAMURA Yatsuka
長野工業高等専門学校紀要, (31), 49-54, 1997年

逐次リアルタイム復合処理が可能な2値画像圧縮法
和崎 克己; 不破 泰; 江口 正義; 中村 八束
長野工業高等専門学校紀要, (31), 41-48, 1997年

小中学生を対象とした「メカトロニクスと物造り体験実習」
坂口 正雄; 芳賀 武; 岸 佐年; 森山 実; 服部 忍; 鈴木 宏; 中島 隆行; 小野 伸幸; 堀内 富雄; 和崎 克己; 加藤 正幸; 中澤 達夫
長野工業高等専門学校紀要, (31), 159-164, 1997年

パケット処理装置に適したト-クン方式バス調停法と性能解析
和崎 克己; 不破 泰; 中村 八束; 清水 英夫
長野工業高等専門学校紀要, (30), 63-74, 1996年

制御システムのモデル化に適するように拡張した論理カラ-ペトリネット
和崎 克己; 不破 泰; 江口 正義; 中村 八束
長野工業高等専門学校紀要, 2(29), 17-25, 1995年, 査読有り

“From Insight to Proof”, Series of Studies in Logic, Grammar and Rhetoric
Edited by Roman Matuszewski and Anna Zalewska, 分担執筆, A Verification for Redundant Signed Digit Adder Circuits
University of Bialystok, Poland, 213-230 2007年07月, 査読有り
ISBN:9788374311281

拡張被覆木CRTsに基づく非有界ペトリネットのサイクリック性の部分検知
太田真生; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, 2024年09月, 情報処理学会, 招待無し,

分散相互排除アルゴリズムにおける冗長化管理プロセスを用いた適応型フェイルオーバー
橋爪由道; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, 2024年09月, 情報処理学会, 招待無し,

ドメイン駆動設計を用いたリファクタリングにおけるレイヤードアーキテクチャの拡張と準形式的表現
上原宗大; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, 2024年09月, 情報処理学会, 招待無し,

ドメイン駆動設計における制約条件記述を含むドメインモデルの生成AI援用リファインメント
水野 駆; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, 2024年09月, 情報処理学会, 招待無し,

ブロックチェーン・アカウントに紐づいた Verifiable Credentials の枠組みと証明書可視化
石坂 匠; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, 2024年09月, 情報処理学会, 招待無し,

分散相互排除アルゴリズムの参加ノードに対する故障モデルと故障検知の一手法
橋爪由道; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, 2024年03月, 情報処理学会, 招待無し,

拡張被覆木CRTsを用いた非有界ペトリネットのデッドロック性の判定と表現
太田真生; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, 2024年03月, 情報処理学会, 招待無し,

ドメイン駆動設計における制約条件記述を含むドメインモデルの準形式化手法の提案
水野 駆; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, 2024年03月, 情報処理学会, 招待無し,

生成型AIによるスクリプトと発話を用いた日本語発話学習授業の実践実例
中村しづか; 和﨑克己
教育システム情報学会 2023年度第3回研究会 研究報告, 2023年09月, 教育システム情報学会, 招待無し

PROMELA自動コード生成を目的とした複数のUML図による分散アルゴリズムの記述方法
萬田 悠; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

仕様記述言語VDM++に出力結果を考慮したファジィ集合を作成する手法と推論の提案
牧田蒼斗; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

モデル規範型形式手法VDM++による組織の整合性・制約条件に対する記述と検証手法
水野 駆; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

分散相互排除アルゴリズムの仕様記述言語LNTによるモデル化と検証
橋爪由道; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

一般ペトリネットにおける有界プレースに対する最大トークン数の判定法
太田真生; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

2次元シストリックアレイ並列計算モデルの記述とモデル検査器を用いた振る舞い検証
千葉悠矢; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, 2023年09月, 情報処理学会, 招待無し

一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知
芳澤, 祐大; 和﨑, 克己
第84回全国大会講演論文集, 2022年02月,

ペトリネット構造解析によるホーム状態存在性の判定
三浦, 朋己; 和﨑, 克己
第84回全国大会講演論文集, 2022年02月,

サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析
渡貫, 正也; 張江, 洋次朗; 和﨑, 克己
第82回全国大会講演論文集, 2020年02月,

ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装
南 史弥; 張江 洋次朗; 和﨑 克己
第82回全国大会講演論文集, 2020年02月,

自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査
畑瀬 尚之; 和﨑 克己
第82回全国大会講演論文集, 2020年02月,

マークグラフ被覆可能な構造に対する閉路フロー演算を用いたペトリネットの構造的活性・有界性解析 (回路とシステム)
張江 洋次朗; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2019年07月, 電子情報通信学会,

閉路フロー行列変換によるペトリネットの安定部分ネットの検知 (回路とシステム)
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2018年11月, 電子情報通信学会,

一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 (回路とシステム)
藤森 浩平; 張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2018年11月, 電子情報通信学会,

高齢者見守りネットワークのための宅内センサデータ処理手法の設計と実装
新村正明; 中正和久; 和崎克己; 下井信浩
情報処理学会研究報告(Web), 2017年

ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 (回路とシステム)
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2016年11月, 電子情報通信学会,

ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査
張江 洋次朗; 和崎 克己
第78回全国大会講演論文集, 2016年03月,

線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 (ソフトウェアサイエンス)
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2016年01月, 電子情報通信学会,

高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装:総務省SCOPE地域ICT振興型研究開発
和崎克己; 新村正明; 下井信浩
情報科学技術フォーラム講演論文集, 2016年

Design and Deployment of Obstacle Avoidance Functionalities in Tensai Gothalo (ITS)
GAUTAM BISHNU PRASAD; SHARMA NARAYAN; WASAKI KATSUMI
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年08月, 電子情報通信学会,

A-014 ペトリネット状態空間生成器への高効率ハッシュマップの適用(A分野:モデル・アルゴリズム・プログラミング,一般論文)
古市 隼汰; 和崎 克己
情報科学技術フォーラム講演論文集, 2015年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

A-015 ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器(A分野:モデル・アルゴリズム・プログラミング,一般論文)
張江 洋次朗; 和崎 克己
情報科学技術フォーラム講演論文集, 2015年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

B-004 VDM++分散モデル実行環境を用いたプロトタイピングと非同期UIへの適用(B分野:ソフトウェア,一般論文)
多田 圭佑; 和崎 克己
情報科学技術フォーラム講演論文集, 2015年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

携帯型Tensai 天才Gothalo:可動冗長装置を介したネットワークアベイラビリティ,生存可能性,および御しやすさの強化
GAUTAMA Bishnu Prasad; GAUTAMA Bishnu Prasad; WASAKI Katsumi; SHARMA Narayan
電子情報通信学会技術研究報告, 2015年

B-018 VDMJとApacheAxis2を用いた上流工程におけるモデル実行環境の構築(B分野:ソフトウェア,一般論文)
村林 慧; 多田 圭佑; 和崎 克己
情報科学技術フォーラム講演論文集, 2014年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

B-019 UML-PROMELA変換器を用いたZigBeeIP/RPLプロトコルにおけるノード探索仕様の検証(B分野:ソフトウェア,一般論文)
後藤 亮馬; 和崎 克己
情報科学技術フォーラム講演論文集, 2014年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

制御フローの比較による疑わしいAndroidアプリを絞り込む方法の提案
岩本 一樹; 西田 雅太; 和﨑 克己
研究報告コンピュータセキュリティ（CSEC）, 2013年12月, 一般社団法人情報処理学会,

A-015 ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム(A分野:モデル・アルゴリズム・プログラミング,一般論文)
太田 淳也; 和崎 克己
情報科学技術フォーラム講演論文集, 2013年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

A-016 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装(A分野:モデル・アルゴリズム・プログラミング,一般論文)
井出 和人; 和崎 克己
情報科学技術フォーラム講演論文集, 2013年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

B-021 タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査(B分野:ソフトウェア,一般論文)
坂本 統; 後藤 亮馬; 和崎 克己
情報科学技術フォーラム講演論文集, 2013年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

コード解析を伴わないAndroidマルウェア検出方法の検証 (技術と社会・倫理)
岩本 一樹; 西田 雅太; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2013年07月, 一般社団法人電子情報通信学会,

コード解析を伴わないAndroidマルウェア検出方法の検証
岩本 一樹; 西田 雅太; 和﨑 克己
研究報告セキュリティ心理学とトラスト（SPT）, 2013年07月,

コード解析を伴わないAndroidマルウェア検出方法の検証
岩本 一樹; 西田 雅太; 和﨑 克己
研究報告コンピュータセキュリティ（CSEC）, 2013年07月,

調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証
後藤亮馬; 和崎克己
研究報告ソフトウェア工学（SE）, 2013年07月, 一般社団法人情報処理学会,

コード解析を伴わないAndroidマルウェア検出方法の検証—Evaluation of Android Malware Detection Method without Code Analysis—マルチメディア情報ハイディング・エンリッチメント
岩本 一樹; 西田 雅太; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2013年07月, 一般社団法人電子情報通信学会,

制御フロー解析により生成されたグラフ比較によるAndroidマルウェア検出方法の提案 (情報通信マネジメント)
岩本 一樹; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2013年05月, 一般社団法人電子情報通信学会,

制御フロー解析により生成されたグラフ比較によるAndroidマルウェア検出方法の提案
岩本 一樹; 和﨑 克己
研究報告コンピュータセキュリティ（CSEC）, 2013年05月,

B-028 UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング(テスト・検証・解析,B分野:ソフトウェア)
小林 一平; 和崎 克己
情報科学技術フォーラム講演論文集, 2012年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)
小林 巧; 山田 豊; 和崎 克己
情報科学技術フォーラム講演論文集, 2012年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
西田 翔; 魚住 有記歌; 和崎 克己
情報科学技術フォーラム講演論文集, 2012年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

RA-003 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装(数理モデル(2),A分野:モデル・アルゴリズム・プログラミング)
井出 和人; 和崎 克己
情報科学技術フォーラム講演論文集, 2012年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用
山田 豊; 和﨑 克己
研究報告ソフトウェア工学（SE）, 2012年05月,

UMLアクティビティ図からSPINモデル検査用コードの自動生成における並列処理拡張とAjaxアプリケーション設計への適用
山田 豊; 和﨑 克己
研究報告組込みシステム（EMB）, 2012年05月,

Model of Polariton, Quantum Neuron, Its Network & Quantum Information (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (International Organized Session「Alan Turing Year Special Session on AI Research That Can Change The World」)
Matsuura HIROYUKI; Wasaki KATSUMI
人工知能学会全国大会論文集, 2012年, 人工知能学会,

神経細胞の軸索伝導の量子論モデル（ポラリトンの役割）
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012年, 一般社団法人 人工知能学会,

神経伝導の量子モデルとその干渉，量子ベイズ統計，量子ニューラルネット
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012年, 一般社団法人 人工知能学会,

神経伝導の量子モデルとその干渉,量子ベイズ統計 量子ニューラルネット (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (近未来チャレンジセッション「NFC-6(卒業セッション)認知予防回復支援サービスの開発と忘却の科学」)
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012年, 人工知能学会,

神経細胞の軸索伝導の量子論モデル(ポラリトンの役割) (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-21 脳科学とAI」)
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012年, 人工知能学会,

上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法
宮本 直樹; 和崎 克己
電子情報通信学会技術研究報告. SWIM, ソフトウェアインタプライズモデリング, 2011年11月, 一般社団法人電子情報通信学会,

静的解析によるマルウェアのAPI推移の抽出とクラスタ解析
岩本 一樹; 和崎 克己
コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集, 2011年10月,

制御フロー解析によるAndroidマルウェア検出方法の提案
岩本 一樹; 和崎 克己
コンピュータセキュリティシンポジウム2011 論文集, 2011年10月,

B-006 ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証(テスト・検証,B分野:ソフトウェア)
關屋 貴詞; 和崎 克己
情報科学技術フォーラム講演論文集, 2011年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

B-028 UMLシーケンス図の構造記述から線形時相論理式への自動変換手法(ソフトウェアサイエンス,B分野:ソフトウェア)
宮本 直樹; 和崎 克己
情報科学技術フォーラム講演論文集, 2011年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-006 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
堀内 維作; 和崎 克己
情報科学技術フォーラム講演論文集, 2011年09月, FIT(電子情報通信学会・情報処理学会)運営委員会,

マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出
岩本 一樹; 和崎 克己
電子情報通信学会技術研究報告. ICSS, 情報通信システムセキュリティ : IEICE technical report, 2011年06月, 一般社団法人電子情報通信学会,

UMLアクティビティ図からSPINモデル検査用コードの自動生成と Web アプリケーション設計への適用
山田 豊; 和崎 克己
電子情報通信学会技術研究報告. SWIM, ソフトウェアインタプライズモデリング, 2011年02月, 一般社団法人電子情報通信学会,

情報リテラシ教育向け大規模エージェントベースシステムの開発と評価--テンプレートマッチング処理を用いた学習結果自動収集の改善 (新しい学習/教育活動を可能にするICT活用とその評価/一般)
田中 敬一; 和崎 克己
教育システム情報学会研究報告, 2010年11月, 教育システム情報学会,

B-020 UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換(B分野:ソフトウェア,一般論文)
宮本 直樹; 和崎 克己
情報科学技術フォーラム講演論文集, 2010年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-002 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証(C分野:ハードウェア・アーキテクチャ,一般論文)
白鳥 航亮; 和崎 克己
情報科学技術フォーラム講演論文集, 2010年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

ネットワークサービスの可視化を主眼に置いた戦略的監視手法の提案—Proposal for strategic Monitoring Methodology with an Emphasis on the Visibility of Network Services—インターネットと運用技術(IOT) Vol.2010-IOT-8
川崎 敏行; 和﨑 克己
情報処理学会研究報告, 2010年04月, 情報処理学会,

上位ハードウェア設計言語Melasy+に対する仕様パターン埋め込みと展開
白鳥 航亮; 和崎 克己
全国大会講演論文集, 2010年03月,

上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証
花里 貴裕; 白鳥 航亮; 和崎 克己
全国大会講演論文集, 2010年03月,

ネットワークサービスの可視化を主眼に置いた戦略的監視手法の提案 (技術と社会・倫理)
川崎 敏行; 和崎 克己
電子情報通信学会技術研究報告, 2010年03月, 電子情報通信学会,

ネットワークサービスの可視化を主眼に置いた戦略的監視手法の提案
川崎 敏行; 和﨑 克己
研究報告インターネットと運用技術（IOT）, 2010年02月, 情報処理学会,

拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CST, コンカレント工学, 2009年11月, 一般社団法人電子情報通信学会, 招待無し,

テンプレートマッチング処理をクライアント分散処理で実行するPC利用演習援用システムの開発と評価--Microsoft Certified Application Specialist(MCAS)試験の教材を事例として (先進的なアルゴリズム/プログラミング学習・教育支援システム,一般)
田中 敬一; 和崎 克己
教育システム情報学会研究報告, 2009年09月, 教育システム情報学会,

B-014 VDM-SLの陽仕様記述からLispファミリ言語Schemeへの変換(ソフトウェア,一般論文)
長谷 卓容; 和崎 克己
情報科学技術フォーラム講演論文集, 2009年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-011 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証(ハードウェア・アーキテクチャ,一般論文)
白鳥 航亮; 和崎 克己
情報科学技術フォーラム講演論文集, 2009年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文)
桑島 芳朗; 和崎 克己
情報科学技術フォーラム講演論文集, 2009年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

C-038 Time-Petri Netを用いた非同期回路のモデル化と階層化設計(ハードウェア・アーキテクチャ,一般論文)
松山 千尋; 和崎 克己
情報科学技術フォーラム講演論文集, 2009年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

M-065 P2P仮想ネットワークにおける移動体接続の永続化プロトコルとモデル検査(ユビキタス・モバイルコンピューティング,一般論文)
呉 ヒョク; 和崎 克己
情報科学技術フォーラム講演論文集, 2009年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

Moodle用数理演習モジュールを用いた整数論コースウェアの製作
小林亮太; 岡崎裕之; 三輪辰雄; 和崎克己; 師玉康成
教育システム情報学会全国大会講演論文集, 2009年08月, 招待無し,

P2Pオーバーレイネットワークにおける仮想接続の永続化プロトコルとその検証
/ 和崎 克己; 和崎 克己
全国大会講演論文集, 2009年03月,

モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現
岩崎 直木; 野村 達雄; 和崎 克己
全国大会講演論文集, 2009年03月,

モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成
野村 達雄; 岩崎 直木; 和崎 克己
全国大会講演論文集, 2009年03月,

時間制約ガード付LOTOS仕様(E-LOTOS)による論理回路ライブラリDILLの拡張
桑島 芳朗; 和崎 克己
全国大会講演論文集, 2009年03月,

Moodle 用数理演習モジュールを用いた Web 上での数理教育手法
三輪 辰雄; 小林 英子; 小林 亮太; 岡崎 裕之; 遠藤 登; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. ET, 教育工学, 2009年02月, 一般社団法人電子情報通信学会, 招待無し,

形式化数学言語システム Mizar を用いた CMS/Moodle の数理演習モジュール開発
三輪 辰雄; 和崎 克己; 遠藤 登; 師玉 康成
電子情報通信学会技術研究報告. ET, 教育工学, 2008年10月, 一般社団法人電子情報通信学会, 招待無し,

ものづくり導入実習のための電子情報教材の制作 : e-learning を用いた技術伝達の試み
安藤 守; 三浦 靖一郎; 丹野 拓海; 和崎 克己
電気学会研究会資料. FIE, 教育フロンティア研究会 = The papers of Technical Meeting on Frontiers in Education, IEE Japan, 2008年09月, 電気学会,

量子回路と分岐,量子ニューロ計算の基礎理論
松浦 弘幸; 中野 正博; 野田 信雄; 小井手 一晴; 山中 真; 伊藤 安海; 根本 哲也; 和崎 克己
バイオメディカル・ファジィ・システム学会誌, 2008年, バイオメディカル・ファジィ・システム学会,

コンピュータウイルスのコード静的解析による特徴抽出と分類について
岩本 一樹; 和崎 克己
電子情報通信学会技術研究報告. ISEC, 情報セキュリティ, 2007年12月, 一般社団法人電子情報通信学会,

A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)
岩崎 直木; 和崎 克己
情報科学技術フォーラム一般講演論文集, 2007年08月, FIT(電子情報通信学会・情報処理学会)運営委員会,

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, 2007年07月, 招待無し

B-7-80 高速防災無線情報システム向け2.4GHz帯長距離漏洩同軸ケーブル(B-7.情報ネットワーク,一般講演)
中村 正幸; 高木 秀昭; 栄永 清志; 西川 敏行; 守山 直志; 和崎 克己
電子情報通信学会総合大会講演論文集, 2007年03月, 一般社団法人電子情報通信学会

拡張ペトリネットと Java/PNML による並列システムの構成手法
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CST, コンカレント工学, 2006年05月, 一般社団法人電子情報通信学会, 招待無し,

7-213 信州大学インターネット大学院・大学の現状(オーガナイズドセッション「バーチャルユニバーシティ」)
國宗 永佳; 新村 正明; 和崎 克己; 不破 泰; 師玉 康成; 中村 八束
工学・工業教育研究講演会講演論文集, 2005年09月, 公益社団法人日本工学教育協会, 招待無し,

信州大学インターネット大学院における学習進捗状況管理システム (eラーニングの実践報告とシステム公開デモセッション)
國宗 永佳; 新村 正明; 和崎 克己
教育システム情報学会研究報告, 2005年06月, 教育システム情報学会, 招待無し,

IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
中村 正幸; 栄永 清志; 滝沢 龍一; 清水 洋; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CAS, 回路とシステム, 2005年03月, 一般社団法人電子情報通信学会, 招待無し,

IPアドレスを持たない認証ゲートウェイについて
山下 剛; 新村 正明; 國宗 永佳; 和崎 克己; 不破 泰
電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2005年02月, 一般社団法人電子情報通信学会, 招待無し,

自己組織化マップを用いたニューラルネットワークによる高分子物性予測(OS4b 逆問題解析手法の開発と最新応用)
近藤 康彦; 師玉 康成; 和崎 克己
計算力学講演会講演論文集, 2004年11月, 一般社団法人日本機械学会, 招待無し,

信州大学インターネット大学院・大学(1)―経緯と現状―
不破泰; 国宗永佳; 新村正明; 和崎克己; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, 2004年08月, 招待無し,

e‐Learning教材の学習進捗状況に基づいた提示範囲制御
国宗永佳; 新村正明; 和崎克己; 不破泰; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, 2004年08月, 招待無し,

信州大学インターネット大学院・大学(1)―評価と今後の計画―
不破泰; 国宗永佳; 新村正明; 和崎克己; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, 2004年08月, 招待無し,

(202)OTC医薬品販売教育における学習者問題作成型e-learning教材の開発(セッション58 コンピュータ援用教育I)
山本 由美子; 不破 泰; 和崎 克己; 山本 孝一
工学・工業教育研究講演会講演論文集, 2004年07月, 公益社団法人日本工学教育協会,

(72)個別の学習進捗に対応したe-Learning教材表示制御システム(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
國宗 永佳; 新村 正明; 和〓[サキ] 克己; 不破 泰; 師玉 康成; 中村 八束
工学・工業教育研究講演会講演論文集, 2004年07月, 公益社団法人日本工学教育協会, 招待無し,

(73)信州大学インターネット大学院におけるCAIサーバの高信頼性化(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
國宗 永佳; 新村 正明; 和〓[サキ] 克己; 不破 泰; 師玉 康成; 中村 八束
工学・工業教育研究講演会講演論文集, 2004年07月, 公益社団法人日本工学教育協会, 招待無し,

(204)情報セキュリティマネジメント向けe-learning教育用コンテンツの作成 : 高校生に対する情報社会に参画する態度の育成(セッション58 コンピュータ援用教育I)
升谷 融; 和崎 克己; 師玉 康成
工学・工業教育研究講演会講演論文集, 2004年07月, 公益社団法人日本工学教育協会, 招待無し,

拡張ペトリネットによる並列システム設計とエンジンプログラムの試作
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CST, コンカレント工学, 2004年07月, 一般社団法人電子情報通信学会, 招待無し,

学習進捗状況に基づいたe-Learning教材表示制御システム (組織内教育におけるe-Learningの新しい展開)
國宗 永佳; 新村 正明; 和崎 克己
教育システム情報学会研究報告, 2004年05月, 教育システム情報学会, 招待無し,

人道的埋設地雷探知技術
下井 信浩; 滝田 好宏; 和崎 克己
マイクロメカトロニクス, 2004年, 一般社団法人 日本時計学会,

信州大学インターネット大学院の経緯と現状
不破 泰; 國宗 永佳; 和崎 克己; 新村 正明; 師玉 康成; 中村 八束
情報管理, 2004年, 国立研究開発法人 科学技術振興機構, 招待無し,

人道的埋設地雷探知技術の研究
下井信浩; 滝田好宏; 和崎克己
マイクロメカトロニクス学術講演会講演論文集, 2003年09月, 招待無し

ハードウェア化を想定したk-SD数の拡張
新村 正明; 不破 泰; 和崎 克己
電子情報通信学会技術研究報告. CQ, コミュニケーションクオリティ, 2003年07月, 一般社団法人電子情報通信学会,

信州大学インターネット大学院におけるサーバ運用の高信頼化について
國宗 永佳; 不破 泰; 新村 正明; 和崎 克己; 師玉 康成; 中村 八束
電子情報通信学会技術研究報告. CQ, コミュニケーションクオリティ, 2003年07月, 一般社団法人電子情報通信学会, 招待無し,

遠隔講義におけるストリーミングメディアと電子出版物の連動手法 (シミュレーション(Virtual Reality、ゲームを含む))
國宗 永佳; 和崎 克己; 新村 正明
教育システム情報学会研究報告, 2003年07月, 教育システム情報学会, 招待無し,

広選択度広帯域マイクロストリップラインフィルタによるCATV上り拡張アンプに関する研究
中村 正幸; 楊 毓英; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CAS, 回路とシステム, 2003年03月, 一般社団法人電子情報通信学会, 招待無し,

データ通信に用いるCATV網上り回線の雑音低減について
中村 正幸; 楊毓英; 山崎 英樹; 内川 富彦; 和崎克己; 師玉 康成
情報処理学会研究報告オーディオビジュアル複合情報処理（AVM）, 2002年12月, 社団法人情報処理学会, 招待無し,

データ通信に用いるCATV網上り回線の雑音低減について
中村 正幸; 楊 毓英; 山崎 英樹; 内川 富彦; 和崎 克己; 師玉 康成
映像情報メディア学会技術報告, 2002年12月, 一般社団法人映像情報メディア学会, 招待無し,

データ通信に用いるCATV網上り回線の雑音低減について
中村 正幸; 楊 毓英; 山崎 英樹; 内川 富彦; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. IE, 画像工学, 2002年12月, 一般社団法人電子情報通信学会, 招待無し,

CATVの上り回線の広帯域化に関する研究
中村 正幸; 楊 毓英; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CS, 通信方式, 2002年11月, 一般社団法人電子情報通信学会, 招待無し,

拡張ペトリネットとXMLをベースとしたファイルサーバの設計と実装
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CAS, 回路とシステム, 2002年11月, 一般社団法人電子情報通信学会, 招待無し,

A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker
Wasaki Katsumi; Yamaguchi Shin'nosuke; Bancerek Grzegorz
情報科学技術フォーラム一般講演論文集, 2002年09月, FIT(電子情報通信学会・情報処理学会)運営委員会

N-5 プログラミングレポート自動評価における事前処理(教育支援システム(1),N.教育・人文科学)
鈴木 彦文; 中澤 達夫; 和崎 克己; 師玉 康成
情報科学技術フォーラム一般講演論文集, 2002年09月, FIT(電子情報通信学会・情報処理学会)運営委員会, 招待無し,

C-22 拡張ネットモデルによるNFSサーバプロセスの設計と動作の検証(ネットワークシステム,C.アーキテクチャ・ハードウェア)
山口 真之介; 和崎 克己; 師玉 康成
情報科学技術フォーラム一般講演論文集, 2002年09月, FIT(電子情報通信学会・情報処理学会)運営委員会, 招待無し,

時間差赤外線画像を用いた埋設地雷探知の方法
和崎 克己; 下井 信浩; 滝田 好宏
研究会講演予稿, 2002年09月, 画像電子学会,

A-12-1 色付き論理ペトリネットを用いたNFSサーバプロセスのコンカレント設計
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会ソサイエティ大会講演論文集, 2002年08月, 一般社団法人電子情報通信学会, 招待無し,

拡張ネットモデルによるNFSプロセスのモデル化とXMLを用いた実装
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CST, コンカレント工学, 2002年07月, 一般社団法人電子情報通信学会, 招待無し,

(24)ものづくり教育における個人製作とグループ製作(第7セッション 教育システム(実験・設計製図等)(II))
金田 忠裕; 吉田 丈夫; 葭谷 安正; 師玉 康成; 和崎 克己
工学・工業教育研究講演会講演論文集, 2002年07月, 公益社団法人日本工学教育協会, 招待無し,

(25)設計製作教育における3次元モデルに関する考察(第7セッション 教育システム(実験・設計製図等)(II))
金田 忠裕; 里中 直樹; 吉田 丈夫; 師玉 康成; 和崎 克己
工学・工業教育研究講演会講演論文集, 2002年07月, 公益社団法人日本工学教育協会, 招待無し,

(71)ストリーミングメディアに連動させるe-Learning向け電子出版物の遠隔制御(第19セッション インターネット・マルチメティアの利用(I))
松本 明男; 岡田 浩一; 和崎 克己; 師玉 康成
工学・工業教育研究講演会講演論文集, 2002年07月, 公益社団法人日本工学教育協会, 招待無し,

(72)信州大学インターネット大学院の概要と今後の展望(第19セッション インターネット・マルチメティアの利用(I))
不破 泰; 和崎 克己; 中村 八束; 師玉 康成
工学・工業教育研究講演会講演論文集, 2002年07月, 公益社団法人日本工学教育協会, 招待無し,

信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
新村 正明; 不破 泰; 和崎 克己; 師玉 康成; 中村 八束; 大下 眞二郎
教育システム情報学会研究報告, 2002年07月, 教育システム情報学会, 招待無し,

拡張ペトリネットを用いたNFSプロセスのモデル化と実装
山口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. CST, コンカレント工学, 2002年05月, 一般社団法人電子情報通信学会, 招待無し,

時変システムに対する最適ファジィ制御則の存在性
遠藤 登; 和崎 克己; 師玉 康成
岐阜工業高等専門学校紀要, 2002年03月, 岐阜工業高等専門学校, 招待無し,

時間差分IR画像を用いた埋設地電探知の一方式
和崎 克己; 下井 信浩; 滝田 好宏
画像電子学会年次大会予稿集, 2002年, 一般社団法人 画像電子学会,

2P1-A03 高所レスキューを題材としたロボット製作
金田 忠裕; 里中 直樹; 梅本 敏孝; 杉浦 公彦; 廣口 和夫; 町田 洋介; 師玉 康成; 和崎 克己
ロボティクス・メカトロニクス講演会講演概要集, 2002年, 一般社団法人日本機械学会, 招待無し,

拡張ネットモデルを用いたファイルサーバ設計による信頼性向上の一方策
出口 真之介; 和崎 克己; 師玉 康成
電子情報通信学会技術研究報告. SSS, 安全性, 2001年12月, 一般社団法人電子情報通信学会, 招待無し,

バーチャル大学院設立に向けて 大学教育でのWeb利用の学習効果と今後の展望
不破泰; 中村八束; 師玉康成; 和崎克己
教育システム情報学会全国大会講演論文集, 2001年08月, 招待無し,

信州大学バーチャル大学院計画について
不破 泰; 和崎 克己; 中村 八束; 師玉 康成
教育システム情報学会研究報告, 2001年07月, 教育システム情報学会, 招待無し,

ロボット製作を通したグループ学習の分析
金田 忠裕; 葭谷 安正; 吉田 丈夫; 藤沢 正一郎; 和崎 克巳; 師玉 康成
日本教育工学雑誌, 2001年06月, 日本教育工学会, 招待無し,

2A1-A5 学生の視点から見た21世紀に役立つロボットの製作(78. もの作り教育とメカトロニクスI)
金田 忠裕; 梅本 敏孝; 杉浦 公彦; 土井 智晴; 廣口 和夫; 伊藤 隆太; 師玉 康成; 和崎 克巳
ロボティクス・メカトロニクス講演会講演概要集, 2001年06月, 一般社団法人日本機械学会, 招待無し,

工学教育としてのロボットコンテストの意義
金田 忠裕; 土井 智晴; 梅本 敏孝; 杉浦 公彦; 吉田 丈夫; 大須賀 公一; 師玉 康成; 和崎 克巳
工学教育, 2001年03月, Japanese Society for Engineering Education, 招待無し,

IRカメラによる埋設対人の地雷探知技術
下井信浩; 滝田好宏; 和崎克己; KAWAMOTO P N
マイクロメカトロニクス学術講演会講演論文集, 2001年

IRカメラによる埋設対人地雷の探知技術
下井 信浩; 滝田 好宏; 和崎 克巳
マイクロメカトロニクス, 2001年, 一般社団法人 日本時計学会,

(22)学社融合によるロボット教室の試み : 親子のロボット工作教室(第6セッション 個性化・活性化(I))
金田 忠裕; 川端 康之; 吉田 丈夫; 土井 智晴; 師玉 康成; 和崎 克己
工学・工業教育研究講演会講演論文集, 2000年07月, 公益社団法人日本工学教育協会, 招待無し,

(65)Team-Teachingとグループ学習によるロボット製作 : 阪府高専システム制御工学科における6年間のシステム設計研究(第17セッション 教育研究指導(II))
金田 忠裕; 吉田 丈夫; 藤沢 正一郎; 葭谷 安正; 師玉 康成; 和崎 克己
工学・工業教育研究講演会講演論文集, 2000年07月, 公益社団法人日本工学教育協会, 招待無し,

IRカメラによる埋設地雷探知技術
下井信浩; 滝田好宏; 野波健蔵; 和崎克己
リモートセンシングシンポジウム講演論文集, 2000年

1P1-81-134 ロボットによる流鏑馬
金田 忠裕; 衣川 洋一; 葭谷 安正; 西 高志; 廣口 和夫; 師玉 康成; 和崎 克己
ロボティクス・メカトロニクス講演会講演概要集, 2000年, 一般社団法人日本機械学会, 招待無し,

2P2-12-012 指漢点字ロボットの試作
金田 忠裕; 種村 一幸; 吉田 丈夫; 西 高志; 藤沢 正郎; 土井 智晴; 師玉 康成; 和崎 克巳
ロボティクス・メカトロニクス講演会講演概要集, 2000年, 一般社団法人日本機械学会, 招待無し,

ネットモデルを用いた自立分散型ファイルシステムのコンカレント設計
山口真之介; 和崎克己; 師玉康成
情報処理学会全国大会講演論文集, 1999年09月, 招待無し,

ネットモデルと用いた自立分散型ファイルシステムのコンカレント設計
山口 真之介; 和崎 克己; 師玉 康成
全国大会講演論文集, 1999年09月, 招待無し,

Mamdani推論法の最適化問題への応用 (情報数理に関連する応用函数解析の研究)
三石 貴志; 河邊 淳; 和崎 克己; 師玉 康成
数理解析研究所講究録, 1999年06月, 京都大学, 招待無し,

プルーフチェッカーを用いた論理演算器の設計検証
和崎 克己; 不破 泰; 中村 八束; 師玉 康成
電子情報通信学会技術研究報告. VLD, VLSI設計技術, 1999年03月, 一般社団法人電子情報通信学会, 招待無し,

(26) 高専電子制御工学科における工学実験指導 : シーケンサを用いた搬送制御実験システムの開発と授業評価(第7セッション 教育研究指導(1))
小野 伸幸; 堀内 富雄; 加藤 正幸; 和崎 克己; 岸 佐年; 坂口 正雄
工学・工業教育研究講演会講演論文集, 1998年07月, 公益社団法人日本工学教育協会,

弱非線形系H^∞制御における中心多様体と状態フィードバック解
宮島 啓一; 和崎 克己; 江口 正義; 師玉 康成
電子情報通信学会技術研究報告. NLP, 非線形問題, 1998年06月, 一般社団法人電子情報通信学会, 招待無し,

拡張ペトリネットを用いた並列演算器のHDL自動生成とFPGAへの実装
和崎 克己; 永沢 元; 田口 一星
電子情報通信学会技術研究報告. IE, 画像工学, 1998年04月, 一般社団法人電子情報通信学会

地域学校共同データベースを中心として構築したシステムの運用と評価
中澤 達夫; 和崎 克己; 清水 道夫; 伊東 一典; 山本 行雄
電子情報通信学会技術研究報告. ET, 教育工学, 1998年03月, 一般社団法人電子情報通信学会

(32)高専電子制御工学科におけるSE実習指導 : 基盤能力の育成を目指すシステムソフトウェア教育の導入と評価(第8セッション 教育研究指導(III))
和崎 克己; 小野 伸幸; 鈴木 宏; 堀内 富雄; 岸 佐年; 坂口 正雄
工学・工業教育研究講演会講演論文集, 1997年08月, 公益社団法人日本工学教育協会,

(34)小中学生を対象とした「メカトロニクスと物造り体験実習」(第9セッション 教育システム(VI))
坂口 正雄; 服部 忍; 中島 隆行; 小野 伸幸; 和崎 克己; 加藤 正幸
工学・工業教育研究講演会講演論文集, 1997年08月, 公益社団法人日本工学教育協会,

(101)教育情報のデータベース化について : イントラネットの教育現場への適用(第25セッション CAI・マルチメディア(V))
中澤 達夫; 和崎 克己; 清水 道夫; 伊東 一典; 山本 行雄
工学・工業教育研究講演会講演論文集, 1997年08月, 公益社団法人日本工学教育協会,

地域学校共同運用データベースの構築 : イントラネットの考え方を応用したシステム
中澤 達夫; 和崎 克己; 清水 道夫; 伊東 一典; 山本 行雄
電子情報通信学会技術研究報告. ET, 教育工学, 1997年03月, 一般社団法人電子情報通信学会

WWWを利用した地域学校共同運用データベースの構築
中澤 達夫; 和崎 克己; 清水 道夫; 伊東 一典; 山本 行雄
電子情報通信学会総合大会講演論文集, 1997年03月, 一般社団法人電子情報通信学会

(86)高専電子制御工学科における実験実習指導 : システム技術者能力の育成を目指す総合実験実習の導入(第24セッション 教育研究指導(IV))
小野 伸幸; 和崎 克己; 岸 佐年; 鈴木 宏; 堀内 富雄; 坂口 正雄
工学・工業教育研究講演会講演論文集, 1996年07月, 公益社団法人日本工学教育協会,

逐次リアルタイム復号処理が可能な2値画像圧縮法
和崎 克己; 不破 泰; 江口 正義; 中村 八束
電子情報通信学会技術研究報告. IT, 情報理論, 1995年05月, 一般社団法人電子情報通信学会

CASEツールとしての論理カラーペトリネット (LC-net) の能力
和崎; 不破 泰; 江口 正義; 中村 八束
電子情報通信学会技術研究報告, 1993年, 一般社団法人電子情報通信学会

制御ソフトウェアに適したペトリネットの拡張
和崎; 不破 泰; 江口 正義; 中村 八束
電子情報通信学会技術研究報告, 1993年, 一般社団法人電子情報通信学会

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

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

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

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

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

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

数理論理 (B3)
信州大学

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

形式的システムモデリング(B2)
信州大学

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

情報処理学会(IPSJ)

電気学会(JIEE)

電子情報通信学会(IEICE)

IEEE

HiPS : Hierarchical Petri net Simulator
和﨑克己, HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.
2012年10月 - 現在, コンピュータソフト

大規模形式検証を実現するライブラリ自動検索機能付き定理証明器とモデル検査器の融合
科学研究費補助金, 基盤研究(C)
2025年04月 - 2029年03月

デジタル⼈材育成共同研究講座（ASPINA）
⾼等教育機関における共同講座創造⽀援事業費補助⾦, 経済産業省
シナノケンシ株式会社、信州大学
2023年02月

大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合
科学研究費助成事業, 日本学術振興会, 基盤研究(C)
信州大学
2019年04月01日 - 2023年03月31日

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

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

グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系
科学研究費助成事業, 日本学術振興会, 基盤研究(C)
信州大学
2011年 - 2013年

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
科学研究費助成事業, 日本学術振興会, 基盤研究(B)
信州大学
2010年04月01日 - 2014年03月31日

関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法
科学研究費助成事業, 日本学術振興会, 基盤研究(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年 - 2004年

信州大学インターネット大学院におけるマルチメディア利用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年

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

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

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

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

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

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

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

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

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

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

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

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

AI活用 孤独死防ぐ：信大など見守りシステム（センサー情報蓄積「異常」判断）
信濃毎日新聞, 朝刊 第31面, 2017年01月24日, 新聞・雑誌

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

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

2024年04月 - 2027年03月, 長野（工学）キャンパス 安全衛生委員会, 安全管理者

2023年04月01日, 工学教育寄附講座, DS講座担当

2022年09月01日 - 2023年03月31日, 工学部将来構想WG, WGメンバー

2022年03月01日, 数理データサイエンス・AI教育プログラム検討WG（工学部）, WG座長

2021年 - 2022年, 教育用計算機システム仕様策定委員会, 委員

2018年 - 2022年, 学科計算機システム管理委員会, 委員長

2017年 - 2018年, 教育用計算機システム仕様策定委員会, 委員長

2014年04月01日 - 2017年03月31日, 工学部入試委員会, 正副委員長, 12

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

2012年11月01日 - 2013年10月31日, 情報工学科就職委員, 就職担当

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

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

2009年04月01日 - 2013年03月31日, 情報工学科補導教員（学年担任）, 1年〜4年生

2008年04月01日 - 2010年03月31日, 工学部情報システム委員会, 正副委員長, 4

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

2006年 - 2007年, 工学部 高大連携LEDプロジェクト, 情報工学科委員

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

2003年, 信州大学インターネット大学（SUSI）基幹メンバー, 情報工学科

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

2000年04月01日 - 2003年03月31日, 情報工学科補導教員（学年副担任）, 2年〜4年生

2000年, 信州大学インターネット大学院（SUGSI）基幹メンバー, 情報工学専攻

1998年04月01日 - 1999年03月31日, 工学部教務電算化WG, 成績処理システム担当

1998年04月01日 - 1999年03月31日, 工学部安全・環境委員, 情報工学科委員

2024年04月 - 2027年03月, 全学学生相談センター 学生相談部会部会, 工学部委員

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2024年04月01日 - 2027年03月31日, 信州大学 評議員

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

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

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

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

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

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

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