以下の発表を行う予定です。
黒瀬楓斗，西川竜也，魏少奇，王森レイ，亀山修一，甲斐博，高橋寛，岡田和也，柳田幸輝，
深層強化学習を利用したフライングプローブテスタによる基板検査の高速化，
2024マイクロエレクトロニクスショー「アカデミックプラザ」，2024年6月12日-14日，東京ビッグサイト
中村凌也，清水健吾，岡本悠，王森レイ，甲斐博，高橋寛，清水明宏，
形式的検証を用いたSAS-L2の安全性の検証，
日本数式処理学会第33回大会，2024年6月14日-16日，愛媛大学
以下の発表を行う予定です。
黒瀬楓斗，西川竜也，魏少奇，王森レイ，亀山修一，甲斐博，高橋寛，岡田和也，柳田幸輝，
深層強化学習を利用したフライングプローブテスタによる基板検査の高速化，
2024マイクロエレクトロニクスショー「アカデミックプラザ」，2024年6月12日-14日，東京ビッグサイト
中村凌也，清水健吾，岡本悠，王森レイ，甲斐博，高橋寛，清水明宏，
形式的検証を用いたSAS-L2の安全性の検証，
日本数式処理学会第33回大会，2024年6月14日-16日，愛媛大学