• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

和崎 克己  WASAKI KATSUMI

ORCIDORCID連携する *注記
… 別表記

和崎 克巳  ワサキ カツミ

和崎 克美  ワサキ カツミ

隠す
研究者番号 70271492
その他のID
外部サイト
所属 (現在) 2025年度: 信州大学, 学術研究院工学系, 教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 信州大学, 学術研究院工学系, 教授
2019年度 – 2022年度: 信州大学, 学術研究院工学系, 教授
2009年度 – 2013年度: 信州大学, 工学部, 教授
2009年度: 信州大学, 工学系研究科, 教授
2007年度 – 2008年度: 信州大学, 工学系研究科, 准教授 … もっと見る
2006年度: 信州大学, 大学院・工学系研究科, 助教授
2006年度: 信州大学, 工学系研究科, 助教授
2005年度: 信州大, 工学(系)研究科(研究院), 助教授
2005年度: 信州大学, 工学部, 助教授
2004年度: 信州大学, 工学部・情報工学科, 助教授
2003年度 – 2004年度: 信州大学, 大学院・工学系研究科, 助教授
2001年度 – 2002年度: 信州大学, 工学部, 助教授
2001年度 – 2002年度: 信州大学, 工学部・情報工学科, 助教授
2000年度 – 2001年度: 信州大学, 工学部, 助手 隠す
審査区分/研究分野
研究代表者
知能情報学 / 小区分60010:情報学基礎論関連 / 計算機科学
研究代表者以外
教育工学 / 機械力学・制御 / 計測工学
キーワード
研究代表者
関数型言語系 / 定理証明器 / 形式検証 / プルーフチェッカ / 探索・論理・推論アルゴリズム / 並列演算器 / 設計検証 / 形式検証系 / モデル検査 / ペトリネット … もっと見る / 状態空間生成 / モデル検査器 / ハードウェアコンパイラ / 非同期並列システム / コンパイラ / 設計検証系 / グリッド計算機 / MPI / プルーフチェッカー / グリッドコンピューティング / FPGA / ハードウェア記述言語 / 多ソート代数 … もっと見る
研究代表者以外
地雷処理技術 / 対人地雷 / プルーフチェッカ / 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-ラーニング 隠す
  • 研究課題

    (11件)
  • 研究成果

    (151件)
  • 共同研究者

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

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      信州大学
  •  大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合研究代表者

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2019 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      信州大学
  •  グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系研究代表者

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      信州大学
  •  MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発

    • 研究代表者
      師玉 康成
    • 研究期間 (年度)
      2010 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法研究代表者

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      信州大学
  •  自学自習型e-Learningにおける学生サポートシステムの開発に関する研究

    • 研究代表者
      不破 泰
    • 研究期間 (年度)
      2007 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証研究代表者

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2004
    • 研究種目
      若手研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      信州大学
  •  信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究

    • 研究代表者
      師玉 康成
    • 研究期間 (年度)
      2003 – 2006
    • 研究種目
      基盤研究(B)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  自律歩行ロボットによる地雷探知・処理技術の研究(その2)

    • 研究代表者
      下井 信浩
    • 研究期間 (年度)
      2002 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      機械力学・制御
    • 研究機関
      東京工業高等専門学校
  •  プルーフチェッカーを用いた超並列演算器の設計検証研究代表者

    • 研究代表者
      和崎 克己
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      信州大学
  •  赤外線カメラを用いた埋設対人地雷探知技術の研究

    • 研究代表者
      下井 信浩
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計測工学
    • 研究機関
      東京工業高等専門学校

すべて 2023 2022 2021 2020 2013 2012 2011 2010 2009 2008 2006 2005 2004 2003

すべて 雑誌論文 学会発表

  • [雑誌論文] Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS2023

    • 著者名/発表者名
      Yuya CHIBA, Katsumi WASAKI
    • 雑誌名

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

      巻: 1459

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver2022

    • 著者名/発表者名
      Yuta YOSHIZAWA, Katsumi WASAKI
    • 雑誌名

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

      巻: 1421 ページ: 387-392

    • DOI

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

    • ISBN
      9783030976514, 9783030976521
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method2022

    • 著者名/発表者名
      Tomoki MIURA, Katsumi WASAKI
    • 雑誌名

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

      巻: 1421 ページ: 393-398

    • DOI

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

    • ISBN
      9783030976514, 9783030976521
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] An Integrated Web Platform for the Mizar Mathematical Library2022

    • 著者名/発表者名
      Hideharu FURUSHIMA, Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    • 雑誌名

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

      巻: 13467 ページ: 141-146

    • DOI

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

    • ISBN
      9783031166808, 9783031166815
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language2021

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Advances in Intelligent Systems and Computing, Springer

      巻: 1346 ページ: 313-321

    • DOI

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

    • ISBN
      9783030704155, 9783030704162
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets2021

    • 著者名/発表者名
      Kohei FUJIMORI, Katsumi WASAKI
    • 雑誌名

      Advances in Intelligent Systems and Computing, Springer

      巻: 1346 ページ: 255-263

    • DOI

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

    • NAID

      40021747769

    • ISBN
      9783030704155, 9783030704162
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I2020

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics

      巻: 28 号: 1 ページ: 65-77

    • DOI

      10.2478/forma-2020-0005

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11821
  • [雑誌論文] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013

    • 著者名/発表者名
      Sho NISHIDA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advanced Computer Science

      巻: 3(1) ページ: 26-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013

    • 著者名/発表者名
      Sho NISHIDA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advanced Computer Science

      巻: 3(1) ページ: 26-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • 著者名/発表者名
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • 雑誌名

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

      巻: 1 ページ: 321-326

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA2012

    • 著者名/発表者名
      Bishnu Prasad GAUTAM, Katsumi WASAKI
    • 雑誌名

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

      巻: 1 ページ: 219-226

    • NAID

      120007101104

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA2012

    • 著者名/発表者名
      Bishnu Prasad GAUTAM, Katsumi WASAKI
    • 雑誌名

      DPSWS2012

      ページ: 219-226

    • NAID

      120007101104

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+2012

    • 著者名/発表者名
      Sho NISHIDA, Katsumi WASAKI
    • 雑誌名

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

      ページ: 827-830

    • NAID

      120007101105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Morphology for Image Processing. Part I2012

    • 著者名/発表者名
      Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 61-63

    • DOI

      10.2478/v10037-012-0008-y

    • NAID

      120007101103

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties2012

    • 著者名/発表者名
      Kazuto IDE, Katsumi WASAKI
    • 雑誌名

      Advances in Information Technology and Applied Computing

      巻: 1 ページ: 195-200

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Morphology for Image Processing, Part I2012

    • 著者名/発表者名
      Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) ページ: 61-63

    • NAID

      120007101103

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process2012

    • 著者名/発表者名
      Naoki MIYAMOTO, Katsumi WASAKI
    • 雑誌名

      International Journal of Advancements in Computing Technology

      巻: 4(14) ページ: 372-380

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties2012

    • 著者名/発表者名
      Kazuto IDE, Katsumi WASAKI
    • 雑誌名

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

      巻: 1 ページ: 195-200

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 雑誌名

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

      巻: 1 ページ: 1-6

    • DOI

      10.1109/itng.2011.8

    • NAID

      120007101106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500174
  • [雑誌論文] Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design2011

    • 著者名/発表者名
      Yutaka YAMADA, Katsumi WASAKI
    • 雑誌名

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

      ページ: 139-144

    • NAID

      120007101107

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011

    • 著者名/発表者名
      Yutaka YAMADA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advancements in Computing Technology

      巻: Vol.3, No.8 ページ: 189-197

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500174
  • [雑誌論文] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011

    • 著者名/発表者名
      Yutaka YAMADA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advancements in Computing Technology

      巻: 3(8) 号: 8 ページ: 189-197

    • DOI

      10.4156/ijact.vol3.issue8.22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 雑誌名

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

      巻: 1 ページ: 3191-3196

    • NAID

      130007420833

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] 静的解析によるマルウェアの分類と結果の検討2010

    • 著者名/発表者名
      岩本一樹, 和崎克己
    • 雑誌名

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

      巻: 1(C-002) ページ: 371-374

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] 電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模工-ジェントベースシステムの開発と評価2010

    • 著者名/発表者名
      田中敬一, 和崎克己
    • 雑誌名

      教育システム情報学会誌

      巻: 27(3) ページ: 267-279

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] A Practice of Smart Sensing System for Buried Mines Detecting based on Active Infrared Thermography Approach2009

    • 著者名/発表者名
      Katsumi WASAKI, Nobuhiro SHIMOI
    • 雑誌名

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

      ページ: 29-37

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] 静的解析によるマルウェアのAPI推移の抽出とクラスタ解析2009

    • 著者名/発表者名
      岩本一樹, 和崎克己
    • 雑誌名

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

      ページ: 361-366

    • NAID

      170000066076

    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks2009

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 雑誌名

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

      ページ: 3191-3196

    • NAID

      130007420833

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Quantum Circuits, Lots, Interference and Basis of Neuro-Computations2009

    • 著者名/発表者名
      Hiroyuki MATSUURA, Masahiro NAKANO, Katsumi WASAKI
    • 雑誌名

      ICIC Express Letters, ICIC International 3,(1)

      ページ: 7-14

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II2008

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics 16(1)

      ページ: 73-78

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] A Meta Hardware Description Language Melasy for Model-Checking Systems2008

    • 著者名/発表者名
      Naoki IWASAKI, Katsumi WASAKI
    • 雑誌名

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

      ページ: 273-278

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits2008

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Mechanized Mathematics and Its Applications 7,(2)

      ページ: 17-25

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] verview of Graduate School of Science and Technology on the Internet, Shinshu University and Its Evaluation2008

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 112-120

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300279
  • [雑誌論文] Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II2008

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics 16,(1)

      ページ: 73-80

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Stability of the 4-2 Binary Addition Circuit Cells2008

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics 16(4)

      ページ: 385-395

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] Stability of the 4-2 Binary Addition Circuit Cells.Part I2008

    • 著者名/発表者名
      Katsumi WASAKI
    • 雑誌名

      Formalized Mathematics 16,(4)

      ページ: 377-387

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] A Meta Hardware Description Language Melasy for Model-Checking Systems2008

    • 著者名/発表者名
      Naoki IWASAKI, Katsumi WASAKI
    • 雑誌名

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

      ページ: 273-278

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500130
  • [雑誌論文] The Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions2006

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa
    • 雑誌名

      The Journal of Information and System in Education 5-1

      ページ: 76-83

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions2006

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa
    • 雑誌名

      The Journal of Information and Systems in Education 5・1

      ページ: 76-83

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Generalized Full Adder Circuits (GFA)"2005

    • 著者名/発表者名
      Shin'nosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • 雑誌名

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

    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Generalized Full Adder Circuits(GFA),2005

    • 著者名/発表者名
      S.Yamaguchi, K.Wasaki, N.Shimoi:
    • 雑誌名

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

      ページ: 125-134

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

      Proceedings of IPSI2005-USA 1・1

      ページ: 1-5

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 1296-1302

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The current Activities and The Evaluation of Graduate School of Science and Technology on the Internet Shinshu University2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 264-271

    • NAID

      40020744241

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 信州大学インターネット大学院の現状と評価2005

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 264-271

    • NAID

      40020744241

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 信州大学インターネット大学院・大学の現状2005

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 414-415

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

      9th International Conference, KES 2005 III

      ページ: 1296-1302

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 社会人を対象とした自学自習型遠隔教育利用2005

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 35-40

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 1-5

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005

    • 著者名/発表者名
      Hisayoshi Kunimine, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 1296-1302

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Generalized Full Adder Circuits (GFA)2005

    • 著者名/発表者名
      Shinnosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • 雑誌名

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

      ページ: 125-134

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005

    • 著者名/発表者名
      Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

      Proceedings of IPSI2005-USA 1-1

      ページ: 1-5

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 信州大学インターネット大学院の現状と評価2005

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破 泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 264-271

    • NAID

      40020744241

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

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 113-116

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net2004

    • 著者名/発表者名
      Akira NISHINO, Noboru KASADA, Katsumi WASAKI, Yasunari SHIDAMA
    • 雑誌名

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

      ページ: 1-6

    • データソース
      KAKENHI-PROJECT-16700137
  • [雑誌論文] 信州大学インターネット大学院・大学(1)-経緯と現状-2004

    • 著者名/発表者名
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 123-124

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor2004

    • 著者名/発表者名
      Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    • 雑誌名

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

      ページ: 61-66

    • データソース
      KAKENHI-PROJECT-16700137
  • [雑誌論文] 学習進捗状況に基づいたe-Learning教材表示制御システム2004

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 43-48

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 信州大学インターネット大学院の現状と将来計画2004

    • 著者名/発表者名
      不破 泰, 國宗永佳, 和崎克己, 新村正明, 師玉康成, 中村八束
    • 雑誌名

      メディア教育研究 1・1

      ページ: 11-18

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] The Current Activities and The Futures of Graduate School Science and Technology on the Internet2004

    • 著者名/発表者名
      Yasushi Fuwa, Hisayoshi Kunimune, Katsumi Wasaki, Masaaki Niimura, Yasunari Shidama, Yatsuka Nakamura
    • 雑誌名

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

      ページ: 11-18

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 個別の学習進捗に対応したe-Learning教材表示制御システム2004

    • 著者名/発表者名
      國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 143-144

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 信州大学インターネット大学院・大学(1)-評価と今後の計画-2004

    • 著者名/発表者名
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • 雑誌名

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

      ページ: 499-500

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] 人道的埋設地雷探知技術2004

    • 著者名/発表者名
      下井信浩, 滝田好宏, 和崎克己
    • 雑誌名

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

      ページ: 9-18

    • NAID

      110002672263

    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] 信州大学インターネット大学院の現状と課題2004

    • 著者名/発表者名
      不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
    • 雑誌名

      情報管理 47-8

      ページ: 547-553

    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Shinshu University, Graduate School of Science and Technology on the Internet2003

    • 著者名/発表者名
      Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
    • 雑誌名

      Proceedings of SSGRR2003 1・56

      ページ: 1-6

    • NAID

      10008437803

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

    • 著者名/発表者名
      新村正明, 不破 泰, 和崎克己, 師玉康成, 中村八束, 大下眞二郎
    • 雑誌名

      人工知能学会誌 18・4

      ページ: 426-432

    • NAID

      10008728593

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] Shinshu University Graduate School Of Science and Technology on the Internet2003

    • 著者名/発表者名
      Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
    • 雑誌名

      Proceedings of SSGRR2003 1-56

      ページ: 1-6

    • NAID

      10008437803

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      和崎克巳, 下井信浩, 滝田好宏
    • 雑誌名

      Inverse Problems in Engineering Mechanics No6

      ページ: 261-270

    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Inverse Problems in Engineering Mechanics No6

      ページ: 261-270

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Multimedia Contents and Learning Style of the Shinshu University Graduate School of Science and technology on the Internet2003

    • 著者名/発表者名
      Masaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, Yasunari Shimada, Shinjiro Oshita
    • 雑誌名

      Journal of The Japanese Society for Artificial Intelligence 18-4

      ページ: 426-432

    • NAID

      110002806534

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300274
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

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

      ページ: 144-145

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Inverse Problems in Engineering Mechanics No..6

      ページ: 261-270

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [学会発表] Mizar数学ライブラリの定理検索を行うWebアプリケーション2022

    • 著者名/発表者名
      Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets2021

    • 著者名/発表者名
      Kohei FUJIMORI, Katsumi WASAKI
    • 学会等名
      18th International Conference on Information Technology-New Generations (ITNG 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] A Web Platform for Hosting the Mizar Mathematical Library2021

    • 著者名/発表者名
      Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    • 学会等名
      The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language2021

    • 著者名/発表者名
      Katsumi WASAKI
    • 学会等名
      18th International Conference on Information Technology-New Generations (ITNG 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems2020

    • 著者名/発表者名
      Yojiro HARIE, Katsumi WASAKI
    • 学会等名
      31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems2020

    • 著者名/発表者名
      Yojiro Harie, Katsumi Wasaki
    • 学会等名
      The 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values2020

    • 著者名/発表者名
      Yojiro HARIE, Katsumi WASAKI
    • 学会等名
      2020 Computing Conference (CC2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11821
  • [学会発表] 活性安全自由選択ネットの被覆マークグラフへの分割および活性化マーキング導出法2013

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 仕様記述言語 VDM++ と Java Servlet を用いた Web アプリケーションのプロトタイピング2013

    • 著者名/発表者名
      村林 慧, 和崎克己
    • 学会等名
      平成25年度電気関係学会東海支部連合大会
    • 発表場所
      静岡大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • 著者名/発表者名
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • 学会等名
      Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
    • 発表場所
      Las Vegas, Nevada, USA
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] タイムアウト処理と調停者選出方法を拡張した分散合意アルゴリズムのPROMELAモデル2013

    • 著者名/発表者名
      後藤亮馬, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] LOTOSを用いたシストリックアレイ並列計算モデルの動的再構成法2013

    • 著者名/発表者名
      大羽陽介, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      長岡技術科学大学
    • 年月日
      2013-10-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • 著者名/発表者名
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • 学会等名
      2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
    • 発表場所
      Las Vegas , Nevada,USA
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] LOTOSを用いたシストリックアレイ並列計算モデルの動的再構成法2013

    • 著者名/発表者名
      大羽陽介, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学 鳥取キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] ペトリネット援用ツールにおける状態空間生成アルゴリズムの並列化と実装2013

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証2013

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

    • 著者名/発表者名
      後藤亮馬, 和崎克己
    • 学会等名
      平成25年度電気関係学会東海支部連合大会
    • 発表場所
      静岡大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査2013

    • 著者名/発表者名
      坂本 統, 後藤亮馬, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学 鳥取キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] GHz帯長距離漏えい同軸ケーブルを用いた高速防災無線情報システムの研究開発2013

    • 著者名/発表者名
      中村正幸, 高木秀昭, 栄永清志, 和崎克己
    • 学会等名
      第43回国際電子回路産業展 (JPCA Show 2013)
    • 発表場所
      東京ビッグサイト
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 制御フロー解析により生成されたグラフ比較による Android マルウェア検出方法の提案2013

    • 著者名/発表者名
      岩本一樹,和崎克己
    • 学会等名
      情報処理学会第61回CSEC研究発表会
    • 発表場所
      弘前大学 コラボ弘大
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査2013

    • 著者名/発表者名
      坂本 統, 後藤亮馬, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 活性安全自由選択ネットの被覆マークグラフへの分割および活性化マーキング導出法2013

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      長岡技術科学大学
    • 年月日
      2013-10-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 制御フローの比較による疑わしいAndroidアプリを絞り込む方法の提案2013

    • 著者名/発表者名
      岩本一樹,西田雅太,和崎克己
    • 学会等名
      情報処理学会第63回CSEC研究発表会
    • 発表場所
      東京工科大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム) 講演論文集
    • 発表場所
      鳥取大学
    • 年月日
      2013-09-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム2013

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)
    • 発表場所
      鳥取大学 鳥取キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] ペトリネット援用ツールにおける状態空間生成アルゴリズムの並列化と実装2013

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      長岡技術科学大学
    • 年月日
      2013-10-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] VDMToolsを用いた資源管理システムの仕様実行とプロトタイピング2013

    • 著者名/発表者名
      村林 慧, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] メッセージ交換プロトコルのモデル化と検証に適したSPINモデル検査器向け自動コード生成2013

    • 著者名/発表者名
      坂本 統, 後藤亮馬, 和崎克己
    • 学会等名
      平成25年度電子情報通信学会信越支部大会
    • 発表場所
      長岡技術科学大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証2013

    • 著者名/発表者名
      後藤亮馬,和崎克己
    • 学会等名
      情報処理学会ソフトウェアエンジニアリング研究会
    • 発表場所
      和歌山県立情報交流センター ビッグ・ユー
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] Enhancing Network Reliability by Establishing Redundant Network of Wi-Fi as Disaster Readiness in Soya Regions2013

    • 著者名/発表者名
      Bishnu Prasad GAUTAM, Suresh SHRESTHA, Katsumi WASAKI
    • 学会等名
      情報処理学会第22回インターネットと運用技術研究発表会
    • 発表場所
      武蔵大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 仕様記述言語 VDM++ と Java Servlet を用いた Web アプリケーションのプロトタイピング2013

    • 著者名/発表者名
      村林 慧, 和崎克己
    • 学会等名
      平成25年度電気関係学会東海支部連合大会
    • 発表場所
      静岡大学 浜松キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装2013

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      FIT2013(第12回情報科学技術フォーラム)講演論文集
    • 発表場所
      鳥取大学
    • 年月日
      2013-09-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] コード解析を伴わない Android マルウェア検出方法の検証2013

    • 著者名/発表者名
      岩本一樹,西田雅太,和崎克己
    • 学会等名
      情報処理学会第62回CSEC研究発表会
    • 発表場所
      札幌コンベンションセンター
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装2012

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      FIT2012(第11回情報科学技術フォーラム)
    • 発表場所
      法政大学 小金井キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 並行ループを有するワークフローネットに対する活性化マーキング法の提案2012

    • 著者名/発表者名
      小林一平, 和崎克己
    • 学会等名
      平成24年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      新潟大学
    • 年月日
      2012-10-13
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上位ハードウェア設計言語 Melasy+ によるNuSMV コード生成と設計検証2012

    • 著者名/発表者名
      西田翔, 魚住有記歌, 和崎克己
    • 学会等名
      FIT2012 (第11回情報科学技術フォーラム)
    • 発表場所
      法政大学
    • 年月日
      2012-09-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] COINSコンパイラ基盤を用いた並列処理記述言語 Melasy2 のフロントエンド設計2012

    • 著者名/発表者名
      西田翔, 和崎克己
    • 学会等名
      平成24年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      新潟大学
    • 年月日
      2012-10-13
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング2012

    • 著者名/発表者名
      小林一平, 和崎克己
    • 学会等名
      FIT2012(第11回情報科学技術フォーラム)
    • 発表場所
      法政大学 小金井キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装2012

    • 著者名/発表者名
      井出和人, 和崎克己
    • 学会等名
      FIT2012(第11回情報科学技術フォーラム)
    • 発表場所
      法政大学
    • 年月日
      2012-09-05
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上位ハードウェア設計言語 Melasy+ によるNuSMVコード生成と設計検証2012

    • 著者名/発表者名
      西田 翔, 魚住有記歌, 和崎克己
    • 学会等名
      FIT2012(第11回情報科学技術フォーラム)
    • 発表場所
      法政大学 小金井キャンパス
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] COINSコンパイラ基盤を用いた並列処理記述言語 Melasy2 のフロントエンド設計2012

    • 著者名/発表者名
      西田 翔, 和崎克己
    • 学会等名
      平成24年度電子情報通信学会信越支部大会
    • 発表場所
      新潟大学
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 階層化ペトリネットツールによるモデル設計と状態空間生成及び検査ツール連携2012

    • 著者名/発表者名
      太田淳也, 和崎克己
    • 学会等名
      平成24年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      新潟大学
    • 年月日
      2012-10-13
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 階層化ペトリネットの設計・シミュレーション・解析援用ツール : HiPS2012

    • 著者名/発表者名
      太田淳也, 井出和人, 和崎克己
    • 学会等名
      平成24年度電気関係学会東海支部連合大会
    • 発表場所
      豊橋技術科学大学
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上位ハードウェア記述言語 Melasy+ が生成した中間表現に対するネットリスト生成と静的解析2011

    • 著者名/発表者名
      西田 翔, 和崎克己
    • 学会等名
      平成23年度電気関係学会東海支部連合大会
    • 発表場所
      三重大学
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上流設計からモデル検査プロセスまでの一貫設計検証環境2011

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

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 学会等名
      The 8th International Conference on Information Technology : New Generations(ITNG2011)
    • 発表場所
      Las Vegas, Nevada, USA (DOI : 10.1109/ITNG.2011.8)
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 上流設計からモデル検査プロセスまでの一貫設計検証環境2011

    • 著者名/発表者名
      宮本直樹, 和崎克己
    • 学会等名
      電子情報通信学会2011年度ソフトウェアインタプライズモデリング研究会ワークショップ, 信学技報(SWIM2011-19)
    • 発表場所
      東海大学
    • 年月日
      2011-11-18
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 高水準ペトリネットを記述可能な援用ツール HiPS2 と非同期回路検証への適用2011

    • 著者名/発表者名
      堀内維作, 和崎克己
    • 学会等名
      FIT2011(第10回情報科学技術フォーラム)
    • 発表場所
      函館大学
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上位ハードウェア設計言語 Melasy+ が生成する中間表現を用いた様々な構造解析とコード生成2011

    • 著者名/発表者名
      西田翔, 和崎克己
    • 学会等名
      平成23年度電子情報通信学会信州大学Student Branch論文発表会講演論文集
    • 発表場所
      信州大学
    • 年月日
      2011-12-20
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] モデル検査器 SPIN を用いた Chandra-Toueg 分散合意アルゴリズムのデッドロック検証2011

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

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

    • 著者名/発表者名
      西田翔, 和崎克己
    • 学会等名
      平成23年度電気関係学会東海支部連合大会講演論文集
    • 発表場所
      三重大学
    • 年月日
      2011-09-26
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] 上位ハードウェア記述言語 Melasy+ から生成されたネットリストに対する階層的構造解析2011

    • 著者名/発表者名
      西田翔, 和崎克己
    • 学会等名
      平成23年度電子情報通信学会信越支部大会講演論文集
    • 発表場所
      新潟工科大学
    • 年月日
      2011-10-08
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] UML シーケンス図の構造記述から線形時相論理式への自動変換手法2011

    • 著者名/発表者名
      宮本直樹, 和崎克己
    • 学会等名
      FIT2011(第10回情報科学技術フォーラム)講演論文集
    • 発表場所
      函館大学
    • 年月日
      2011-09-09
    • データソース
      KAKENHI-PROJECT-23500174
  • [学会発表] Upper Scalable Modeling of The Stream Processing Architecture by using A Specification Language : LOTOS2010

    • 著者名/発表者名
      Pratima K.SHAH, Katsumi WASAKI
    • 学会等名
      平成22年度IEEE信越支部セッション講演論文集,(11B-2),204
    • 発表場所
      長岡技術科学大学
    • 年月日
      2010-10-02
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証2010

    • 著者名/発表者名
      花里貴裕, 白鳥航亮, 和崎克己
    • 学会等名
      情報処理学会第72回全国大会講演論文集,1,(1M-4),151-152
    • 発表場所
      東京大学本郷キャンパス
    • 年月日
      2010-03-10
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 学会等名
      Society for Information Technology & Teacher Ed ucation International Conference 2010(SITE2010)
    • 発表場所
      San Diego, CA、USA
    • 年月日
      2010-04-02
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 上位ハードウェア記述言語Melasy+に対する仕様パターン埋め込みと展開2010

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      情報処理学会第72回全国大会講演論文集,1,(1M-3),149-150
    • 発表場所
      東京大学本郷キャンパス
    • 年月日
      2010-03-10
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] Automatic Code Generation and Integrated Testing for Model Checking and Hardware Implementation using A Meta Description Language : Melasy+2010

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      平成22年度IEEE信越支部セッション講演論文集,(11B-4),206
    • 発表場所
      長岡技術科学大学
    • 年月日
      2010-10-02
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks2010

    • 著者名/発表者名
      Keiichi Tanaka, Katsumi Wasaki
    • 学会等名
      Society for Information Technology & Teacher Education International Conference 2010
    • 発表場所
      アメリカ合衆国・サンディエゴ
    • 年月日
      2010-03-31
    • データソース
      KAKENHI-PROJECT-19300279
  • [学会発表] 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証2010

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      FIT2010(第9回情報科学技術フォーラム)講演論文集
    • 発表場所
      九州大学伊都キャンパス
    • 年月日
      2010-09-08
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 情報リテラシ教育向け大規模エージェントベースシステムの開発と評価-テンプレートマッチング処理を用いた学習結果自動収集の改善-2010

    • 著者名/発表者名
      田中敬一, 和崎克己
    • 学会等名
      教育システム情報学会2010年度第4回研究会
    • 発表場所
      広島大学
    • 年月日
      2010-11-13
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証2010

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      FIT2010(第9回情報科学技術フォーラム)講演論文集,1,(C-002),371-374
    • 発表場所
      九州大学伊都キヤンハス
    • 年月日
      2010-09-08
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] モデル検査に対応する上位ハードウェア記述言語MelasyのVHDLコード生成2009

    • 著者名/発表者名
      野村達雄, 岩崎直木, 和崎克己
    • 学会等名
      情報処理学会第71回全国大会講演論文集,1,(2L-2),171-172
    • 発表場所
      立命館大学びわこ・くさつキャンパス
    • 年月日
      2009-03-11
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証2009

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      FIT2009(第8回情報科学技術フォーラム)
    • 発表場所
      東北工業大学
    • 年月日
      2009-09-02
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] Time-Petri Netを用いた非同期同路のモデル化と階層化設計2009

    • 著者名/発表者名
      松山千尋, 和崎克己
    • 学会等名
      FIT2009(第8回情報科学技術フォーラム)講演論文集,1,(C-038),523-526
    • 発表場所
      東北工業大学八木山キャンパス
    • 年月日
      2009-09-04
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 整数有限列上の加算・乗算アルゴリズムの正当性証明に関する検討2009

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

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

    • 著者名/発表者名
      田中敬一, 和崎克己
    • 学会等名
      教育システム情報学会2009年度第3回研究会
    • 発表場所
      静岡大学
    • 年月日
      2009-09-28
    • データソース
      KAKENHI-PROJECT-19300279
  • [学会発表] 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証2009

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      FIT2009(第8回情報科学技術フォーラム)講演論文集,1,(C-011),451-454
    • 発表場所
      東北工業大学八木山キャンパス
    • 年月日
      2009-09-03
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 時間ペトリネットを用いた非同期論理ゲートのモデルと階層化同路合成2009

    • 著者名/発表者名
      松山千尋, 和崎克己
    • 学会等名
      平成21年度電子情報通信学会信越支部大会講演論文集,(2D-3),38
    • 発表場所
      信州大学長野(工学)キャンパス
    • 年月日
      2009-10-03
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現2009

    • 著者名/発表者名
      岩崎直木, 野村達雄, 和崎克己
    • 学会等名
      情報処理学会第71回全国大会
    • 発表場所
      立命館大学くさつキャンパス
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 上位記述言語Melasy+を用いたセル型FIFOメモリの自己同復性の検証2009

    • 著者名/発表者名
      白鳥航亮, 和崎克己
    • 学会等名
      平成21年度電子情報通信学会信越支部大会講演論文集,(2B-3),28
    • 発表場所
      信州大学長野(工学)キャンパス
    • 年月日
      2009-10-03
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] HDCamlハードウェア上位記述に対するLOTOSコード生成系について2009

    • 著者名/発表者名
      桑島芳朗, 和崎克己
    • 学会等名
      平成21年度電子情報通信学会信越支部大会講演論文集,(2B-4),29
    • 発表場所
      信州大学長野(工学)キャンパス
    • 年月日
      2009-10-03
    • データソース
      KAKENHI-PROJECT-20500130
  • [学会発表] 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発2008

    • 著者名/発表者名
      三輪辰雄, 和崎克己, ほか
    • 学会等名
      電子情報通信学会教育工学研究会
    • 発表場所
      岡山理科大学
    • 年月日
      2008-10-17
    • データソース
      KAKENHI-PROJECT-19300279
  • [学会発表] Moodle用数理演習モジュールを用いたWeb上での数理教育手法2008

    • 著者名/発表者名
      三輪辰雄, 和崎克己, 岡崎裕之, ほか
    • 学会等名
      電子情報通信学会教育工学研究会
    • 発表場所
      香川大学
    • 年月日
      2008-03-07
    • データソース
      KAKENHI-PROJECT-19300279
  • 1.  K PAULINE Naomi (40283238)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  不破 泰 (00165507)
    共同の研究課題数: 2件
    共同の研究成果数: 26件
  • 3.  新村 正明 (20345755)
    共同の研究課題数: 2件
    共同の研究成果数: 26件
  • 4.  岡崎 裕之 (50432167)
    共同の研究課題数: 2件
    共同の研究成果数: 3件
  • 5.  師玉 康成 (20226129)
    共同の研究課題数: 2件
    共同の研究成果数: 23件
  • 6.  下井 信浩 (10300542)
    共同の研究課題数: 2件
    共同の研究成果数: 8件
  • 7.  滝田 好宏
    共同の研究課題数: 2件
    共同の研究成果数: 11件
  • 8.  守 一雄 (30157854)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  高橋 知音 (20291388)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  國宗 永佳 (90377648)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 11.  山崎 浩 (00293522)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 12.  布田 裕一 (50706223)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  荒井 研一 (60645290)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  野波 健蔵 (30143259)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  谷田部 喜久雄 (50042700)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  中村 八束 (50021019)
    共同の研究課題数: 1件
    共同の研究成果数: 23件
  • 17.  今田 里佳 (80306670)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  高橋 三男 (40197182)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  今井 美香
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  大迫 雄
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  KAWAMOTO Paulin.N
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  竹村 不二夫
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  検見崎 徹
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  KAWAMOTO Pauline・Naomi
    共同の研究課題数: 0件
    共同の研究成果数: 15件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi