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

以下の研究会でM2の光家さんが講演予定です。
第206回DPS・第112回CSEC合同研究発表会
（第206回マルチメディア通信と分散処理・第112回コンピュータセキュリティ合同研究発表会）
2026年3月17日(火) - 18日(水)＠神奈川工科大学
Development of an Automated Ransomware Decryption Process Tool for General Users

以下のDC（ディペンダブルコンピューティング）研究会でM2紙田君が講演予定です．
2/17(火) 10:10-10:35
○紙田佳祐・甲斐博・王森レイ・高橋寛（愛媛大），
FPGA実装したBinarized Neural Networksにおける故障注入実験および推論精度の定量的評価
＠機械振興会館 (東京都)
https://ken.ieice.org/ken/program/index.php?tgid=DC

松山市内会場で計算機・ソフトウェア・知識情報システム研究室（29名？）の3年生歓迎会・忘年会を開催しました。

以下の発表があります

The Workshop on Emerging Test Technologies (ETT) embedded in the 34th Asian Test Symposium (ATS2025)

Dec19(Fri)

LLM–Driven Testability Analysis for Gate-Level Circuits
*Akitaka Ide, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi (Ehime University, Japan)

A Boundary Scan Design with Interconnect Delay Testing and Region-based Repair for TSVs
*Haruhisa Tsuruoka, Hiroyuki Yotsuyanagi(Tokushima University, Japan), Masaki Hashizume(The Open University of Japan, Japan), Senling Wang, Yoshinobu Higami, Hiroshi Kai, Hiroshi Takahashi(Ehime University, Japan), Tianming Ni(Anhui Polytechnic University, China) and Xiaoqing Wen(Kyushu Institute of Technology, Japan)

THE 34TH IEEE ASIAN TEST SYMPOSIUM (ATS2025)

Dec17(Wed) 

Software-Defined Secure Island for Testing Chiplet Systems
*Hisashi Okamoto (Ehime University), Senling Wang (Dept. of Computer Science, Faculty of Engineering, Ehime University), Hiroshi Kai, Hiroshi Takahashi, Yoshinobu Higami (Ehime University), Hiroyuki Yotsuyanagi (Tokushima University), Tianming Ni (Anhui Polytechnic University), Tai Song (Anhui University), Xiaoqing Wen (Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology)

以下の国際会議で研究室の学生が発表する予定です。

Hisashi Okamoto, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Yoshinobu Higami, Hiroyuki Yotsuyanagi, Tianming Ni, Tai Song and Xiaoqing Wen, Software-Defined Secure Island for Testing Chiplet Systems, The 34th Asian Test Symposium and the 9th International Test Conference in Asia (ATS/ITC-Asia 2025)

Ryoya Nakamura, Senling Wang, Hiroshi Kai, Hiroshi Takahashi and Akihiro Shimizu, A Lightweight and Secure One-time Authentication Protocol for MQTT based on SAS-L2, 2025 IEEE/IEIE International Conference on Consumer Electronics-Asia (ICCE-Asia 2025)

以下の発表があり[ます/ました]。

• ランサムウェア感染環境における自動復号支援システムの開発と検証, 光家遥香, 甲斐博, 王森レイ, 高橋寛, 森井昌克, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• 影を利用したホログラムQRコード, 森創太, 甲斐博, 王森レイ, 高橋寛, 森井昌克, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• ProVerifにおける二者モデルのループ処理形式化手法, 西脇弘輝, 中村凌也, 高橋寛, 甲斐博, 王森レイ, 清水明宏, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• ZXingの二値化手法を用いたAesthetic QRコード, 丸岡惇, 甲斐博, 王森レイ, 高橋寛, 森井昌克, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• LLMを用いたAPI説明文に基づくマルウェア機能推定, 上野穂, 甲斐博, 王森レイ, 高橋寛, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• BARTと心拍数に基づく危険敢行性自動評価システムの開発, 中村凌也, 長町悟志, 高橋寛, 甲斐博, 王森レイ, 二宮崇, 木下浩二, 一色正晴, 後藤功雄, 乗松真二(愛媛大学), 木村真喜男, 中下成二, 岩津貴洋, 真鍋壮賜, 在間航也, 尾崎天音, 石川麻里江(株式会社イージーエス), 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• 経験駆動型大規模言語モデルによるマルチロボットタスクプランニングシステム, 沈晶晶, 魏少奇, 王森レイ, 甲斐博, 高橋寛, 令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• SLAM補助Goal‑Masked Diffusion による未知環境での安全マップレスナビゲーション, 李珂潤, 葛原智輝, 王森レイ, 甲斐博, 高橋寛,  令和7年度電気・電子・情報関係学会四国支部連合大会, 2025/9/27(Sat), 高知大学
• エッジAIシステム向け組込み型パターンマッチングアクセラレータSOPのFPGA実装と性能評価，山本隆介(愛媛大)，髙橋佳汰 (愛媛大) ，王森レイ (愛媛大) ，甲斐博 (愛媛大) ，高橋寛 (愛媛大) ，亀山修一 (愛媛大) ，井上克己(株式会社エイ・オー・テクノロジーズ)，DAシンポジウム 2025，2025/8/27(Wed)-29(Fri)，ゆのくに天祥（石川県加賀市）
• 甲斐博，数式処理を用いたAesthetic QRコードの計算，Risa/Asir Conference 2025，2025/3/25(Tue)-27(Thu)，金沢大学