金沢学院大学

ABOUT US

教員紹介

助教
情報工学部 情報工学科

張江 洋次朗

YOUJIROU HARIE
専門分野:
システム検証 ペトリネット 機械学習アルゴリズム
私が今、考えること

 スマホを使っていると、アプリの不具合(バグ)修正のためのアップデートを度々目にします。アプリ開発では、バグがヒトの目をかいくぐり、するりとテストを通過してしまうことがあるからです。こうした人間のミスを補うために、数理科学の力でバグを自動的に100%検出する「形式手法」が提唱されています。わたしはこの形式手法を活用して、AIの安全性を検査する研究をしています。

MESSAGE
受験生・学生へ一言

 まだ着任してから日が浅く、金沢学院大学の多くを知ることができていませんが、ここはとても素敵な環境がそろっています。講義が終わり研究室へ向かう途で見える山々に癒されます(わたしの研究室の窓からは竹林と蜘蛛の巣しか見えませんが、だいたいパソコンか本を眺めているので大した問題ではないです) 。キャンパスでは、中庭のパラソルの下で学習に励む学生たちを多く見かけますし、夕方ごろになると合唱部の楽しそうなアンパンマンマーチが研究室まで聴こえてきます。きっといろいろな経験ができるはずです。大学生生活を楽しんでください。

学歴
  • 稚内北星学園大学 情報メディア学部
  • 信州大学大学院 理工学研究科 情報学科 (修士課程)
  • 同大学院 総合理工学研究科 博士後期課程システム開発工学専攻 (単位取得満期退学)
学位 工学(修士)
職歴
  • 2020/4~2022/3 稚内北星学園大学 助教
  • 2021/9~2022/3 稚内高校看護専攻科 非常勤講師
  • 2022/4~現職
専門分野
  • システム検証
  • ペトリネット
  • 機械学習アルゴリズム
担当科目
所属学会 
  • 電子情報通信学会(IEICE)
  • 米国電気電子学会(IEEE)
私のおすすめの本
  • 『ささやかだけれど、役にたつこと』レイモンドカーヴァー著、村上春樹訳
  • 『数学 A Very Short Introduction』 ティモシーガウアーズ著、青木薫訳
主な研究業績
  • ” Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer”, CANDARW,197-200(2021).
  • ”Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets”,SIMULTECH 2017,356-361(2017).
  • ” 仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化”,FIT2017,455-456(2016).
現在の主な研究テーマ
  • ATLアルゴリズムを用いた,エゾシカの個体識別システムの構築
  • ペトリネットモデルによる機械学習工学的検証法の提案