信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

和﨑克己  ワサキ カツミ

教員組織学術研究院(工学系)電話番号
教育組織工学部 電子情報システム工学科FAX番号
職名教授メールアドレス
住所〒380-8553 長野県長野市若里4丁目17番1号ホームページURLhttp://www.cs.shinshu-u.ac.jp/~wasaki
https://www.researchgate.net/profile/Katsumi_Wasaki/

更新日:2017/04/19

プロフィール

研究分野
情報学基礎理論
計算機システム
情報ネットワーク
現在の研究課題
並列分散システムのモデル化と解析
キーワード:並列システム,分散システム
非同期回路の数学モデルと形式検証
キーワード:非同期回路,形式検証,モデルチェッキング
モデル検査系向けハードウェアコンパイラ
キーワード:モデル検査,上位コンパイラ
所属学会
所属学会
MIZAR Association
IEEE
電子情報通信学会(IEICE)
電気学会(JIEE)
情報処理学会(IPSJ)
教育システム情報学会(JSiSE)
学歴
出身大学院
1994 , 信州大学 , 工学系研究科 , システム開発工学専攻(中退)
1993 , 信州大学 , 工学系研究科 , 情報工学専攻(修了)

出身学校・専攻等(大学院を除く)
1991 , 信州大学 , 工学部 , 情報工学科(卒業)

取得学位
博士(工学) , 信州大学
受賞学術賞
2016 , ESS2016(第6回 組込みシステム シンポジウム)優秀ポスター賞 , 三井雄太,張江洋次朗,和﨑克己 : 階層型ペトリネット設計・検証ツール:HiPS ; 組込みシステムシンポジウム2016(ESS2016)講演論文集, 情報処理学会, 96-97, 2016.【査読付】
2016 , FIT奨励賞(第15回情報科学技術フォーラム) , 和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016(第15回情報科学技術フォーラム)講演論文集, (J-036), 353-354, 2016.
2012 , 電子情報通信学会信越支部ベストプラクティス賞
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 , ICCAS2001国際会議 論文賞 (共著)
研究職歴等
研究職歴
2016- , 信州大学工学部 電子情報システム工学科 教授
2009- , 信州大学工学部 情報工学科 教授(兼担)
2007-2009 , 信州大学大学院工学系研究科 准教授
2003-2007 , 信州大学大学院工学系研究科 助教授
2001-2003 , 信州大学工学部情報工学科 助教授
1998-2001 , 信州大学工学部情報工学科 助手
1994-1998 , 長野工業高等専門学校電子制御工学科 助手

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

研究活動業績

研究業績(著書・
発表論文等)
論文
Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
Proceedings of the 14th International Conference on Information Technology - New Generations (ITNG2017), Advances in Intelligent Systems and Computing,558:57-65 2017(Apr.)
Author:Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI


A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
Proceedings of the 14th International Conference on Information Technology - New Generations (ITNG2017), Advances in Intelligent Systems and Computing,558:265-273 2017(Apr.)
Author:Yojiro HARIE, Katsumi WASAKI


Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016),:290-294 2016(Oct.)
Author:Yojiro HARIE, Katsumi WASAKI


A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness
Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016),:422-427 2016(Jul.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA


Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016),:1006-1012 2016(Mar.)
Author:Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO


Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
IEEJ Transactions on Electrical and Electronic Engineering,10(s1):S60-S68 2015(Oct.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI


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


A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation
Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015),(ST005):7pages 2015(Jan.)
Author:Kazuki IWAMOTO, Katsumi WASAKI


Using a Solar Powered Robotic Vehicle to Monitor and Manage Unstable Networks
International Journal of Future Computer and Communication,3(6):415-420 2014(Dec.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA


Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization)
International Journal of Innovative Computing Information and Control,10(5):1601-1623 2014(Oct.)
Author:Hiroyuki MATSUURA, Katsumi WASAKI


Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon)
International Journal of Innovative Computing Information and Control,10(3):1121-1133 2014(Jun.)
Author:Hiroyuki MATSUURA, Katsumi WASAKI


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


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


Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+
International Journal of Advanced Computer Science,3(1):26-32 2013
Author:Sho NISHIDA, Katsumi WASAKI


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


SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA
マルチメディア通信と分散処理ワークショップ論文集,2012(4):219-226 2012(Oct. 10)
Author:BishnuPrasadGautam; Katsumi Wasaki;


An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process
International Journal of Advancements in Computing Technology,4(14):372-380 2012(Aug.)
Author:Naoki MIYAMOTO, 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 2012(Apr.)
Author:Sho NISHIDA, Katsumi WASAKI


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


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


Morphology for Image Processing, Part I
Formalized Mathematics,20(1):61-63 2012
Author:Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI


Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams
International Journal of Advancements in Computing Technology,3(8):189-197 2011(Sep.)
Author:Yutaka YAMADA, Katsumi WASAKI


Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011),1:139-144 2011(Aug.)
Author:Yutaka YAMADA, Katsumi WASAKI


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


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
IEEJ Transactions on Electrical and Electronic Engineering,6(1):37-45 2011
Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI


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
Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010),1(WE3C-02):163-166 2010
Author:Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki


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


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


Complex Integral
Formalized Mathematics,17(4):233-236 2009
Author:Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA


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


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


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


Stability of the 4-2 Binary Addition Circuit Cells. Part I
Formalized Mathematics,16(4):385-395 2008
Author:Katsumi WASAKI


A Realization of the Persistence of Petri Net State Spaces using XML Data Deployment
International Journal of Computer Science and Network Security,8(3):92-97 2008
Author:Katsumi WASAKI


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


Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II
Formalized Mathematics,16(1):73-80 2008
Author:Katsumi WASAKI


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


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


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


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


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


Riemann Indefinite Integral of Functions of Real Variable
Formalized Mathematics,15(2):59-63 2007
Author:Yasunari SHIDAMA, Noboru ENDOU,Katsumi WASAKI


A Realization and Verification of A Parallel Image Processing Controller by using An Extended Petri net
International Journal of Computer Science and Network Security,7(3):258-263 2007
Author:Katsumi WASAKI


A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
International Journal of Computer Science and Network Security,7(3):184-192 2007
Author:Katsumi WASAKI


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


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


The learning system of Shinshu University Graduate School of Science and Technology on the Internet
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS,3683(1):1296-1302 2005
Author:Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y


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


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


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


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


Generalized Full AdderCircuits (GFAs). Part I
Formalized Mathematics,14(4):549-571 2005
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI


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


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


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


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


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


信州大学インターネット大学院の現状と将来計画
Journal of Multimedia Aided Education Research,1(1):11-18 2004
Author:不破 泰,國宗永佳,新村正明,和崎克己,師玉康成,中村八束


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


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


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


Shinshu University, Graduate School of Science and Technology on the Internet
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
Author:Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA,Yatsuka NAKAMURA, Shinjiro OSHITA


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


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


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


Full Subtracter Circuit. Part II
Formalized Mathematics,11(3):231-236 2003
Author:Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI


データ通信に用いるCATV網上り回線の雑音低減について
情報処理学会研究報告 [オーディオビジュアル複合情報処理],2002(120):117-120 2002
Author:中村正幸,楊 航英,山崎英樹,内川富彦,和崎克己,師玉康成


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


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


Full Adder Circuit. Part II
Formalized Mathematics,10(1):65-71 2002
Author:Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI


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


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


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


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


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


Measurability of Extended Real Valued Function
Formalized Mathematics,9(3):525-529 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


The Concept of Fuzzy Relation and Basic Properties of its Operation
Formalized Mathematics,9(3):517-524 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


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


Definitions and Basic Properties of Measurable Functions
Formalized Mathematics,9(3):495-500 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Basic Properties of Extended Real Numbers
Formalized Mathematics,9(3):491-494 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


The Correctness of the High Speed Array Multiplier Circuits
Formalized Mathematics,9(3):475-479 2001
Author:Hiroshi YAMAZAKI,Katsumi WASAKI


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


Basic Properties of Fuzzy Set Operation and Membership Function
Formalized Mathematics,9(2):357-362 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
Formalized Mathematics,9(2):285-289 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
Formalized Mathematics,9(2):281-284 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Integrability of Bounded Total Functions
Formalized Mathematics,9(2):271-274 2001
Author:Noboru ENDOU,Katsumi WASAKI, Yasunari SHIDAMA


Darboux's Theorem
Formalized Mathematics,9(1):197-200 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Scalar Multiple of Riemann Definite Integral
Formalized Mathematics,9(1):191-196 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Property ofComplex Sequence and Continuity of Complex Function
Formalized Mathematics,9(1):185-190 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


Property of Complex Functions
Formalized Mathematics,9(1):179-184 2001
Author:Takashi MITSUISHI,KatsumiWASAKI,Yasunari SHIDAMA


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


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


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


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


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


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


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


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


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


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


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


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


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


Correctness of a Cyclic Redundancy Check Code Generator
Formalized Mathematics,8(1):129-132 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Correctness of Johnson Counter Circuits
Formalized Mathematics,8(1):87-91 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Correctness of Binary Counter Circuits
Formalized Mathematics,8(1):83-85 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Full Subtracter Circuits. Part I
Formalized Mathematics,8(1):77-81 1999
Author:Katsumi WASAKI,Noboru ENDOU


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


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


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


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


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


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


2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
Formalized Mathematics,6(2):189-197 1997
Author:Katsumi WASAKI,Pauline N. KAWAMOTO


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


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


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


その他
A Verification for Redundant Signed Digit Adder Circuits
From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric , 10(23):213-230 2007(Jul.)
Author:Edited by Roman Matuszewski and Anna Zalewska


高速ディジタル回路の論理的設計手法について
信州大学博士学位論文 1997(Mar.)
Author:和崎克己

共同研究等希望テーマ
GPGPUクラスタによる高効率計算機システム
ディジタル回路の形式検証とモデルチェッキング
上位設計言語とハードウェアコンパイラ
提供可能な資源
高効率計算機システム構築技術
形式検証とモデルチェッキング技術
研究費
共同研究
2008 - 2008 , アニメーション機能のある簡易オーサリングシステムの研究 , 企業等からの受託研究

受託研究
2015 - 2017 , 総務省SCOPE:地域ICT振興型研究開発「複合センサを用いた地域型独居高齢者生活モニタリングシステムの研究開発」フェーズI・II
2006 - 2008 , 総務省消防庁「消防防災科学技術研究推進制度」受託研究 GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発

科学研究費補助金(研究代表者)
2011 - 2013 , グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系(代表者) , 基盤研究(C)
2008 - 2010 , 関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法(代表者) , 基盤研究(C)
2004 - 2005 , グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証(代表者) , 若手研究(B)
2001 - 2002 , プルーフチェッカーを用いた超並列演算器の設計検証(代表者) , 若手研究(B)

科学研究費補助金(研究分担者)
2010 - 2013 , MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発(分担) , 基盤研究(B)
2007 - 2010 , 自学自習型e-Learningにおける学生サポートシステムの開発に関する研究(分担) , 基盤研究(B)
2004 - 2006 , 文部科学省「現代的教育ニーズ取組プログラム(現代GP)」事業 分野(6)e-Learning「信州大発:学びのビッグバンプロジェクト」 , 現代GP
2003 - 2006 , 信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究(分担) , 基盤研究(B)

受託事業
2005 - 2005 , 文部科学省「海外先進教育研究実践支援プログラム」カナダ・アルバータ州立大学 計算科学科 (派遣研究員)取組テーマ「E-Learning教材の国際高度化実践」 整理番号:16-海-202
1998 - 2000 , 文部省・高等専門学校:教育先端設備費(先端的設備)「オーディオ・ビジュアル・インフォメーションシステム」(長野高専・分担)
1996 - 1996 , 制御システムモデルの設計に適した論理カラーペトリネット(ICARCV96シンガポール)電気通信普及財団・海外渡航旅費
1995 - 1995 , 文部省・高等専門学校:特定研究経費「逐次リアルタイム画像復号時の出力ゆらぎに関する研究」(長野高専・代表者)

教育活動実績

授業等
2017 , 前期 , ネットワークコンピューティング (B3)
2017 , 前期 , セキュリティ社会システム特論 (M)
2017 , 後期 , 形式的システムモデリング (B2)
2017 , 後期 , コンピュータネットワーク (B3)
2017 , 通年 , 情報基礎演習I (M)
2017 , 通年 , 情報基礎演習III (M)
2017 , 通年 , 情報基礎特別実験I (M)
2017 , 通年 , 情報基礎特別実験III (M)
2017 , 通年 , 並列計算システム特論(D)
2016 , 前期 , 情報セキュリティ特論 (M)

社会活動実績

社会活動等
公開講座
20160804 - , 電子情報通信学会北海道支部学術講演会「高信頼性システム講演会」
2007 - , 県組込システムコンソーシアム講演会「信州大学大学院高度ものづくり専門職コースについて」
2006 - , 電子情報通信学会東北支部学術講演会「最近のインターネットセキュリティ技術について」
2005 - , 九州工業大学 e-Learning講演会「現代GP「信州大発“学び”のビッグバンプロジェクト」取組」
1996 - , さかきテクノセンター公開講座「表計算ソフトウェア活用技術(Excel&Lotus1-2-3)」

出前講座
2002 - , 長野県情報技術試験場 知的制御研究会講演会「ディジタル信号処理とWavelet変換の基礎」
2002 - , 長野県情報技術試験場 アルプスハイランド現代制御研究会「現代制御理論の基礎とDSPプログラミング」
2001 - , 長野県情報技術試験場 知的制御研究会講演会「並列画像処理技術の基礎」
2000 - , 長野県情報技術試験場 知的制御研究会講演会「メカトロ実験で学ぶDCモータ制御の考え方と実践方法」
1996 - , 長野工業高等専門学校 先端技術公開講座「新しい生産システム制御の考え方と実践方法(Petri Nets)」

講演会
2013 - , 検証モデリング手法講演会「形式手法と検証技術が創る高信頼性システムの世界」
2010 - , 長野県工業技術総合センター「平成18年度から20年度消防庁科学技術研究推進制度」における受託研究成果発表会
2010 - , ARECリレー講演会(第110回)「形式手法と検証技術が創る高信頼性システムの世界」(80名)
2004 - , いわき明星大学 理工学セミナー「信州大学インターネット大学院について」
2002 - , 兵庫教育大学・学校教育研究センター FDワークショップ「信州大学インターネット大学院構想について」
2002 - , 八光エンジニアリング タイムリーHITセミナー講演会「ブロードバンド時代の情報通信技術とセキュリティ -コンピュータウィルスとクラッキング行為への対応について-」

学会・研究会の主催
2010 - , Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology(Qingdao, China), 21th June, 2010, 30 audiences.
2004 - , 信州大学高等教育システムセンター「情報技術などを活用した教育改善」意見交換会

学外審議会・委員会
2014 - 2017 , 長野市個人情報保護審査会 , 審査委員
2008 - , 独立行政法人 新エネルギー・産業技術総合開発機構 NEDO技術委員(研究評価委員会)
2003 - 2007 , 長野県組込システムコンソーシアム運営委員・研究会員
2000 - 2004 , 長野県開発テクノアドバイザー
1997 - 1999 , 長野県上田浅間マルチメディアポリス開発機構委員

その他社会活動
2014 - 2015 , 情報処理学会誌およびデジタルプラクティス(DP)モニタ
20130501 - 20150430 , 電子情報通信学会会誌編集委員 , WG・A(地方)
2012 - 2013 , 電子情報通信学会信州大学学生会顧問
2011 - 2012 , 電子情報通信学会信越支部委員
2005 - , University of Alberta, Department of Computer Science, Visiting Researcher(在外研究員)
2003 - , University of Alberta, Department of Computer Science, Research Associate
2001 - 2003 , 情報処理学会東海支部運営委員
2000 - 2005 , 長野県短期大学非常勤講師

管理運営実績

管理運営実績
学内兼務職
2016 - , 大学院博士課程部門長 , 数理情報システム学部門
2012 - 2014 , 工学部情報工学科長 , 正副学科長
2008 - 2009 , 大学院博士課程講座主任 , 数理情報システム学講座

全学委員会・ワーキンググループ等
2016 - 2017 , アドミッションセンター運営委員会 , 工学部委員
2015 - , エンジニアリング分野知的財産審査委員会 , 委員長
2015 - 2016 , アドミッションセンター広報部門会議 , 工学部委員
2014 - 2015 , エンジニアリング分野知的財産審査委員会 , 工学部委員
2014 - 2015 , アドミッションセンター研究部門会議 , 工学部委員
2011 - 2016 , CRC地域共同研究センター運営委員会 , 工学部委員
2011 - 2014 , 産学官連携推進本部運営委員会(SILO) , 工学部委員
2011 - 2014 , ナノテク・材料・IT分野知的財産審査委員会 , 工学部委員
2006 - 2007 , 大学院高度ものづくり専門職コース , 塩尻サテライト担当
2004 - 2007 , 文部科学省「現代的教育ニーズ取組プログラム(現代GP)」 , 教材国際化担当
2000 - 2003 , 地域共同研究センター(CRC)活動推進委員 , 工学部委員
2000 - 2003 , 地域共同研究センター(CRC)機器担当専門教官 , ネットワーク管理

学部内委員会等
2014 - 2017 , 工学部入試委員会 , 正副委員長
2014 - 2015 , 工学部広報室 , 広報室員(副入試委員(広報))
2012 - 2013 , 情報工学科就職委員 , 就職担当
2012 - 2013 , 工学部学術推進委員 , 情報工学科委員
2009 - 2012 , 情報工学科広報担当 , 情報工学科委員
2009 - 2013 , 情報工学科補導教員(学年担任) , 1年〜4年生
2008 - 2010 , 工学部情報システム委員会 , 正副委員長
2007 - 2008 , 工学部学務委員会 , 情報工学科委員
2006 - 2007 , 工学部 高大連携LEDプロジェクト , 情報工学科委員
2004 - 2005 , 工学部入試委員会 , 情報工学科委員
2003 - , 信州大学インターネット大学(SUSI)基幹メンバー , 情報工学科
2002 - 2003 , 工学部図書委員 , 情報工学科委員
2000 - 2003 , 情報工学科補導教員(学年副担任) , 2年〜4年生
2000 - , 信州大学インターネット大学院(SUGSI)基幹メンバー , 情報工学専攻
1998 - 1999 , 工学部教務電算化WG , 成績処理システム担当
1998 - 1999 , 工学部安全・環境委員 , 情報工学科委員