所属
大学院 総合研究部 工学域 電気電子情報工学系（コンピュータ理工学） 助教
職名
助教
ハリエ ヨウジロウ
張江 洋次朗
Harie Yojiro
経歴
-
山梨大学 大学院総合研究部工学域 特任助教
2025年4月 - 現在
-
金沢学院大学 情報工学部 助教
2024年4月 - 2025年3月
-
金沢学院大学 経済情報学部 助教
2022年4月 - 2024年3月
国名：日本国
職階：助教相当
-
稚内高等学校 看護専攻科 非常勤外部講師
2021年11月 - 2021年12月
-
稚内北星学園大学 情報メディア学部 助教
2020年4月 - 2022年3月
国名：日本国
職階：助教相当
学歴
-
信州大学 大学院総合理工学研究科
2016年4月 - 2020年3月
国名： 日本国
備考： 単位取得満期退学
-
信州大学 理工学研究科 情報学科
2014年4月 - 2016年3月
国名： 日本国
-
稚内北星学園大学 情報メディア学部 情報メディア学科
2010年4月 - 2014年3月
国名： 日本国
研究分野
-
情報通信 / ソフトウェア / モデル検査
-
情報通信 / ソフトウェア / 形式手法
-
ものづくり技術（機械・電気電子・化学工学） / 制御、システム工学
-
情報通信 / 知能情報学 / 画像認識
研究キーワード
-
IoT
-
ペトリネット
-
モデル検査
-
形式手法
-
機械学習
共同研究・競争的資金等の研究
-
テラヘルツ電波多波長観測データと学習・シミュレーションの融合による，月・小惑星表層構造リモートセンシング解析情報基盤の確立
2024年 - 2026年3月
文部科学省 AI等の活用を推進する研究データエコシステム構築事業
佐川英夫,塚越崇,高橋茂,川瀬純也,張江洋次朗
担当区分：研究分担者
-
鳥獣害被害の抑制と持続可能な野生鳥獣肉供給のためのジビエDXの実現 重要な業績
研究課題/領域番号：23K05416 2023年4月 - 2027年3月
日本学術振興会 科学研究費助成事業
張江洋次朗, ゴータム,ビスヌ,プラサド, 小形優人
担当区分：研究代表者 資金種別：競争的資金 資金の種類：科学研究費補助金
-
"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財団 公益財団法人NEC C&C財団 2016年度後期 海外渡航助成
張江 洋次朗, 和﨑克己
論文
-
Classification of Directional Relationships in Semantic Coverage for Understanding Question Correspondence across Multiple Surveys 重要な業績
Lutfi Rahmatuti Maghfiroh, Bassamtiano Renaufalgi Irnawan, Yojiro Harie, Masakazu Takahashi, Yoshimichi Watanabe
The 11th International Conference on Advanced Technology Innovation 2026 2026年7月
-
自然言語処理モデルBERTを用いたNuSMVの検証結果予測と反例生成:真偽判定の再現実験による評価と構文解析情報に基づく生成モデルの構築 査読 重要な業績
大野亮祐, 小形優人, 張江洋次朗
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月
-
野生シカの個体識別における動的深層学習アプローチ 査読 重要な業績
青谷賢, 小形優人, 張江洋次朗, ゴータム ビスヌ プラサド
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月
-
モデル検査における反例予測精度向上のための構文解析結果の導入 重要な業績
大野亮祐, 張江洋次朗
Cross-Sectoral Information Exchange in the ICT Fields Towards Sustainable and Smart Society (X-ICT2S3) 2025 Autumn Workshop Vol.2025-XICT-8 ( 1 ) 134 - 135 2025年11月
-
CONCOLIC GAN: A GAN-Based Framework for Enhancing State Coverage in Concolic Testing 重要な業績
Yojiro Harie, Yuto Ogata, Katsumi Wasaki
The 14th International Multi-Conference on Engineering and Technology Innovation 2025 (IMETI2025) 1 ( 1 ) 5 - 5 2025年10月
-
Augmenting Malware URL Detection via Lexical Features and Hybrid Machine Learning Approaches 査読 重要な業績
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月
-
リバースモデル検証ツールCodoMoによる手指形状認識に基づく非接触型インタフェースの設計検証 重要な業績
張江 洋次朗, 橡木 健太郎, 小形 優人, 渡辺 喜道
日本バーチャルリアリティ学会研究報告 30 ( 2 ) 60 - 65 2025年6月
-
手指形状認識による非接触型インタフェースの提案 重要な業績
橡木 健太郎, 張江 洋次朗, 渡辺 喜道
日本バーチャルリアリティ学会研究報告 30 ( 2 ) 54 - 59 2025年6月
-
モデル駆動型リバースエンジニアリングツールCodoMo -機能の紹介と機械学習システムの教育実践例- 査読 重要な業績
張江洋次朗, 小形優人
金沢学院大学紀要 ( 22 ) 295 - 300 2025年3月
-
Data Retrieval Methods Robust for Changing Questions of Surveys 査読 重要な業績
Lutfi Rahmatuti Maghfiroh, Yunarso Anang, Yojiro Harie, Masakazu Takahashi, Yoshimichi Watanabe
Proceedings of International Conference on Quality (ICQ) 2025 2025年
-
CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems 査読 重要な業績
Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad, Katsumi Wasaki
2024 Twelfth International Symposium on Computing and Networking (CANDAR) 30 - 38 2024年11月
-
BERT を利用したソフトウェア検証分野における反例予測 重要な業績
大野 亮祐, 張江 洋次朗
Cross-sectoral information exchange in the ICT field towards Sustainable and Smart Society (X-ICT 2024) Summer Meeting 2024年9月
-
CodoMo: データドリブン手法によるリバースモデル生成検証ツール 重要な業績
張江 洋次朗
Cross-sectoral information exchange in the ICT field towards Sustainable and Smart Society (X-ICT 2024) Summer Meeting 1 2024年9月
-
自然言語処理モデルを利用したソフトウェア検証分野における反例予測 重要な業績
大野亮祐, 張江洋次朗
FIT2024（第 23 回情報科学技術フォーラム）論文誌 23 ( 1 ) 37 - 40 2024年9月
-
Reengineeing Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-edge Drones as an Example 重要な業績
ゴータム ビスヌ・プラサド, 張江 洋次朗
中部大学国際人間学研究所シンポジウム 持続可能な社会2023年度 2024年3月
-
Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review 査読 重要な業績
Harie, Yojiro, Bishnu Prasad Gautam, Katsumi Wasaki
Applied Sciences 13 ( 9 ) 5335 - 5335 2023年4月( eISSN：2076-3417 )
-
Monitoring System to Minimize Wild Animal Hazards by Using Individual Organism Recognition Method with the Raspberry Pi and Computer Vision 重要な業績
Sangam Babu Neupane, Yojiro Harie
情報処理学会第84回全国大会 (IPSJ全国大会 2022) 2022年3月
-
Memory Efficient Video Collection and Extraction Technique for Augmented Triplet Network’s Dataset 査読 重要な業績
2022 37th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) 2022年
-
Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer 査読 重要な業績
2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) 2021年11月
-
An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems 査読 重要な業績
2020 35th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) 39 - 44 2020年7月
-
ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装 重要な業績
南, 史弥, 張江, 洋次朗, 和﨑, 克己
第82回全国大会講演論文集 2020 ( 1 ) 287 - 288 2020年2月
-
サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析 重要な業績
渡貫, 正也, 張江, 洋次朗, 和﨑, 克己
第82回全国大会講演論文集 2020 ( 1 ) 289 - 290 2020年2月
-
Advances in Intelligent Systems and Computing 570 - 580 2020年( ISSN：2194-5357 ISBN：9783030522421 eISSN：2194-5365 )
-
可達条件が既知であるペトリネットを対象としたサブクラス定義に反する閉路の検出 重要な業績
渡貫正也, 張江洋次朗, 和﨑克己
2019年度電子情報通信学会 信州大学Student Branch論文発表会講演論文集 2019年12月
-
ヒューリスティック手法を用いたサイフォン・トラップ構造解析器の実装 重要な業績
南史弥, 張江洋次朗, 和﨑克己
2019年度電子情報通信学会 信州大学Student Branch 論文発表会講演論文集 2019年12月
-
閉路で特徴付けられるサブクラス判定機能による反例の検出を利用したネットの詳細な解析 重要な業績
渡貫正也, 張江洋次朗, 和﨑克己
2019年度 電子情報通信学会信越支部大会講演論文集論文集 21 2019年9月
-
可達条件が既知であるサブクラス判定機能のパイプライン型並列処理による実現 (A-008) 重要な業績
渡貫正也, 張江洋次朗, 和﨑克己
FIT2019（第18回情報科学技術フォーラム）講演論文集 79 - 80 2019年9月
-
サイフォン・トラップ構造の検出効率化を目的とした分岐・共通部優先探査手法 重要な業績
南史弥, 張江洋次朗, 和﨑克己
2019年度 電子情報通信学会信越支部大会講演論文集 2019年9月
-
分岐・共通部優先ヒューリスティック探索によるサイフォン・トラップ構造検出の効率化 (A-007) 重要な業績
南史弥, 張江洋次朗, 和﨑克己
FIT2019（第18回情報科学技術フォーラム）講演論文集 77 - 78 2019年9月
-
フローネット変換を用いたペトリネットの構造的活性・有界性解析手法 査読 重要な業績
張江 洋次朗, 和﨑 克己
回路とシステムワークショップ論文集 Workshop on Circuits and Systems 32 278 - 283 2019年8月
-
マークグラフ被覆可能な構造に対する閉路フロー演算を用いたペトリネットの構造的活性・有界性解析 (システム数理と応用) 重要な業績
張江 洋次朗, 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119 ( 156 ) 77 - 82 2019年7月( ISSN：0913-5685 )
-
閉路フロー行列変換によるペトリネットの安定部分ネットの検知 (システム数理と応用) 重要な業績
張江 洋次朗, 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118 ( 296 ) 37 - 42 2018年11月( ISSN：0913-5685 )
-
一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 (システム数理と応用) 重要な業績
藤森 浩平, 張江 洋次朗, 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118 ( 296 ) 43 - 47 2018年11月( ISSN：0913-5685 )
-
2018 IEEE 7th Global Conference on Consumer Electronics (GCCE) 614 - 618 2018年10月( ISBN：9781538663097 )
-
一般ペトリネットに対する可達グラフ生成時の削除可能状態推定に基づくメモリ効率化手法と評価 重要な業績
藤森浩平, 張江洋次朗, 和﨑克己
平成30年度電子情報通信学会信越支部大会講演論文集 34 2018年9月
-
Assessment of OPBT Technique by Using Formal Verification and Modeling Tools 重要な業績
Amit BATAJO, 張江洋次朗, 和﨑克己
2018 IEEE 信越支部セッション講演論文集 172 2018年9月
-
Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools 重要な業績
Amit BATAJO, 張江洋次朗, 和﨑克己
Proceedings of the 80th National Convention of IPSJ 311 - 312 2018年3月
-
A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS 査読 重要な業績
Advances in Intelligent Systems and Computing 558 265 - 273 2018年( ISSN：2194-5357 ISBN：9783319549774 eISSN：2194-5365 )
-
(B-2) Analyzing and Testing the Exploration Behavior in the VR Tourism Systems using Formal Verification and Modeling Tools 重要な業績
Amit BATAJO, 張江洋次朗, 和﨑克己
平成29年度電子情報通信学会 信州大学Student Branch論文発表会講演論文集 2017年12月
-
(B-1) 削除可能状態の推定による一般ペトリネットの可達グラフ生成のメモリ効率化手法 重要な業績
藤森浩平, 張江洋次朗, 和﨑克己
平成29年度電子情報通信学会 信州大学Student Branch論文発表会講演論文集 2017年12月
-
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool 査読 重要な業績
2017 IEEE 6th Global Conference on Consumer Electronics (GCCE) 1 - 5 2017年10月( ISBN：9781509040452 )
-
拡張被覆グラフを用いた L2/L3 活性判定器のペトリネットツールへの実装 重要な業績
三井雄太, 張江洋次朗, 和﨑克己
FIT2017（第 16 回情報科学技術フォーラム） ( A3 ) 91 - 94 2017年9月
-
(2A-4) ペトリネットに対する拡張被覆グラフを用いたL2/L3活性判定 重要な業績
三井雄太, 張江洋次朗, 和﨑克己
平成29年度電子情報通信学会信越支部大会講演論文集 24 2017年9月
-
(2A-5) 一般ペトリネットの可達グラフ生成途中で削除可能な状態の推定法 重要な業績
藤森浩平, 張江洋次朗, 和﨑克己
平成29年度電子情報通信学会信越支部大会講演論文集 25 2017年9月
-
(5B-4) Operational Profile-based Testing Technique for VR System using Formal Verification and Modeling Tools 重要な業績
2017 IEEE 信越支部セッション講演論文集 179 2017年9月
-
(A-003) 一般ペトリネットの可達グラフ生成途中で削除可能な状態の反復一致性に基づく推定法 重要な業績
藤森浩平, 張江洋次朗, 和﨑克己
FIT2017（第 16 回情報科学技術フォーラム）講演論文集 91 - 94 2017年9月
-
(A-005) 仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化 重要な業績
張江洋次朗, 和﨑克己
FIT2017（第16回情報科学技術フォーラム）講演論文集 97 - 100 2017年9月
-
Yojiro HARIE, Katsumi WASAKI
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications 356 - 361 2017年( ISBN：9789897582653 )
-
(A-2) 強トランジション則による有限容量ペトリネット向け状態空間生成器のHiPSツールへの実装とメモリ効率化 重要な業績
藤森浩平, 張江洋次朗, 和﨑克己
平成 28 年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集 2016年12月
-
(A-1) 並列離散事象システムのモデル化と検証に用いる階層型ペトリネットツールの設計と開発 重要な業績
三井雄太, 張江洋次朗, 藤森浩平, 和﨑克己
平成28年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集 2016年12月
-
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 (システム数理と応用) 重要な業績
張江 洋次朗, 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116 ( 316 ) 31 - 35 2016年11月( ISSN：0913-5685 )
-
階層型ペトリネット設計・検証ツール：HiPS 重要な業績
三井雄太, 張江洋次朗, 和﨑克己
組込みシステムシンポジウム2016（ESS2016）講演論文集 96 - 97 2016年10月
-
2016 IEEE 5th Global Conference on Consumer Electronics 1 - 5 2016年10月( ISBN：9781509023332 )
-
(A-012) 拡張被覆グラフを用いた無条件公平解析器のペトリネットツールHiPSへの実装 重要な業績
三井 雄太, 張江 洋次朗, 和﨑 克己
FIT2016（第15回情報科学技術フォーラム）講演論文集 109 - 114 2016年9月
-
(1C-4) ペトリネットの無条件公平性解析向け拡張被覆グラフ 重要な業績
三井雄太, 張江洋次朗, 和﨑克己
平成28年度 電子情報通信学会 信越支部大会講演論文集 14 - 14 2016年9月
-
(A-013) ペトリネット検証ツール HiPSにおけるon-the-fly LTLモデル検査器の実装 重要な業績
張江 洋次朗, 和﨑 克己
FIT2016（第15回情報科学技術フォーラム）講演論文集 115 - 116 2016年9月
-
(9A-4) Formal Verification of the Safety Testing Using the Petri Net Design and Tool 重要な業績
張江洋次朗, 和﨑克己
2016年 IEEE 信越支部セッション講演論文集 145 2016年9月
-
ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査 重要な業績
張江 洋次朗, 和崎 克己
第78回全国大会講演論文集 2016 ( 1 ) 455 - 456 2016年3月
-
線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 査読 重要な業績
張江 洋次朗
信州大学 修士論文 2016年3月
-
線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 (システム数理と応用) 重要な業績
張江 洋次朗, 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115 ( 419 ) 63 - 68 2016年1月( ISSN：0913-5685 )
-
ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装 重要な業績
張江 洋次朗, 和﨑 克己
平成 27 年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集 1 - 1 2015年12月
-
A-015 ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器(A分野:モデル・アルゴリズム・プログラミング,一般論文) 重要な業績
張江 洋次朗, 和崎 克己
情報科学技術フォーラム講演論文集 14 ( 1 ) 139 - 142 2015年8月
-
ペトリネットツールHiPSのモデル検査UIおよびLTL仕様の自動変換機構 重要な業績
張江 洋次朗, 和﨑 克己
平成26年度電子情報通信学会 信州大学 Student Branch 論文発表会 講演論文集 2 2014年12月
-
HiPSにおけるOn-the-fly モデル検査器向けUI設計 重要な業績
張江 洋次朗, 和﨑 克己
平成26年度電子情報通信学会信越支部大会論文集 1A ( 4 ) 4 2014年11月
講演・口頭発表等
-
勇者は魔物をいかに見分けるか？―AIやIoTを使った個体識別技術と研究動向― 招待 重要な業績
張江洋次朗
秋季講座2021 2021年10月
受賞
-
2025年サイバースペース研究賞 重要な業績
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 野生シカの個体識別における動的深層学習アプローチ
青谷 賢, 小形 優人, 張江 洋次朗, ゴータム ビスヌ プラサド
-
Best Poster Paper 重要な業績
2021年11月 IEEE Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer
-
情報処理学会 第16回情報科学技術フォーラム FIT奨励賞 重要な業績
2017年9月 情報処理学会 仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化
-
組込みシステムシンポジウム2016（ESS2016）優秀ポスター賞
2016年10月 情報処理学会 階層型ペトリネット設計・検証ツール：HiPS
-
平成 27年度 電子情報通信学会 信州大学 Student Branch 論文発表会 優秀論文賞
2015年12月 電子情報通信学会 ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装
-
第14回情報科学技術フォーラム FIT奨励賞 重要な業績
2015年9月 情報処理学会 ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器
その他
-
【学内委員会】情報システム運用委員会
2024年4月-2025年3月 -
【学内委員会】マスコミ研究所
2024年4月-2025年3月 -
【学内委員会】教務委員会
2023年4月-2024年3月 -
【学内委員会】入試問題点検部会
2023年4月-2024年3月 -
【学内委員会】学部親睦会
2022年4月-2025年3月 -
【学内委員会】学生募集委員会 重要な業績
2022年4月-2025年3月 -
【学内委員会】学生委員会
2022年4月-2025年3月 -
【学内委員会】情報システム運用委員会
2022年4月-2023年3月 -
飛行ロボットコンテスト研究会顧問
2021年4月-2022年3月 -
【学内委員会】地域創造支援センター
2020年4月-2022年3月 -
【学内委員会】ネットワーク管理委員会 重要な業績
2020年4月-2022年3月 -
【学内委員会】入試部委員会
2020年4月-2022年3月 -
【学内委員会】初年次教育会議 重要な業績
2020年4月-2022年3月 -
【学内委員会】国際交流センター
2020年4月-2022年3月
担当授業科目（学内）
-
ソフトウェア工学及び演習II 重要な業績
2026年度
-
プログラミング応用及び演習II
2025年度
-
プログラミング応用演習
2025年度
-
ソフトウェア工学及び演習II
2025年度
-
オペレーティングシステム演習
2025年度
担当経験のある科目（授業）
-
プログラミング応用演習 重要な業績
2025年4月-現在機関名：山梨大学 -
オペレーティングシステム演習 重要な業績
2025年4月-現在機関名：山梨大学 -
ソフトウェア工学及び演習II 重要な業績
2025年4月-現在機関名：山梨大学 工学部 -
プログラミング応用及び演習II 重要な業績
2025年4月-現在機関名：山梨大学 -
演習Ⅱ
2024年9月-2025年3月機関名：金沢学院大学 -
プログラミングⅠ 重要な業績
2024年9月-2025年3月機関名：金沢学院大学 情報工学部 -
マルチメディア表現と技術Ⅱ
2024年9月-2025年3月機関名：金沢学院大学 -
演習Ⅰ
2024年4月-2025年3月機関名：金沢学院大学 -
マルチメディア表現と技術Ⅰ
2024年4月-2025年3月機関名：金沢学院大学 -
情報技術基礎Ⅱ
2023年9月-2025年3月機関名：金沢学院大学 -
基礎演習Ⅱ
2023年9月-2025年3月機関名：金沢学院大学 -
キャリアプランニングⅡ
2023年9月-2024年3月機関名：金沢学院大学 -
情報技術基礎Ⅰ
2023年4月-2025年3月機関名：金沢学院大学 -
プログラミングⅣ a/b
2023年4月-2025年3月機関名：金沢学院大学 -
基礎演習 Ⅰ
2023年4月-2025年3月機関名：金沢学院大学 -
プログラミングⅢ a/b
2022年9月-2025年3月機関名：金沢学院大学 -
コンピュータ基礎演習Ⅱ a/b
2022年9月-2024年3月機関名：金沢学院大学 -
プログラミングⅠa/b
2022年9月-2023年3月機関名：金沢学院大学 -
コンピュータ基礎演習Ⅱa/b
2022年9月-2023年3月機関名：金沢学院大学 -
コンピュータ基礎演習Ⅰ a/b
2022年4月-2023年9月機関名：金沢学院大学 -
キャリアデザインⅠ
2022年4月-2023年3月機関名：金沢学院大学 -
学修基礎
2022年4月-2022年9月機関名：金沢学院大学 -
FSP講座
2022年4月-2022年9月機関名：金沢学院大学 -
プログラミングⅡ a/b
2022年4月-2022年9月機関名：金沢学院大学 -
プログラミング基礎
2022年4月-2022年9月機関名：金沢学院大学 -
データベース論 重要な業績
2021年4月-2022年3月機関名：稚内北星学園大学 -
情報セキュリティ 重要な業績
2020年4月-2022年3月機関名：稚内北星学園大学 -
システム制御プログラミング 重要な業績
2020年4月-2022年3月機関名：稚内北星学園大学 -
ソフトウェア制作演習
2020年4月-2022年3月機関名：稚内北星学園大学 -
ネットワーク概論 重要な業績
2020年4月-2022年3月機関名：稚内北星学園大学 -
ネットワーク演習 重要な業績
2020年4月-2022年3月機関名：稚内北星学園大学 -
基礎演習Ⅰ
2020年4月-2022年3月機関名：稚内北星学園大学 -
基礎演習Ⅱ
2020年4月-2022年3月機関名：稚内北星学園大学 -
情報システム設計論
2020年4月-2022年3月機関名：稚内北星学園大学
社会貢献活動
-
金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」
役割：講師
金沢学院大学附属高等学校 2025年2月
-
金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」
役割：講師
金沢学院大学附属高等学校 2025年1月
-
金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」
役割：講師
金沢学院大学附属高等学校 2025年1月
-
石川県立金沢向陽高等学校 ソフトとハード!ドローンシステム
役割：講師
金沢学院大学 石川県立金沢向陽高等学校 DX講義 2024年11月
-
楽しいネットワーク実験室 PACKET TRACERで学ぶデジタルメッセージの世界 重要な業績
役割：講師
北陸大学，石川中央都市圏 石川中央都市圏大学連携共同研究事業 STEAM教育講座 2024年9月
-
DX出前講義 「ドローン制御と検証」
役割：講師
金沢学院大学附属高校 2024年9月
-
DXハイスクール事業 高大連携DX演習(ドローンプログラミング)
役割：講師
石川県立野々市明倫高校 野々市明倫高校 探究・DX推進室企画 2024年8月
-
石川県立内灘高校DXハイスクール事業夏季特別講座
役割：講師
石川県立内灘高校 2024年7月
-
石川県立野々市明倫高校DX加速化推進事業（DXハイスクール）講義 重要な業績
役割：講師
野々市明倫高校 2024年7月
-
石川県立内灘高校第1回DX加速化推進事業（DXハイスクール）講義
役割：講師
内灘高校 2024年6月
-
持続可能なテクノロジーを考える ～石臼とドローンの応用を事例に～
役割：講師
株式会社ライセンスアカデミー 石川県立内灘高校 2024年2月
-
金沢学院大学附属高等学校「ハードウェアと組み込みシステムを駆使したドローン制御体験」
役割：講師
金沢学院大学附属高等学校 2024年1月
-
職業別説明会（情報工学）
役割：講師
株式会社ライセンスアカデミー 石川県立志賀高等学校 2024年1月
-
ハードウェアと組み込みシステムを駆使したドローン制御体験
役割：講師
株式会社キッズ・コーポレーション 進路ガイダンス 石川県立加賀高等学校 2023年12月
-
系統別説明会（情報工学）
役割：講師
株式会社 さんぽう 名古屋支社 石川県立小松商業高等学校 2023年11月
-
「デジタル回路」講義紹介 ～ドローンを回路で制御（インタフェーシング)しよう～ 重要な業績
役割：講師
株式会社ライセンスアカデミー 石川県立金沢伏見高校 2023年11月
-
分野別説明会（情報工学）
役割：講師
株式会社ライセンスアカデミー 石川県立大聖寺実業高等学校 2023年9月
-
サイバーフィジカルシステム(CPS)と形式手法 重要な業績
役割：講師
稚内北星学園大学 稚内北星学園大学2020年度 市民向け公開講座 2021年1月
-
AIに背中を預けるには ―人工知能と安全性について― 重要な業績
役割：講師
稚内北星学園大学 稚内北星学園大学2021年度 市民向け公開講座 2020年12月
所属学協会
-
情報処理学会
2024年9月 - 現在
-
ACM
2023年1月 - 現在
-
IEEE
2020年4月 - 現在
-
電子情報通信学会
2014年4月 - 現在
メディア報道
-
情報伝達の仕組み学ぶ 新聞・雑誌
北國新聞社 北國新聞 24ページ (本文抜粋: 石川中央都市圏大学連携共同研究事業の一環で、金沢学院大学情報工学部のゴータム・ビスヌ・プラサド教授、張江洋次朗助教らが分かりやすく解説した。) 2024年9月
-
人工知能でシカ識別 稚内北星大・張江助教と留学生研究 食害もたらす個体の特定目指す 新聞・雑誌
北海道新聞 北海道新聞 https://www.hokkaido-np.co.jp/article/642947 2022年2月
-
飛行ロボット 深めた自信＊稚内北星大の同好会＊全国大会 一般部門で決勝進出＊出場の池田さん＊「最北の地でも研究できる」 新聞・雑誌
北海道新聞 北海道新聞 北海道新聞朝刊 16ページ 2022年1月