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

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

2022/07/05

ISSAC2022(https://www.issac-conference.org/2022/)をオンラインで見てます。論文はもちろんポスターもダウンロードしてゆっくり見れるのは便利。フランス朝9時は日本夕方16:00。Maple2022ではBall arithmetic(区間数を中心と誤差で表現したもの)という区間数ライブラリ(arblib ライブラリhttps://www.arblib.org/)のインタフェースがいくつか導入された。Maple conference 2022(https://www.maplesoft.com/mapleconference/)が11/2-3で開催される。business meeting で 2024 の候補地についてNorth Carolina State University (Martin Helmer) からの提案のみ。今後もハイブリッド開催か、以前のようにin-person参加のみの開催か、についていろいろ意見。2023 はノルウェーのTromso(oはoに斜線)のUiT The Arctic University of Norway(ノルウェー北極大学)で7月23日~開催される。UiTはUniversitetet i TromsoのことでUniversity of Tromso(トロムソ大学)。トロムソ大学がノルウェー北極大学になったらしい。2024のbidはADoodleというanonymous votesシステムを使ってた。

2日目、Homotopy法をGPUで計算するという話は理解しやすい。検索したらGPUでグレブナの研究もある。2024の候補値は選挙の結果を見ると上記の大学で決まったのでは。論文をissacのprivateサイトからダウンロードするのをやめて、ACM Digital Libraryからダウンロードできますと案内がきてた。

3日目、多項式補間のアルゴリズムについての研究が面白かった。

2022/06/30

サイバーセキュリティシンポジウム道後2022が、本日から2日間、子規記念博物館で開催されます。

https://www.sec-dogo.jp/

2022/3/25

エレクトロニクス実装学会春季講演大会で発表しました。

題目:JTAG認証機構の軽量化設計について
著者:馬竣, 岡本悠, 王森レイ, 甲斐博, 亀山修一, 高橋寛(愛媛大学), 清水明宏(高知工科大学)
論文NO:25A3-3
日時:2022年3月25日(金)13:30-13:45
学会:第36回エレクトロニクス実装学会春季講演大会
HP:https://web.jiep.or.jp/event/convention/jiep2022s/index.php

2022/3/18

電子情報通信学会総合大会で発表しました。

題目:シングルボードコンピュータ上でのSAS認証方式の計算時間の評価
著者:荻田高史郎,甲斐博,王森レイ,高橋寛(愛媛大学),清水明宏(高知工科大学)
講演番号:D-6-11
日時:3月17日(木)15:45-16:00
情報・システムソサイエティ:一般セッション D-6.コンピュータシステム
学会:2022年電子情報通信学会総合大会
HP:https://www.ieice-taikai.jp/2022general/jpn/index.html

2022/1/26

ホームページが壊れてたのでbluditというCMSをいれました。CentOSもいれかえないと。

卒論発表は2/17,2/18、修論発表は2/17。卒論・修論締切は2/10。修論の要旨の締切が1/28。講義の成績の締切が2/21。シラバス締切が1/31。ほかにもたくさん。。。