Warning: Undefined array key "HTTP_ACCEPT_LANGUAGE" in C:\Apache24\htdocs\search\index.php on line 12

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in C:\Apache24\htdocs\search\index.php on line 12
和﨑　克己｜信州大学 研究者総覧

和﨑　克己 (ワサキ カツミ)　　　

学術研究院（工学系）

工学部　電子情報システム工学科　

教授　

研究者情報

学位

  • 博士（工学）, 信州大学

研究キーワード

    並列分散システムのモデル化と解析, 非同期回路の数学モデルと形式検証, モデル検査系向けハードウェアコンパイラ, フォーマルアプローチ, 形式検証, 数理モデル, 並列システム, ペトリネット, ソフトウェア上流設計, ドメイン駆動設計, ハードウェアコンパイラ, LOTOS, 非同期回路

研究分野

  • 情報通信, 情報学基礎論 , 情報学基礎理論
  • 情報通信, 計算機システム , 計算機システム
  • 情報通信, 情報ネットワーク , 情報ネットワーク

経歴

  • 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月, 査読有りWebofScienceリポジトリ電子ジャーナル
  • 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月, 査読有りWebofScienceリポジトリ
  • Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
    Katsumi WASAKI
    Formalized Mathematics, 28(1), 65-77, 2020年04月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • フローネット変換を用いたペトリネットの構造的活性・有界性解析手法
    張江 洋次朗; 和﨑 克己
    回路とシステムワークショップ論文集 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月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 文書型マルウェアに対するエントロピーとエミュレーションを用いたシェルコード特定方法
    岩本 一樹; 和﨑 克己
    情報処理学会論文誌, 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月, 査読有り, 招待無しWebofScienceリポジトリ
  • 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月, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 静的解析により抽出された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月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有りWebofScienceリポジトリ
  • 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月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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月, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • A Design Verification of the Parallel Pipelined Image Processings
    Katsumi Wasaki; Toshiaki Harai
    INTERNATIONAL ELECTRONIC CONFERENCE ON COMPUTER SCIENCE, 1060(59), 200-203, 2008年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • Stability of the 4-2 binary addition circuit cells. Part i
    Katsumi Wasaki
    Formalized Mathematics, 16(4), 377-387, 2008年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 信州大学インターネット大学院の現状と評価
    國宗 永佳; 新村 正明; 和崎 克己
    教育システム情報学会誌 = 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • ニューラルネットワークを用いた高分子材料のガラス転移温度(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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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年, 査読有り, 招待無しWebofScienceリポジトリ
  • 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 L2 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月, 査読有り, 招待無しリポジトリ

MISC

  • 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

Works_作品等

  • 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日, 大学院博士課程講座主任, 数理情報システム学講座