• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

WASAKI KATSUMI  和崎 克己

ORCIDConnect your ORCID iD *help
… Alternative Names

Wasaki Katsumi  和崎 克己

WASAKI Katumi  和崎 克己

和崎 克巳  ワサキ カツミ

和崎 克美  ワサキ カツミ

Less
Researcher Number 70271492
Other IDs
External Links
Affiliation (Current) 2025: 信州大学, 学術研究院工学系, 教授
Affiliation (based on the past Project Information) *help 2025: 信州大学, 学術研究院工学系, 教授
2019 – 2022: 信州大学, 学術研究院工学系, 教授
2009 – 2013: Shinshu University, 工学部, 教授
2009: 信州大学, 工学系研究科, 教授
2007 – 2008: 信州大学, 工学系研究科, 准教授 … More
2006: 信州大学, 大学院・工学系研究科, 助教授
2006: SHINSHU UNIVERSITY, Graduate School of Science and Technology, Associate Professor, 工学系研究科, 助教授
2005: 信州大, 工学(系)研究科(研究院), 助教授
2005: Shinshu University, Faculty of engineering・Department of Information engineering, Associate Professors, 工学部, 助教授
2004: 信州大学, 工学部・情報工学科, 助教授
2003 – 2004: 信州大学, 大学院・工学系研究科, 助教授
2001 – 2002: Shinshu University Faculty of Engineering Department of Information Engineering, Associate Professor, 工学部, 助教授
2001 – 2002: 信州大学, 工学部・情報工学科, 助教授
2000 – 2001: 信州大学, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
Intelligent informatics / Basic Section 60010:Theory of informatics-related / 計算機科学
Except Principal Investigator
Educational technology / Dynamics/Control / Measurement engineering
Keywords
Principal Investigator
関数型言語系 / 定理証明器 / 形式検証 / プルーフチェッカ / 探索・論理・推論アルゴリズム / 並列演算器 / 設計検証 / 形式検証系 / モデル検査 / ペトリネット … More / 状態空間生成 / モデル検査器 / ハードウェアコンパイラ / 非同期並列システム / コンパイラ / 設計検証系 / グリッド計算機 / MPI / プルーフチェッカー / グリッドコンピューティング / FPGA / ハードウェア記述言語 / 多ソート代数 … More
Except Principal Investigator
地雷処理技術 / 対人地雷 / プルーフチェッカ / Education Information Engineering / Mathematical Proof Checker / Security Technology / Streaming Service / Multimedia Contents / Computer Aided Instruction System / Internet University / Distance Learning / グループディスカッション / CMS / インターネット大学院 / CAI / マルチメディアコンテンツ / 教育システム情報工学 / セキュリティ技術 / ストリーミング配信 / マルチメディア / CAIシステム / インターネット大学 / 遠隔教育 / Mine detector. / Mine Detection / IR Camera, / Smart Sensing / Robot control / 自律歩行ロボット / 遠隔操縦技術 / 自立移動ロボット / 金属探知機 / 遠隔探知技術 / 金属探知器 / 探知ロボット / 地中レーダ / ロボット / 自律制御 / 地雷処理 / 地雷探知 / Remote Sensing / demining / Mine detectiong / Anti-personnel Mine / リモートセンシング / 赤外線カメラ / 地雷探知技術 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / eラーニング / 自学自習型 / 学生サポート / 学習履歴 / 学習サポート / e-Learning / 教育工学 / e-ラーニング Less
  • Research Projects

    (11 results)
  • Research Products

    (151 results)
  • Co-Researchers

    (24 People)
  •  大規模形式検証を実現するライブラリ自動検索機能付き定理証明器とモデル検査器の融合Principal Investigator

    • Principal Investigator
      和崎 克己
    • Project Period (FY)
      2025 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      Shinshu University
  •  Fusion of Meta-Scalable Theorem Prover and Parallel Model Checker to Realize Large-Scale Fast Formal VerificationPrincipal Investigator

    • Principal Investigator
      Wasaki Katsumi
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      Shinshu University
  •  Formal Verification System by using Hardware Compiler Fusioning of Theorem Prover and Model Checker on the Grid EnvironmentPrincipal Investigator

    • Principal Investigator
      WASAKI Katsumi
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Shinshu University
  •  Content Development for Distance Education in Advanced University Mathematics Using Mizar

    • Principal Investigator
      SHIDAMA Yasunari
    • Project Period (FY)
      2010 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University
  •  Design verification method of massively parallel arithmetic unit combined using a functional language and the Grid computing systemPrincipal Investigator

    • Principal Investigator
      WASAKI Katsumi
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Shinshu University
  •  Development of the Comprehensive Support and Advice Activities System for Students of remote self-learning systems using e-Learning

    • Principal Investigator
      FUWA Yasushi
    • Project Period (FY)
      2007 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University
  •  グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証Principal Investigator

    • Principal Investigator
      和崎 克己
    • Project Period (FY)
      2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Shinshu University
  •  Advanced Research in CAI System Utilizing Multimedia at Shinshu University Graduate School on the Internet

    • Principal Investigator
      SHIDAMA Yasunari
    • Project Period (FY)
      2003 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      SHINSHU UNIVERSITY
  •  A study of mine detecting and mine removal technology by using autonomous control working robot

    • Principal Investigator
      SHIMOI Nobuhiro
    • Project Period (FY)
      2002 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Dynamics/Control
    • Research Institution
      Tokyo National College of Technology
  •  プルーフチェッカーを用いた超並列演算器の設計検証Principal Investigator

    • Principal Investigator
      和崎 克己
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      Shinshu University
  •  A Study of Land"Mine Detecting by Using Camera.

    • Principal Investigator
      SHIMOI Nobuhiro
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Measurement engineering
    • Research Institution
      Tokyo National College of Technology

All 2023 2022 2021 2020 2013 2012 2011 2010 2009 2008 2006 2005 2004 2003

All Journal Article Presentation

  • [Journal Article] Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS2023

    • Author(s)
      Yuya CHIBA, Katsumi WASAKI
    • Journal Title

      Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, Springer

      Volume: 1459

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver2022

    • Author(s)
      Yuta YOSHIZAWA, Katsumi WASAKI
    • Journal Title

      Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, Springer

      Volume: 1421 Pages: 387-392

    • DOI

      10.1007/978-3-030-97652-1_46

    • ISBN
      9783030976514, 9783030976521
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method2022

    • Author(s)
      Tomoki MIURA, Katsumi WASAKI
    • Journal Title

      Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, Springer

      Volume: 1421 Pages: 393-398

    • DOI

      10.1007/978-3-030-97652-1_47

    • ISBN
      9783030976514, 9783030976521
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] An Integrated Web Platform for the Mizar Mathematical Library2022

    • Author(s)
      Hideharu FURUSHIMA, Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    • Journal Title

      Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022), LNAI

      Volume: 13467 Pages: 141-146

    • DOI

      10.1007/978-3-031-16681-5_9

    • ISBN
      9783031166808, 9783031166815
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language2021

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Advances in Intelligent Systems and Computing, Springer

      Volume: 1346 Pages: 313-321

    • DOI

      10.1007/978-3-030-70416-2_40

    • ISBN
      9783030704155, 9783030704162
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets2021

    • Author(s)
      Kohei FUJIMORI, Katsumi WASAKI
    • Journal Title

      Advances in Intelligent Systems and Computing, Springer

      Volume: 1346 Pages: 255-263

    • DOI

      10.1007/978-3-030-70416-2_33

    • NAID

      40021747769

    • ISBN
      9783030704155, 9783030704162
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I2020

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Formalized Mathematics

      Volume: 28 Issue: 1 Pages: 65-77

    • DOI

      10.2478/forma-2020-0005

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Journal Article] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013

    • Author(s)
      Sho NISHIDA, Katsumi WASAKI
    • Journal Title

      International Journal of Advanced Computer Science

      Volume: 3(1) Pages: 26-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013

    • Author(s)
      Sho NISHIDA, Katsumi WASAKI
    • Journal Title

      International Journal of Advanced Computer Science

      Volume: 3(1) Pages: 26-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Journal Article] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • Author(s)
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • Journal Title

      Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13)

      Volume: 1 Pages: 321-326

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA2012

    • Author(s)
      Bishnu Prasad GAUTAM, Katsumi WASAKI
    • Journal Title

      情報処理学会 第20回マルチメディア通信と分散処理ワークショップ (DPSWS2012) 論文集

      Volume: 1 Pages: 219-226

    • NAID

      120007101104

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA2012

    • Author(s)
      Bishnu Prasad GAUTAM, Katsumi WASAKI
    • Journal Title

      DPSWS2012

      Pages: 219-226

    • NAID

      120007101104

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+2012

    • Author(s)
      Sho NISHIDA, Katsumi WASAKI
    • Journal Title

      Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012)

      Pages: 827-830

    • NAID

      120007101105

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Morphology for Image Processing. Part I2012

    • Author(s)
      Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
    • Journal Title

      Formalized Mathematics

      Volume: 20(1) Issue: 1 Pages: 61-63

    • DOI

      10.2478/v10037-012-0008-y

    • NAID

      120007101103

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Journal Article] Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties2012

    • Author(s)
      Kazuto IDE, Katsumi WASAKI
    • Journal Title

      Advances in Information Technology and Applied Computing

      Volume: 1 Pages: 195-200

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Morphology for Image Processing, Part I2012

    • Author(s)
      Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
    • Journal Title

      Formalized Mathematics

      Volume: 20(1) Pages: 61-63

    • NAID

      120007101103

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process2012

    • Author(s)
      Naoki MIYAMOTO, Katsumi WASAKI
    • Journal Title

      International Journal of Advancements in Computing Technology

      Volume: 4(14) Pages: 372-380

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties2012

    • Author(s)
      Kazuto IDE, Katsumi WASAKI
    • Journal Title

      Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012)

      Volume: 1 Pages: 195-200

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011

    • Author(s)
      Keiichi TANAKA, Katsumi WASAKI
    • Journal Title

      The 8th International Conference on Information Technology : New Generations (ITNG2011)

      Volume: 1 Pages: 1-6

    • DOI

      10.1109/itng.2011.8

    • NAID

      120007101106

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500174
  • [Journal Article] Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design2011

    • Author(s)
      Yutaka YAMADA, Katsumi WASAKI
    • Journal Title

      Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011)

      Pages: 139-144

    • NAID

      120007101107

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011

    • Author(s)
      Yutaka YAMADA, Katsumi WASAKI
    • Journal Title

      International Journal of Advancements in Computing Technology

      Volume: Vol.3, No.8 Pages: 189-197

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Journal Article] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011

    • Author(s)
      Yutaka YAMADA, Katsumi WASAKI
    • Journal Title

      International Journal of Advancements in Computing Technology

      Volume: 3(8) Issue: 8 Pages: 189-197

    • DOI

      10.4156/ijact.vol3.issue8.22

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Journal Article] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010

    • Author(s)
      Keiichi TANAKA, Katsumi WASAKI
    • Journal Title

      Proceedings of Society for Information Technology, Teacher Education Int'l Conference 2010

      Volume: 1 Pages: 3191-3196

    • NAID

      130007420833

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] 静的解析によるマルウェアの分類と結果の検討2010

    • Author(s)
      岩本一樹, 和崎克己
    • Journal Title

      情報処理学会マルチメディア・分散・協調とモバイル(DICOMO2010)シンポジウム論文集

      Volume: 1(C-002) Pages: 371-374

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] 電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模工-ジェントベースシステムの開発と評価2010

    • Author(s)
      田中敬一, 和崎克己
    • Journal Title

      教育システム情報学会誌

      Volume: 27(3) Pages: 267-279

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Journal Article] A Practice of Smart Sensing System for Buried Mines Detecting based on Active Infrared Thermography Approach2009

    • Author(s)
      Katsumi WASAKI, Nobuhiro SHIMOI
    • Journal Title

      International Journal of Computational Intelligence : Theory and Practice 4(1)

      Pages: 29-37

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] 静的解析によるマルウェアのAPI推移の抽出とクラスタ解析2009

    • Author(s)
      岩本一樹, 和崎克己
    • Journal Title

      コンピュータセキュリティシンポジウム2009 CSS2009

      Pages: 361-366

    • NAID

      170000066076

    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks2009

    • Author(s)
      Keiichi TANAKA, Katsumi WASAKI
    • Journal Title

      Proceedings of Society for Information Technology & Teacher Education International Conference SITE2010

      Pages: 3191-3196

    • NAID

      130007420833

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Quantum Circuits, Lots, Interference and Basis of Neuro-Computations2009

    • Author(s)
      Hiroyuki MATSUURA, Masahiro NAKANO, Katsumi WASAKI
    • Journal Title

      ICIC Express Letters, ICIC International 3,(1)

      Pages: 7-14

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II2008

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Formalized Mathematics 16(1)

      Pages: 73-78

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] A Meta Hardware Description Language Melasy for Model-Checking Systems2008

    • Author(s)
      Naoki IWASAKI, Katsumi WASAKI
    • Journal Title

      Proc. of the 5th Int. Conf. on Info. Technology : New Generations (ITNG2008) MC1

      Pages: 273-278

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits2008

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Mechanized Mathematics and Its Applications 7,(2)

      Pages: 17-25

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] verview of Graduate School of Science and Technology on the Internet, Shinshu University and Its Evaluation2008

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      The Journal of Information and Systems in Education 7(1)

      Pages: 112-120

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300279
  • [Journal Article] Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II2008

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Formalized Mathematics 16,(1)

      Pages: 73-80

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Stability of the 4-2 Binary Addition Circuit Cells2008

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Formalized Mathematics 16(4)

      Pages: 385-395

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] Stability of the 4-2 Binary Addition Circuit Cells.Part I2008

    • Author(s)
      Katsumi WASAKI
    • Journal Title

      Formalized Mathematics 16,(4)

      Pages: 377-387

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] A Meta Hardware Description Language Melasy for Model-Checking Systems2008

    • Author(s)
      Naoki IWASAKI, Katsumi WASAKI
    • Journal Title

      Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008)

      Pages: 273-278

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Journal Article] The Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions2006

    • Author(s)
      Hisayoshi Kunimune, Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa
    • Journal Title

      The Journal of Information and System in Education 5-1

      Pages: 76-83

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions2006

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa
    • Journal Title

      The Journal of Information and Systems in Education 5・1

      Pages: 76-83

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Generalized Full Adder Circuits (GFA)"2005

    • Author(s)
      Shin'nosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • Journal Title

      Formalized Mathematics. Part I Vol.13,No.4,

    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] Generalized Full Adder Circuits(GFA),2005

    • Author(s)
      S.Yamaguchi, K.Wasaki, N.Shimoi:
    • Journal Title

      Part I;Formalized Mathematics Vol.13,No.4,

      Pages: 125-134

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Proceedings of IPSI2005-USA 1・1

      Pages: 1-5

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems (KES2005), Lecture Notes in Computer Science, Springer 3683・3

      Pages: 1296-1302

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The current Activities and The Evaluation of Graduate School of Science and Technology on the Internet Shinshu University2005

    • Author(s)
      Hisayoshi Kunimune, Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura
    • Journal Title

      Transactions of Japanese Society for Information and Systems in Education 22-4

      Pages: 264-271

    • NAID

      40020744241

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院の現状と評価2005

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会誌 22(4)

      Pages: 264-271

    • NAID

      40020744241

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院・大学の現状2005

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      平成17年度工学・工業教育研究講演会講演論文集

      Pages: 414-415

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      9th International Conference, KES 2005 III

      Pages: 1296-1302

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 社会人を対象とした自学自習型遠隔教育利用2005

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会主催シンポジウム「大学教育の多様化とe-Learningの利用」

      Pages: 35-40

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Proceedings of the IPSI-2005 USA Cambridge July 7-10

      Pages: 1-5

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • Author(s)
      Hisayoshi Kunimine, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Knowledge-Based Intelligent Information and Engineering Systems(KES2005),Lecture Notes in Computer Science Springer 3683-3

      Pages: 1296-1302

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Generalized Full Adder Circuits (GFA)2005

    • Author(s)
      Shinnosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • Journal Title

      Part I ; Formalized Mathematics Vol.13, No.4

      Pages: 125-134

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • Author(s)
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Proceedings of IPSI2005-USA 1-1

      Pages: 1-5

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院の現状と評価2005

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破 泰, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会誌 22・4

      Pages: 264-271

    • NAID

      40020744241

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院における学習進捗状況管理システム2005

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会研究報告 20(1)

      Pages: 113-116

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net2004

    • Author(s)
      Akira NISHINO, Noboru KASADA, Katsumi WASAKI, Yasunari SHIDAMA
    • Journal Title

      Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004) 1・S7-4

      Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-16700137
  • [Journal Article] 信州大学インターネット大学院・大学(1)-経緯と現状-2004

    • Author(s)
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会第29回全国大会講演論文集

      Pages: 123-124

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor2004

    • Author(s)
      Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    • Journal Title

      Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04) 1

      Pages: 61-66

    • Data Source
      KAKENHI-PROJECT-16700137
  • [Journal Article] 学習進捗状況に基づいたe-Learning教材表示制御システム2004

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会研究報告 19(1)

      Pages: 43-48

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院の現状と将来計画2004

    • Author(s)
      不破 泰, 國宗永佳, 和崎克己, 新村正明, 師玉康成, 中村八束
    • Journal Title

      メディア教育研究 1・1

      Pages: 11-18

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] The Current Activities and The Futures of Graduate School Science and Technology on the Internet2004

    • Author(s)
      Yasushi Fuwa, Hisayoshi Kunimune, Katsumi Wasaki, Masaaki Niimura, Yasunari Shidama, Yatsuka Nakamura
    • Journal Title

      Shinshu University ; Journal of Multimedia Acid Education Research 1-1

      Pages: 11-18

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 個別の学習進捗に対応したe-Learning教材表示制御システム2004

    • Author(s)
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • Journal Title

      平成16年度工学・工業教育研究講演会講演論文集

      Pages: 143-144

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院・大学(1)-評価と今後の計画-2004

    • Author(s)
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • Journal Title

      教育システム情報学会第29回全国大会講演論文集

      Pages: 499-500

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 人道的埋設地雷探知技術2004

    • Author(s)
      下井信浩, 滝田好宏, 和崎克己
    • Journal Title

      日本時計学会論文誌,メカトロニクス Vol.48 No1

      Pages: 9-18

    • NAID

      110002672263

    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] 信州大学インターネット大学院の現状と課題2004

    • Author(s)
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • Journal Title

      情報管理 47-8

      Pages: 547-553

    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Shinshu University, Graduate School of Science and Technology on the Internet2003

    • Author(s)
      Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
    • Journal Title

      Proceedings of SSGRR2003 1・56

      Pages: 1-6

    • NAID

      10008437803

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について2003

    • Author(s)
      新村正明, 不破 泰, 和崎克己, 師玉康成, 中村八束, 大下眞二郎
    • Journal Title

      人工知能学会誌 18・4

      Pages: 426-432

    • NAID

      10008728593

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] Shinshu University Graduate School Of Science and Technology on the Internet2003

    • Author(s)
      Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
    • Journal Title

      Proceedings of SSGRR2003 1-56

      Pages: 1-6

    • NAID

      10008437803

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • Author(s)
      和崎克巳, 下井信浩, 滝田好宏
    • Journal Title

      Inverse Problems in Engineering Mechanics No6

      Pages: 261-270

    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • Author(s)
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • Journal Title

      Inverse Problems in Engineering Mechanics No6

      Pages: 261-270

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] Multimedia Contents and Learning Style of the Shinshu University Graduate School of Science and technology on the Internet2003

    • Author(s)
      Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, Yasunari Shimada, Shinjiro Oshita
    • Journal Title

      Journal of The Japanese Society for Artificial Intelligence 18-4

      Pages: 426-432

    • NAID

      110002806534

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15300274
  • [Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • Author(s)
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • Journal Title

      Proceedings of the International Symposium on Inverse Problems in Engineering Mechanics (ISIP2003) 1

      Pages: 144-145

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14350123
  • [Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • Author(s)
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • Journal Title

      Inverse Problems in Engineering Mechanics No..6

      Pages: 261-270

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14350123
  • [Presentation] Mizar数学ライブラリの定理検索を行うWebアプリケーション2022

    • Author(s)
      Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets2021

    • Author(s)
      Kohei FUJIMORI, Katsumi WASAKI
    • Organizer
      18th International Conference on Information Technology-New Generations (ITNG 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] A Web Platform for Hosting the Mizar Mathematical Library2021

    • Author(s)
      Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    • Organizer
      The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language2021

    • Author(s)
      Katsumi WASAKI
    • Organizer
      18th International Conference on Information Technology-New Generations (ITNG 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems2020

    • Author(s)
      Yojiro HARIE, Katsumi WASAKI
    • Organizer
      31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems2020

    • Author(s)
      Yojiro Harie, Katsumi Wasaki
    • Organizer
      The 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values2020

    • Author(s)
      Yojiro HARIE, Katsumi WASAKI
    • Organizer
      2020 Computing Conference (CC2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11821
  • [Presentation] 活性安全自由選択ネットの被覆マークグラフへの分割および活性化マーキング導出法2013

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 仕様記述言語 VDM++ と Java Servlet を用いた Web アプリケーションのプロトタイピング2013

    • Author(s)
      村林 慧, 和崎克己
    • Organizer
      平成25年度電気関係学会東海支部連合大会
    • Place of Presentation
      静岡大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • Author(s)
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • Organizer
      Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
    • Place of Presentation
      Las Vegas, Nevada, USA
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] タイムアウト処理と調停者選出方法を拡張した分散合意アルゴリズムのPROMELAモデル2013

    • Author(s)
      後藤亮馬, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] LOTOSを用いたシストリックアレイ並列計算モデルの動的再構成法2013

    • Author(s)
      大羽陽介, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      長岡技術科学大学
    • Year and Date
      2013-10-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • Author(s)
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • Organizer
      2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
    • Place of Presentation
      Las Vegas , Nevada,USA
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] LOTOSを用いたシストリックアレイ並列計算モデルの動的再構成法2013

    • Author(s)
      大羽陽介, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学 鳥取キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] ペトリネット援用ツールにおける状態空間生成アルゴリズムの並列化と実装2013

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証2013

    • Author(s)
      後藤亮馬,和崎克己
    • Organizer
      情報処理学会第181回ソフトウェア工学研究発表会
    • Place of Presentation
      和歌山県立情報交流センター ビッグ・ユー
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 調停者の選出方法を考慮した Chandra-Toueg アルゴリズムの SPIN モデルと検証2013

    • Author(s)
      後藤亮馬, 和崎克己
    • Organizer
      平成25年度電気関係学会東海支部連合大会
    • Place of Presentation
      静岡大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査2013

    • Author(s)
      坂本 統, 後藤亮馬, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学 鳥取キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] GHz帯長距離漏えい同軸ケーブルを用いた高速防災無線情報システムの研究開発2013

    • Author(s)
      中村正幸, 高木秀昭, 栄永清志, 和崎克己
    • Organizer
      第43回国際電子回路産業展 (JPCA Show 2013)
    • Place of Presentation
      東京ビッグサイト
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 制御フロー解析により生成されたグラフ比較による Android マルウェア検出方法の提案2013

    • Author(s)
      岩本一樹,和崎克己
    • Organizer
      情報処理学会第61回CSEC研究発表会
    • Place of Presentation
      弘前大学 コラボ弘大
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査2013

    • Author(s)
      坂本 統, 後藤亮馬, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 活性安全自由選択ネットの被覆マークグラフへの分割および活性化マーキング導出法2013

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      長岡技術科学大学
    • Year and Date
      2013-10-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 制御フローの比較による疑わしいAndroidアプリを絞り込む方法の提案2013

    • Author(s)
      岩本一樹,西田雅太,和崎克己
    • Organizer
      情報処理学会第63回CSEC研究発表会
    • Place of Presentation
      東京工科大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム) 講演論文集
    • Place of Presentation
      鳥取大学
    • Year and Date
      2013-09-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)
    • Place of Presentation
      鳥取大学 鳥取キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] ペトリネット援用ツールにおける状態空間生成アルゴリズムの並列化と実装2013

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      長岡技術科学大学
    • Year and Date
      2013-10-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] VDMToolsを用いた資源管理システムの仕様実行とプロトタイピング2013

    • Author(s)
      村林 慧, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] メッセージ交換プロトコルのモデル化と検証に適したSPINモデル検査器向け自動コード生成2013

    • Author(s)
      坂本 統, 後藤亮馬, 和崎克己
    • Organizer
      平成25年度電子情報通信学会信越支部大会
    • Place of Presentation
      長岡技術科学大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証2013

    • Author(s)
      後藤亮馬,和崎克己
    • Organizer
      情報処理学会ソフトウェアエンジニアリング研究会
    • Place of Presentation
      和歌山県立情報交流センター ビッグ・ユー
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] Enhancing Network Reliability by Establishing Redundant Network of Wi-Fi as Disaster Readiness in Soya Regions2013

    • Author(s)
      Bishnu Prasad GAUTAM, Suresh SHRESTHA, Katsumi WASAKI
    • Organizer
      情報処理学会第22回インターネットと運用技術研究発表会
    • Place of Presentation
      武蔵大学
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 仕様記述言語 VDM++ と Java Servlet を用いた Web アプリケーションのプロトタイピング2013

    • Author(s)
      村林 慧, 和崎克己
    • Organizer
      平成25年度電気関係学会東海支部連合大会
    • Place of Presentation
      静岡大学 浜松キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      FIT2013(第12回情報科学技術フォーラム)講演論文集
    • Place of Presentation
      鳥取大学
    • Year and Date
      2013-09-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] コード解析を伴わない Android マルウェア検出方法の検証2013

    • Author(s)
      岩本一樹,西田雅太,和崎克己
    • Organizer
      情報処理学会第62回CSEC研究発表会
    • Place of Presentation
      札幌コンベンションセンター
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装2012

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      FIT2012(第11回情報科学技術フォーラム)
    • Place of Presentation
      法政大学 小金井キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 並行ループを有するワークフローネットに対する活性化マーキング法の提案2012

    • Author(s)
      小林一平, 和崎克己
    • Organizer
      平成24年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      新潟大学
    • Year and Date
      2012-10-13
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上位ハードウェア設計言語 Melasy+ によるNuSMV コード生成と設計検証2012

    • Author(s)
      西田翔, 魚住有記歌, 和崎克己
    • Organizer
      FIT2012 (第11回情報科学技術フォーラム)
    • Place of Presentation
      法政大学
    • Year and Date
      2012-09-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] COINSコンパイラ基盤を用いた並列処理記述言語 Melasy2 のフロントエンド設計2012

    • Author(s)
      西田翔, 和崎克己
    • Organizer
      平成24年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      新潟大学
    • Year and Date
      2012-10-13
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング2012

    • Author(s)
      小林一平, 和崎克己
    • Organizer
      FIT2012(第11回情報科学技術フォーラム)
    • Place of Presentation
      法政大学 小金井キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装2012

    • Author(s)
      井出和人, 和崎克己
    • Organizer
      FIT2012(第11回情報科学技術フォーラム)
    • Place of Presentation
      法政大学
    • Year and Date
      2012-09-05
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上位ハードウェア設計言語 Melasy+ によるNuSMVコード生成と設計検証2012

    • Author(s)
      西田 翔, 魚住有記歌, 和崎克己
    • Organizer
      FIT2012(第11回情報科学技術フォーラム)
    • Place of Presentation
      法政大学 小金井キャンパス
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] COINSコンパイラ基盤を用いた並列処理記述言語 Melasy2 のフロントエンド設計2012

    • Author(s)
      西田 翔, 和崎克己
    • Organizer
      平成24年度電子情報通信学会信越支部大会
    • Place of Presentation
      新潟大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 階層化ペトリネットツールによるモデル設計と状態空間生成及び検査ツール連携2012

    • Author(s)
      太田淳也, 和崎克己
    • Organizer
      平成24年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      新潟大学
    • Year and Date
      2012-10-13
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 階層化ペトリネットの設計・シミュレーション・解析援用ツール : HiPS2012

    • Author(s)
      太田淳也, 井出和人, 和崎克己
    • Organizer
      平成24年度電気関係学会東海支部連合大会
    • Place of Presentation
      豊橋技術科学大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上位ハードウェア記述言語 Melasy+ が生成した中間表現に対するネットリスト生成と静的解析2011

    • Author(s)
      西田 翔, 和崎克己
    • Organizer
      平成23年度電気関係学会東海支部連合大会
    • Place of Presentation
      三重大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上流設計からモデル検査プロセスまでの一貫設計検証環境2011

    • Author(s)
      宮本直樹, 和崎克己
    • Organizer
      電子情報通信学会 2011年度ソフトウェアインタプライズモデリング研究会ワークショップ
    • Place of Presentation
      東海大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011

    • Author(s)
      Keiichi TANAKA, Katsumi WASAKI
    • Organizer
      The 8th International Conference on Information Technology : New Generations(ITNG2011)
    • Place of Presentation
      Las Vegas, Nevada, USA (DOI : 10.1109/ITNG.2011.8)
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 上流設計からモデル検査プロセスまでの一貫設計検証環境2011

    • Author(s)
      宮本直樹, 和崎克己
    • Organizer
      電子情報通信学会2011年度ソフトウェアインタプライズモデリング研究会ワークショップ, 信学技報(SWIM2011-19)
    • Place of Presentation
      東海大学
    • Year and Date
      2011-11-18
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 高水準ペトリネットを記述可能な援用ツール HiPS2 と非同期回路検証への適用2011

    • Author(s)
      堀内維作, 和崎克己
    • Organizer
      FIT2011(第10回情報科学技術フォーラム)
    • Place of Presentation
      函館大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上位ハードウェア設計言語 Melasy+ が生成する中間表現を用いた様々な構造解析とコード生成2011

    • Author(s)
      西田翔, 和崎克己
    • Organizer
      平成23年度電子情報通信学会信州大学Student Branch論文発表会講演論文集
    • Place of Presentation
      信州大学
    • Year and Date
      2011-12-20
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] モデル検査器 SPIN を用いた Chandra-Toueg 分散合意アルゴリズムのデッドロック検証2011

    • Author(s)
      勝山純一, 和崎克己
    • Organizer
      平成23年度電子情報通信学会 信州大学Student Branch 論文発表会
    • Place of Presentation
      信州大学
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上流設計からモデル検査プロセスまでの一貫設計検証環境~UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法~2011

    • Author(s)
      宮本直樹, 和崎克己
    • Organizer
      電子情報通信学会2011年度ソフトウェアインタプライズモデリング研究会ワークショップ,信学技報(SWIM2011-19)
    • Place of Presentation
      東海大学(査読ありワークショップ)
    • Year and Date
      2011-11-18
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 上位ハードウェア記述言語 Melasy+ が生成した中間表現に対するネットリスト生成と静的解析2011

    • Author(s)
      西田翔, 和崎克己
    • Organizer
      平成23年度電気関係学会東海支部連合大会講演論文集
    • Place of Presentation
      三重大学
    • Year and Date
      2011-09-26
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] 上位ハードウェア記述言語 Melasy+ から生成されたネットリストに対する階層的構造解析2011

    • Author(s)
      西田翔, 和崎克己
    • Organizer
      平成23年度電子情報通信学会信越支部大会講演論文集
    • Place of Presentation
      新潟工科大学
    • Year and Date
      2011-10-08
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] UML シーケンス図の構造記述から線形時相論理式への自動変換手法2011

    • Author(s)
      宮本直樹, 和崎克己
    • Organizer
      FIT2011(第10回情報科学技術フォーラム)講演論文集
    • Place of Presentation
      函館大学
    • Year and Date
      2011-09-09
    • Data Source
      KAKENHI-PROJECT-23500174
  • [Presentation] Upper Scalable Modeling of The Stream Processing Architecture by using A Specification Language : LOTOS2010

    • Author(s)
      Pratima K.SHAH, Katsumi WASAKI
    • Organizer
      平成22年度IEEE信越支部セッション講演論文集,(11B-2),204
    • Place of Presentation
      長岡技術科学大学
    • Year and Date
      2010-10-02
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証2010

    • Author(s)
      花里貴裕, 白鳥航亮, 和崎克己
    • Organizer
      情報処理学会第72回全国大会講演論文集,1,(1M-4),151-152
    • Place of Presentation
      東京大学本郷キャンパス
    • Year and Date
      2010-03-10
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010

    • Author(s)
      Keiichi TANAKA, Katsumi WASAKI
    • Organizer
      Society for Information Technology & Teacher Ed ucation International Conference 2010(SITE2010)
    • Place of Presentation
      San Diego, CA、USA
    • Year and Date
      2010-04-02
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 上位ハードウェア記述言語Melasy+に対する仕様パターン埋め込みと展開2010

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      情報処理学会第72回全国大会講演論文集,1,(1M-3),149-150
    • Place of Presentation
      東京大学本郷キャンパス
    • Year and Date
      2010-03-10
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] Automatic Code Generation and Integrated Testing for Model Checking and Hardware Implementation using A Meta Description Language : Melasy+2010

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      平成22年度IEEE信越支部セッション講演論文集,(11B-4),206
    • Place of Presentation
      長岡技術科学大学
    • Year and Date
      2010-10-02
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks2010

    • Author(s)
      Keiichi Tanaka, Katsumi Wasaki
    • Organizer
      Society for Information Technology & Teacher Education International Conference 2010
    • Place of Presentation
      アメリカ合衆国・サンディエゴ
    • Year and Date
      2010-03-31
    • Data Source
      KAKENHI-PROJECT-19300279
  • [Presentation] 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証2010

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      FIT2010(第9回情報科学技術フォーラム)講演論文集
    • Place of Presentation
      九州大学伊都キャンパス
    • Year and Date
      2010-09-08
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 情報リテラシ教育向け大規模エージェントベースシステムの開発と評価-テンプレートマッチング処理を用いた学習結果自動収集の改善-2010

    • Author(s)
      田中敬一, 和崎克己
    • Organizer
      教育システム情報学会2010年度第4回研究会
    • Place of Presentation
      広島大学
    • Year and Date
      2010-11-13
    • Data Source
      KAKENHI-PROJECT-22300285
  • [Presentation] 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証2010

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      FIT2010(第9回情報科学技術フォーラム)講演論文集,1,(C-002),371-374
    • Place of Presentation
      九州大学伊都キヤンハス
    • Year and Date
      2010-09-08
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成2009

    • Author(s)
      野村達雄, 岩崎直木, 和崎克己
    • Organizer
      情報処理学会第71回全国大会講演論文集,1,(2L-2),171-172
    • Place of Presentation
      立命館大学びわこ・くさつキャンパス
    • Year and Date
      2009-03-11
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証2009

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      FIT2009(第8回情報科学技術フォーラム)
    • Place of Presentation
      東北工業大学
    • Year and Date
      2009-09-02
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] Time-Petri Netを用いた非同期同路のモデル化と階層化設計2009

    • Author(s)
      松山千尋, 和崎克己
    • Organizer
      FIT2009(第8回情報科学技術フォーラム)講演論文集,1,(C-038),523-526
    • Place of Presentation
      東北工業大学八木山キャンパス
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 整数有限列上の加算・乗算アルゴリズムの正当性証明に関する検討2009

    • Author(s)
      伊藤比佐志, 和崎克己
    • Organizer
      日本Mizar学会2009年春期総会予稿集(Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN),4,(1),6pages
    • Place of Presentation
      信州大学長野(工学)キャンパス総合研究棟
    • Year and Date
      2009-06-19
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現2009

    • Author(s)
      岩崎直木, 野村達雄, 和崎克己
    • Organizer
      情報処理学会第71回全国大会講演論文集,1,(2L-1),169-170
    • Place of Presentation
      立命館大学びわこ・くさつキヤンパス
    • Year and Date
      2009-03-11
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] テンプレートマッチング処理をクライアント分散処理で実行するPC利用演習援用システムの開発と評価-Microsoft Certified Application Specialist (MCAS)試験の教材を事例として-2009

    • Author(s)
      田中敬一, 和崎克己
    • Organizer
      教育システム情報学会2009年度第3回研究会
    • Place of Presentation
      静岡大学
    • Year and Date
      2009-09-28
    • Data Source
      KAKENHI-PROJECT-19300279
  • [Presentation] 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証2009

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      FIT2009(第8回情報科学技術フォーラム)講演論文集,1,(C-011),451-454
    • Place of Presentation
      東北工業大学八木山キャンパス
    • Year and Date
      2009-09-03
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 時間ペトリネットを用いた非同期論理ゲートのモデルと階層化同路合成2009

    • Author(s)
      松山千尋, 和崎克己
    • Organizer
      平成21年度電子情報通信学会信越支部大会講演論文集,(2D-3),38
    • Place of Presentation
      信州大学長野(工学)キャンパス
    • Year and Date
      2009-10-03
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現2009

    • Author(s)
      岩崎直木, 野村達雄, 和崎克己
    • Organizer
      情報処理学会第71回全国大会
    • Place of Presentation
      立命館大学くさつキャンパス
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 上位記述言語Melasy+を用いたセル型FIFOメモリの自己同復性の検証2009

    • Author(s)
      白鳥航亮, 和崎克己
    • Organizer
      平成21年度電子情報通信学会信越支部大会講演論文集,(2B-3),28
    • Place of Presentation
      信州大学長野(工学)キャンパス
    • Year and Date
      2009-10-03
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] HDCamlハードウェア上位記述に対するLOTOSコード生成系について2009

    • Author(s)
      桑島芳朗, 和崎克己
    • Organizer
      平成21年度電子情報通信学会信越支部大会講演論文集,(2B-4),29
    • Place of Presentation
      信州大学長野(工学)キャンパス
    • Year and Date
      2009-10-03
    • Data Source
      KAKENHI-PROJECT-20500130
  • [Presentation] 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発2008

    • Author(s)
      三輪辰雄, 和崎克己, ほか
    • Organizer
      電子情報通信学会教育工学研究会
    • Place of Presentation
      岡山理科大学
    • Year and Date
      2008-10-17
    • Data Source
      KAKENHI-PROJECT-19300279
  • [Presentation] Moodle用数理演習モジュールを用いたWeb上での数理教育手法2008

    • Author(s)
      三輪辰雄, 和崎克己, 岡崎裕之, ほか
    • Organizer
      電子情報通信学会教育工学研究会
    • Place of Presentation
      香川大学
    • Year and Date
      2008-03-07
    • Data Source
      KAKENHI-PROJECT-19300279
  • 1.  KPAULINE Naomi (40283238)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  FUWA Yasushi (00165507)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 26 results
  • 3.  NIIMURA Masaaki (20345755)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 26 results
  • 4.  OKAZAKI Hiroyuki (50432167)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 3 results
  • 5.  SHIDAMA Yasunari (20226129)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 23 results
  • 6.  SHIMOI Nobuhiro (10300542)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 8 results
  • 7.  TAKITA Yoshihiro
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 11 results
  • 8.  MORI Kazuo (30157854)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  TAKAHASHI Tomone (20291388)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  KUNIMUNE Hisayoshi (90377648)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 11.  YAMAZAKI Hiroshi (00293522)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 12.  FUTA Yuichi (50706223)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  ARAI Kenichi (60645290)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  NOMAI Kenzo (30143259)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  KIKUO Yatabe (50042700)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  NAKAMURA Yatsuka (50021019)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 23 results
  • 17.  今田 里佳 (80306670)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  高橋 三男 (40197182)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  IMAI Mika
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  大迫 雄
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  KAWAMOTO Paulin.N
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  竹村 不二夫
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  検見崎 徹
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  KAWAMOTO Pauline・Naomi
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 15 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi