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

第44回日本ロボット学会学術講演会（2026年9月1日（火）～4日（金）金沢大学自然科学本館）で以下の発表があります。

9月4日（金）A室（大講義室A）3A3-05 14:08～
Prime Agent：LLM による柔軟なタスク理解とモデル検査による形式的検証を統合した高信頼マルチロボット行動計画エージェント
葛原 知輝, 王 森岭, 高橋 瑞生, 李 河潤, 甲斐 博, 高橋 寛（愛媛大学）

学会のホームページはhttps://ac.rsj-web.org/2026/です。

以下の2件の論文発表がITC-Asia 2026(https://www.castest.com.cn/itcasia_2026)で行われます。

Senling Wang (Dept. of Computer Science, Faculty of Engineering, Ehime University), Junqi Chen, Shoya Sasaki, Hiroshi Kai, Yoshinobu Higami, Hiroyuki Yotsuyanagi, Tianming Ni, Xiaoqing Wen, Hiroshi Takahashi.
A Structural Analysis Framework for Interpreting Test Point Selection Methods

Mitsuaki Matsumoto (Faculty of Engineering, Ehime University), Senling Wang, Keisuke Kamita, Keita Takahashi, Hiroshi Kai, Yoshinobu Higami, Hiroyuki Yotsuyanagi, Xiaoqing Wen, Hiroshi Takahashi.
Inter-Layer Data-Path Fault Sensitivity Analysis of FPGA-Implemented Binarized Neural Networks

2026年7月25日（土）・26日（日）、愛媛大学工学部4号館708号室にて科研研究グループ（吉冨先生）によるミニ研究会が開催されました。 メンバーが一堂に会し、数学教育、AI活用、教材開発アプリ、Q-matrix理論など幅広い研究テーマについて発表および活発な討議を行いました。また、今後の学会参加や連携事業に向けた打ち合わせも実施されました。

ITC-CSCC2026 において以下の研究論文発表が行われます。ITC-CSCC2026の国際会議のページはhttps://itc-cscc2026.ecti-thailand.org/です。

1. Kota Yamane, Hiroyuki Yotsuyanagi, Masaki Hashizume, Senling Wang, Yoshinobu Higami, Hiroshi Kai, Hiroshi Takahashi, Tianming Ni and Xiaoqing Wen, Delay Fault Testing of TSVs in 3D ICs using Segmented Delay Line in Boundary Scan with Embedded TDC
2. Kerun Li, Senling Wang, Shintaro Ono,  Tomoki Kuzuhara, Hiroshi Kai and Hiroshi Takahashi, Real-to-Sim Scene Generation from a Single Photograph for Robot Simulation
3. Tomoki Kuzuhara, Senling Wang, Kerun Li, Shintaro Ono, Hiroshi Kai and Hiroshi Takahashi, Env2FSA: Automatic Symbolic Environment Modeling for Behavioral Controller Verification

M2の丸岡君が香川e-とぴあ・かがわで開催予定の情報通信システムセキュリティ研究会(ICSS)およびインターネットアーキテクチャ研究会(IA)で以下の発表を行う予定です．ICSS研究会のページはhttps://icss.ieice.org/です．

6月18日(木) 午後  ICSS セッション5 15:40 - 16:55

16:05-16:30

Atsushi Maruoka・Senling Wang・Hiroshi Kai・Hiroshi Takahashi（Ehime Univ.）・Masakatu Morii（Kobe Univ.）

Deep Analysis of QR Codes: Error Correction Visualization and Fake Code Detection

令和8年3月23日、大学院理工学研究科修士1年生の西脇弘輝さんが情報処理学会第88回全国大会において学生奨励賞を受賞しました。受賞した講演題目は「SAS-L2を用いたMQTT認証システムの評価」です。