Updated on 2026/08/31

写真a

 
Harie Yojiro
 
Organization
Graduate Faculty of Interdisciplinary Research Faculty of Engineering Electrical and Electronic Information Engineering (Computer Science and Engineering) Assistant Professor
Title
Assistant Professor

Research History

  • University of Yamanashi   Graduate Faculty of Interdisciplinary Research Faculty of Engineering   Specially Appointed Assistant Professor (Full time)

    2025.4

  • Kanazawa Gakuin University   Faculty of Information Engineering   Assistant Prof.

    2024.4 - 2025.3

  • Kanazawa Gakuin University   Faculty of Econimic Informatics   Assistant Prof.   Mr.

    2022.4 - 2024.3

    　 More details

    Country：Japan

    Job classification：Assistant professor

  • 稚内高等学校   看護専攻科   非常勤外部講師

    2021.11 - 2021.12

  • Wakkanai Hokusei Gakuen College   Department of Information Media   Assistant Prof.

    2020.4 - 2022.3

    　 More details

    Country：Japan

    Job classification：Assistant professor

Education

  • Shinshu University   Graduate School of Science and Technology

    2016.4 - 2020.3

    　 More details

    Country： Japan

  • Shinshu University

    2014.4 - 2016.3

    　 More details

    Country： Japan

  • Wakkanai Hokusei Gakuen College

    2010.4 - 2014.3

    　 More details

    Country： Japan

Research Areas

  • Informatics / Software  / Model Checking

  • Informatics / Software  / Formal Verification

  • Manufacturing Technology (Mechanical Engineering, Electrical and Electronic Engineering, Chemical Engineering) / Control and system engineering

  • Informatics / Intelligent informatics  / Image Recognition

Research Interests

  • IoT

  • Petri Net

  • Model Checking

  • Formal Verification

  • Machine Learning

Research Projects

  • テラヘルツ電波多波長観測データと学習・シミュレーションの融合による，月・小惑星表層構造リモートセンシング解析情報基盤の確立

    2024 - 2026.3

    文部科学省  AI等の活用を推進する研究データエコシステム構築事業 

    佐川英夫,塚越崇,高橋茂,川瀬純也,張江洋次朗

    　 More details

    Authorship：Coinvestigator(s) 

  • Implementation of GDX (Gibier DX) for the control of wildlife damage and sustainable supply of wildlives meat  Major achievement

    Grant number：23K05416  2023.4 - 2027.3

    Japan Society for the Promotion of Science  Grant in Aid for Scientific Research (C) 

    Yojiro Harie, Bishnu Prasad Gautam, Yuto Ogata

    　 More details

    Authorship：Principal investigator  Grant type：Competitive  Type of fund：：Science research expense

  • "A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS", ITNG2017（Las Vegas, USA） 20万円

    2016.12

    公益財団法人NEC C&C財団 2016年度後期 海外渡航助成 

    張江 洋次朗, 和﨑克己

Papers

  • Classification of Directional Relationships in Semantic Coverage for Understanding Question Correspondence across Multiple Surveys Major achievement

    Lutfi Rahmatuti Maghfiroh, Bassamtiano Renaufalgi Irnawan, Yojiro Harie, Masakazu Takahashi, Yoshimichi Watanabe

    The 11th International Conference on Advanced Technology Innovation 2026   2026.7

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

  • Predicting Verification Results and Generating Counterexamples in NuSMV Using BERT: Reproducibility Analysis and Syntax-Guided Model Construction Reviewed Major achievement

    Ryosuke Ono, Yuto Ogata, Yojiro Harie

    Cross-Sectoral Information Exchange in the ICT Field Towards Sustainability and Smart Society X-ICT2S3 2026 Winter Symposium / Workshop   2026-XICT-9 ( 1 )   21 - 28   2026.2

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    File： x-ict2026winterS1_3.pdf

  • 野生シカの個体識別における動的深層学習アプローチ Reviewed Major achievement

    青谷賢, 小形優人, 張江洋次朗, ゴータム ビスヌ プラサド

    Cross-Sectoral Information Exchange in the ICT Fields Towards Sustainable and Smart Society (X-ICT2S3) 2025 Autumn Workshop   Vol.2025-XICT-8 ( 1 )   86 - 91   2025.11

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Enhancing Counterexample Prediction through Syntactic Analysis Major achievement

    Ryosuke Ono, Yojiro Harie

    Vol.2025-XICT-8 ( 1 )   134 - 135   2025.11

    　More details

    Authorship：Last author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • CONCOLIC GAN: A GAN-Based Framework for Enhancing State Coverage in Concolic Testing Major achievement

    Yojiro Harie, Yuto Ogata, Katsumi Wasaki

    The 14th International Multi-Conference on Engineering and Technology Innovation 2025 (IMETI2025)   1 ( 1 )   5 - 5   2025.10

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：(MISC) Summary of the papers read (international conference)  

  • Augmenting Malware URL Detection via Lexical Features and Hybrid Machine Learning Approaches Reviewed Major achievement

    Santosh Panth, Yojiro Harie, Suresh Timilsina, Ashim Khadka, Biplove Pokhrel, Bishnu Prasad Gautam

    2025 International Conference on Networking and Network Applications (NaNA)   181 - 186   2025.8

    　More details

    Authorship：Lead author,　Last author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/nana66698.2025.00036

  • Verification of a Hand Gesture-Based Non-touch Interface Using the Reverse Engineering Tool CodoMo Major achievement

    Yojiro Harie, Tochigi Kentaro, Yuto Ogata, Yoshimichi Watanabe

    Virtual Reality Society of Japan VRSJ Research Report   30 ( 2 )   60 - 65   2025.6

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    File： リバースモデル検証ツールCodoMoによる手指形状認識に基づく非接触型インタフェース.pdf

  • Proposal for a Non-Contact Interface Using Hand Shape Recognition Major achievement

    Kentaro Tochigi, Yojiro Harie, Yoshimichi Watanabe

    30 ( 2 )   54 - 59   2025.6

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • CodoMo: A Model-Driven Reverse Engineering Tool with an Educational Example for Machine Learning Systems Reviewed Major achievement

    Yojiro Harie, Yuto Ogata

    The journal of Kanazawa Gakuin University   ( 22 )   295 - 300   2025.3

    　More details

    Authorship：Lead author,　Corresponding author   Language：Japanese   Publishing type：(MISC) Prompt report, short report, and research note, etc. (bulletin of university, research institution)  

    File： kiyou_2024.pdf

  • Data Retrieval Methods Robust for Changing Questions of Surveys Reviewed Major achievement

    Lutfi Rahmatuti Maghfiroh, Yunarso Anang, Yojiro Harie, Masakazu Takahashi, Yoshimichi Watanabe

    Proceedings of International Conference on Quality (ICQ) 2025   2025

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

  • CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems Reviewed Major achievement

    Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad, Katsumi Wasaki

    2024 Twelfth International Symposium on Computing and Networking (CANDAR)   30 - 38   2024.11

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

  • Prediction of Counter Examples in the Field of Software Verification by Using BERT Major achievement

    Ryosuke Ono, Yojiro Harie

    2024.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • CodoMo: Data-Driven Reverse Modeling and Model Verification Tool Major achievement

    Yojiro Harie

    1   2024.9

    　More details

    Authorship：Lead author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Prediction of Counter Examples in the Field of Software Verification by Using NLP Models Major achievement

    Ryosuke Ono, Yojiro Harie

    23 ( 1 )   37 - 40   2024.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Reengineeing Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-edge Drones as an Example Major achievement

    Gautom Bishnu Prasad, Yojiro Harie

    2024.3

    　More details

    Language：English   Publishing type：(MISC) Introduction and explanation (bulletin of university, research institution)  

  • Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review Reviewed Major achievement

    Harie, Yojiro, Bishnu Prasad Gautam, Katsumi Wasaki

    Applied Sciences   13 ( 9 )   5335 - 5335   2023.4(  eISSN：2076-3417 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)   Publisher：MDPI AG  

    Growth prediction technology is not only a practical application but also a crucial approach that strengthens the safety of image processing techniques. By supplementing the growth images obtained from the original images, especially in insufficient data sets, we can increase the robustness of machine learning. Therefore, predicting the growth of living organisms is an important technology that increases the safety of existing applications that target living organisms and can extend to areas not yet realized. This paper is a systematic literature review (SLR) investigating biological growth prediction based on the PRISMA 2020 guidelines. We systematically survey existing studies from 2017 to 2022 to provide other researchers with current trends. We searched four digital libraries—IEEE Xplore, ACM Digital Library, Science Direct, and Web of Science—and finally analyzed 47 articles. We summarize the methods used, year, features, accuracy, and dataset of each paper. In particular, we explained LSTM, GAN, and STN, the most frequently used methods among the 20 papers related to machine learning (40% of all papers).

    File： applsci-13-05335-v2 (1).pdf

    DOI： 10.3390/app13095335

  • Monitoring System to Minimize Wild Animal Hazards by Using Individual Organism Recognition Method with the Raspberry Pi and Computer Vision Major achievement

    The 84th National Convention of IPSJ   2022.3

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Memory Efficient Video Collection and Extraction Technique for Augmented Triplet Network’s Dataset Reviewed Major achievement

    Yojiro Harie, Sangam Babu, Neupane, Bishnu Prasad Gautam

    2022 37th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC)   2022

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/itc-cscc55581.2022.9894892

  • Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer Reviewed Major achievement

    Yojiro Harie, Sangam Babu Neupane, Bishnu P. Gautam, Norio Shiratori

    2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW)   2021.11

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

  • An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems Reviewed Major achievement

    Yojiro Harie, Katsumi Wasaki

    2020 35th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC)   39 - 44   2020.7

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    Web of Science

  • ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装 Major achievement

    南, 史弥, 張江, 洋次朗, 和﨑, 克己

    第82回全国大会講演論文集   2020 ( 1 )   287 - 288   2020.2

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    深さ優先探索を用いた強連結成分分解時の情報を用いて，極小サイフォン・トラップ構造を，充足可能性判定，接続行列を用いたインバリアント解析よりも効率良く検出するようなヒューリスティックアルゴリズムを提案する．まず，ネットに対して強連結成分分解を行う．強連結ごとにネット内に複数存在する構造の共通部分が含まれている場合，フローが分岐する特徴点から深さ優先探索を用いて，性質を満足するプレースの探査を開始する．共通部分に戻ってきた場合，探索したプレース列をサイフォン・トラップ候補リストに保存する．共通部分から分岐する全ての路を探査し，かつ全ての強連結成分に対し探査が終了した後，サイフォン・トラップ構造を成しているかどうかの真偽判定を候補リストに対して行う．

    CiNii Books

    CiNii Research

  • サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析 Major achievement

    渡貫, 正也, 張江, 洋次朗, 和﨑, 克己

    第82回全国大会講演論文集   2020 ( 1 )   289 - 290   2020.2

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    ペトリネット援用ツールHiPSに，可達判定条件が判明しているサブクラス群に対して定義に反する閉路を検出する機能を実装する．解析対象は，トラップ・サイフォン包含閉路ネットとその部分集合であるサブクラス群である．始めに，対象ネットがサブクラスに包含されているか判定し，結果が偽であれば，反例である閉路を検出するために閉路探査と閉路の構造解析を実施する．規模が大きいネットの場合，解析処理に多くの計算コストが必要となるため，全体の解析時間短縮のために非同期・並列処理を導入する．更に，解析における優先度の指定や部分的な解析，処理の中断・再開といった機能を導入することで，反例検知の効率化とユーザビリティの向上を目指す．

    CiNii Books

    CiNii Research

  • Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values Reviewed Major achievement

    Yojiro Harie, Katsumi Wasaki

    Advances in Intelligent Systems and Computing   570 - 580   2020( ISSN：2194-5357  ISBN：9783030522421  eISSN：2194-5365 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：Springer International Publishing  

    DOI： 10.1007/978-3-030-52243-8_41

  • 可達条件が既知であるペトリネットを対象としたサブクラス定義に反する閉路の検出 Major achievement

    渡貫正也, 張江洋次朗, 和﨑克己

    2019年度電子情報通信学会 信州大学Student Branch論文発表会講演論文集   2019.12

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • ヒューリスティック手法を用いたサイフォン・トラップ構造解析器の実装 Major achievement

    南史弥, 張江洋次朗, 和﨑克己

    2019年度電子情報通信学会 信州大学Student Branch 論文発表会講演論文集   2019.12

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • 閉路で特徴付けられるサブクラス判定機能による反例の検出を利用したネットの詳細な解析 Major achievement

    渡貫正也, 張江洋次朗, 和﨑克己

    2019年度 電子情報通信学会信越支部大会講演論文集論文集   21   2019.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • 可達条件が既知であるサブクラス判定機能のパイプライン型並列処理による実現 (A-008) Major achievement

    渡貫正也, 張江洋次朗, 和﨑克己

    FIT2019（第18回情報科学技術フォーラム）講演論文集   79 - 80   2019.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • サイフォン・トラップ構造の検出効率化を目的とした分岐・共通部優先探査手法 Major achievement

    南史弥, 張江洋次朗, 和﨑克己

    2019年度 電子情報通信学会信越支部大会講演論文集   2019.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • 分岐・共通部優先ヒューリスティック探索によるサイフォン・トラップ構造検出の効率化 (A-007) Major achievement

    南史弥, 張江洋次朗, 和﨑克己

    FIT2019（第18回情報科学技術フォーラム）講演論文集   77 - 78   2019.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation Reviewed Major achievement

    32   278 - 283   2019.8

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Structurally Liveness and boundedness Analysis of Petri nets using circuit flow calculating for structures covered by Strongly Connected Marked Graph Major achievement

    119 ( 156 )   77 - 82   2019.7( ISSN：0913-5685 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    CiNii Books

  • Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation Major achievement

    118 ( 296 )   37 - 42   2018.11( ISSN：0913-5685 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    CiNii Books

  • A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Major achievement

    118 ( 296 )   43 - 47   2018.11( ISSN：0913-5685 )

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    CiNii Books

  • Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design Reviewed Major achievement

    Batajoo Amit, Yojiro Harie, Katsumi Wasaki

    2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)   614 - 618   2018.10(  ISBN：9781538663097 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/gcce.2018.8574828

  • 一般ペトリネットに対する可達グラフ生成時の削除可能状態推定に基づくメモリ効率化手法と評価 Major achievement

    藤森浩平, 張江洋次朗, 和﨑克己

    平成30年度電子情報通信学会信越支部大会講演論文集   34   2018.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Assessment of OPBT Technique by Using Formal Verification and Modeling Tools Major achievement

    Amit BATAJOO, Yojiro Harie, Katsumi Wasaki

    172   2018.9

    　More details

    Language：English   Publishing type：Research paper (bulletin of university, research institution)  

  • Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools Major achievement

    Amit BATAJOO, Yojiro Harie, Katsumi Wasaki

    Proceedings of the 80th National Convention of IPSJ   311 - 312   2018.3

    　More details

    Language：English   Publishing type：Research paper (bulletin of university, research institution)  

  • A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS Reviewed Major achievement

    Yojiro Harie, Katsumi Wasaki

    Advances in Intelligent Systems and Computing   558   265 - 273   2018( ISSN：2194-5357  ISBN：9783319549774  eISSN：2194-5365 )

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：Springer International Publishing  

    DOI： 10.1007/978-3-319-54978-1_37

    Scopus

  • Analyzing and Testing the Exploration Behavior in the VR Tourism Systems using Formal Verification and Modeling Tools Major achievement

    Amit BATAJOO, Yojiro Harie, Katsumi Wasaki

    2017.12

    　More details

    Language：English   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (B-1) 削除可能状態の推定による一般ペトリネットの可達グラフ生成のメモリ効率化手法 Major achievement

    藤森浩平, 張江洋次朗, 和﨑克己

    平成29年度電子情報通信学会 信州大学Student Branch論文発表会講演論文集   2017.12

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool Reviewed Major achievement

    Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki

    2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)   1 - 5   2017.10(  ISBN：9781509040452 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/gcce.2017.8229199

  • Implementation of L2/L3-Liveness Analyzer Using the Extension Coverability Graph to Petri Net Tool HiPS Major achievement

    Yuta Mitsui, Yojiro Harie, Katsumi Wasaki

    Forum on Information Technology (FIT) 2023   ( A3 )   91 - 94   2017.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (2A-4) ペトリネットに対する拡張被覆グラフを用いたL2/L3活性判定 Major achievement

    三井雄太, 張江洋次朗, 和﨑克己

    平成29年度電子情報通信学会信越支部大会講演論文集   24   2017.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (2A-5) 一般ペトリネットの可達グラフ生成途中で削除可能な状態の推定法 Major achievement

    藤森浩平, 張江洋次朗, 和﨑克己

    平成29年度電子情報通信学会信越支部大会講演論文集   25   2017.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (5B-4) Operational Profile-based Testing Technique for VR System using Formal Verification and Modeling Tools Major achievement

    Amit BTAJOO, Yojiro Harie, Katsumi Wasaki

    179   2017.9

    　More details

    Language：English   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (A-003) 一般ペトリネットの可達グラフ生成途中で削除可能な状態の反復一致性に基づく推定法 Major achievement

    藤森浩平, 張江洋次朗, 和﨑克己

    FIT2017（第 16 回情報科学技術フォーラム）講演論文集   91 - 94   2017.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (A-005) 仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化 Major achievement

    張江洋次朗, 和﨑克己

    FIT2017（第16回情報科学技術フォーラム）講演論文集   97 - 100   2017.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets Reviewed Major achievement

    Yojiro Harie, Katsumi Wasaki

    Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications   356 - 361   2017(  ISBN：9789897582653 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：SCITEPRESS - Science and Technology Publications  

    DOI： 10.5220/0006463803560361

    Other Link： https://dblp.uni-trier.de/db/conf/simultech/simultech2017.html#HarieW17

  • (A-2) 強トランジション則による有限容量ペトリネット向け状態空間生成器のHiPSツールへの実装とメモリ効率化 Major achievement

    藤森浩平, 張江洋次朗, 和﨑克己

    平成 28 年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集   2016.12

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (A-1) 並列離散事象システムのモデル化と検証に用いる階層型ペトリネットツールの設計と開発 Major achievement

    三井雄太, 張江洋次朗, 藤森浩平, 和﨑克己

    平成28年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集   2016.12

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS) Major achievement

    116 ( 316 )   31 - 35   2016.11( ISSN：0913-5685 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    CiNii Books

  • 階層型ペトリネット設計・検証ツール：HiPS Major achievement

    三井雄太, 張江洋次朗, 和﨑克己

    組込みシステムシンポジウム2016（ESS2016）講演論文集   96 - 97   2016.10

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS Reviewed Major achievement

    Yojiro Harie, Katsumi Wasaki

    2016 IEEE 5th Global Conference on Consumer Electronics   1 - 5   2016.10(  ISBN：9781509023332 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/gcce.2016.7800420

  • (A-012) 拡張被覆グラフを用いた無条件公平解析器のペトリネットツールHiPSへの実装 Major achievement

    三井 雄太, 張江 洋次朗, 和﨑 克己

    FIT2016（第15回情報科学技術フォーラム）講演論文集   109 - 114   2016.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (1C-4) ペトリネットの無条件公平性解析向け拡張被覆グラフ Major achievement

    三井雄太, 張江洋次朗, 和﨑克己

    平成28年度 電子情報通信学会 信越支部大会講演論文集   14 - 14   2016.9

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • (A-013) ペトリネット検証ツール HiPSにおけるon-the-fly LTLモデル検査器の実装 Major achievement

    張江 洋次朗, 和﨑 克己

    FIT2016（第15回情報科学技術フォーラム）講演論文集   115 - 116   2016.9

    　More details

    Authorship：Lead author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • Formal Verification of the Safety Testing Using the Petri Net Design and Tool Major achievement

    Yojiro Harie, Katsumi Wasaki

    145   2016.9

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：English   Publishing type：Research paper (research society, symposium materials, etc.)  

  • ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査 Major achievement

    張江 洋次朗, 和崎 克己

    第78回全国大会講演論文集   2016 ( 1 )   455 - 456   2016.3

    　More details

    Authorship：Lead author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    本稿では，ペトリネットより生成される状態空間を対象に，LTL式によるon-the-flyモデル検査器の設計について記す．筆者らの研究グループによって開発・公開されているペトリネット設計・検証ツールHiPSがある．HiPSでは，発火系列により構成される，ペトリネットの初期マーキングを根とするプロセス木を生成する機能が備わっている．HiPSは外部ツールと連携することで，状態空間に対するモデル検査を行うことができる．現状ではモデル検査を適用するためには全ての状態空間の生成を行わなくてはならず，時間的制約から大規模モデルへの適用は難しい．今回，モデル検査の効率化のため，on-the-fly手法を用いたLTLモデル検査器のHiPSツールへの組み込みを行った．

    CiNii Books

  • 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 Reviewed Major achievement

    張江 洋次朗

    信州大学 修士論文   2016.3

    　More details

    Authorship：Lead author   Language：Japanese   Publishing type：Master Thesis  

  • On-the-fly Model Checker for a Petri Net Verification Tool (HiPS) by using Replacement LTL Formula to Event-Based Automaton Major achievement

    115 ( 419 )   63 - 68   2016.1( ISSN：0913-5685 )

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

    CiNii Books

  • ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装 Major achievement

    張江 洋次朗, 和﨑 克己

    平成 27 年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集   1 - 1   2015.12

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • A-015 On-the-fly LTL Model Checker on the Petri Net Design Tool : HiPS Major achievement

    Harie Yojiiro, Wasaki Katsumi

    14 ( 1 )   139 - 142   2015.8

    　More details

    Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)   Publisher：Forum on Information Technology  

    CiNii Books

  • ペトリネットツールHiPSのモデル検査UIおよびLTL仕様の自動変換機構 Major achievement

    張江 洋次朗, 和﨑 克己

    平成26年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集   2   2014.12

    　More details

    Authorship：Lead author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

  • HiPSにおけるOn-the-fly モデル検査器向けUI設計 Major achievement

    張江 洋次朗, 和﨑 克己

    平成26年度電子情報通信学会信越支部大会論文集   1A ( 4 )   4   2014.11

    　More details

    Authorship：Lead author,　Last author,　Corresponding author   Language：Japanese   Publishing type：Research paper (research society, symposium materials, etc.)  

▼display all

Presentations

  • 勇者は魔物をいかに見分けるか？―AIやIoTを使った個体識別技術と研究動向― Invited Major achievement

    張江洋次朗

    秋季講座2021  2021.10 

    　More details

    Language：Japanese   Presentation type：Public discourse, seminar, tutorial, course, lecture and others  

Awards

  • 2025年サイバースペース研究賞 Major achievement

    2026.3   日本バーチャルリアリティ学会 サイバースペースと仮想都市研究委員会   CSVC 2025-31 リバースモデル検証ツールCodoMoによる手指形状認識に基づく非接触型インタフェースの設計検証

    張江洋次朗, 橡木健太郎, 渡辺喜道

  • 卒業論文優秀発表賞

    2026.2   山梨大学工学部   ストリートビューを用いた ドライバ向け事前経路確認システム

    飯島永稀

  • X-ICT2S3 Best Paper Award

    2026.2   Cross-Sectoral Information Exchange in the ICT Field Towards Sustainability and Smart Society 2026 Winter Symposium/ Workshop   Suppressing Catastrophic Forgetting in Continual Individual Identification of Wild Deer Using Relational Knowledge Distillation

    Ken Aotani, Ogata Yuto, Yojiro Harie, Bishnu Prasad Gautam

  • Best Poster Paper Major achievement

    2021.11   2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW)   Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer

    Yojiro Harie, Sangam Babu Neupane, Bishnu Prasad Gautam, Norio Shiratori

  • 情報処理学会 第16回情報科学技術フォーラム FIT奨励賞 Major achievement

    2017.9   情報処理学会   仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化

  • 組込みシステムシンポジウム2016（ESS2016）優秀ポスター賞

    2016.10   情報処理学会   階層型ペトリネット設計・検証ツール：HiPS

  • 平成 27年度 電子情報通信学会 信州大学 Student Branch 論文発表会 優秀論文賞

    2015.12   電子情報通信学会   ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装

  • 第14回情報科学技術フォーラム FIT奨励賞 Major achievement

    2015.9   情報処理学会   ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器

▼display all

Other

  • 【学内委員会】情報システム運用委員会

    2024.4
    -
    2025.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】マスコミ研究所

    2024.4
    -
    2025.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】教務委員会

    2023.4
    -
    2024.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】入試問題点検部会

    2023.4
    -
    2024.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】学部親睦会

    2022.4
    -
    2025.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】学生募集委員会 Major achievement

    2022.4
    -
    2025.3

    　More details

    金沢学院大学における学内委員会です．

  • 【学内委員会】学生委員会

    2022.4
    -
    2025.3

    　More details

    金沢学院大学における委員会です．

  • 【学内委員会】情報システム運用委員会

    2022.4
    -
    2023.3

    　More details

    金沢学院大学における学内委員会です．

  • 飛行ロボットコンテスト研究会顧問

    2021.4
    -
    2022.3

  • 【学内委員会】地域創造支援センター

    2020.4
    -
    2022.3

    　More details

    稚内北星学園大学における学内委員会です．

  • 【学内委員会】ネットワーク管理委員会 Major achievement

    2020.4
    -
    2022.3

    　More details

    稚内北星学園大学における学内委員会です．

  • 【学内委員会】入試部委員会

    2020.4
    -
    2022.3

    　More details

    稚内北星学園大学における学内委員会です．

  • 【学内委員会】初年次教育会議 Major achievement

    2020.4
    -
    2022.3

    　More details

    稚内北星学園大学における学内委員会です．

  • 【学内委員会】国際交流センター

    2020.4
    -
    2022.3

    　More details

    稚内北星学園大学における学内委員会です．

▼display all

Teaching Experience (On-campus)

  • Software Engineering with Laboratory II Major achievement

    2026Year

  • Advanced Programming and Laboratory II

    2025Year

  • Advanced Programming Laboratory

    2025Year

  • Software Engineering with Laboratory II

    2025Year

  • Operating Systems Laboratory

    2025Year

Teaching Experience

  • プログラミング応用演習  Major achievement

    2025.4
    Institution：山梨大学

  • オペレーティングシステム演習  Major achievement

    2025.4
    Institution：山梨大学

  • ソフトウェア工学及び演習II  Major achievement

    2025.4
    Institution：山梨大学 工学部

  • プログラミング応用及び演習II  Major achievement

    2025.4
    Institution：山梨大学

  • Seminar II

    2024.9
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • プログラミングⅠ  Major achievement

    2024.9
    -
    2025.3
    Institution：金沢学院大学 情報工学部

  • Multimedia Representations and Technology II

    2024.9
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Seminar I

    2024.4
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Multimedia Representations and Technology I

    2024.4
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Information Technology basics 2

    2023.9
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Basic Seminar II

    2023.9
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Carrer Planing II

    2023.9
    -
    2024.3
    Institution：Kanazawa Gakuin University

  • Information Technology basics 1

    2023.4
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Programming IV a/b

    2023.4
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Basic Seminar I

    2023.4
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Programming Ⅲ a/b

    2022.9
    -
    2025.3
    Institution：Kanazawa Gakuin University

  • Computer Basic Seminar Ⅱ a/b

    2022.9
    -
    2024.3
    Institution：Kanazawa Gakuin University

  • Programming Ⅰa/b

    2022.9
    -
    2023.3
    Institution：Kanazawa Gakuin University

  • Computer Basic Seminar Ⅱ a/b

    2022.9
    -
    2023.3
    Institution：Kanazawa Gakuin University

  • Computer Basic Seminar Ⅰ a/b

    2022.4
    -
    2023.9
    Institution：Kanazawa Gakuin University

  • Career Design 1

    2022.4
    -
    2023.3
    Institution：Kanazawa Gakuin University

  • Learning Basics

    2022.4
    -
    2022.9
    Institution：Kanazawa Gakuin University

  • Future Skills Project Seminar

    2022.4
    -
    2022.9
    Institution：Kanazawa Gakuin University

  • Programming Ⅱ a/b

    2022.4
    -
    2022.9
    Institution：Kanazawa Gakuin University

  • Basic Programming

    2022.4
    -
    2022.9
    Institution：Kanazawa Gakuin University

  • Database Theory  Major achievement

    2021.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Information Security  Major achievement

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • System Control Programming  Major achievement

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Software Manufacturing Seminar

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Network Fundamentals  Major achievement

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Practice in Network Fundamentals  Major achievement

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Basic Seminar Ⅰ

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Basic Seminar Ⅱ

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

  • Software Engineering Theory

    2020.4
    -
    2022.3
    Institution：Wakkanai Hokusei Gakuen College

▼display all

Social Activities

  • 金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」

    Role(s)： Lecturer

    金沢学院大学附属高等学校  2025.2

  • 金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」

    Role(s)： Lecturer

    金沢学院大学附属高等学校  2025.1

  • 金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」

    Role(s)： Lecturer

    金沢学院大学附属高等学校  2025.1

  • 石川県立金沢向陽高等学校 ソフトとハード!ドローンシステム

    Role(s)： Lecturer

    金沢学院大学  石川県立金沢向陽高等学校 DX講義  2024.11

  • 楽しいネットワーク実験室 PACKET TRACERで学ぶデジタルメッセージの世界 Major achievement

    Role(s)： Lecturer

    北陸大学，石川中央都市圏  石川中央都市圏大学連携共同研究事業 STEAM教育講座  2024.9

  • DX出前講義 「ドローン制御と検証」

    Role(s)： Lecturer

    金沢学院大学附属高校  2024.9

  • DXハイスクール事業 高大連携DX演習(ドローンプログラミング)

    Role(s)： Lecturer

    石川県立野々市明倫高校  野々市明倫高校 探究・DX推進室企画  2024.8

    　More details

    Audience： Schoolchildren,　Junior students,　High school students,　College students,　Teachers,　Guardians

    Type：Seminar, workshop

  • 石川県立内灘高校DXハイスクール事業夏季特別講座

    Role(s)： Lecturer

    石川県立内灘高校  2024.7

  • 石川県立野々市明倫高校DX加速化推進事業（DXハイスクール）講義 Major achievement

    Role(s)： Lecturer

    野々市明倫高校  2024.7

  • 石川県立内灘高校第1回DX加速化推進事業（DXハイスクール）講義

    Role(s)： Lecturer

    内灘高校  2024.6

  • 持続可能なテクノロジーを考える ～石臼とドローンの応用を事例に～

    Role(s)： Lecturer

    株式会社ライセンスアカデミー  石川県立内灘高校  2024.2

    　More details

    Audience： High school students

    Type：Visiting lecture

  • 金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」

    Role(s)： Lecturer

    金沢学院大学附属高等学校  2024.1

  • 職業別説明会（情報工学）

    Role(s)： Lecturer

    株式会社ライセンスアカデミー  石川県立志賀高等学校  2024.1

    　More details

    Audience： High school students

    Type：Lecture

  • ハードウェアと組み込みシステムを駆使したドローン制御体験

    Role(s)： Lecturer

    株式会社キッズ・コーポレーション  進路ガイダンス  石川県立加賀高等学校  2023.12

    　More details

    Audience： High school students

    Type：Visiting lecture

  • 系統別説明会（情報工学）

    Role(s)： Lecturer

    株式会社 さんぽう 名古屋支社  石川県立小松商業高等学校  2023.11

    　More details

    Audience： High school students

    Type：Lecture

  • 「デジタル回路」講義紹介 ～ドローンを回路で制御（インタフェーシング)しよう～ Major achievement

    Role(s)： Lecturer

    株式会社ライセンスアカデミー  石川県立金沢伏見高校  2023.11

    　More details

    Audience： High school students

    Type：Visiting lecture

  • 分野別説明会（情報工学）

    Role(s)： Lecturer

    株式会社ライセンスアカデミー  石川県立大聖寺実業高等学校  2023.9

    　More details

    Audience： High school students

    Type：Lecture

  • サイバーフィジカルシステム(CPS)と形式手法 Major achievement

    Role(s)： Lecturer

    稚内北星学園大学  稚内北星学園大学2020年度 市民向け公開講座  2021.1

  • AIに背中を預けるには ―人工知能と安全性について― Major achievement

    Role(s)： Lecturer

    稚内北星学園大学  稚内北星学園大学2021年度 市民向け公開講座  2020.12

▼display all

Professional Memberships

  • 情報処理学会

    2024.9

  • ACM

    2023.1

  • IEEE

    2020.4

  • IEICE

    2014.4

Media Coverage

  • 情報伝達の仕組み学ぶ Newspaper, magazine

    北國新聞社  北國新聞  24ページ (本文抜粋: 石川中央都市圏大学連携共同研究事業の一環で、金沢学院大学情報工学部のゴータム・ビスヌ・プラサド教授、張江洋次朗助教らが分かりやすく解説した。)  2024.9

    　More details

    Author：Other 

  • 人工知能でシカ識別 稚内北星大・張江助教と留学生研究 食害もたらす個体の特定目指す Newspaper, magazine

    北海道新聞  北海道新聞  https://www.hokkaido-np.co.jp/article/642947  2022.2

    　More details

    Author：Other 

  • 飛行ロボット 深めた自信＊稚内北星大の同好会＊全国大会 一般部門で決勝進出＊出場の池田さん＊「最北の地でも研究できる」 Newspaper, magazine

    北海道新聞  北海道新聞  北海道新聞朝刊 16ページ  2022.1

    　More details

    Author：Other 

    昨年１２月１８、１９日、東京都大田区総合体育館で開かれ、東大や慶大など４０を超えるチームが参加。一般、自動操縦、マルチコプター、ユニークデザインの４部門があり、稚内北星学園大は一般、自動操縦の２部門に出場した。

    同好会「最北の蒼空」は画像認識技術などを研究する同大の張江洋次朗助教のゼミに所属する池田柊晴さん（２２）がゼミ仲間のネパール人留学生のラヤル・アシスさん（２５）に声を掛けて昨年９月設立。池田さんが機体の設計を行い、アシスさんは自動操縦部門に出場する飛行ロボットのプログラミングを担当した。