数式処理システムとその応用に関する研究

以下の発表を行う予定です。

黒瀬楓斗，西川竜也，魏少奇，王森レイ，亀山修一，甲斐博，高橋寛，岡田和也，柳田幸輝，
深層強化学習を利用したフライングプローブテスタによる基板検査の高速化，
2024マイクロエレクトロニクスショー「アカデミックプラザ」，2024年6月12日-14日，東京ビッグサイト

中村凌也，清水健吾，岡本悠，王森レイ，甲斐博，高橋寛，清水明宏，
形式的検証を用いたSAS-L2の安全性の検証，
日本数式処理学会第33回大会，2024年6月14日-16日，愛媛大学

以下の発表を行いました．

• 2024年2月28日（水）電子情報通信学会ディペンダブル研究会
  深層強化学習によるマルチサイクルBIST向けテストポイント選定法
  塩谷晃平、西川竜矢、魏　少奇、王　森レイ、甲斐　博、樋上喜信、高橋　寛 
• 2024年3月13日（水）〜15日（金） 第38回エレクトロニクス実装学会春季講演大会
  ワンタイムパスワード認証方式を用いたJTAGアクセス機構のスケーラビリティ向上について
  岡本　悠、塩谷晃平、西川竜矢、王森レイ、甲斐　博、樋上喜信、高橋　寛、清水明宏
• 2024年3月15日（金）〜17日（日）情報処理学会第86回全国大会
  同期問題を考慮したSAS-L2 を用いたRFID認証プロトコル
  清水健吾、王森レイ、甲斐　博、高橋　寛、清水明宏

熊本で開催されたデザインガイア2023（2023年11月15日（水）-17日（金））で笹川君と本田君が以下の研究発表を行いました。
11月16日
メモリ型論理再構成装置におけるニューラルネットワークの実装について
○笹川健太・西川竜矢・周 細紅・王 森岭・甲斐 博・高橋 寛（愛媛大）
メモリズムパターンマッチングアクセラレータのFPGA実装と性能評価
○本田志遠・西川竜矢・周　細紅・王　森レイ・甲斐　博・樋上喜信・高橋　寛（愛媛大）・井上克己（エイ・オー・テクノロジーズ）

現在、中国の北京で開催中のATS2023に参加しています。10/18に中国の合肥市の合肥工業大学で開催されるワークショップでAn Evaluation of Computing Time of Simple and Secure Password Authenticationという題目の口頭発表を甲斐がします。

10/5に王先生がDFT2023で発表されました。

SASL-JTAG: A Light-Weight Dependable JTAG,

Senling Wang, Shaoqi Wei, Jun Ma, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Akihiro Shimizu, Xiaoqing Wen and Tianming Ni,

36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems（http://www.dfts.org/）

以下の講演・論文を令和5年度電気・電子・情報関係学会四国支部連合大会で発表しました。 

• Vitis を用いた物体検出アーキテクチャの FPGA 実装
  西川 竜矢(愛媛大)，山中 正晴(愛媛大)，王 森レイ(愛媛大)，甲斐 博(愛媛大)，高橋 寛(愛媛大)
• インメモリ型高速パターンマッチングアーキテクチャのFPGA 実装と性能評価
  本田 志遠(愛媛大)，周 細紅(愛媛大)，王 森レイ(愛媛大)，甲斐 博(愛媛大)，高橋 寛(愛媛大)，井上 克己(㈱エイ・オー・テクノロジーズ)
• ワンタイムパスワードを用いた JTAG 認証機構のスケーラビリティ向上について
  岡本 悠(愛媛大)，馬 竣(愛媛大)，王 森レイ(愛媛大)，甲斐博(愛媛大)，高橋 寛(愛媛大)，清水 明宏(高知工科大)
• マルチサイクルテストによるテストパターン圧縮
  中野 潤平(愛媛大)，王 森レイ(愛媛大)，甲斐 博(愛媛大)，高橋 寛(愛媛大)
• メモリ型論理再構成デバイスにおける行列演算の実装法
  笹川 健太(愛媛大)，王 森レイ(愛媛大)，甲斐 博(愛媛大)，高橋 寛(愛媛大)
• SAS-L2 を用いた RFID システムの認証方式
  清水 健吾(愛媛大)，甲斐 博(愛媛大)，王 森玲(愛媛大)，高橋 寛(愛媛大)，清水 明宏(高知工科大)
• 遺伝的アルゴリズムを用いた Aesthetic QR コードの生成方法に関する研究
  船田 大輝(愛媛大)，王 森レイ(愛媛大)，甲斐 博(愛媛大)，高橋 寛(愛媛大)