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

以下の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)

佐々木翔也君が、2024年度の電子情報通信学会 DC研究会において、以下の表題での発表が研究会若手優秀講演賞に選ばれました．

(DC2024-110) 深層強化学習を用いたテストポイント挿入法に対する特徴解析

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

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), 高知大学
• ランサムウェア感染環境における自動復号支援システムの開発と検証, 光家遥香, 甲斐博, 王森レイ, 高橋寛, 森井昌克, 令和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)，金沢大学