Shinshu University Researcher Directory｜Shinshu University Online system of General Academic Resources SOAR

Faculty	Computer Science, Department of Computer Science&Engineering, Faculty of Engineering	TEL
Position	Professor	FAX
Address		Mail Address
		Web site	http://wasaki.jp/

Profile

Research Field: Foundation of Computer Science
Computer Systems
Information Networks
Keywords:Concurent Systems , Mathematical Modeling , Formal Verification , Asynchronous Circuits , Petri Nets , LOTOS , Hardware Compiler , Upstream Design

Current Subject: Modeling and Analysis of Concurrent, Parallel and/or Distributed Processing Systems
Keywords:Concurrency, Parallel, Distributed Systems
Mathematical Model and Formal Verification of Asynchronous Circuits
Keywords:Asynchronous Circuits, Formal Verification, Model Checking
Hardware Compiler for Model Checking Systems
Keywords:Model Checking, Upstream Compiler

Academic Societies: Academic Societies
MIZAR Association
IEEE
Institute of Electronics, Information and Communication Engineers (IEICE)
Institute of Electrical Engineers of Japan (JIEE)
Information Processing Society of Japan (IPSJ)
Japanese Society for Information and Systems in Education (JSiSE)

Academic Background: Graduate School
Shinshu University , (Doctor later , System Development Engineering , Graduate School of Science and Technology) , 1994(Unfinished course)
Shinshu University , (Doctor prophase , Computer Science&Engineering , Graduate School of Science and Technology) , 1993(Completed)

College
Shinshu University , (Computer Science&Engineering , Faculty of Engineering) , 1991(Graduated)

Degree
Doctor in Engineering , Shinshu University

Awards: 2007 , Best Paper Award on Journal of Information and Systems in Education
2001 , Best Paper Award on ICCAS2001 International Conference , Nobuhiro SHIMOI, Yoshihiro TAKITA, Kenzo NONAMI, Katsumi WASAKI : Land Mine Detecting Technology by Using IR Cameras ; Proceedings of the International Conference on Control, Automation and Systems (ICCAS2001), 131-134, 2001.

Research Career: Research Career
2009 - , Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Professor
2007 - 2009 , Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
2003 - 2007 , Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
2001 - 2003 , Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assoc. Prof.
1998 - 2001 , Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assist. Prof.
1994 - 1998 , Dept. of E&C, Nagano National College of Tech. Assist. Prof.

Overseas Education
2005 - 2005 , Research Associate, Dept. of Computing Science, University of Alberta, Canada

Research

Books, Articles, etc.: Articles
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

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 toWeb 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:田中敬一、和崎克己

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 Practice of Smart Sensing System for Buried Mines Detecting based on Active Infrared Thermography Approach
International Journal of Computational Intelligence: Theory and Practice , 4(1):29-37 2009
Author:Katsumi WASAKI, Nobuhiro SHIMOI

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 Image Processing
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 Adder Circuits (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

人道的埋設地雷探知技術
マイクロメカトロニクス , 48(1):9-18 2004
Author:下井信浩, 滝田好宏, 和崎克己

信州大学インターネット大学院の現状と将来計画
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

A Remote Sensing Method of Ground Mines using Time Difference IR Images
roceedings of the International Symposium on Inverse Problems in Engineering Mechanics 2003 (ISIP 2003)，Inverse Problems in Engineering Mechanics , VI:261-270 2003
Author:Katsumi WASAKI, Nobuhiro SHIMOI, Yoshihiro TAKITA

長距離無線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

Land Mine Detecting Technology by using IR Cameras
Proceedings of theInternational Conference on Control, Automation and Systems (ICCAS2001) , 1(P211):131-134 2001
Author:Nobuhiro SHIMOI, Yoshihiro TAKITA, Kenzo NONAMI, Katsumi WASAKI

A Smart Sensing Method for Mine Detection using Time Difference IR Images
Proceedings of IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems (IEEE-MFI2001) , 1:133-139 2001
Author:Katsumi WASAKI, Nobuhiro SHIMOI, Yoshihiro TAKITA, Pauline N. KAWAMOTO

Smart Sensing for Mine Detection Studies with IR Cameras
Proceedings of IEEE International Symposium on Computational Intelligence in Robotics and Automation (IEEE-CIRA2001) , 1:356-361 2001
Author:Nobuhiro SHIMOI, Yoshihiro TAKITA, Kenzo NONAMI, Katsumi WASAKI

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:金田忠裕, 吉田丈夫, 大須賀公一, 師玉康成, 和崎克己

IRカメラを用いた埋設地雷探査技術
マイクロメカトロニクス , 45(4):32-40 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 of Mechanical 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，Katsumi WASAKI，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, Takeo YOSHIDA, 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:和崎克己，不破　泰，江口正義，中村八束

Others
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:和崎克己

Themes for Joint Research: High Performance Computing Systems (HPCS) with GPGPU Cluster
Formal Verification and Model Checking for Digital Circuits
Upstream Design Language and its Hardware Compiler

Resources: High Performance Computing (HPC) Systems with GPGPU Cluster

Education

Lectures: 2012 , first semester , Calculus I
2012 , first semester , Networked Computing
2012 , first semester , Information Security Systems
2012 , whole year , Parallel Computing Systems
2011 , second semester , Security of Society Systems

Shinshu University Researcher Directory

WASAKI KATSUMI

Profile

Research

Education

WASAKI　KATSUMI