研究者を探す
甲斐 博
愛媛大学
2025年4月18日更新
- 職名
- 准教授
- 電話
- 研究者総覧に該当データはありませんでした。
- 電子メール
- 研究者総覧に該当データはありませんでした。
- 学歴
- 愛媛大学 大学院工学研究科 博士後期課程システム工学専攻 1994年4月 - 1995年3月
愛媛大学 大学院工学研究科 博士前期課程情報工学専攻 1992年4月 - 1994年3月
愛媛大学 工学部 情報工学科 1988年4月 - 1992年3月 - 学位
- 博士（工学） （ 愛媛大学 ）
- 職歴・経歴
- 愛媛大学 准教授 2007年4月 - 現在
ウェスタンオンタリオ大学 客員研究員 2003年7月 - 2003年9月
ウェスタンオンタリオ大学 博士研究員 2002年6月 - 2003年6月
愛媛大学 講師 2001年4月 - 2007年3月
愛媛大学 助手 1995年4月 - 2001年3月
- 専門分野・研究分野
- 情報通信 / ソフトウェア / 数式処理
2025年4月18日更新
- 専門分野・研究分野
- 情報通信 / ソフトウェア / 数式処理
- 担当経験のある授業科目
- 2024年度第１クォーター / 基礎情報科学
2024年度第２クォーター / 情報リテラシー入門Ⅱ
2024年度第２クォーター / 応用数学概論
2024年度第２クォーター / ソフトウェアシステム特論Ｉ
2024年度第２クォーター / 応用数理情報概論A
2024年度第２クォーター / 応用数理情報概論B
2024年度第３クォーター / 工学入門
2024年度第４クォーター / 工学入門
2024年度第４クォーター / 情報工学実験Ⅱ
2024年度前期 / コンパイラ
2024年度前期 / データサイエンス概論
2024年度前期 / 情報システム工学特論Ⅴ
2024年度前期 / 知的財産権特論
2024年度前期 / DS/AI活用PBL演習１
2024年度後期 / 情報数学
2024年度後期 / コンピュータ工学入門
2024年度後期 / オブジェクト指向プログラミング
2024年度後期 / 学部共通PBL
2024年度後期 / サイバーセキュリティ
2024年度後期 / DS/AI活用PBL演習２
2024年度後期 / サイバーセキュリティ特論
2024年度後期 / 情報セキュリティ特論
2024年度後期 / 計算機システム概論A
2024年度第１クォーター / 情報リテラシー入門Ⅰ - 指導経験
- サイバーセキュリティ 2021年10月 - 現在 機関名：愛媛大学
情報工学実験Ⅱ 2020年9月 - 現在 機関名：愛媛大学
情報システム工学特論V 2020年4月 - 現在 機関名：愛媛大学大学院博士後期課程
情報数学 2019年10月 - 現在 機関名：愛媛大学
コンピュータ工学入門 2019年9月 - 現在 機関名：愛媛大学
基礎情報科学 2019年4月 - 現在 機関名：愛媛大学
ソフトウェアシステム特論Ⅰ 2018年9月 - 現在 機関名：愛媛大学大学院博士前期課程
情報リテラシー入門Ⅱ 2016年4月 - 現在 機関名：愛媛大学
情報リテラシー入門Ⅰ 2016年4月 - 現在 機関名：愛媛大学
情報セキュリティ特論 2011年10月 - 現在 機関名：愛媛大学大学院博士前期課程
システムデザイン 2007年10月 - 現在 機関名：愛媛大学
コンパイラ 2007年10月 - 現在 機関名：愛媛大学
情報数学Ⅱ 2003年10月 - 2021年3月 機関名：愛媛大学
情報工学実験Ⅰ 2003年10月 - 2019年3月 機関名：愛媛大学
新入生セミナーB 機関名：愛媛大学
インターンシップ 機関名：愛媛大学
新入生セミナーA 機関名：愛媛大学
ソフトウェアシステム特論 機関名：愛媛大学大学院博士前期課程
2025年4月18日更新
- 専門分野・研究分野
- 情報通信 / ソフトウェア / 数式処理
- 研究テーマ
- 情報セキュリティ
Computer Algebra System
数式処理
- 著書
- Proceedings of the 2009 International Workshop on Symbolic-Numeric Computation 甲斐 博, 関川 浩（ 担当： 編集） ACM 2009年
- 論文
- A Lightweight and Secure One-time RFID Authentication Protocol based on SAS-L2 査読 Kengo Shimizu, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu The 9th International Conference on Consumer Electronics (ICCE) Asia 913 - 916 2024年11月
Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNs 査読 Senling Wang, Shaoqi Wei, Hisashi Okamoto, Tatsuya Nishikawa, Kai Hiroshi, Higami Yoshinobu, Hiroyuki Yotsuyanagi, Ruijun Ma, Tianming Ni, Hiroshi Takahashi, Xiaoqing Wen The 8th International Test Conference in Asia 2024 2024年8月
Deep-BMNN: Implementing Sparse Binary Neural Networks in Memory-Based Reconfigurable Processor (MRP) 査読 Kenta Sasagawa, Senling Wang, Tatsuya Nishikawa, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Hiroyuki Yotsuyanagi, Tianming Ni, Xiaoqing Wen The 39th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC 2024) 2024年7月
愛媛大学大学院理工学研究科計算機・ソフトウェアシステム研究室 王 森岭, 甲斐 博, 高橋 寛 エレクトロニクス実装学会誌 27 ( 1 ) 169 - 169 2024年1月
SASL-JTAG: A Light-Weight Dependable JTAG 査読 Senling Wang, Shaoqi Wei, Jun Ma, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Akihiro Shimizu, Xiaoqing Wen, Tianming Ni 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems 1 - 6 2023年10月
QR code with Superimposed Text 査読 Naoya Tahara, Hiroshi Kai, Hiroshi Takahashi, Senling Wang, Masakatu Morii The 24th Asia-Pacific Network Operations and Management Symposium (APNOMS) 1 - 4 2023年9月
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, Gang Wang 1 - 6 2023年6月
Pade approximant using ISCZ method 査読 MISHIMA Haruka, KAI Hiroshi Proceedings of 22th Asian Technology Conference in Mathematics 2017 1 - 8 2017年12月
カメラ撮影画像を用いた秘密分散法 査読 福嶋貴幸, 甲斐博, 木下浩二 情報科学技術フォーラム講演論文集 14 ( 4 ) 19 - 22 2015年8月
Fake shares detection on a visual secret sharing scheme by rational interpolation 査読 KAI Hiroshi, UEDA Keita ACM Communications in Computer Algebra 48 ( 3 ) 124 - 126 2014年9月
A Secret Sharing Scheme Using Groebner Basis 査読 Hiroshi Kai, Masaki Yamada Proceeding of 19th ACA 127 - 128 2013年
Dummy code insertion and its efforts on concealment for secure processing 査読 Jun Kawano, Hiroshi Kai, Yoshinobu Higami, Shinya Kobayashi Przeglad Elektrotechniczny 88 227 - 230 2012年12月
Polynomial stability with stabilization method 査読 Hiroshi Kai, Yusuke Ochi Przeglad Elektrotechniczny 88 185 - 187 2012年
プライベートクラウド環境を利用したICT人材育成への取り組み 査読 黒田久泰, 甲斐博, 藤田欣裕, 小林真也 情報処理学会インターネットと運用技術シンポジウム2012論文集 31 - 38 2012年
Cheater identification on a secret sharing scheme using GCD 査読 Hiroshi Kai, Shigenobu Inoue ACM Communications in Computer Algebra 45 ( 1-2 ) 119 - 120 2011年3月
Rational interpolation and its ill-conditioned property 査読 Hiroshi Kai Symbolic-Numeric Computation 47 - 53 2007年
A hybrid integral for parametrized rational functions 査読 Hiroshi Kai, Nanami Nakagawa, Matu-Tarow Noda SNC'07 - Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation 201 - 202 2007年
Generating A Mathematical Web Service Client With Xfy 査読 Hiroshi Kai, Takayuki Kawata, Tomomi Nakanishi, Matu-Tarow Noda, Yasushi Tamura ACM Communications in Computer Algebra 41 38 - 39 2007年
Mathematical documents authoring with xfy 査読 Masaki Kume, Atsushi Miyamoto, Hiroshi Kai, Taisuke Tominari, Matu-Tarow Noda, Yasushi Tamura Mathematical User-Interfaces Workshop 2006 1 - 8 2006年
Security flaw in SAS-2 protocol 査読 Eddy Cizeron, Hirohisa Aman, Hiroshi Kai, Matu-Tarow Noda E88B ( 10 ) 4081 - 4082 2005年10月
Approximate GCD and its applications 査読 Proceedings of the Seventh Asian Symposium on Computer Mathematics 215 - 218 2005年
ハイブリッド有理関数近似と悪条件問題 査読 中島裕美, 甲斐博, 野田松太郎 数式処理 11 ( 3,4 ) 141 - 152 2005年
Rational Function Approximation and Its Ill-conditioned Property 査読 Proc.SNC'2005 1 - 4 2005年
Hybrid Method for Computing the Nearest Singular Polynomials 査読 Lihong Zhi, Matu-Tarow Noda, Hiroshi Kai, Wenda Wu Japan Journal of Industrial and Applied Mathematics 21 ( 2 ) 149 - 162 2004年6月
An implementation of Lupin's plot web service 査読 ISSAC2004 posters 1 - 3 2004年
Ill-conditioned properties and hybrid rational function approximation 査読 ACA2004 161 2004年
Approximate Computation of Pseudovarieties 査読 Robert M. Corless, Hiroshi Kai, Stephen M. Watt ACM SIGSAM Bulletin 37 ( 3 ) 67 - 71 2003年
Hybrid computation of bivariate rational interpolation 査読 KAI Hiroshi, NODA Matu-Tarow ACM SIGSAM Bulletin 34 20 - 21 2000年3月
Hybrid Method for Solving Polynomial Equations 査読 Zhi Lihong, 野竹 禎雄, 甲斐 博, 野田 松太郎, 白石 啓一 Josai Mathematical Monographs 2 91 - 104 2000年1月
Hybrid Rational Function Approximation and Its Accuracy Analysis 査読 Hiroshi Kai, Matu-Tarow Noda Reliable Computing 6 ( 4 ) 429 - 438 2000年
ハイブリッド有理関数近似の誤差評価 査読 甲斐博 情報処理学会論文誌 40 ( 4 ) 1754 - 1759 1999年4月
Hybrid Computation for Solving Polynamcal Equation(共著) Proceedings of the Forth Ascan Technology Conference on Mathematics 231 - 244 1999年
Accuracy Analysis of Hybrid Rational Function Approximation 40 ( 4 ) 1754 - 1759 1999年
Algoritlms of Generalized Invovses and Their Stabilization(共著) Proceedings of the Third Asian Technology Conference in Mathematics 333 - 341 1998年
数式処理と数値計算-いかに結合させるか?(共著) 査読 野田松太郎, 甲斐博 情報処理 39 ( 2 ) 105 - 110 1998年
Polynomial algorithms for Otimization Problems(共著) Proceedings of the Third Asian Technology Conference in Mathematics 404 - 413 1998年
Hybrid Computation of Canchy-type Singular Integral Equations(共著) 査読 Hiroshi Kai, Matu-Tarow Noda AMC SIGSAM Bulletin 32 ( 2 ) 59 - 60 1998年
Cauchy principal value integral using hybrid integral 査読 KAI Hiroshi, NODA Matu-Tarow ACM SIGSAM Bulletin 31 37 - 38 1997年
Continued Fraction Expansion Using Approximate-GCD and Its Application to Hybrid Integral 査読 SIGSAM BULLETIN 31 3 1997年
Approximate GCD and Pade Approximation 査読 Hiroshi Kai, Matu-Tarow Noda Proceedings of Asian Symposium on Computor Mathematics 81 - 89 1995年
A Hybrid Computation for Model Reduction 甲斐 博, 岡崎 広毅, 野田 松太郎 愛媛大学工学部紀要 14 429 - 436 1995年
ハイブリッド有理関数近似とデータの平滑化 査読 甲斐 博, 野田 松太郎 日本応用数理学会論文誌 3 ( 4 ) 323 - 336 1993年
Hybrid rational function approximation and its use in the hybrid integration 査読 Matu-Tarow Noda, Ei-ichi Miyahiro, Hiroshi Kai Advances in Computer Methods for Partial Differential Equation VII, eds. R. Vichnevetsky, D. Knight and G. Richter, IMACS 565 - 571 1992年 - MISC
- 深層強化学習を用いたテストポイント挿入法に対する特徴解析 佐々木翔也, 井手秋孝, 王 森レイ, 甲斐 博, 高橋 寛 信学技報 2025年2月
深層強化学習を用いたテストポイント挿入法に対する特徴解析 佐々木翔也, 王森レイ, 甲斐博, 高橋寛 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
マルウェア亜種の機能推定におけるTemporal Bias の影響に関する研究 光家遥香, 甲斐博, 王森レイ, 高橋寛 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
Vitis を用いたエッジデバイスにおける高速物体検知のハードウェア実装 紙田佳祐, 西川竜矢, 王森レイ, 甲斐博, 高橋寛 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
大規模言語モデルを利用したテスタビリティ評価手法 井手秋孝, 王森レイ, 甲斐博, 樋上喜信, 高橋寛 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
SV 攻撃に耐性のあるSAS-L2 の安全性評価 中村凌也, 清水健吾, 岡本悠, 王森レイ, 甲斐博, 高橋寛, 清水明宏 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
ホログラムQRコードの拡張 森 創太, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克 FIT2024 第23回情報科学技術フォーラム 1 - 8 2024年9月
バレルシフタによるパターン認識アクセラレータの高速化 山本隆介, 西川竜矢, 王森レイ, 甲斐博, 高橋寛, 井上克己 令和6年度電気・電子・情報関係学会四国支部連合大会 1 - 2 2024年9月
深層強化学習を利用したフライングプローブテスタによる基板検査の高速化 黒瀬楓斗, 西川竜也, 魏少奇, 王森レイ, 亀山修一, 甲斐博, 高橋寛, 岡田和也, 柳田幸輝 2024マイクロエレクトロニクスショーJIEPアカデミックプラザ 1 - 6 2024年6月
同期問題を考慮したSAS-L2 を用いたRFID認証プロトコル 清水健吾, 王森レイ, 甲斐 博, 高橋 寛, 清水明宏 情報処理学会第86回全国大会 1 - 2 2024年3月
ワンタイムパスワード認証方式を用いたJTAGアクセス機構のスケーラビリティ向上について 岡本悠, 塩谷晃平, 西川竜矢, 王森レイ, 甲斐博, 樋上喜信, 高橋寛, 清水明宏 第38回エレクトロニクス実装学会春季講演大会 1 - 4 2024年3月
深層強化学習によるマルチサイクルBIST向けテストポイント選定法 塩谷晃平, 西川竜矢, 魏 少奇, 王 森レイ, 甲斐 博, 樋上喜信, 高橋 寛 信学技報 123 ( 389 ) 23 - 28 2024年2月
メモリズムパターンマッチングアクセラレータのFPGA実装と性能評価 本田志遠, 西川竜矢, 周 細紅, 王 森レイ, 甲斐 博, 樋上喜信, 高橋 寛, 井上克己 信学技報 123 ( 260 ) 162 - 167 2023年11月
メモリ型論理再構成装置におけるニューラルネットワークの実装について 笹川健太, 西川竜矢, 周 細紅, 王 森岭, 甲斐 博, 高橋 寛 信学技報 123 ( 258 ) 112 - 116 2023年11月
Vitis を用いた物体検出アーキテクチャのFPGA実装 西川竜矢, 山中正晴, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 119 - 119 2023年9月
ワンタイムパスワードを用いたJTAG 認証機構のスケーラビリティ向上について 岡本悠, 馬竣, 王森レイ, 甲斐博, 高橋寛, 清水明宏 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 125 - 125 2023年9月
インメモリ型高速パターンマッチングアーキテクチャのFPGA 実装と性能評価 本田志遠, 周細紅, 王森レイ, 甲斐博, 高橋寛, 井上 克己 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 124 - 124 2023年9月
遺伝的アルゴリズムを用いたAesthetic QR コードの生成方法に関する研究 船田大輝, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 232 - 232 2023年9月
SAS-L2 を用いたRFID システムの認証方式 清水健吾, 甲斐博, 王森レイ, 高橋寛, 清水明宏 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 216 - 216 2023年9月
メモリ型論理再構成デバイスにおける行列演算の実装法 笹川健太, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 127 - 127 2023年9月
マルチサイクルテストによるテストパターン圧縮 中野潤平, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会講演論文集 2022 126 - 126 2023年9月
ワンタイムパスワードによるJTAG アクセス認証アーキテクチャのFPGA 実装と機能検証 馬竣, 岡本悠, 魏少奇, 王森レイ, 甲斐博, 高橋寛, 清水明宏 第37回エレクトロニクス実装学会春季講演大会論文集 37th 1 - 4 2023年3月
グラフニューラルネットワークと深層強化学習による論理回路のテストポイント選択法 魏少奇, 塩谷晃平, 王森レイ, 甲斐博, 樋上喜信, 高橋寛 信学技報 122 ( 393 ) 27 - 32 2023年2月
漢字フォントを重畳したQRコードの開発 田原直哉, 甲斐 博, 森井昌克 信学技報 122 ( 260 ) 47 - 52 2022年11月
ローエンドエッジデバイスにおける SAS 認証方式の 処理時間の評価 荻田 高史郎, 清水 健吾, 中西 佳菜, 甲斐 博, 王 森レイ, 高 橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
RS 符号の消失訂正を用いた Aesthetic QR コードの 生成法 田原 直哉, 甲斐 博, 王 森レイ, 高橋 寛, 森井 昌克 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
マルチサイクルの機能動作による故障診断能力の向 上について 神崎 壽伯, 王 森レイ, 甲斐 博, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
SAS-L を用いた JTAG 認証システムのアクセスポー トロック機能回路の設計と実装 馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
グラフ構造強化学習を用いたテスト検査点選定法 塩谷 晃平, 魏 少奇, 王 森レイ, 甲斐 博, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
マルチサイクルテストによるテストパターン削減 中野 潤平, 王 森レイ, 甲斐 博, 樋上 喜信, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
エッジデバイスにおける SAS 認証回路の設計と実装 岡本 悠, 王 森レイ, 甲斐 博, 高橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会論文集 2022 2022年9月
JTAG認証機構の軽量化設計について 馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏 第36回エレクトロニクス実装学会春季講演大会論文集 36th 2022年3月
シングルボードコンピュータ上でのSAS認証方式の計算時間の評価 荻田高史郎, 甲斐博, 王森レイ, 高橋寛, 清水明宏 2022年電子情報通信学会総合大会講演論文集 2022 2022年3月
軽量なワンタイムパスワード認証方式を用いたJTAGアクセス機構のFPGA実装と面積評価 岡本悠, MA Jun, WANG Senling, 甲斐博, 高橋寛, 清水明宏 電子情報通信学会技術研究報告(Web) 122 ( 283(VLD2022 19-55) ) 2022年
Aesthetic QR コードを生成するソフトウェアの実装 に関する研究 福田諒也, 王森レイ, 甲斐博, 高橋寛, 森井昌克 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
グラフ畳み込みニューラルネットワークを用いたテ ストポイント選定について 魏少奇, 王森レイ, 甲斐博, 樋上善信, 高橋寛 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
マルチサイクルテストの導入による組込自己診断の 故障診断能力評価 王 宇超, 王森レイ, 樋上喜信, 甲斐博, 高橋寛 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
マルチサイクル機能動作による故障診断用パターン生成 神崎壽伯, 王森レイ, 樋上喜信, 甲斐博, 高橋寛 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
WebGLによるネットワークトラフィック可視化方法の検討 松浦拓海, 王森レイ, 甲斐博, 高橋寛, 森井昌克 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
機械学習を用いたマルウェアの機能推定に関する 研究 中島拓哉, 児玉光平, 王森レイ, 甲斐博, 高橋寛, 森井昌克 令和3年度 電気・電子・情報関係学会四国支部連合大会論文集 2021 2021年9月
コンピュータセキュリティシンポジウムCSS2020開催報告 ～オンライン化を支えたシステムとUX～ 白石 善明, 掛井 将平, 瀧田 愼, 磯部 光平, 田宮 寛人, 毛利 公美, 箕浦 翔悟, 冨田 裕涼, 古本 啓祐, 廣友 雅徳, 福田 洋治, 池上 雅人, 甲斐 博, 曽根 直人, 森井 昌克 情報処理学会研究報告コンピュータセキュリティ（CSEC） 2021-CSEC-94 ( 3 ) 1 - 8 2021年7月
APIコール列とLZWアルゴリズムを用いたマルウェア亜種分類の一検討 浅沼和希, 甲斐博, 森井昌克 情報処理学会第83 回全国大会講演論文集 1 - 2 2021年3月
マルウェアの各種類似度に基づく機能判定とその効果 児玉光平, 甲斐博, 森井昌克 電子情報通信学会技術研究報告, ICSS2020 13 - 16 2020年11月
電子メールによる情報提供システムへのアクセス方法の検討 浅沼和希, 岡田奈々, 松浦拓海, 福田諒也, 児玉光平, 甲斐博, 王森岭, 高橋 寛 令和2年度電気・電子・情報関係学会四国支部連合大会論文集（CD-ROM） 2020 2020年9月
圧縮アルゴリズムを用いたマルウェア亜種分類の一検討 児玉光平, 甲斐博, 森井昌克 令和元年度電気関係学会四国支部連合大会論文集（CD-ROM） 2019年9月
A Traffic Visualization Tool with Python 令和元年度電気関係学会四国支部連合大会論文集（CD-ROM） 2019年9月
Raspberry Piを用いた画像処理とCNNによる微小害虫の計数システムの構築 阿部 寛人, 畝山 勇一朗, 中岡 典弘, 渡辺 友希, 福本 真也, 森田 航平, 中本 裕大, 周 細紅, 河野 靖, 木下 浩二, 一色 正晴, 二宮 崇, 田村 晃裕, 甲斐 博, 高橋 寛, 王 森レイ 令和元年度電気関係学会四国支部連合大会論文集（CD-ROM) 2019 2019年9月
enPiT-Pro Embにおける社会人教育実践とその評価 名倉正剛, 高田広章, 山本雅基, 塩見彰睦, 野口靖浩, 岡村寛之, 高橋寛, 一色正晴, WANG Senling, 甲斐博, 木下浩二, 田村晃裕, 二宮崇, 沢田篤史 教育システム情報学会全国大会講演論文集(CD-ROM) 44 265 - 266 2019年
APIコール列のカラー可視化手法を用いたマルウェア分類 井上 智義, 甲斐 博, 森井 昌克 平成30年度電気関係学会四国支部連合大会論文集 16-2 - 16-2 2018年9月
GPUを用いた多倍長整数の除算の高速化 亀岡 景太, 甲斐 博 平成30年度電気関係学会四国支部連合大会論文誌 16-1 - 16-1 2018年9月
データ圧縮アルゴリズムによるマルウェア分類とその評価 武智 聡平, 甲斐 博, 森井 昌克 信学技報 IA2018-3, ICSS2018-3 13 - 18 2018年6月
データ圧縮アルゴリズムによるマルウェア分類および亜種判定について 武智 聡平, 甲斐 博, 森井 昌克 Computer Security Symposium 2017 1053 - 1059 2017年10月
訪問看護制度利用のためのアプリ開発 武智 聡平, 上野 ひかり, 増成 紳介, 矢野 良典, 甲斐 博, 高橋 寛, 永吉 裕子, 江篭平 紀子, 飯森 俊介, 永井 康徳 平成26年度電気関係学会四国支部連合大会講演論文集 220 - 220 2017年9月
カメラ撮影画像を用いた秘密分散法のRS符号を用いたノイズ除去 上野 ひかり, 甲斐 博, 森井 昌克 第16回情報科学技術フォーラム論文集 1 - 2 2017年9月
マルウェアの挙動情報と可視化を用いたマルウェア分類システム 三島悠, 田村尚規, 甲斐博, 森井昌克 情報科学技術フォーラム講演論文集 1 - 2 2016年9月
雑音を考慮したカメラ撮影画像に対する秘密分散法 福嶋貴幸, 甲斐博, 木下浩二, 森井昌克 情報科学技術フォーラム講演論文集 1 - 2 2016年9月
Memories on Professor Matu-tarow Noda 査読 ACM Communications in Computer Algebra 50 ( 2 ) 69 - 69 2016年
マルウェア可視化システムの実装について 浦辻和也, 松重雄大, 甲斐博, 森井昌克 情報科学技術フォーラム講演論文集 14 ( 4 ) 159 - 162 2015年8月
パケット情報を用いたトラフィック可視化システムの作成 田村尚規, 甲斐博, 森井昌克 情報科学技術フォーラム講演論文集 14 ( 4 ) 163 - 164 2015年8月
人の行動を考慮したマルウェア感染シミュレータの作成 麻生大貴, 甲斐博, 森井昌克 情報科学技術フォーラム講演論文集 14 ( 4 ) 157 - 158 2015年8月
有理関数補間を用いた(k, n)しきい値秘密分散法の不正者 検知・特定 坂口昌隆, 甲斐博 情報科学技術フォーラム講演論文集 14 ( 4 ) 281 - 284 2015年8月
浮動小数点係数の Pade 近似計算について 三宅宏季, 甲斐博 京都大学数理解析研究所講究録 1955 27 - 32 2015年7月
マルウェアの可視化とその応用に関する研究 松重 雄大, 浦辻 和也, 甲斐 博, 森井 昌克 コンピュータセキュリティシンポジウム2014論文集 2014 ( 2 ) 1142 - 1147 2014年10月
L-025 機能特性に基づくマルウェアの可視化とその分類(L分野:ネットワーク・セキュリティ,一般論文) 浦辻 和也, 松重 雄大, 甲斐 博, 森井 昌克 情報科学技術フォーラム講演論文集 13 ( 4 ) 195 - 200 2014年8月
MathMLで書かれた数式に対する検索手法の提案(形式手法・言語) 片岡 晃久, 甲斐 博 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 114 ( 127 ) 105 - 108 2014年7月
MathMＬで書かれた数式に対する検索手法の提案 片岡 晃久, 甲斐 博 研究報告ソフトウェア工学（SE） 2014 ( 17 ) 1 - 4 2014年7月
セキュアプロセッシングにおけるダミーコードと隠蔽効果の関係 川野純, 布野晶彦, 甲斐博, 樋上喜信, 小林真也 情報処理学会シンポジウムシリーズ(CD-ROM) 2012 ( 1 ) ROMBUNNO.1D-3 2012年6月
有理関数近似を用いた秘密分散法 (数式処理研究の新たな発展) 甲斐 博 数理解析研究所講究録 1759 11 - 14 2011年9月
数式データベースを用いた曖昧な数式の発見 大瀬戸良輔, 甲斐博 第73回全国大会講演論文集 2011 ( 1 ) 723 - 724 2011年3月
xfyにおける Moodle 小問題作成支援環境の開発 三浦 友司, 嶋津 央礼, 甲斐 博 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 110 ( 305 ) 31 - 36 2010年11月
xfy上のMathML content markupエディタの実装と評価 (Computer Algebra : Design of Algorithms, Implementations and Applications) 河田 貴幸, 片岡 正彰, 甲斐 博, 田村 恭士 数理解析研究所講究録 1666 164 - 171 2009年10月
浮動小数グレブナー基底の悪条件性 (Computer Algebra : Design of Algorithms, Implementations and Applications) 佐々木 建昭, 甲斐 博 数理解析研究所講究録 1666 23 - 31 2009年10月
複合数学Webサービスに関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications) 中西 智美, 池田 理世, 甲斐 博 数理解析研究所講究録 1652 211 - 217 2009年6月
パラメータを持つ有理関数のハイブリッド積分 (Computer Algebra : Design of Algorithms, Implementations and Applications) 中川 菜菜美, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1652 203 - 210 2009年6月
xfyにおけるMathML編集機能の開発 (Computer Algebra : Design of Algorithms, Implementations and Applications) 甲斐 博, 宮本 敦史, 久米 正起, 河田 貴幸, 冨成 泰介, 田村 恭士, 野田 松太郎 数理解析研究所講究録 1652 196 - 202 2009年6月
プログラミング・コンテストEPOCH 報告 小林 真也, 甲斐 博, 阿萬 裕久, 野田 松太郎 情報処理 49 ( 6 ) 647 - 653 2008年6月
xfy MathML content markup Editor の開発とユーザインタフェース評価 河田 貴幸, 甲斐 博, 田村 恭士 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 108 ( 64 ) 13 - 18 2008年5月
有理関数補間を用いた近似GCD計算 情報処理学会情報処理学会第70回全国大会講演論文集(1) 15 - 16 2008年
要望リストからの要望モデル構築 宮西 英彰, 山田 宏之, 甲斐 博, 阿萬 裕久 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 107 ( 392 ) 13 - 18 2007年12月
要望リストからの要求獲得支援に関する研究 宮西 英彰, 山田 宏之, 甲斐 博, 阿萬 裕久 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 107 ( 159 ) 25 - 30 2007年7月
数学 Web サービスの実装とプロセス実行に関する研究 中西 智美, 池田 理世, 甲斐 博 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 106 ( 327 ) 37 - 42 2006年10月
有理関数補間の不必要な極の解析 (Computer Algebra : Design of Algorithms, Implementations and Applications) 甲斐 博 数理解析研究所講究録 1514 115 - 121 2006年9月
パラメータを持つ有理関数のハイブリッド積分 日本応用数理学会日本応用数理学会2006年度年会講演予稿集 212 - 213 2006年
グラフ Web サービスの実装とその数学教育への応用 渡邊 巧, 甲斐 博 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 105 ( 207 ) 13 - 17 2005年7月
ハイブリッド有理関数近似とその悪条件性 甲斐 博, 野田 松太郎 数式処理 11 ( 2 ) 22 - 24 2005年2月
xfyにおける数式処理機能について 数式処理 12 ( 2 ) 20 - 23 2005年
数学Webサービスにおけるグラフ表示サービスとその教育への応用 京都大学数理解析研究所数理解析研究所講究録1456 1456 77 - 86 2005年
QRGCDのRisa/Asirへの実装 数式処理 11 ( 2 ) 35 - 38 2004年
G関数を用いた数学公式データベースの実装について 数理解析研究所講究録 1395 205 - 211 2004年
多項式GCDを用いた復号法に関する研究 数理解析研究所講究録 1395 104 - 110 2004年
Approximate Computation of Pseudovarieties 数理解析研究所講究録 1395 71 - 75 2004年
多項式GCDを用いた復号法に関する考察 上原 剛, 甲斐 博, 野田 松太郎 数式処理 10 ( 2 ) 22 - 23 2003年9月
量子アルゴリズムを用いた多項式GCDの計算その2 武田 邦敬, 甲斐 博, 野田 松太郎 数式処理 9 ( 4 ) 22 - 23 2003年4月
代数的アルゴリズムに対する量子計算 数理解析研究所講究録 1335 119 - 126 2003年
近似代数計算と有理関数近似に関する研究 数理解析研究所講究録 1335 188 - 195 2003年
区間演算によるハイブリッド有理関数近似と安定化理論について (Computer Algebra : Algorithms, Implementations and Applications) 村上 裕美, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1295 197 - 202 2002年11月
安定化したWu's methodのロボット制御への応用 (Computer Algebra : Algorithms, Implementations and Applications) 白石 啓一, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1295 203 - 208 2002年11月
量子アルゴリズムを用いた多項式GCDの計算 (Computer Algebra : Algorithms, Implementations and Applications) 武田 邦敬, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1295 62 - 68 2002年11月
有理関数近似の離散化における問題点 (数学解析の計算機上での理論的展開とその遂行可能性) 村上 裕美, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1286 34 - 50 2002年9月
数式処理と数値計算--ハイブリッド計算について 甲斐 博, 野田 松太郎 工学ジャーナル 1 207 - 215 2002年3月
Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究) 白石 啓一, 那須 英正, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1199 10 - 19 2001年4月
Wu's methodの浮動小数化 (数式処理における理論と応用の研究) 野竹 禎雄, 甲斐 博, 支 麗紅, 野田 松太郎 数理解析研究所講究録 1199 1 - 9 2001年4月
自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究) 水口 寛之, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1199 20 - 21 2001年4月
二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究) 甲斐 博, 野田 松太郎 数理解析研究所講究録 1199 36 - 42 2001年4月
二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム 甲斐 博, 野田 松太郎 数式処理 8 ( 1 ) 40 - 41 2000年11月
誤差を含んだ係数を持つ連立代数方程式の代数的解法 野竹 禎雄, 甲斐 博, 野田 松太郎 数式処理 8 ( 1 ) 35 - 37 2000年11月
安定化理論を用いた連想記憶の計算 水口 寛之, 甲斐 博, 野田 松太郎 数式処理 8 ( 1 ) 44 - 45 2000年11月
二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究) 甲斐 博, 木原 信二, 野田 松太郎 数理解析研究所講究録 1138 77 - 86 2000年4月
二変数有理関数近似のハイブリッド計算 (プログラム変換と記号・数式処理) 甲斐 博, 野田 松太郎 数理解析研究所講究録 1125 123 - 128 2000年1月
有理関数近似の誤差評価と近似GCD 甲斐 博, 野田 松太郎 数式処理 7 ( 3 ) 27 - 28 1999年11月
一般逆行列を用いたNearest Singular Polynomialsの計算 水口 寛之, ZHI Lihong, 甲斐 博, 野田 松太郎 数式処理 7 ( 3 ) 29 - 30 1999年11月
ハイブリッド計算によるCauchy型特異積分方程式の解法について (数式処理における理論と応用の研究) 甲斐 博, 野田 松太郎 数理解析研究所講究録 1085 151 - 158 1999年3月
P-irreducibility of Positive Polynomials (Theory and Application in Computer Algebra) Zhi Lihong, 野田 松太郎, 甲斐 博, Liu Zhuojun 数理解析研究所講究録 1085 159 - 169 1999年3月
ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法 甲斐 博, 野田 松太郎 愛媛大学工学部紀要 ( 18 ) 419 - 424 1999年2月
ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法 甲斐 博, 野田 松太郎 数式処理 7 ( 1 ) 27 - 28 1998年12月
代数的手法を用いた非線形計画問題の求解 白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎 数式処理 7 ( 1 ) 31 - 32 1998年12月
Algorithm for Computing the Nearest Singular Polynomial ZHI Lihong, NODA Matu-Tarow, KAI Hiroshi, WU Wenda 数式処理 7 ( 1 ) 25 - 26 1998年12月
非線形計画問題への代数的算法の応用 白石 啓一, 甲斐 博, 野田 松太郎 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 98 ( 295 ) 9 - 14 1998年9月
ある種の非線形計画問題の代数的解法について(数式処理における理論と応用の研究) 白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎 数理解析研究所講究録 1038 146 - 153 1998年4月
近似的GCDとハイブリッド有理関数近似の誤差の関係について(数式処理における理論と応用の研究) 甲斐 博, 齋藤 友克, 野田 松太郎 数理解析研究所講究録 1038 139 - 145 1998年4月
浮動小数演算に基づく安定化理論計算システムの作成(数式処理における理論と応用の研究) 水口 寛之, 甲斐 博, 野田 松太郎 数理解析研究所講究録 1038 177 - 182 1998年4月
ある種の非線形計画問題の代数的解放について 白石 啓一, 甲斐 博, 野田 松太郎 愛媛大学工学部紀要 17 383 - 392 1998年2月
有理関数補間の連続性の条件について 甲斐 博, 斉藤 友克, 野田 松太郎 愛媛大学工学部紀要 17 393 - 400 1998年2月
ISSAC'97 Poster Summary: Cauchy Principal Value Integral using Hybrid Integral 甲斐 博, NODA Matu-Tarow 数式処理 6 ( 2 ) pp.55 - pp.57 1998年1月
数式処理を用いた数値計算アルゴリズム選択 保田 貴史, 和田 武, 甲斐 博, 野田 松太郎 城西情報科学研究 9 ( 1 ) 69 - 82 1998年1月
非線形(多項式)計画問題の代数的解法 白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎 城西情報科学研究 9 ( 1 ) 101 - 112 1998年1月
Continuity Conditions of Rational Interpolation over the Interval 甲斐 博, 齋藤 友克, 野田 松太郎 Josai Information Sciences Researches 9 ( 1 ) 43 - 52 1998年
有理関数補間の連続性の条件について 甲斐 博, 齋藤 友克, 野田 松太郎 城西情報科学研究 9 ( 1 ) 43 - 52 1998年
有理関数補間の連続性の条件とHRFAの関係について 甲斐 博, 齋藤 友克, 野田 松太郎 数式処理 6 ( 1 ) 8 - 9 1997年10月
非線形(多項式)計画問題の代数的解法 白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎 数式処理 6 ( 1 ) 10 - 11 1997年10月
ある種の非線形計画問題の代数的解法について 白石 啓一, 甲斐 博, 斎藤 友克, 野田 松太郎 全国大会講演論文集 55 293 - 294 1997年9月
数式処理システムとデータベースの結合とデータ解析への応用(数式処理における理論と応用の研究) 白石 啓一, 甲斐 博, 齋藤 友克[他] 数理解析研究所講究録 986 174 - 180 1997年4月
Risa/Asir による一般逆行列の計算とその連想記憶への応用(数式処理における理論と応用の研究) 水口 寛之, 甲斐 博, 野田 松太郎 数理解析研究所講究録 986 166 - 173 1997年4月
近似的GCDを用いた連分数展開のハイブリッド積分への応用(数式処理における理論と応用の研究) 甲斐 博, 野田 松太郎 数理解析研究所講究録 986 157 - 165 1997年4月
近似値GCDと連分数展開の関係について 甲斐 博, 野田 松太郎 愛媛大学工学部紀要 16 493 - 500 1997年2月
連分数展開による次数低下した有理関数の誤差評価 甲斐 博, 野田 松太郎 数式処理 5 ( 1 ) 42 - 43 1996年12月
ハイブリッド有理関数近似の誤差評価 甲斐 博, 野田 松太郎 愛媛大学工学部紀要 15 517 - 525 1996年2月
次数低下した有理関数の誤差評価 甲斐 博, 菅野 幸夫, 野田 松太郎 数理解析研究所講究録 941 194 - 199 1996年
近似的GCDとPade近似の関係(数式処理における理論とその応用の研究) 甲斐 博, 野田 松太郎 数理解析研究所講究録 920 74 - 81 1995年8月
近似的GCDとPad(]E85EE[)近似の関係 京都大学数理研・研究集会 1995年
ハイブリッド計算のシステム低次元化法への応用(共著) 甲斐 博, 岡崎 広毅, 野田 松太郎 愛媛大学工学部紀要 14 429 - 436 1995年
ハイブリッド有理関数近似によるデ-タの平滑化と主値積分 甲斐 博, 野田 松太郎 愛媛大学工学部紀要 ( 13 ) p487 - 502 1994年2月
近似的GCDを用いた有理関数近似(数式処理における理論と応用の研究) 甲斐 博, 野田 松太郎 数理解析研究所講究録 848 147 - 161 1993年9月
ハイブリッド有理関数近似による主値積分 京都大学数理研・研究集会 1993年
近似的GCDを用いた有理関数近似 甲斐 博, 野田 松太郎 全国大会講演論文集 45 39 - 40 1992年9月
近似的GCDを用いた有理関数近似(非線形問題の数値解析) 野田 松太郎, 宮広 栄一, 甲斐 博 数理解析研究所講究録 787 150 - 162 1992年6月
- 総説・解説
- 研究者総覧に該当データはありませんでした。
- 講演・発表
- A Lightweight and Secure One-time RFID Authentication Protocol based on SAS-L2 Kengo Shimizu, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu The 9th International Conference on Consumer Electronics (ICCE) Asia 2024年11月
ホログラムQRコードの拡張 森 創太, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克 FIT2024 2024年9月
Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNs Senling Wang, Shaoqi Wei, Hisashi Okamoto, Tatsuya Nishikawa, Hiroshi Kai, Yoshinobu Higami, Hiroyuki Yotsuyanagi, Ruijun Ma, Tianming Ni, Hiroshi Takahashi, Xiaoqing Wen IEEE International Test Conference in Asia 2024年8月
Deep-BMNN: Implementing Sparse Binary Neural Networks in Memory-Based Reconfigurable Processor (MRP) Kenta Sasagawa, Senling Wang, Tatsuya Nishikawa, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Hiroyuki Yotsuyanagi, Tianming Ni, Xiaoqing Wen The 39th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC 2024) 2024年7月
形式的検証を用いたSAS-L2の安全性の検証 中村凌也, 清水健吾, 岡本悠, 王森レイ, 甲斐博, 高橋寛, 清水明宏 日本数式処理学会第32回大会 2024年6月
深層強化学習を用いたフライングプローブテスタによる基板検査の高速化 黒瀬楓斗, 西川竜也, 魏少奇, 王森レイ, 亀山修一, 甲斐博, 高橋寛, 岡田和也, 柳田幸輝 2024マイクロエレクトロニクスショーJIEPアカデミックプラザ 2024年6月
同期問題を考慮したSAS-L2 を用いたRFID認証プロトコル 清水健吾, 王森レイ, 甲斐 博, 高橋 寛, 清水明宏 情報処理学会第86回全国大会 2024年3月
ワンタイムパスワード認証方式を用いたJTAGアクセス機構のスケーラビリティ向上について 岡本悠, 塩谷晃平, 西川竜矢, 王森レイ, 甲斐博, 樋上喜信, 高橋寛, 清水明宏 第38回エレクトロニクス実装学会春季講演大会 2024年3月
深層強化学習によるマルチサイクルBIST向けテストポイント選定法 塩谷晃平, 西川竜矢, 魏 少奇, 王 森レイ, 甲斐 博, 樋上喜信, 高橋 寛 電子情報通信学会ディペンダブルコンピューティング研究会 2024年2月
ワンタイムパスワードによるJTAG アクセス認証アーキテクチャのFPGA 実装と機能検証 馬竣, 岡本悠, 魏少奇, 王森レイ, 甲斐博, 高橋寛, 清水明宏 第37回 エレクトロニクス実装学会 春季講演大会 2023年3月
グラフニューラルネットワークと深層強化学習による論理回路のテストポイント選択法 魏少奇, 塩谷晃平, 王森レイ, 甲斐博, 樋上喜信, 高橋寛 電子情報通信学会ディペンダブルコンピューティング研究会 2023年2月
漢字フォントを重畳したQRコードの開発 田原直哉, 甲斐 博, 森井昌克 電子情報通信学会研究会（ISEC, SITE, LOIS） 2022年11月
エッジデバイスにおける SAS 認証回路の設計と実装 岡本 悠, 王 森レイ, 甲斐 博, 高橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
ローエンドエッジデバイスにおける SAS 認証方式の処理時間の評価 荻田 高史郎, 清水 健吾, 中西 佳菜子, 甲斐 博, 王 森レイ, 高 橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
RS 符号の消失訂正を用いた Aesthetic QR コードの 生成法 田原 直哉, 甲斐 博, 王 森レイ, 高橋 寛, 森井 昌克 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
マルチサイクルの機能動作による故障診断能力の向 上について 神崎 壽伯, 王 森レイ, 甲斐 博, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
SAS-L を用いた JTAG 認証システムのアクセスポー トロック機能回路の設計と実装 馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
グラフ構造強化学習を用いたテスト検査点選定法 塩谷 晃平, 魏 少奇, 王 森レイ, 甲斐 博, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
マルチサイクルテストによるテストパターン削減 中野 潤平, 王 森レイ, 甲斐 博, 樋上 喜信, 高橋 寛 令和 4 年度 電気・電子・情報関係学会四国支部連合大会 2022年9月
消失誤り訂正によるAesthetic QR コードの生成 甲斐博 GCD and related topics, GCDART2022 2022年9月
深層強化学習を用いた検査点の選定法 魏少奇, 塩谷晃平, 王森レイ, 甲斐博, 樋上喜信, 高橋寛 第85回FTC研究会 2022年7月
Aesthetic QR コードを生成するソフトウェアの実装 に関する研究 福田 諒也, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
グラフ畳み込みニューラルネットワークを用いたテストポイント選定について 魏少奇, 王森レイ, 甲斐博, 樋上喜信, 高橋 寛 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
マルチサイクルテストの導入による組込自己診断の故障診断能力評価 王宇超, 王森レイ, 樋上喜信, 甲斐博, 高橋寛 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
マルチサイクル機能動作による故障診断用パターン生成 神崎 壽伯, 王 森レイ, 樋上 喜信, 甲斐 博, 高橋 寛 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
WebGL によるネットワークトラフィック可視化方法の検討 松浦 拓海, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
機械学習を用いたマルウェアの機能推定に関する 研究 中島 拓哉, 児玉 光平, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克 令和3年度電気・電子・情報関係学会四国支部連合大会 2021年9月
enPiT-Pro Emb 組込みシステム技術者のための技術展開力育成プログラムの紹介 山本雅基, 高田広章, 福島泰子, 塩見彰睦, 野口靖浩, 岡村寛之, 高橋寛, 一色正晴, 王森レイ, 甲斐博, 木下浩二, 田村晃裕, 二宮崇, 沢田篤史, 名倉正剛 第23回組込みシステム技術に関するワークショップ(SWEST23) 2021年9月
コンピュータセキュリティシンポジウムCSS2020オンライン開催報告 白石 善明, 掛井 将平, 瀧田 愼, 磯部 光平, 田宮 寛人, 毛利 公美, 箕浦 翔悟, 冨田 裕涼, 古本 啓祐, 廣友 雅徳, 福田 洋治, 池上 雅人, 甲斐 博, 曽根 直人, 森井 昌克 情報処理学会第94回CSEC・第43回SPT合同研究発表会 2021年7月
APIコール列とLZWを用いたマルウェア亜種分類の一検討 浅沼和希, 甲斐博, 森井昌克 情報処理学会第83回全国大会 2021年3月
マルウェアの各種類似度に基づく機能判定とその効果 児玉光平, 甲斐博, 森井昌克 電子情報通信学会情報通信システムセキュリティ研究会（ICSS） 2020年11月
電子メールによる情報提供システムへのアクセス方法の検討 浅沼和希, 岡田奈々, 松浦拓海, 福田諒也, 児玉光平, 甲斐博, 王森岭, 高橋 寛 令和2年度電気・電子・情報関係学会四国支部連合大会 2020年9月
圧縮アルゴリズムを用いたマルウェア亜種分類の一検討 児玉光平, 甲斐博, 森井昌克 令和元年度電気関係学会四国支部連合大会 2019年9月
A Traffic Visualization Tool with Python Sharma Anjari, Hiroshi Kai 令和元年度電気関係学会四国支部連合大会 2019年9月
enPiT-Pro Emb における社会人教育実践とその評価 名倉 正剛, 高田 広章, 山本 雅基, 塩見 彰睦, 野口 靖浩, 岡村 寛之, 高橋 寛, 一色 正晴, 王 森岭, 甲斐 博, 木下 浩二, 田村 晃裕, 二宮 崇, 沢田 篤史 第44回教育システム情報学会全国大会 2019年9月
Raspberry Piを用いた画像処理とCNNによる微小害虫の計数システムの構築 阿部 寛人, 畝山 勇一朗, 中岡 典弘, 渡辺 友希, 福本 真也, 森田 航平, 中本 裕大, 周 細紅, 河野 靖, 木下 浩二, 一色 正晴, 二宮 崇, 田村 晃裕, 甲斐 博, 高橋 寛, 王 森レイ 令和元年度電気関係学会四国支部連合大会論文集（CD-ROM) 2019年9月
Math authoring on xfy Masaki Kume, Atsushi Miyamoto, Hiroshi Kai, Matu-Tarow Noda International Conference on Applications of Computer Algebra
GPUを用いた多倍長整数の除算の高速化 亀岡 景太, 甲斐 博 平成30年度電気関係学会四国支部連合大会 2018年9月
ISCZ法を用いたPade近似に関する研究 三島 悠, 甲斐 博 Risa/Asir Conference 2017 2017年3月
ISCZ法による拡張ユークリッド互除法を用いたPade近似計算の改良 三島 悠, 甲斐 博 日本数式処理学会第26回大会 2017年6月
データ圧縮アルゴリズムによるマルウェア分類とその評価 武智 聡平, 甲斐 博, 森井 昌克 情報通信システムセキュリティ研究会（ICSS） 2018年6月
APIコール列のカラー可視化手法を用いたマルウェア分類 井上 智義, 甲斐 博, 森井 昌克 平成30年度電気関係学会四国支部連合大会 2018年9月
雑音を考慮したカメラ撮影画像に対する秘密分散法 福嶋貴幸, 甲斐博, 木下浩二, 森井昌克 情報科学技術フォーラム 2016年9月
マルウェアの挙動情報と可視化を用いたマルウェア分類システム 三島悠, 田村尚規, 甲斐博, 森井昌克 情報科学技術フォーラム 2016年9月
シングルボードコンピュータ上でのSAS認証方式の計算時間の評価 荻田高史郎, 甲斐博, 王森レイ, 高橋寛, 清水明宏 2022年電子情報通信学会総合大会 2022年3月
JTAG認証機構の軽量化設計について 馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏 第36回エレクトロニクス実装学会春季講演大会 2022年3月
遺伝的アルゴリズムを用いたAesthetic QR コードの生成方法に関する研究 船田大輝, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
SAS-L2 を用いたRFID システムの認証方式 清水健吾, 甲斐博, 王森レイ, 高橋寛, 清水明宏 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
メモリ型論理再構成デバイスにおける行列演算の実装法 笹川健太, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
マルチサイクルテストによるテストパターン圧縮 中野潤平, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
ワンタイムパスワードを用いたJTAG 認証機構のスケーラビリティ向上について 岡本悠, 馬竣, 王森レイ, 甲斐博, 高橋寛, 清水明宏 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
インメモリ型高速パターンマッチングアーキテクチャのFPGA 実装と性能評価 本田志遠, 周細紅, 王森レイ, 甲斐博, 高橋寛, 井上 克己 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
Vitis を用いた物体検出アーキテクチャのFPGA実装 西川竜矢, 山中正晴, 王森レイ, 甲斐博, 高橋寛 令和5年度電気・電子・情報関係学会四国支部連合大会 2023年9月
- 研究会・報告書
- 研究者総覧に該当データはありませんでした。
- 特許
- 研究者総覧に該当データはありませんでした。
- 作品
- 研究者総覧に該当データはありませんでした。
- 補助金・競争的資金
- 生成AI等を活用した図面画像からの特徴量抽出に関する研究 2024年12月 - 2025年3月 今治造船株式会社 王森レイ, 甲斐博, 高橋寛, 乗松真二, 二宮崇, 梶原智之, 後藤功雄, 木下浩二, 一色正晴
センサー技術，VR技術，および機械学習を利活用した「安全体感教育」の実現可能性評価 2024年6月 - 2025年3月 株式会社イージーエス センサー技術，VR技術，および機械学習を利活用した「安全体感教育」の実現可能性評価 高橋寛, 甲斐博, 王森レイ, 二宮崇, 梶原智之, 木下浩二, 一色正晴
船舶工学（今治造船）寄附講座 2024年4月 - 2029年3月 今治造船株式会社 船舶工学（今治造船）寄附講座 山内智博, 田中進, 豊田洋通, 高橋寛, 二宮崇, 中畑和之, 都築伸二, 甲斐博, 木下浩二, 一色正晴
チップレットシステムのライフサイクル信頼性強化設計技術 2023年4月 - 2025年12月 独立行政法人日本学術振興会 王森レイ, 甲斐博, 亀山修一, 樋上喜信, 高橋寛, 四柳浩之, 温暁青, 倪天明
受付アプリ（おこまり相談）を容易かつ正確に運用するためのスマートフォン 用アプリ開発 2022年4月 - 2024年3月 一般財団法人日本礼儀作法協会
感性価値を考慮したAI開発の構築の研究 2019年4月 - 2020年3月 株式会社ストライクファースト 企業共同研究 高橋 寛
組込みシステム技術者のための技術展開力育成プログラム 2017年4月 - 2022年3月 文部科学省 成長分野を支える情報技術人材の育成拠点の形成（enPiT）enPiT-Pr 高田 広章
在宅医療制度（訪問看護）を容易かつ正確に運用するためのスマートフォン用アプリ開発 2017年4月 - 2018年3月 医療法人ゆうの森 企業共同研究 高橋 寛
組込みシステム産業の成長を支える人材育成の拠点形成（QuadPro） 2016年4月 - 2021年3月 文部科学省 成長分野を支える情報技術人材の育成拠点の形成（enPiT） 高田 広章
人工物メトリクスと認証クラウドを利用した模倣対策と電気計測器の試作開発 2013年4月 - 2014年3月 共立電気計器株式会社 企業共同研究 都築伸二
xfyにおける数学文書処理に関する研究 2005年4月 - 2010年3月 株式会社ジャストシステム 企業共同研究 甲斐 博
ハイブリッド計算による連立代数方程式解法に関する研究 2002年 日本学術振興会 科学研究費助成事業 若手研究(B) 甲斐 博
近似代数の算法と応用の研究 2000年4月 - 2010年3月 日本学術振興会 科学研究費助成事業 基盤研究(B) 佐々木 建昭
- その他
- 研究者総覧に該当データはありませんでした。
2025年4月18日更新
- 専門分野・研究分野
- 情報通信 / ソフトウェア / 数式処理
- 所属学会・所属協会
- 日本数式処理学会
ACM (Association for Computing Machinery)
情報処理学会
IEEE - 委員歴・役員歴
- 日本数式処理学会 編集委員会委員長 2024年9月 - 現在
コンピュータセキュリティシンポジウム2024 実行委員 2024年6月 - 現在
日本数式処理学会 代表会員 2024年4月 - 2026年3月
情報処理学会第84回全国大会2022 現地実行委員会副委員長 2021年3月 - 2022年3月
日本数式処理学会 編集委員会副委員長 2021年1月 - 2024年8月
コンピュータセキュリティシンポジウム2020 実行委員 2020年4月 - 2020年12月
2020電気・電子・情報関係学会四国支部連合大会 プログラム編集委員会委員 2020年4月 - 2020年12月
電気関係学会四国支部連合大会 実行委員会委員 2019年4月 - 2020年3月
情報処理学会四国支部 支部幹事（庶務） 2018年6月 - 2020年5月
電気関係学会四国支部連合大会 実行委員会委員（総務）、プログラム編集委員会（委員長）、現地実行委員会（総務）、優秀発表賞および英語発表奨励賞選考委員 2018年4月 - 2019年3月
情報処理学会四国支部 支部委員 2017年6月 - 2018年5月
電気関係学会四国支部連合大会 実行委員、プログラム編集委員、優秀発表賞及び英語発表賞選考委員 2017年
情報科学技術フォーラム（FIT） 現地実行委員 2015年
日本数式処理学会 基礎理論分科会運営委員会委員 2014年 - 2016年
IEEE IEEE四国支部Membership Development Chair 2013年 - 2014年
第42回数値解析シンポジウム 現地実行委員 2013年
IEEE IEEE四国支部Secretary 2011年 - 2012年
IEEE IEEE四国支部Nominations activities Chair 2007年 - 2008年
情報処理学会 情報処理学会論文誌査読委員 2006年 - 2009年
Applications of Computer Algebra The Applications of Computer Algebra Working Group 2005年4月 - 現在
日本数式処理学会 編集委員 2004年 - 2005年 - 受賞
- 情報処理学会第86回全国大会学生奨励賞 2024年3月 情報処理学会 同期問題を考慮したSAS-L2 を用いたRFID認証プロトコル 清水健吾
LOISグッドプレゼンテーション賞 2022年11月 電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会 漢字フォントを重畳したQRコードの開発 田原直哉
情報処理学会第83回全国大会学生奨励賞 2021年3月 情報処理学会 APIコール列とLZWアルゴリズムを用いたマルウェア亜種分類の一検討 浅沼和希
令和元年度「情報通信月間」四国総合通信局長表彰 2019年6月 総務省四国総合通信局 愛媛大学など
FIT奨励賞 2016年9月 第15回情報科学技術フォーラム 福嶋貴幸
FITヤングリサーチャー賞 2016年9月 第15回情報科学技術フォーラム 福嶋貴幸
奨励賞 2016年3月 第8回情報システム教育コンテスト 小林真也, 黒田久泰, 樋上喜信, 甲斐博, 宇戸寿幸, 木下浩二, 遠藤慶一
FIT奨励賞 2015年5月 第14回情報科学技術フォーラム 福嶋貴幸
FIT奨励賞 2014年9月 第13回情報科学技術フォーラム 浦辻和也
情報処理学会創立50周年記念第72回全国大会学生奨励賞 2010年 情報処理学会 片岡正彰 - 活動
- サイバーセキュリティシンポジウム道後2025 役割：運営参加・支援 サイバーセキュリティシンポジウム道後実行委員 2025年3月
サイバーセキュリティシンポジウム道後2024 役割：運営参加・支援 2024年3月
サイバーセキュリティシンポジウム道後2023 役割：運営参加・支援 2023年6月
令和4年度新規採用職員研修（後期）「ＡＩ導入・活用のための基礎的な学び」 役割：講師 2022年9月
サイバーセキュリティシンポジウム道後2022 役割：運営参加・支援 2022年6月 - 2022年7月
サイバーセキュリティシンポジウム道後2021 役割：運営参加・支援 2021年6月
サイバーセキュリティシンポジウム道後2020 役割：運営参加・支援 2020年9月
令和２年度新規採用職員研修（後期）「ＡＩの導入・活用のための基礎的な学び」 役割：講師 愛媛県 2020年9月
第11回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2019年3月
サイバーセキュリティシンポジウム道後2019 役割：運営参加・支援 2019年3月
enPiT第7回シンポジウム 役割：運営参加・支援 2019年1月
IoTにおけるテスト技術及びセキュリティ技術 役割：講師 2018年9月
情報通信システムセキュリティ研究会（ICSS） 役割：運営参加・支援 電子情報通信学会 2018年6月
第10回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2018年3月
サイバーセキュリティシンポジウム道後2018 役割：運営参加・支援 2018年3月
第9回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2017年3月
サイバーセキュリティシンポジウム道後2017 役割：運営参加・支援 2017年2月
第4回愛媛大学工学部情報工学科プログラミングコンテスト 役割：運営参加・支援 2016年8月
サイバーセキュリティシンポジウム道後2016 役割：運営参加・支援 2016年3月
第8回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2016年2月
第3回愛媛大学工学部情報工学科プログラミングコンテスト 役割：運営参加・支援 2015年8月
情報セキュリティシンポジウム道後2015 役割：運営参加・支援 2015年3月
第7回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2014年11月
第2回愛媛大学工学部情報工学科プログラミングコンテスト 役割：運営参加・支援 2014年8月
情報セキュリティシンポジウム道後2014 役割：運営参加・支援 2014年2月
第6回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2013年11月
第1回愛媛大学工学部情報工学科プログラミングコンテスト 役割：運営参加・支援 2013年8月
情報セキュリティシンポジウム道後2013 役割：運営参加・支援 2013年2月 - 2013年3月
EPOCH@まつやま2012 役割：運営参加・支援 2012年11月
第5回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2012年9月
情報セキュリティシンポジウム道後2012 役割：運営参加・支援 2012年2月
EPOCH@まつやま2011 役割：運営参加・支援 2011年11月
第4回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2011年7月
EPOCH@まつやま2010 役割：運営参加・支援 2010年11月
第3回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2010年11月
第2回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2010年3月
第1回愛媛情報セキュリティ勉強会 役割：運営参加・支援 2009年12月
EPOCH@まつやま2009 役割：運営参加・支援 2009年11月
EPOCH@まつやま2008 役割：運営参加・支援 2008年11月
EPOCH@まつやま2007 役割：運営参加・支援 2007年11月
2025年4月13日更新
2025年4月19日更新
Ｊグローバル
- Jグローバル最終確認日
- 2025/4/19 01:04
- 氏名（漢字）
- 甲斐 博
- 氏名（フリガナ）
- カイ ヒロシ
- 氏名（英字）
- Kai Hiroshi
- 所属機関
- 愛媛大学 准教授
リサーチマップ
- researchmap最終確認日
- 2025/4/13 01:13
- 氏名（漢字）
- 甲斐 博
- 氏名（フリガナ）
- カイ ヒロシ
- 氏名（英字）
- Kai Hiroshi
- プロフィール
- リサーチマップAPIで取得できませんでした。
- 登録日時
- 2011/8/16 00:00
- 更新日時
- 2025/3/6 14:48
- アバター画像URI
- https://researchmap.jp/hiroshikai/avatar.jpg
- ハンドル
- リサーチマップAPIで取得できませんでした。
- eメール
- リサーチマップAPIで取得できませんでした。
- eメール（その他）
- リサーチマップAPIで取得できませんでした。
- 携帯メール
- リサーチマップAPIで取得できませんでした。
- 性別
- リサーチマップAPIで取得できませんでした。
- 没年月日
- リサーチマップAPIで取得できませんでした。
- 所属ID
- 0352021007
- 所属
- 愛媛大学
- 部署
- 大学院理工学研究科 電子情報工学専攻
- 職名
- 准教授
- 学位
- 博士（工学）
- 学位授与機関
- 愛媛大学
- URL
- リサーチマップAPIで取得できませんでした。
- 科研費研究者番号
- リサーチマップAPIで取得できませんでした。
- Google Analytics ID
- リサーチマップAPIで取得できませんでした。
- ORCID ID
- リサーチマップAPIで取得できませんでした。
- その他の所属ID
- リサーチマップAPIで取得できませんでした。
- その他の所属名
- リサーチマップAPIで取得できませんでした。
- その他の所属 部署
- リサーチマップAPIで取得できませんでした。
- その他の所属 職名
- リサーチマップAPIで取得できませんでした。
- 最近のエントリー
- リサーチマップAPIで取得できませんでした。
- Read会員ID
- リサーチマップAPIで取得できませんでした。
- 経歴
- 受賞
- Misc
- 論文
- 講演・口頭発表等
- 書籍等出版物
- 研究キーワード
- 研究分野
- 所属学協会
- 担当経験のある科目
- その他
- リサーチマップAPIで取得できませんでした。
- Works
- リサーチマップAPIで取得できませんでした。
- 特許
- リサーチマップAPIで取得できませんでした。
- 学歴
- 委員歴
- 社会貢献活動
2025年4月19日更新
- 研究者番号
- 10274341
- 所属（現在）
- 2025/4/1 : 愛媛大学, 理工学研究科(工学系), 准教授
- 所属（過去の研究課題
情報に基づく）*注記 - 2007/4/1 – 2009/4/1 : 愛媛大学, 大学院・理工学研究科, 准教授
2002/4/1 – 2006/4/1 : 愛媛大学, 工学部, 講師
2002/4/1 : 愛媛大, 工学部, 講師
2000/4/1 – 2001/4/1 : 愛媛大学, 工学部, 助手
- 審査区分/研究分野
-
研究代表者
複合領域 / 情報科学 / 計算機科学
研究代表者以外
総合・新領域系 / 総合領域 / 情報学 / 情報学基礎
複合領域 / 情報科学 / 計算機科学
- キーワード
-
研究代表者以外
アルゴリズム理論 / 数式処理 / 数値数式融合算法 / 数値解析 / 浮動小数グレブナー基底 / 近似グレブナー基底 / 大規模固有地問題 / 多変数代数方程式の解法 / 数式文章編集システム / 多変数代数関数の特異点での展開 / 近似代数 / 近似代数計算システム / 数値数式融合計算 / 連立代数方程式とDixon終結式 / 多変数代数関数の級数展開 / 特異点とHensel級数 / 製係数多項式の近似因数分解 / 近似代数システム / 拡張ヘンゼル級数 / 大規模一般化固有地問題 / 計算機代数 / 代数的計算 / 数式処理システム / 近似的代数計算法 / 誤差解析と安定化 / 代数的算法 / 代数的算法の誤差解析 / 誤差解析 / approximate algebra / algebraic computation / algebraic-numeric computation / computer algebra / computer algebra system / formula manipulation / 近似GCD / 近似因数分解 / 拡張Hensel構成 / 浮動小数Grobner基底 / 直線アレンジメント / 記号的Newton法 / Groebner基底 / 浮動小数Groebner基底 / Hensel構成 / 近似無平方分解 / 近接根分離 / 最小根間距離 / 近似代数の応用 / 数式処理の教育への応用 / 数学公式データベース / approximate GCD / approximate factorization / extended Hensel construction / approximate Grobner base / eight-line arrangement
研究課題
研究成果
共同研究者
注目研究はありません。