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

愛媛大学大学院 理工学研究科 電子情報工学専攻 ソフトウェアシステム研究室のページです

2023/06/30

今年もサイバーセキュリティシンポジウム道後の開催に微力ながら協力させていただきました。6月開催はコロナのためだったので、本来の3月に開催を移せればとのことです。しいろいろな調整が可能ならもう一度今年度開催されるかもですね。

2023/06/27

王先生が以下の論文をITC-CSCC2023 in Jeju, Koreaで発表されました。

Test Point Selection using Deep Graph Convolutional Networks and Advantage Actor Critic (A2C) Reinforcement Learning

Shaoqi Wei, Kohei Shiotani, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi (Ehime Univ.)

Gang Wang (Beihua Univ., China)

2023/4/11

田原君が202211LOISグッドプレゼンテーション賞を受賞しました。

2023/3/31

以下の論文発表を行いました。

1) ワンタイムパスワードによるJTAG アクセス認証アーキテクチャのFPGA 実装と機能検証 

馬竣, 岡本悠, 魏少奇, 王森レイ, 甲斐博, 高橋寛, 清水明宏

第37回エレクトロニクス実装学会春季講演大会論文集 1-4 2023年3月  

2) グラフニューラルネットワークと深層強化学習による論理回路のテストポイント選択法 

魏少奇, 塩谷晃平, 王森レイ, 甲斐博, 樋上喜信, 高橋寛

信学技報 122(393) 27-32 2023年2月

2022/12/07

the 6th International Conference on Numerical and Symbolic Computation: Developments and Applications - SYMCOMP 2023 ( https://www.symcomp2023.uevora.pt/ 申し込みは2月21日が締め切り。

情処の全国大会の締め切り12/9 15:00。

2022/11/18

M1の田原君が2022年11月18日(金) 09:00 - 18:10 オンラインで開催された、情報セキュリティ研究会(ISEC)技術と社会・倫理研究会(SITE)ライフインテリジェンスとオフィス情報システム研究会(LOIS)の合同研究会で発表を行いました。[研究会へのリンク]