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

松山市内会場で計算機・ソフトウェア・知識情報システム研究室（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)，金沢大学

9月卒業生(山口さん)の卒業論文審査会（2025/8/5(Tue)11:00〜愛媛大学工学部4号館7階708号室）が開催されました。

ノルウェーからの留学生の送別会（松山市内飲食店19:00〜）を開催しました。