
	構造検索構造検索の利用方法	構造ファイル取込 MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）完全一致検索部分構造検索 (substructure) 部分構造検索 (superstructure) 部分構造検索 (sub, super) 類似構造検索

研究者

J-GLOBAL ID：202101013684159664 更新日: 2025年03月04日

張江洋次朗

ハリエヨウジロウ | Harie Yojiro

所属機関・部署：
職名：助教

研究分野 (4件)：知能情報学 , 制御、システム工学 , ソフトウェア , ソフトウェア

研究キーワード (5件)：機械学習 , 形式手法 , IoT , ペトリネット , モデル検査

競争的資金等の研究課題 (2件)：

2023 - 2027 「鳥獣害被害の抑制と持続可能な野生鳥獣肉供給のためのジビエDXの実現」
2016 - "A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS", ITNG2017(Las Vegas, USA) 20万円

論文 (13件)：

Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad, Katsumi Wasaki. CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems. 2024 Twelfth International Symposium on Computing and Networking (CANDAR). 2024. 30-38
Harie, Yojiro, Bishnu Prasad Gautam, Katsumi Wasaki. Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review. Applied Sciences. 2023. 13. 9. 5335-5335
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
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). 2020. 39-44

MISC (41件)：

張江洋次朗, 小形優人. モデル駆動型リバースエンジニアリングツールCodoMo -機能の紹介と機械学習システムの教育実践例-. 金沢学院大学紀要. 2025. 22. 295-300
大野亮祐, 張江洋次朗. BERT を利用したソフトウェア検証分野における反例予測. Cross-sectoral information exchange in the ICT field towards Sustainable and Smart Society (X-ICT 2024) Summer Meeting. 2024
張江洋次朗. CodoMo: データドリブン手法によるリバースモデル生成検証ツール. Cross-sectoral information exchange in the ICT field towards Sustainable and Smart Society (X-ICT 2024) Summer Meeting. 2024. 1
大野亮祐, 張江洋次朗. 自然言語処理モデルを利用したソフトウェア検証分野における反例予測. FIT2024(第 23 回情報科学技術フォーラム)論文誌. 2024. 23. 1. 37-40
ゴータムビスヌ・プラサド, 張江洋次朗. Reengineeing Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-edge Drones as an Example. 中部大学国際人間学研究所シンポジウム持続可能な社会2023年度. 2024

講演・口頭発表等 (1件)：

学歴 (3件)：

経歴 (4件)：

受賞 (5件)：

2021/11 - IEEE Best Poster Paper Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer
2017/09 - 情報処理学会情報処理学会第16回情報科学技術フォーラム FIT奨励賞仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化
2016/10 - 情報処理学会組込みシステムシンポジウム2016(ESS2016)優秀ポスター賞階層型ペトリネット設計・検証ツール:HiPS
2015/12 - 電子情報通信学会平成 27年度電子情報通信学会信州大学 Student Branch 論文発表会優秀論文賞ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装
2015/09 - 情報処理学会第14回情報科学技術フォーラム FIT奨励賞ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器

所属学会 (4件)：

情報処理学会 , ACM , IEEE , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。


	フリーワード	※以下の同義語を加えると、ヒット件数を増やすことができます。




		～

張江 洋次朗