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

学術研究院(工学系)

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

教授 

学位

  • 博士(工学), 信州大学

研究キーワード

    並列システム, 数理モデル, 形式検証, 非同期回路, ペトリネット, LOTOS, ハードウェアコンパイラ, 上流設計

研究分野

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

経歴

  • 2009年
    信州大学工学部 教授
  • 2007年 - 2009年
    信州大学大学院工学系研究科 准教授
  • 2005年 - 2005年
    カナダ・アルバータ州立大学 計算科学科 客員研究員
  • 2003年 - 2003年
    カナダ・アルバータ州立大学 計算科学科 客員研究員
  • 2003年 - 2007年
    信州大学大学院工学系研究科 助教授
  • 2001年 - 2003年
    信州大学工学部情報工学科 助教授
  • 1998年 - 2001年
    信州大学工学部情報工学科 助手
  • 1994年 - 1998年
    長野工業高等専門学校電子制御工学科 助手

学歴

  • 2005年 - 2005年, カナダ・アルバータ州立大学 計算科学科 客員研究員
  • 2003年 - 2003年, カナダ・アルバータ州立大学 計算科学科 客員研究員
  • 1993年 - 1994年, 信州大学, 工学系研究科, システム開発工学専攻(中退)
  • 1991年 - 1993年, 信州大学, 工学系研究科, 情報工学専攻(修了)
  • 1991年, 信州大学, 工学部, 情報工学科(卒業)

委員歴

  • 2023年 - 2024年
    検討委員, 長野市新技術等共同研究開発事業検討委員会
  • 2021年 - 2023年
    長野市立図書館協議会 委員
  • 2018年 - 2024年
    長野県本人確認情報保護審議会 委員
  • 2014年 - 2022年
    長野市個人情報保護審査会 審査委員
  • 2008年
    独立行政法人 新エネルギー・産業技術総合開発機構(NEDO) 技術委員(研究評価委員会)
  • 2003年 - 2007年
    長野県組込システムコンソーシアム運営委員会 研究会員
  • 2000年 - 2004年
    長野県開発テクノアドバイザー 委員
  • 1997年 - 1999年
    長野県上田浅間マルチメディアポリス開発機構 委員

受賞

  • 2023年
    精密エ学会技術賞, 精密エ学会技術賞
    「フィゾー型機械式位相シフト干渉計による高開口数レンズの高精度測定技術の開発」 共同研究者 態谷俊樹、富田恵多(オリンパス株式会社) 日比野 謙一 (産業総合研究所) 和﨑克己(信州大学)
  • 2023年
    NaNA2023国際会議ベストペーパー賞(共著)
    Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation
  • 2016年
    情報処理学会, ESS2016(第6回 組込みシステム シンポジウム)優秀ポスター賞
    三井雄太,張江洋次朗,和﨑克己 : 階層型ペトリネット設計・検証ツール:HiPS ; 組込みシステムシンポジウム2016(ESS2016)講演論文集, 情報処理学会, 96-97, 2016.【査読付】
  • 2016年
    情報処理学会, FIT奨励賞(第15回情報科学技術フォーラム)
    和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016(第15回情報科学技術フォーラム)講演論文集, (J-036), 353-354, 2016.
  • 2012年
    電子情報通信学会信越支部, 電子情報通信学会信越支部ベストプラクティス賞
  • 2012年
    International Conference on Information Technology :New Generation 2012, ITNG2012国際会議 ベストポスター賞 (共著)
    Sho NISHIDA, Katsumi WASAKI : Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+ ; Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, IEEE Computer Society Conference Proceedings, DOI 10.1109/ITNG.2012.63, 2012.
  • 2007年
    教育システム情報学会, 平成19年度 教育システム情報学会 論文賞 (共著)
    國宗永佳,新村正明,和崎克己,不破 泰,師玉康成,中村八束 : 信州大学インターネット大学院の現状と評価 ; 教育システム情報学会誌,22,(4),264-271,2005.
  • 2001年
    The Institute of Control, Automation, and Systems Engineers, Korea (ICASE), ICCAS2001国際会議 論文賞 (共著)

論文

  • Posture Estimation for Bed Monitoring System Using RFID
    Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI
    Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023), 1671-1676, 2023年10月, 査読有り
  • Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education
    Shizuka NAKAMURA, Katsumi WASAKI
    IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology, 685, 21-26, 2023年10月, 査読有り電子ジャーナル
  • Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry
    Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
    The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts, 43-44, 2023年09月, 査読有り
  • Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation
    Hikofumi SUZUKI, Akiyoshi IWASA, Takumi UCHIYAMA, Katsumi WASAKI
    Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023), 558-567, 2023年08月, 査読有り電子ジャーナル
  • Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering
    Hikofumi SUZUKI, Katsumi WASAKI
    Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023), 319-326, 2023年07月, 査読有り電子ジャーナル
  • Description of Restricted Object Reservation System using Specification and Description Language VDM++
    Aoto MAKITA, Katsumi WASAKI
    Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 413-420, 2023年05月, 査読有り電子ジャーナル
  • Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS
    Yuya CHIBA, Katsumi WASAKI
    Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 379-386, 2023年05月, 査読有り電子ジャーナル
  • Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams
    Yu MANTA, Katsumi WASAKI
    Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445, 199-207, 2023年05月, 査読有り電子ジャーナル
  • Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
    Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI
    Applied Sciences, 13(5335), 2023年04月, 査読有り電子ジャーナル
  • Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry
    Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI
    Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022), (OR-11-0125), 528-530, 2022年11月, 査読有り電子ジャーナル
  • Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry
    Toshiki KUMAGAI, Kenichi HIBINO, Keita TOMITA, Katsumi WASAKI
    Applied Optics, 61(30), 8926-8935, 2022年10月, 査読有り電子ジャーナル
  • An Integrated Web Platform for the Mizar Mathematical Library
    Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
    Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022), LNAI 13467, 141-146, 2022年09月, 査読有り電子ジャーナル
  • Classification of Human Posture on Bed Using Machine Learning
    Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI
    Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022), 547-548, 2022年07月, 査読有り電子ジャーナル
  • Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method
    Tomoki MIURA, Katsumi WASAKI
    Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 393-398, 2022年06月, 査読有り電子ジャーナル
  • Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver
    Yuta YOSHIZAWA, Katsumi WASAKI
    Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421, 387-392, 2022年06月, 査読有り電子ジャーナル
  • The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education
    Shizuka NAKAMURA, Katsumi WASAKI
    Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022), 219-223, 2022年04月, 査読有りリポジトリ
  • Mizar数学ライブラリの定理検索を行うWebアプリケーション
    Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki
    第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022, 2022年03月, 査読有り
  • Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
    Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI
    International Journal of Science and Engineering Investigations(IJSEI), 10(116), 45-50, 2021年09月, 査読有り
  • A Web Platform for Hosting the Mizar Mathematical Library
    Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A, 2021年07月, 査読有り
  • A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
    Kohei FUJIMORI, Katsumi WASAKI
    Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 255-263, 2021年07月, 査読有り電子ジャーナル
  • Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language
    Katsumi WASAKI
    Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 313-321, 2021年07月, 査読有り電子ジャーナル
  • Synthetic aperture phase-shifting interferometry for high-numerical-aperture spherical surface measurement
    Toshiki KUMAGAI, Yasunari NAGAIKE, Kenichi HIBINO, Katsumi WASAKI
    Optical Engineering, 60(1), 0141011-1-0141011-13, 2021年01月, 査読有り電子ジャーナル
  • Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values
    Yojiro HARIE, Katsumi WASAKI
    Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230, 3, 570-580, 2020年08月, 査読有り電子ジャーナル
  • An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020), 39-44, 2020年07月, 査読有りリポジトリ
  • Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
    Katsumi WASAKI
    Formalized Mathematics, 28(1), 65-77, 2020年04月, 査読有りWebofScience電子ジャーナル
  • フローネット変換を用いたペトリネットの構造的活性・有界性解析手法
    張江洋次朗,和﨑克己
    電子情報通信学会 第32回 回路とシステムワークショップ(KWS32)論文集, (WIP-16), 278-283, 2019年08月, 査読有りリポジトリ
  • 見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発
    間所洋和,下井信浩,佐藤和人,中正和久,新村正明,和﨑克己
    電子情報通信学会論文誌(D), J102-D(5), 411-422, 2019年05月, 査読有りリポジトリ
  • Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
    Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018), 582-586, 2018年10月, 査読有り電子ジャーナル
  • HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
    Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI
    Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), 686-690, 2017年10月, 査読有り電子ジャーナル
  • Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH2017), 356-361, 2017年07月, 査読有り電子ジャーナル
  • A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
    Yojiro HARIE, Katsumi WASAKI
    Advances in Intelligent Systems and Computing, 558, 265-273, 2017年04月, 査読有り電子ジャーナル
  • Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
    Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI
    Advances in Intelligent Systems and Computing, 558, 57-65, 2017年04月, 査読有り電子ジャーナル
  • Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016), 290-294, 2016年10月, 査読有り電子ジャーナル
  • A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness
    Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA
    Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016), 422-427, 2016年07月, 査読有り電子ジャーナル
  • Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
    Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO
    Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 1006-1012, 2016年03月, 査読有り電子ジャーナル
  • Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
    Bishnu Prasad GAUTAM, Katsumi WASAKI
    IEEJ Transactions on Electrical and Electronic Engineering, 10(s1), S60-S68, 2015年04月, 査読有り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
    Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014), 3, 1830-1837, 2014年04月, 査読有り
  • 静的解析により抽出されたAPI推移に基づくマルウェアの分類
    岩本一樹, 和崎克己
    情報処理学会論文誌, 54(3), 1199-1210, 2013年, 査読有り
  • Content Development for Distance Education in Advanced University Mathematics Using Mizar
    TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13), 321-326, 2013年, 査読有り
  • Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+
    Sho NISHIDA, Katsumi WASAKI
    Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, 2012年04月, 査読有りリポジトリ電子ジャーナル
  • Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties
    Kazuto IDE, Katsumi WASAKI
    Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012), 1, 195-200, 2012年, 査読有り
  • Malware Classification based on Extracted API Sequences using Static Analysis
    Kazuki IWAMOTO, Katsumi WASAKI
    Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012), 31-38, 2012年, 査読有り電子ジャーナル
  • Morphology for Image Processing, Part I
    Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
    Formalized Mathematics, 20(1), 61-63, 2012年, 査読有りWebofScienceリポジトリ電子ジャーナル
  • 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年, 査読有りWebofScience電子ジャーナル
  • Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching -
    Keiichi TANAKA, Katsumi WASAKI
    Proceedings of the 8th International Conference on Information Technology : New Generations (ITNG2011), 1, 1-6, 2011年, 査読有りリポジトリ電子ジャーナル
  • 電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模エージェントベースシステムの開発と評価
    田中敬一, 和崎克己
    教育システム情報学会誌, 27(3), 267-279, 2010年, 査読有り
  • Development of a Simple Multiple-Position Identifying System with a Long Range Multiband Leaky Coaxial Cable for Rescue Operations in Tunnels or Passages in Underground Facilities
    Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki
    Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010), 1(WE3C-02), 163-166, 2010年, 査読有り
  • Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks
    Keiichi TANAKA, Katsumi WASAKI
    Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010), 1, 3191-3196, 2010年, 査読有り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
    Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009), 1(TU3C), 510-513, 2009年, 査読有り
  • Complex Integral
    Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA
    Formalized Mathematics, 17(4), 233-236, 2009年, 査読有り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電子ジャーナル
  • Stability of the 4-2 Binary Addition Circuit Cells. Part I
    Katsumi WASAKI
    Formalized Mathematics, 16(4), 385-395, 2008年, 査読有りWebofScience電子ジャーナル
  • Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access
    Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
    Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008), 1(TH1C), 687-690, 2008年, 査読有り電子ジャーナル
  • A Meta Hardware Description Language Melasy for Model-Checking Systems
    Naoki IWASAKI, Katsumi WASAKI
    Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008), 1(MC1), 273-278, 2008年, 査読有り電子ジャーナル
  • A Watermarking Scheme using Background Pattern to Protect Printed Documents
    Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA
    Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007), 1(151), 17-20, 2007年, 査読有り
  • A Case Study of Formal Verification for Multi-Level Pipeline Logic Circuit by Using Mizar Proof Checker
    Katsumi WASAKI, Kenichi ARAI
    Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007年, 査読有り
  • Riemann Indefinite Integral of Functions of Real Variable
    Yasunari SHIDAMA, Noboru ENDOU,Katsumi WASAKI
    Formalized Mathematics, 15(2), 59-63, 2007年, 査読有りWebofScience電子ジャーナル
  • A Design Verification of the Parallel Pipelined ImageProcessing
    Katsumi WASAKI, Toshiaki HARAI
    Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I, 1(59), 1-4, 2007年, 査読有り電子ジャーナル
  • Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
    Katsumi WASAKI, Toshiaki HARAI
    Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007), 1(6), 1-7, 2007年, 査読有り電子ジャーナル
  • A Modeling and Formal Verification of Multi-layered Combined Circuits
    Katsumi WASAKI
    Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007), 1(6), 1-5, 2007年, 査読有り電子ジャーナル
  • Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA
    The Journal of Information and Systems in Education, 5(1), 76-83, 2006年, 査読有り
  • A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), 1(151), 283-287, 2006年, 査読有り
  • ニューラルネットワークを用いた高分子材料のガラス転移温度(Tg)の予測と汎化能力について
    近藤康彦, 和崎克己, 師玉康成
    計算数理工学論文集, 5(05-062413), 73-78, 2005年, 査読有り
  • 信州大学インターネット大学院の現状と評価
    國宗永佳,新村正明,和崎克己,不破 泰,師玉康成,中村八束
    教育システム情報学会誌, 22(4), 264-271, 2005年, 査読有り
  • Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps
    Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA
    The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005), 1(484-032), 29-34, 2005年, 査読有り
  • Display Scope Control System of e-Learning Courseware based on the Learning Progress
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
    Proceedings of the IPSI-2005, 1, 1-5, 2005年, 査読有り
  • Generalized Full AdderCircuits (GFAs). Part I
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI
    Formalized Mathematics, 13(4), 549-571, 2005年, 査読有りWebofScience
  • The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
    Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683(1), 1296-1302, 2005年, 査読有りWebofScience電子ジャーナル
  • The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
    Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005), 3, 1296-1302, 2005年, 査読有り電子ジャーナル
  • 信州大学インターネット大学院の現状と将来計画
    不破 泰,國宗永佳,新村正明,和崎克己,師玉康成,中村八束
    メディア教育研究, 1(1), 11-18, 2004年, 査読有り
  • A Design Verification of an n-bit Adder Circuit Using a Proof Checker
    Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA
    Mechanized Mathematics and Its Applications, 3(1), 18-26, 2004年, 査読有り
  • Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
    Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA
    Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 2004年, 査読有り
  • A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04), 11(WeM1.5), 61-66, 2004年, 査読有り電子ジャーナル
  • The Design Verification for the 3DES Encipher Chip based on an Extended Petri Net and XML/Java Executor
    Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 8th International Conference on Control,Automation,Robotics and Vision (ICARCV2004), 11(WeM1.5), 1994-1999, 2004年, 査読有り電子ジャーナル
  • Full Subtracter Circuit. Part II
    Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI
    Formalized Mathematics, 11(3), 231-236, 2003年, 査読有り
  • 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
    新村正明,不破 泰,和崎克己,師玉康成,中村八束,大下眞二郎
    人工知能学会誌, 18(4), 426-432, 2003年, 査読有り
  • 長距離無線LANと広域CATV通信網接続による山岳医療情報ネットワークの構築
    中村正幸,楊 毓英,窪田昭真, 清水 洋, 三浦 裕, 和崎克己,師玉康成, 滝沢正臣
    医学物理, 23(1), 30-39, 2003年, 査読有り
  • A High Reliability Design for NFS Server Software By using An Extended Petri Net
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003), 3(56), 498-502, 2003年, 査読有り
  • Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters
    Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03), 1(FB6-1), 1636-1639, 2003年, 査読有り
  • Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 2003年, 査読有り
  • Shinshu University, Graduate School of Science and Technology on the Internet
    Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA,Yatsuka NAKAMURA, Shinjiro OSHITA
    Proceedings of the International Conference on Advance in Infrastructure for Electronic Business, Education, Science, Medicine and Mobile Technologies on the Internet (SSGRR-2003s), 1(56), 1-6, 2003年, 査読有り電子ジャーナル
  • Study on a Noise Reduction System of CATV Network Upstream for Data Communication
    Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 12th International Conference on Computer Communication and Networks (ICCCN2003), 12(30-3), 613-616, 2003年, 査読有り電子ジャーナル
  • Full Adder Circuit. Part II
    Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI
    Formalized Mathematics, 10(1), 65-71, 2002年, 査読有り
  • The Persistence ofthe Petri Net State-space
    Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV’02), 1(TuA4.1), 69-72, 2002年, 査読有り電子ジャーナル
  • A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV'02), 1(TuA4.2), 73-77, 2002年, 査読有り電子ジャーナル
  • Property of Complex Functions
    Takashi MITSUISHI,KatsumiWASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 179-184, 2001年, 査読有り
  • Property of Complex Sequence and Continuity of Complex Function
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 185-190, 2001年, 査読有り
  • Scalar Multiple of Riemann Definite Integral
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 191-196, 2001年, 査読有り
  • Darboux's Theorem
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 197-200, 2001年, 査読有り
  • Integrability of Bounded Total Functions
    Noboru ENDOU,Katsumi WASAKI, Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 271-274, 2001年, 査読有り
  • Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 281-284, 2001年, 査読有り
  • Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 285-289, 2001年, 査読有り
  • Basic Properties of Fuzzy Set Operation and Membership Function
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 357-362, 2001年, 査読有り
  • Ensemble by Seven Musical Performance Robots
    Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI
    Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers, 13(1), 50-55, 2001年, 査読有り
  • The Correctness of the High Speed Array Multiplier Circuits
    Hiroshi YAMAZAKI,Katsumi WASAKI
    Formalized Mathematics, 9(3), 475-479, 2001年, 査読有り
  • Basic Properties of Extended Real Numbers
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 491-494, 2001年, 査読有り
  • Definitions and Basic Properties of Measurable Functions
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 495-500, 2001年, 査読有り
  • Some Properties of Extended Real Numbers Operations: absolute value, min and max
    Noboru ENDOU,Katsumi WASAKI,YasunariSHIDAMA
    Formalized Mathematics, 9(3), 511-516, 2001年, 査読有り
  • The Concept of Fuzzy Relation and Basic Properties of its Operation
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 517-524, 2001年, 査読有り
  • Measurability of Extended Real Valued Function
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 525-529, 2001年, 査読有り
  • コンカレントエンジニアリングを目指したロボット設計製作教育の試行
    金田忠裕, 吉田丈夫, 大須賀公一, 師玉康成, 和崎克己
    日本機械学会論文誌C編, 67(659), 268-273, 2001年, 査読有り
  • The House Keeping System of Automated Evaluation of Students’ Programming Reports
    Hikofumi SUZUKI,Katsumi WASAKI,Tatsuo NAKAZAWA,Yasunari SHIDAMA
    Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001), 1(S1-7), 1-2, 2001年, 査読有り
  • Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01), 1(I-7), 61-66, 2001年, 査読有り
  • Optimization of Fuzzy Feedback Control in L∞ Space
    Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001), 1(P211), 896-899, 2001年, 査読有り電子ジャーナル
  • Integral manifold and H-infinity control in weak nonlinear systems
    Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 2001年, 査読有りWebofScienceリポジトリ電子ジャーナル
  • An Optimization of Fuzzy Logic by using Genetic Algorithm
    Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI
    Mechanized Mathematics and Its Applications, 1(1), 39-45, 2000年, 査読有り
  • Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
    Takashi MITSUISHI,Jun KAWABE, Katsumi WASAKI,Yasunari SHIDAMA
    Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000年, 査読有り
  • A Set of Time Dependent Fuzzy Membership Functions and Its Compactness
    Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 2000 American Control Conference (ACC2K), 2468-2471, 2000年, 査読有り
  • Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method
    Takashi MITSUISHI,Katsumi WASAKI,Keiji OHKUBO,Jun KAWABE,Yasunari SHIDAMA
    Proceedings of the 2000 American Control Conference (ACC2K), 1944-1948, 2000年, 査読有り
  • Decision-Making of Theme by Students in a Case Study and Its Results
    Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI
    Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000), 1(FM5.2), 301-304, 2000年, 査読有り
  • A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net
    Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI
    Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000), 1(FM5.2), 1-6, 2000年, 査読有り
  • A process design for the Network File System model based on the Logical Coloured Petri Net
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000), 1(FM5.3), 1-6, 2000年, 査読有り
  • Mamdani fuzzy controller on NBV space
    Yuguang YANG,Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Yasunari SHIDAMA
    Proceedings of the 1999 American Control Conference (ACC99), 1(TA12), 1842-1845, 1999年, 査読有り
  • Existence of Optimal Fuzzy Rules in Fuzzy Control
    Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
    Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic, 1(8), 77-86, 1999年, 査読有り
  • Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools
    Tatsuo NAKAZAWA,Katsumi WASAKI,Michio SHIMIZU,Kazunori ITOH
    Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99), 8(8), 251-252, 1999年, 査読有り
  • Center Manifold and H∞ Control in Weak Nonlinear Systems
    Noboru ENDOU,Keiji OHKUBO,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 1, 73-78, 1999年, 査読有り
  • Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control
    Takashi MITSUISHI,Jun KAWABE,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 3, 51-55, 1999年, 査読有り
  • The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid
    Hikofumi SUZUKI,Tatsuo NAKAZAWA,Katsumi WASAKI,Yasunari SHIDAMA
    Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99), 33-35, 1999年, 査読有り
  • NBV空間のファジィ集合族のコンパクト性とファジィ制御への応用
    楊 毓光,和崎克己,江口正義,師玉康成,木村盛茂
    電子情報通信学会論文誌, J82-A(4), 523-529, 1999年, 査読有りリポジトリ
  • 中心多様体と弱非線形系H∞制御
    宮島啓一,和崎克己,鈴木彦文,江口正義,師玉康成
    電子情報通信学会論文誌, J82-A(5), 637-648, 1999年, 査読有りリポジトリ
  • Full Subtracter Circuits. Part I
    Katsumi WASAKI,Noboru ENDOU
    Formalized Mathematics, 8(1), 77-81, 1999年, 査読有りリポジトリ
  • Correctness of Binary Counter Circuits
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 83-85, 1999年, 査読有りリポジトリ
  • Correctness of Johnson Counter Circuits
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 87-91, 1999年, 査読有りリポジトリ
  • Correctness of a Cyclic Redundancy Check Code Generator
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 129-132, 1999年, 査読有りリポジトリ
  • Fuzzy Optimal Control in L^2 Space
    Takashi MITSUISHI,Katsumi WASAKI,Jun KAWABE,Yasunari SHIDAMA
    Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98), 8(2), 62-65, 1998年, 査読有り
  • An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net
    Katsumi WASAKI,Issei TAGUCHI,Hajime EIZAWA,Takeshi NAKAO,Pauline N. KAWAMOTO
    Proceedings of the 5th International Conference on Control,Automation,Robotics and Vision (ICARCV98), 1(TM4.6), 858-862, 1998年, 査読有り
  • 画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
    和崎克己,不破 泰,江口正義,中村八束
    画像電子学会誌, 25(6), 734-742, 1997年, 査読有りリポジトリ
  • 2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
    Katsumi WASAKI,Pauline N. KAWAMOTO
    Formalized Mathematics, 6(2), 189-197, 1997年, 査読有りリポジトリ
  • 高専電子制御工学科における実験実習指導~システム技術者能力の育成を目指す総合実験実習の導入~
    小野伸幸,和崎克己,岸 佐年,鈴木 宏,堀内富雄,坂口正雄
    工学教育, 45(1), 21-25, 1997年, 査読有りリポジトリ
  • トークンを用いたパケット交換システム用バス調停方式
    和崎克己,不破 泰,中村八束
    電気学会電子・情報・システム部門誌(C分冊), 117(12), 1782-1793, 1997年, 査読有りリポジトリ
  • Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model
    Katsumi WASAKI,Yasushi FUWA,Masayoshi EGUCHI,Yatsuka NAKAMURA
    Proceedings of the 4th International Conference on Control,Automation,Robotics and Vision (ICARCV96), 2(TA-2-2), 708-713, 1996年, 査読有り
  • A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON
    Katsumi WASAKI,Yasushi FUWA,Masayoshi EGUCHI,Yatsuka NAKAMURA
    SYSTEMS AND COMPUTERS IN JAPAN, 25(8), 1-15, 1994年07月, 査読有りWebofScience電子ジャーナル
  • セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
    和崎克己,不破 泰,江口正義,中村八束
    電子情報通信学会論文誌, J77-D-I(1), 41-52, 1994年, 査読有りリポジトリ

MISC

  • A Verification for Redundant Signed Digit Adder Circuits
    Edited by Roman Matuszewski and Anna Zalewska
    From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric, 10(23), 213-230, 2007年07月
  • 高速ディジタル回路の論理的設計手法について
    和崎克己
    信州大学博士学位論文, 1997年03月

担当経験のある科目_授業

  • 数理論理 (B3)
    信州大学
  • 情報システム実験II (B3)
    信州大学
  • 分散コンピューティング (B3)
    信州大学
  • 並列分散システム特論 (M)
    信州大学
  • 並列分散システム演習Ⅰ (M)
    信州大学
  • 並列分散システム演習Ⅱ (M)
    信州大学
  • 並列分散システム特別実験 (M)
    信州大学
  • 並列計算システム特論(D)
    信州大学

所属学協会

  • IEEE
  • 電子情報通信学会(IEICE)
  • 電気学会(JIEE)
  • 情報処理学会(IPSJ)
  • 教育システム情報学会(JSiSE)

共同研究・競争的資金等の研究課題

  • 大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合
    科学研究費補助金, 基盤研究(C)
    2019年 - 2022年
  • 高齢者見守りネットワークシステム
    共同研究, 秋田県立大学
    2018年 - 2024年
  • 総務省SCOPE:地域ICT振興型研究開発「複合センサを用いた地域型独居高齢者生活モニタリングシステムの研究開発」フェーズI・II
    受託研究, 総務省SCOPE
    2015年 - 2017年
  • グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系(代表者)
    科学研究費補助金, 基盤研究(C)
    2011年 - 2013年
  • MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発(分担)
    科学研究費補助金, 基盤研究(B)
    2010年 - 2013年
  • 関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法(代表者)
    科学研究費補助金, 基盤研究(C)
    2008年 - 2010年
  • アニメーション機能のある簡易オーサリングシステムの研究
    共同研究, 浅間電子出版(株)
    2008年 - 2008年
  • 自学自習型e-Learningにおける学生サポートシステムの開発に関する研究(分担)
    科学研究費補助金, 基盤研究(B)
    2007年 - 2010年
  • 総務省消防庁「消防防災科学技術研究推進制度」受託研究 GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発
    受託研究, 総務省消防庁
    2006年 - 2008年
  • 文部科学省「海外先進教育研究実践支援プログラム」カナダ・アルバータ州立大学 計算科学科 (派遣研究員)取組テーマ「E-Learning教材の国際高度化実践」 整理番号:16-海-202
    受託事業
    2005年 - 2005年
  • 文部科学省「現代的教育ニーズ取組プログラム(現代GP)」事業 分野(6)e-Learning「信州大発:学びのビッグバンプロジェクト」
    科学研究費補助金, 現代GP
    2004年 - 2006年
  • グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証(代表者)
    科学研究費補助金, 若手研究(B)
    2004年 - 2005年
  • 信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究(分担)
    科学研究費補助金, 基盤研究(B)
    2003年 - 2006年
  • プルーフチェッカーを用いた超並列演算器の設計検証(代表者)
    科学研究費補助金, 若手研究(B)
    2001年 - 2002年
  • 文部省・高等専門学校:教育先端設備費(先端的設備)「オーディオ・ビジュアル・インフォメーションシステム」(長野高専・分担)
    受託事業
    1998年 - 2000年
  • 制御システムモデルの設計に適した論理カラーペトリネット(ICARCV96シンガポール)電気通信普及財団・海外渡航旅費
    受託事業, 電気通信普及財団
    1996年 - 1996年
  • 文部省・高等専門学校:特定研究経費「逐次リアルタイム画像復号時の出力ゆらぎに関する研究」(長野高専・代表者)
    受託事業
    1995年 - 1995年
  • 並列分散システムのモデル化と解析
  • 非同期回路の数学モデルと形式検証
  • モデル検査系向けハードウェアコンパイラ

産業財産権

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

社会貢献活動

  • UFO長野共創塾 DS講座「データをエンジニアリングする重要性とデータマイニング・プロセスの流れ」
    講師
    長野市ものづくり支援センター(UFONagano), 2023年07月29日
  • 経産省 高等教育機関における共同講座創造支援事業
    共同研究講座(シナノケンシ/ASPINA), 2023年04月01日
  • ASPINA_DS講座「ビッグデータとデータエンジニアリング、機械学習概論I,II(3回シリーズ)」
    講師
    シナノケンシ/ASPINA, シナノケンシ/ASPINA本社, 2022年12月23日 - 2023年02月27日
  • 北陸信越工学教育協会 事業企画委員
    2021年 - 2022年
  • 電子情報通信学会 代議員(信越支部)
    2020年06月04日 - 2021年06月04日
  • 電子情報通信学会 信越支部 庶務幹事
    2018年 - 2020年
  • 電子情報通信学会北海道支部学術講演会「高信頼性システム講演会」
    稚内北星学園大学, 2016年08月04日
  • 情報処理学会 会誌 デジタルプラクティス(DP)モニタ
    2014年 - 2015年
  • 電子情報通信学会 会誌編集委員 WG・A(地方)
    2013年05月01日 - 2015年04月30日
  • 検証モデリング手法講演会「形式手法と検証技術が創る高信頼性システムの世界」
    講師
    稚内北星学園大学, 2013年
  • 電子情報通信学会 信州大学学生会顧問
    2012年 - 2013年
  • 電子情報通信学会 信越支部委員
    2011年 - 2012年
  • 長野県工業技術総合センター「平成18年度から20年度消防庁科学技術研究推進制度」における受託研究成果発表会
    講師
    長野県工業技術総合センター:長野県松本市, 2010年
  • ARECリレー講演会(第110回)「形式手法と検証技術が創る高信頼性システムの世界」(80名)
    講師
    浅間リサーチ・エクステンション・センター, 2010年
  • 県組込システムコンソーシアム講演会「信州大学大学院高度ものづくり専門職コースについて」
    SIP塩尻, 2007年
  • 電子情報通信学会東北支部学術講演会「最近のインターネットセキュリティ技術について」
    いわき明星大学, 2006年
  • University of Alberta, Department of Computer Science, Visiting Researcher
    2005年 - 2005年
  • 九州工業大学 e-Learning講演会「現代GP「信州大発“学び”のビッグバンプロジェクト」取組」
    九州工業大学, 2005年
  • いわき明星大学 理工学セミナー「信州大学インターネット大学院について」
    講師
    いわき明星大学, 2004年
  • University of Alberta, Department of Computer Science, Research Associate
    2003年 - 2003年
  • 長野県情報技術試験場 知的制御研究会講演会「ディジタル信号処理とWavelet変換の基礎」
    長野県情報技術試験場, 2002年
  • 長野県情報技術試験場 アルプスハイランド現代制御研究会「現代制御理論の基礎とDSPプログラミング」
    長野県情報技術試験場, 2002年
  • 兵庫教育大学・学校教育研究センター FDワークショップ「信州大学インターネット大学院構想について」
    講師
    兵庫教育大学・学校教育研究センター, 2002年
  • 八光エンジニアリング タイムリーHITセミナー講演会「ブロードバンド時代の情報通信技術とセキュリティ -コンピュータウィルスとクラッキング行為への対応について-」
    講師
    八光エンジニアリング, 2002年
  • 情報処理学会 東海支部運営委員
    2001年 - 2003年
  • 長野県情報技術試験場 知的制御研究会講演会「並列画像処理技術の基礎」
    長野県情報技術試験場, 2001年
  • 長野県短期大学 非常勤講師
    2000年 - 2005年
  • 長野県情報技術試験場 知的制御研究会講演会「メカトロ実験で学ぶDCモータ制御の考え方と実践方法」
    長野県情報技術試験場, 2000年
  • さかきテクノセンター公開講座「表計算ソフトウェア活用技術(Excel&Lotus1-2-3)」
    さかきテクノセンター, 1996年
  • 長野工業高等専門学校 先端技術公開講座「新しい生産システム制御の考え方と実践方法(Petri Nets)」
    長野工業高等専門学校, 1996年

学術貢献活動

  • 企画立案・運営等
    Technical Symposium and General Assembly of Mizar JAPAN (2019-2020), Faculty of Engineering, Shinshu University, Nagano, Japan., 2018年12月27日 - 2020年12月27日
  • Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology(Qingdao, China), 21th June, 2010, 30 audiences.
    企画立案・運営等
    Qingdao University of Science&Technology(Qingdao, China), 2010年
  • 信州大学高等教育システムセンター「情報技術などを活用した教育改善」意見交換会
    企画立案・運営等
    信州大学高等教育システムセンター, 2004年

提供可能な資源(試作品、実験材料、データ等)

  • 高効率計算機システム構築技術, High Performance Computing (HPC) Systems
  • 形式検証とモデルチェッキング技術, Formal Verification and Model Checking

学部内委員会等

  • 2008年04月01日 - 2010年03月31日, 正副委員長, 4
  • 2007年05月01日 - 2008年04月30日, 情報工学科委員, 11
  • 2004年04月01日 - 2005年03月31日, 情報工学科委員, 11
  • 2009年12月01日 - 2012年03月31日, 情報工学科委員, 4
  • 2012年04月01日 - 2013年03月31日, 情報工学科委員, 4
  • 2014年04月01日 - 2017年03月31日, 正副委員長, 12
  • 2014年04月01日 - 2015年03月31日, 広報室員(副入試委員(広報)), 4
  • 2022年09月01日 - 2023年03月31日, WGメンバー
  • 2023年04月01日, DS講座担当
  • 2022年03月01日, WG座長
  • 2009年04月01日 - 2013年03月31日, 1年〜4年生
  • 2012年11月01日 - 2013年10月31日, 就職担当
  • 1998年04月01日 - 1999年03月31日, 成績処理システム担当
  • 1998年04月01日 - 1999年03月31日, 情報工学科委員
  • 2000年04月01日 - 2003年03月31日, 2年〜4年生
  • 2002年04月01日 - 2003年03月31日, 情報工学科委員
  • 2000年, 情報工学専攻
  • 2003年, 情報工学科
  • 2006年 - 2007年, 情報工学科委員
  • 2017年 - 2018年, 委員長
  • 2018年 - 2022年, 委員長
  • 2021年 - 2022年, 委員

全学委員会・ワーキンググループ等

  • 2000年04月01日 - 2003年03月31日, 地域共同研究センター(CRC)活動推進委員, 工学部委員
  • 2000年 - 2003年, 地域共同研究センター(CRC)機器担当専門教官, ネットワーク管理
  • 2004年 - 2007年, 文部科学省「現代的教育ニーズ取組プログラム(現代GP)」, 教材国際化担当
  • 2006年 - 2007年, 大学院高度ものづくり専門職コース, 塩尻サテライト担当
  • 2021年 - 2023年, 学術情報・図書館委員会委員, 工学部委員
  • 2011年04月01日 - 2016年03月31日, CRC地域共同研究センター運営委員会, 工学部委員, 4
  • 2011年04月01日 - 2014年03月31日, 産学官連携推進本部運営委員会(SILO), 工学部委員, 11
  • 2014年04月01日 - 2015年09月30日, エンジニアリング分野知的財産審査委員会, 工学部委員, 11
  • 2014年04月01日 - 2015年03月31日, アドミッションセンター研究部門会議, 工学部委員, 6
  • 2015年04月01日 - 2016年03月31日, アドミッションセンター広報部門会議, 工学部委員, 6
  • 2016年04月01日 - 2017年03月31日, アドミッションセンター運営委員会, 工学部委員, 12
  • 2011年04月01日 - 2014年03月31日, ナノテク・材料・IT分野知的財産審査委員会, 工学部委員, 11
  • 2015年10月01日 - 2021年09月30日, エンジニアリング分野知的財産審査委員会, 委員長, 11
  • 2021年10月01日, エンジニアリング分野知的財産審査委員会, 工学部委員, 11
  • 2021年 - 2024年, 大学史資料センター運営委員会, 工学部委員
  • 2022年04月01日 - 2025年03月31日, 数理データサイエンス・AI人材育成プログラム(大学推進プロジェクト R4-R6), プロジェクト責任者
  • 2020年09月01日 - 2022年03月23日, 全学改組WT・新学部検討WT, 工学部委員

学内兼務職

  • 2024年04月01日 - 2027年03月31日, 評議員
  • 2021年04月01日 - 2024年03月31日, 信州大学附属図書館, 工学部図書館長
  • 2023年04月01日 - 2026年03月31日, 工学部数理データサイエンス・AI教育研究センター, 副センター長
  • 2012年04月01日 - 2014年03月31日, 工学部情報工学科 正副学科長, 正副学科長
  • 2008年04月01日 - 2009年03月31日, 大学院博士課程講座主任, 数理情報システム学講座
  • 2016年04月01日 - 2018年03月31日, 大学院博士課程部門長, 数理情報システム学部門
  • 2021年04月01日 - 2024年03月31日, 学部長補佐(教育改革・改組担当)
  • 2022年04月01日 - 2024年03月31日, 工学部電子情報システム工学科 正副学科長, 正副学科長