金沢学院大学について ABOUT US
教員紹介
助教
情報工学部 情報工学科
張江 洋次朗
YOUJIROU HARIE
専門分野:
私が今、考えること
スマホを使っていると、アプリの不具合(バグ)修正のためのアップデートを度々目にします。アプリ開発では、バグがヒトの目をかいくぐり、するりとテストを通過してしまうことがあるからです。こうした人間のミスを補うために、数理科学の力でバグを自動的に100%検出する「形式手法」が提唱されています。わたしはこの形式手法を活用して、AIの安全性を検査する研究をしています。
MESSAGE
受験生・学生へ一言
まだ着任してから日が浅く、金沢学院大学の多くを知ることができていませんが、ここはとても素敵な環境がそろっています。講義が終わり研究室へ向かう途で見える山々に癒されます(わたしの研究室の窓からは竹林と蜘蛛の巣しか見えませんが、だいたいパソコンか本を眺めているので大した問題ではないです) 。キャンパスでは、中庭のパラソルの下で学習に励む学生たちを多く見かけますし、夕方ごろになると合唱部の楽しそうなアンパンマンマーチが研究室まで聴こえてきます。きっといろいろな経験ができるはずです。大学生生活を楽しんでください。
学歴 |
|
---|---|
学位 | 工学(修士) |
職歴 |
|
専門分野 |
|
担当科目 | |
所属学会 |
|
私のおすすめの本 |
|
主な研究業績 |
|
現在の主な研究テーマ |
|