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

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

研究室概要

 

研究室のモットー

高い学識を身につけ、常に精進し、人の和を大事にできる人材の育成

研究室キーワード

甲斐博准教授:数式処理システム、数値数式融合計算、情報セキュリティ

研究室概要

ソフトウェアシステム研究室は情報システム工学分野の一角を担う研究室です。情報システムの設計/開発/応用に対し、ソフトウェアの観点からさまざまなアプローチを研究しています。本研究室には1名の教員(甲斐博准教授)が所属しており、当該分野について先端的な研究を行っています。

連絡先

住所:790-8577 愛媛県松山市文京町3愛媛大学大学院理工学研究科

場所:工学部4号館7階705号室(甲斐)

アクセス(工学科コンピュータ科学コース/応用情報工学コースのHPに飛びます)

2022/7/29

魏君が以下の発表を行います。

題目:深層強化学習を用いた検査点の選定法(Test Point Selection Using Deep Reinforcement Learning)
講演者:魏少奇,塩谷晃平,王森レイ,甲斐博,樋上喜信,高橋寛(愛媛大)
学会名:第85回FTC研究会
日時:2022年7月29日(金)13:40-14:10
場所:オンライン参加(ハイブリッド開催)

2022/07/05

ISSAC2022(https://www.issac-conference.org/2022/)をオンラインで見てます。論文はもちろんポスターもダウンロードしてゆっくり見れるのは便利。フランス朝9時は日本夕方16:00。Maple2022ではBall arithmeticという区間数ライブラリが導入された。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。ほかにもたくさん。。。