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

以下の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認証システムの評価」です。

M2の光家さんがコンピュータセキュリティ研究会（CSEC）で研究発表を行いました。CSEC研究会のページはhttps://www.iwsec.org/csec/です。
日程：2026年3月17日(火) - 18日(水)
会場：神奈川工科大学 K1号館
3月17日（水）9:40-10:40 (202教室)　セッション1: 攻撃対策(1)
Development of an Automated Ransomware Decryption Process Tool for General Users
Mitsuie Haruka, Wang Senling, Kai Hiroshi, Takahashi Hiroshi (Ehime University), Ikegami Masato, Sumida Yusuke, Ichiyanagi Haruka, Ichihara Hajime, Okaniwa Motoyuki, Hasegawa Tomohisa (Canon IT Solutions Inc), Morii Masakatu (Kobe University)

研究会HP：https://www.ipsj.or.jp/kenkyukai/event/dps206csec112.html