Updated on 2025/03/27

写真a

 
Kai Hiroshi
 
Organization
Graduate School of Science and Engineering (Engineering) Major of Science and Engineering Applied Information Engineering Associate Professor
Title
Associate Professor
Contact information
メールアドレス
External link

Degree

  • 博士(工学) ( 愛媛大学 )

Research Interests

  • Information Security

  • Computer Algebra System

  • Computer Algebra

Research Areas

  • Informatics / Software  / Computer Algebra

Education

  • Ehime University   Graduate School of Engineering   System Engineering Course

    1994.4 - 1995.3

      More details

  • Ehime University   Graduate School of Engineering   Computer Science Course

    1992.4 - 1994.3

      More details

  • Ehime University   Faculty of Engineering   Department of Computer Science

    1988.4 - 1992.3

      More details

Research History

  • Ehime University   Associate Professor

    2007.4

      More details

  • The University of Western Ontario   Visiting Researcher

    2003.7 - 2003.9

      More details

  • The University of Western Ontario   Postdoctoral Fellow

    2002.6 - 2003.6

      More details

  • Ehime University   Lecturer

    2001.4 - 2007.3

      More details

  • Ehime University   Assistant Professor

    1995.4 - 2001.3

      More details

Professional Memberships

Committee Memberships

  • Japan Society for Symbolic and Algebraic Computation   Editorial Committee, chair  

    2024.9   

      More details

    Committee type:Academic society

    researchmap

  • コンピュータセキュリティシンポジウム2024   実行委員  

    2024.6   

      More details

  • Japan Society for Symbolic and Algebraic Computation   Representative Member  

    2024.4 - 2026.3   

      More details

  • The 84th National Convention of IPSJ   Local Arrangements Committee, vicechair  

    2021.3 - 2022.3   

      More details

    Committee type:Academic society

    researchmap

  • Japan Society for Symbolic and Algebraic Computation   Editorial Committee, vicechair  

    2021.1 - 2024.8   

      More details

    Committee type:Academic society

    researchmap

  • コンピュータセキュリティシンポジウム2020   実行委員  

    2020.4 - 2020.12   

      More details

    Committee type:Academic society

    researchmap

  • 2020電気・電子・情報関係学会四国支部連合大会   プログラム編集委員会委員  

    2020.4 - 2020.12   

      More details

  • 電気関係学会四国支部連合大会   実行委員会委員  

    2019.4 - 2020.3   

      More details

    Committee type:Academic society

    researchmap

  • 情報処理学会四国支部   支部幹事(庶務)  

    2018.6 - 2020.5   

      More details

    Committee type:Academic society

    researchmap

  • 電気関係学会四国支部連合大会   実行委員会委員(総務)、プログラム編集委員会(委員長)、現地実行委員会(総務)、優秀発表賞および英語発表奨励賞選考委員  

    2018.4 - 2019.3   

      More details

    Committee type:Academic society

    researchmap

  • 情報処理学会四国支部   支部委員  

    2017.6 - 2018.5   

      More details

    Committee type:Academic society

    researchmap

  • 電気関係学会四国支部連合大会   実行委員、プログラム編集委員、優秀発表賞及び英語発表賞選考委員  

    2017   

      More details

    Committee type:Academic society

    researchmap

  • 情報科学技術フォーラム(FIT)   現地実行委員  

    2015   

      More details

    Committee type:Academic society

    researchmap

  • 日本数式処理学会   基礎理論分科会運営委員会委員  

    2014 - 2016   

      More details

    Committee type:Academic society

    researchmap

  • IEEE   IEEE四国支部Membership Development Chair  

    2013 - 2014   

      More details

    Committee type:Academic society

    researchmap

  • 第42回数値解析シンポジウム   現地実行委員  

    2013   

      More details

    Committee type:Academic society

    researchmap

  • IEEE   IEEE四国支部Secretary  

    2011 - 2012   

      More details

    Committee type:Academic society

    researchmap

  • IEEE   IEEE四国支部Nominations activities Chair  

    2007 - 2008   

      More details

    Committee type:Academic society

    IEEE

    researchmap

  • 情報処理学会   情報処理学会論文誌査読委員  

    2006 - 2009   

      More details

    Committee type:Academic society

    情報処理学会

    researchmap

  • Applications of Computer Algebra   The Applications of Computer Algebra Working Group  

    2005.4   

      More details

    Committee type:Academic society

    researchmap

  • 日本数式処理学会   編集委員  

    2004 - 2005   

      More details

    Committee type:Academic society

    日本数式処理学会

    researchmap

▼display all

Papers

  • A Lightweight and Secure One-time RFID Authentication Protocol based on SAS-L2 Reviewed

    Kengo ShimizuSenling WangHiroshi KaiHiroshi TakahashiAkihiro Shimizu

    The 9th International Conference on Consumer Electronics (ICCE) Asia   913 - 916   2024.11

     More details

  • Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNs Reviewed

    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

     More details

  • Deep-BMNN: Implementing Sparse Binary Neural Networks in Memory-Based Reconfigurable Processor (MRP) Reviewed

    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

     More details

  • Computer & Software System Laboratory, Graduate School of Science and Engineering, Ehime University

    Wang Senling, Kai Hiroshi, Takahashi Hiroshi

    Journal of The Japan Institute of Electronics Packaging   27 ( 1 )   169 - 169   2024.1

     More details

    Language:Japanese   Publisher:The Japan Institute of Electronics Packaging  

    DOI: 10.5104/jiep.27.169

    CiNii Research

    researchmap

  • SASL-JTAG: A Light-Weight Dependable JTAG Reviewed

    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

     More details

  • QR code with Superimposed Text Reviewed

    Naoya Tahara, Hiroshi Kai, Hiroshi Takahashi, Senling Wang, Masakatu Morii

    The 24th Asia-Pacific Network Operations and Management Symposium (APNOMS)   1 - 4   2023.9

     More details

    Publishing type:Research paper (international conference proceedings)  

    researchmap

    Other Link: https://dblp.uni-trier.de/rec/conf/apnoms/2023

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

    Shaoqi Wei, Kohei Shiotani, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Gang Wang

    2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC)   1 - 6   2023.6

     More details

    Publishing type:Research paper (international conference proceedings)  

    Identifying optimal test points to maximize fault coverage is crucial for improving field tests of large-scale integrated circuits (LSIs). In this paper, we introduce Deep-TPs-Explorer, a method that utilizes deep graph-convolutional neural networks (GCNs) to identify a more effective set of test points, thereby enhancing the random testability of logic circuits. For efficient training of the GCN, we employ the Advantage Actor-Critic (A2C) reinforcement learning algorithm. The effectiveness of our proposed method is validated using the ISCAS89 and ITC99 benchmark circuits.

    DOI: 10.1109/ITC-CSCC58803.2023.10212888

    Scopus

    researchmap

  • Pade approximant using ISCZ method Reviewed

    MISHIMA Haruka, KAI Hiroshi

    Proceedings of 22th Asian Technology Conference in Mathematics 2017   1 - 8   2017.12

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

  • Secret Sharing Schemes using camera capture images Reviewed

    FUKUSHIMA Takayuki, KAI Hiroshi, KINOSHITA Koji

    Forum on Information Technology   14 ( 4 )   19 - 22   2015.8

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

    researchmap

  • Fake shares detection on a visual secret sharing scheme by rational interpolation Reviewed

    KAI Hiroshi, UEDA Keita

    ACM Communications in Computer Algebra   48 ( 3 )   124 - 126   2014.9

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    researchmap

  • A Secret Sharing Scheme Using Groebner Basis Reviewed

    Hiroshi Kai, Masaki Yamada

    Proceeding of 19th ACA   127 - 128   2013

     More details

  • Dummy code insertion and its efforts on concealment for secure processing Reviewed

    Jun Kawano, Hiroshi Kai, Yoshinobu Higami, Shinya Kobayashi

    Przeglad Elektrotechniczny   88   227 - 230   2012.12

     More details

    Technology of concealing purpose of program is needed for profitable uses of an external grid. We propose dummy code insertion technique for concealment technology. We have implemented one kind of technique of dummy code insertion on trail. Moreover we evaluate strength of concealment against malicious inspection. We explain the detail of evaluation of dummy code insertion technique in this paper.

    Scopus

    researchmap

  • Polynomial stability with stabilization method Reviewed

    Hiroshi Kai, Yusuke Ochi

    Przeglad Elektrotechniczny   88   185 - 187   2012

     More details

  • The Approach of ICT Human Resource Development through the Use of Private Cloud Environment Reviewed

    Hisayasu Kuroda, Hiroshi Kai, Yoshihiro Fujita, Shinya Kobayashi

    IPSJ Internet and Operation Technology Symposium 2012   31 - 38   2012

     More details

  • Cheater identification on a secret sharing scheme using GCD Reviewed

    Hiroshi Kai, Shigenobu Inoue

    ACM Communications in Computer Algebra   45 ( 1-2 )   119 - 120   2011.3

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    researchmap

  • Rational interpolation and its ill-conditioned property Reviewed

    Hiroshi Kai

    Symbolic-Numeric Computation   47 - 53   2007

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:BIRKHAUSER VERLAG AG  

    A rational interpolation is obtained by solving a system of linear equations. However, when the system is solved by floating point arithmetic, there appears a pathological feature such as undesired zeros and poles. In this paper, a method is described with the help from computer assisted proof to eliminate the feature.

    Web of Science

    researchmap

  • A hybrid integral for parametrized rational functions Reviewed

    Hiroshi Kai, Nanami Nakagawa, Matu-Tarow Noda

    SNC'07 - Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation   201 - 202   2007

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    We present a hybrid integral to obtain symbolic results of an indefinite integral where the integrand is an univariate rational function whose coeficients have a parameter. We consider calculating power series roots of the denominator polynomial by applying Hensel construction. Accurate numerical results for a definite integral are easily obtained by simple substitutions of upper and lower bounds of integral into obtained approximate symbolic results.Numerical experiments show that the hybrid integral works well around the expansion point of the power series roots. Copyright 2007 ACM.

    DOI: 10.1145/1277500.1277531

    Scopus

    researchmap

  • Generating A Mathematical Web Service Client With Xfy Reviewed

    Hiroshi Kai, Takayuki Kawata, Tomomi Nakanishi, Matu-Tarow Noda, Yasushi Tamura

    ACM Communications in Computer Algebra   41   38 - 39   2007

     More details

  • Mathematical documents authoring with xfy Reviewed

    Masaki Kume, Atsushi Miyamoto, Hiroshi Kai, Taisuke Tominari, Matu-Tarow Noda, Yasushi Tamura

    Mathematical User-Interfaces Workshop 2006   1 - 8   2006

     More details

  • Security flaw in SAS-2 protocol Reviewed

    Eddy Cizeron, Hirohisa Aman, Hiroshi Kai, Matu-Tarow Noda

    IEICE TRANSACTIONS ON COMMUNICATIONS   E88B ( 10 )   4081 - 4082   2005.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher:IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG  

    SAS-2 is an alternative of a one-time password authentication protocol SAS, and is developed in order to reduce overhead due to the use of hash functions. The idea of both algorithms is sharing a similar secret number called the verifier that allows a client to be authenticated and that is changed for each new session. However, some of the combinations proposed in [1] to transmit the verifier may contain a security flaw, and the insecure combination results in vulnerability to impersonation attacks.

    DOI: 10.1093/ietcom/e88-b.10.4081

    Web of Science

    researchmap

  • Rational Function Approximation and Its Ill-conditioned Property Reviewed

    Proc.SNC'2005   1 - 4   2005

     More details

  • Approximate GCD and its applications Reviewed

    Proceedings of the Seventh Asian Symposium on Computer Mathematics   215 - 218   2005

     More details

  • ハイブリッド有理関数近似と悪条件問題 Reviewed

    中島裕美, 甲斐博, 野田松太郎

    数式処理   11 ( 3,4 )   141 - 152   2005

     More details

  • Hybrid Method for Computing the Nearest Singular Polynomials Reviewed

    Lihong Zhi, Matu-Tarow Noda, Hiroshi Kai, Wenda Wu

    Japan Journal of Industrial and Applied Mathematics   21 ( 2 )   149 - 162   2004.6

     More details

    Language:English  

    CiNii Books

    researchmap

  • An implementation of Lupin's plot web service Reviewed

    ISSAC2004 posters   1 - 3   2004

     More details

  • Ill-conditioned properties and hybrid rational function approximation Reviewed

    ACA2004   161   2004

     More details

  • Approximate Computation of Pseudovarieties Reviewed

    Robert M. Corless, Hiroshi Kai, Stephen M. Watt

    ACM SIGSAM Bulletin   37 ( 3 )   67 - 71   2003

     More details

  • Hybrid computation of bivariate rational interpolation Reviewed

    KAI Hiroshi, NODA Matu-Tarow

    ACM SIGSAM Bulletin   34   20 - 21   2000.3

     More details

  • Hybrid Method for Solving Polynomial Equations Reviewed

    Lihong Zhi, Yoshio Notake, Hiroshi Kai, Matu-Tarow Noda, Keiichi Shiraishi

    Josai Mathematical Monographs   2   91 - 104   2000.1

     More details

  • Hybrid Rational Function Approximation and Its Accuracy Analysis Reviewed

    Hiroshi Kai, Matu-Tarow Noda

    Reliable Computing   6 ( 4 )   429 - 438   2000

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    We propose a rational function approximation method combining numeric and symbolic computations. Given functions or data are first interpolated by a rational function, i.e. the ratio of polynomials. Undesired poles appearing in the rational interpolant are removed by an approximate-GCD method. We call the rational approximation a Hybrid Rational Function Approximation and abbreviate it as HRFA. In this paper we give a short survey of the HRFA and then discuss its accuracy analysis by using the approximate-GCD proposed by Pan.

    DOI: 10.1023/A:1009906513972

    Scopus

    researchmap

  • Error Estimation of Hybrid Rational Function Approximation Reviewed

    Hiroshi Kai

    40 ( 4 )   1754 - 1759   1999.4

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    researchmap

  • Hybrid method for solving polynomial equations

    LH Zhi, Y Notake, H Kai, MT Noda, KI Shiraishi

    PROCEEDINGS OF THE FOURTH ASIAN TECHNOLOGY CONFERENCE IN MATHEMATICS   231 - 244   1999

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)   Publisher:ATCM, INC  

    We discuss how to decompose the zero set of a multivariate polynomial system with inexact coefficients to a sequence of zero sets of reduced triangular sets in a numerically stable way.

    Web of Science

    researchmap

  • Accuracy Analysis of Hybrid Rational Function Approximation

    40 ( 4 )   1754 - 1759   1999

     More details

  • Algoritlms of Generalized Invovses and Their Stabilization(共著)

    Proceedings of the Third Asian Technology Conference in Mathematics   333 - 341   1998

     More details

  • Symbllic - Numeric Interface : How to Combine Symbolic and Numeric Computations? Reviewed

    NODA Matsu_tarow, KAI Hiroshi

    IPSJ Magazine   39 ( 2 )   105 - 110   1998

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    CiNii Books

    researchmap

  • Polynomial algorithms for Otimization Problems(共著)

    Proceedings of the Third Asian Technology Conference in Mathematics   404 - 413   1998

     More details

  • Hybrid Computation of Canchy-type Singular Integral Equations(共著) Reviewed

    Hiroshi Kai, Matu-Tarow Noda

    AMC SIGSAM Bulletin   32 ( 2 )   59 - 60   1998

     More details

  • Cauchy principal value integral using hybrid integral Reviewed

    KAI Hiroshi, NODA Matu-Tarow

    31   37 - 38   1997

     More details

    Language:English  

    researchmap

  • Continued Fraction Expansion Using Approximate-GCD and Its Application to Hybrid Integral Reviewed

    SIGSAM BULLETIN   31   3   1997

     More details

  • Approximate GCD and Pade Approximation Reviewed

    Hiroshi Kai, Matu-Tarow Noda

    Proceedings of Asian Symposium on Computor Mathematics   81 - 89   1995

     More details

  • A Hybrid Computation for Model Reduction

    Kai Hiroshi, Okazaki Hiroki, Noda Matu-tarow

    Memoirs of the Faculty of Engineering, Ehime University   14   429 - 436   1995

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • Hybrid Rational Function Approximation and Data Smoothing Reviewed

    Hiroshi Kai, Matu-Tarow Noda

    Transactions of the Japan Society for Industrial and Applied Mathematics   3 ( 4 )   323 - 336   1993

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

    researchmap

  • Hybrid rational function approximation and its use in the hybrid integration Reviewed

    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

     More details

▼display all

Books

  • Proceedings of the 2009 International Workshop on Symbolic-Numeric Computation

    KAI Hiroshi, SEKIGAWA Hiroshi( Role: Edit)

    ACM  2009 

     More details

MISC

  • Feature Analysis for Machine Learning based Test Point Insertion

    Shoya Sasaki, Akitaka Ide, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2025.2

     More details

  • 深層強化学習を用いたテストポイント挿入法に対する特徴解析

    佐々木翔也, 王森レイ, 甲斐博, 高橋寛

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • マルウェア亜種の機能推定におけるTemporal Bias の影響に関する研究

    光家遥香, 甲斐博, 王森レイ, 高橋寛

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • Vitis を用いたエッジデバイスにおける高速物体検知のハードウェア実装

    紙田佳祐, 西川竜矢, 王森レイ, 甲斐博, 高橋寛

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • 大規模言語モデルを利用したテスタビリティ評価手法

    井手秋孝, 王森レイ, 甲斐博, 樋上喜信, 高橋寛

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • SV 攻撃に耐性のあるSAS-L2 の安全性評価

    中村凌也, 清水健吾, 岡本悠, 王森レイ, 甲斐博, 高橋寛, 清水明宏

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • Extension of the hologram QR code

    Sota Mori, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Masakatsu Morii

    FIT2024 The 23th Forum on Information Technology   1 - 8   2024.9

     More details

  • バレルシフタによるパターン認識アクセラレータの高速化

    山本隆介, 西川竜矢, 王森レイ, 甲斐博, 高橋寛, 井上克己

    令和6年度電気・電子・情報関係学会四国支部連合大会   1 - 2   2024.9

     More details

  • Acceleration of Flying-Probe Testing using Deep Graph Neural Networks and Reinforcement LearningAcceleration of Flying-Probe Testing using Deep Graph Neural Networks and Reinforcement Learning

    Futo Kurose, Tatsuya Nishikawa, Shaogi Wei, Senling Wang, Shuichi Kameyama, Hiroshi Kai, Hiroshi Takahashi, Kazuya Okada, Koki Yanagida

    2024 Microelectronics Show JIEP Academic Plaza   1 - 6   2024.6

     More details

  • Synchronized RFID authentication protocol using SAS-L2

    Kengo Shimizu, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu

    The 86th National Convention of IPSJ   1 - 2   2024.3

     More details

  • Scalability Enhancement of JTAG Access Mechanism with One-Time Password

    Hisashi Okamoto, Kohei Shiotani, Tatsuya Nishikawa, Senking Wang, Hiroshi Kai, Yoshinobu Higami, Akihiro Shimizu

    The Japan Institute of Electronics Packaging, The 38th Spring Meeting   1 - 4   2024.3

     More details

  • Test Point Selection Method for Multi-Cycle BIST Using Deep Reinforcement Learning

    Kohei Shiotani, Tatsuya Nishikawa, Shaogi Wei, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi

    IEICE Technical Report   123 ( 389 )   23 - 28   2024.2

     More details

  • FPGA Implementation and Performance Evaluation of Memoryism Pattern Matching Accelerator

    Shion Honda, Tatsuya Nishikawa, Xihong Zhou, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi, Katsumi Inoue

    IEICE Technical Report   123 ( 260 )   162 - 167   2023.11

     More details

  • Implementation of Neural Networks in Memory-based Reconfigurable Processor

    Kenta Sasagawa, Tatsuya Nishikawa, Xihong Zhou, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    IEICE Technical Report   123 ( 258 )   112 - 116   2023.11

     More details

  • FPGA Implementation of Object Detection Architecture using Vitis

    Tatsuya Nishikawa, Masaharu Yamanaka, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   119 - 119   2023.9

     More details

  • Scalability Enhancement of JTAG Authentication Mechanism using One-Time Passwords

    Hisashi Okamoto, Jun Ma, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   125 - 125   2023.9

     More details

  • FPGA Implementation and Performance Evaluation of a Memorism Pattern Matching Accelerator

    Shion Honda, Xihong Zhou, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Katsumi Inoue

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   124 - 124   2023.9

     More details

  • A Study on Aesthetic QR Code Generation Method Using Genetic Algorithm

    Daiki Funada, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   232 - 232   2023.9

     More details

  • Authentication Method for RFID System Using SAS-L2

    Kengo Shimizu, Hiroshi Kai, Senling Wang, Hiroshi Takahashi, Akihiro Shimizu

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   216 - 216   2023.9

     More details

  • Implementation of Matrix Operations in a Memory-based Logic Reconfiguration Devices

    Kenta Sasagawa, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   127 - 127   2023.9

     More details

  • Test Pattern Compression with Multi-cycle Testing

    Junpei Nakano, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-Section Joint Convention Record of the Institutees of Electrical and Related Engineers   2022   126 - 126   2023.9

  • FPGA Implementation and Evaluation of JTAG Access Authentication Architecture with One-Time Password

    Ma Jun, Hisashi Okamoto, Wei Shaoqi, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu

    37th Spring Meeting, The Japan Institute of Electronics Packaging   37th   1 - 4   2023.3

  • Test Point Selection Method Using Graph Neural Networks and Deep Reinforcement Learning

    Shaoqi Wei, Kohei Shiotani, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi

    IEICE Technical Report   122 ( 393 )   27 - 32   2023.2

  • Development of QR Code with superimposed Kanji font

    IEICE Technical Report   122 ( 260 )   47 - 52   2022.11

     More details

  • Processing Time Evaluation of SAS Authentication on Low-End Microprocessor

    荻田高史郎, 清水健吾, 中西佳菜子, 甲斐博, WANG S., 高橋寛, 清水明宏

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Aesthetic QR Codes Generation using Erasure Correction of RS Codes

    田原直哉, 甲斐博, WANG S., 高橋寛, 森井昌克

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Fault Diagnosis Capability Enhancement by Multi-cycle Function Operation

    神崎壽伯, WANG S., 甲斐博, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Locking Function Design for SAS-L based JTAG Authentication System

    MA J., 岡本悠, WANG S., 甲斐博, 亀山修一, 高橋寛, 清水明宏

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Test Point Selection using Graph based Reinforcement Learning

    塩谷晃平, WEI S.Q., WANG S., 甲斐博, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Test pattern reduction through multi-cycle testing

    中野潤平, WANG S., 甲斐博, 樋上喜信, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • Design and Implementation of SAS Authentication Circuit for Edge Device

    岡本悠, WANG S., 甲斐博, 高橋寛, 清水明宏

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2022   2022.9

  • On the Low-Cost design for JTAG Authentication

    馬竣, 岡本悠, 王森レイ, 甲斐博, 亀山修一, 高橋寛, 清水明宏

    エレクトロニクス実装学会講演大会講演論文集(CD-ROM)   36th   2022.3

  • An evaluation of computing time of SAS Authentication on a single board computer

    荻田高史郎, 甲斐博, WANG Seiling, 高橋寛, 清水明宏

    電子情報通信学会大会講演論文集(CD-ROM)   2022   2022.3

  • FPGA Implementation and Area Evaluation of JTAG Access Mechanism Using Lightweight One-Time Password Authentication Scheme

    岡本悠, MA Jun, WANG Senling, 甲斐博, 高橋寛, 清水明宏

    電子情報通信学会技術研究報告(Web)   122 ( 283(VLD2022 19-55) )   2022

  • A Software Implementation to Generate Aesthetic QR Code

    福田諒也, WANG S., 甲斐博, 高橋寛, 森井昌克

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • Test Point Selection using Graph Convolutional Neural Networks

    WEI S.Q., WANG S.L., 甲斐博, 樋上喜信, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • Evaluation of Fault Diagnosis Capability of BISD under Multi-Cycle Testing

    WANG Y., Wang S., 樋上喜信, 甲斐博, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • Fault Diagnosis Pattern Generation by Function Operation under Multi-cycle

    神崎壽伯, WANG S., 甲斐博, 樋上喜信, 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • A study on visualizing network traffic using WebGL

    松浦拓海, WANG S., 甲斐博, 高橋寛, 森井昌克

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • A Research on Malware Function Estimation Using Machine Learning

    中島拓哉, 児玉光平, WANG S., 甲斐博, 高橋寛, 森井昌克

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2021   2021.9

  • Report on Computer Security Symposium CSS2020~Systems Supported the Shift to Online and Providing UX~

    Yoshiaki Shiraishi, Shohei Kakei, Makoto Takita, Kohei Isobe, Hiroto Tamiya, Masami Mohri, Shogo Minoura, Yusuke Tomita, Keisuke Furumoto, Masanori Hirotomo, Youji Fukuta, Masato Ikegami, Hiroshi Kai, Naoto Sone, Masakatu Morii

    IPSJ SIG Technical Reports   2021-CSEC-94 ( 3 )   1 - 8   2021.7

     More details

  • A consideration of malware classification by API call sequences and the LZW algorithm

    Kazuki Asanuma, Hiroshi Kai, Masakatu Morii

    The 83rd national Convention of IPSJ   1 - 2   2021.3

     More details

    Authorship:Corresponding author   Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Function Estimation for Malwares based on Similarity and Its Effectiveness

    Kohei Kodama, Hiroshi Kai, Masakatu Morii

    IEICE TECHNICAL REPORT, ICSS2020   13 - 16   2020.11

     More details

  • A Study on Accessing an Information Service System by E-mail

    浅沼和希, 岡田奈々, 松浦拓海, 福田諒也, 児玉光平, 甲斐博, WANG S., 高橋寛

    電気・電子・情報関係学会四国支部連合大会講演論文集(CD-ROM)   2020   2020.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    J-GLOBAL

    researchmap

  • 圧縮アルゴリズムを用いたマルウェア亜種分類の一検討

    児玉光平, 甲斐博, 森井昌克

    令和元年度電気関係学会四国支部連合大会論文集(CD-ROM)   2019.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • A Traffic Visualization Tool with Python

    Anjali Sharma, Hiroshi Kai

    2019.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Raspberry Piを用いた画像処理とCNNによる微小害虫の計数システムの構築

    阿部 寛人, 畝山 勇一朗, 中岡 典弘, 渡辺 友希, 福本 真也, 森田 航平, 中本 裕大, 周 細紅, 河野 靖, 木下 浩二, 一色 正晴, 二宮 崇, 田村 晃裕, 甲斐 博, 高橋 寛, 王 森レイ

    令和元年度電気関係学会四国支部連合大会論文集(CD-ROM)   2019   2019.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    J-GLOBAL

    researchmap

  • enPiT-Pro Embにおける社会人教育実践とその評価

    名倉正剛, 高田広章, 山本雅基, 塩見彰睦, 野口靖浩, 岡村寛之, 高橋寛, 一色正晴, WANG Senling, 甲斐博, 木下浩二, 田村晃裕, 二宮崇, 沢田篤史

    教育システム情報学会全国大会講演論文集(CD-ROM)   44   265 - 266   2019

  • APIコール列のカラー可視化手法を用いたマルウェア分類

    井上 智義, 甲斐 博, 森井 昌克

    平成30年度電気関係学会四国支部連合大会論文集   16-2 - 16-2   2018.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • GPUを用いた多倍長整数の除算の高速化

    亀岡 景太, 甲斐 博

    平成30年度電気関係学会四国支部連合大会論文誌   16-1 - 16-1   2018.9

     More details

    Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Malware Classification Based on Data Compression Algorithm and Its Evaluation

    Sohe Takechi, Hiroshi Kai, Masakatu Morii

    IEICE Technical Report   IA2018-3, ICSS2018-3   13 - 18   2018.6

     More details

    Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Malware Classification Based on Data Compression Algorithm

    TAKECHI Sohe, KAI Hiroshi, MORII Masakatu

    Computer Security Symposium 2017   1053 - 1059   2017.10

     More details

    Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • A Development of an Application for Home Nursing Service

    TAKECHI Sohe, UENO Hikari, MASUNARI Shinsuke, YANO Yoshinori, KAI Hiroshi, TAKAHASHI Hiroshi, NAGAYOSHI Yuko, EGOHIRA Noriko, IIMORI Shunsuke, NAGAI Yasunori

    Shikoku Section Joint Convention Record of The Institutes of Electrical And Related Engineers   220 - 220   2017.9

     More details

    Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Noise Reduction Using Reed Solomon Codes for A Secret Sharing Scheme of Camera Capture Images

    UENO Hikari, KAI Hiroshi, MORII Masakatu

    The 16th Forum on Information Technology   1 - 2   2017.9

     More details

    Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

    researchmap

  • Malware Classification System Based on Behavior and Visualization of Malware

    MISHIMA Haruka, TAMURA Naoki, KAI Hiroshi, MORII Masakatu

    Forum on Information Technology   1 - 2   2016.9

     More details

    Language:Japanese  

    researchmap

  • Secret Sharing Scheme for Noisy Camera Capture Images

    FUKUSHIMA Takayuki, KAI Hiroshi, KINOSHITA Koji, MORII Masakatu

    Forum on Information Technology   1 - 2   2016.9

     More details

    Language:Japanese  

    researchmap

  • Memories on Professor Matu-tarow Noda Reviewed

    SASAKI Tateaki, KAI Hiroshi

    ACM Communications in Computer Algebra   50 ( 2 )   69 - 69   2016

     More details

    Language:English  

    researchmap

  • An Implementation of Malware Visualization System

    URATSUJI Kazuya, KAI Hiroshi, MATSUSHIGE Takahiro, MORII Masakatu

    Forum on Information Technology   14 ( 4 )   159 - 162   2015.8

     More details

    Language:Japanese  

    researchmap

  • A development of a traffic visualization system based on packet-capture information

    TAMURA Naoki, KAI Hiroshi, MORII Masakatu

    Forum on Information Technology   14 ( 4 )   163 - 164   2015.8

     More details

    Language:Japanese  

    researchmap

  • A development of a simulator for malware infections depend on human behavior

    ASO Hiroki, KAI Hiroshi, MORII Masakatu

    Forum on Information Technology   14 ( 4 )   157 - 158   2015.8

     More details

    Language:Japanese  

    researchmap

  • Detection and Identification of Cheaters in (k, n) Secret Sharing Scheme Using Rational Interpolation

    SAKAGUCHI Masataka, KAI Hiroshi

    Forum on Information Technology   14 ( 4 )   281 - 284   2015.8

     More details

    Language:Japanese  

    researchmap

  • Computation of Pade approximation with floating-point coefficients

    MIYAKE Hiroki, KAI Hiroshi

    RIMS Kôkyûroku   1955   27 - 32   2015.7

     More details

    Language:Japanese   Publisher:Kyoto University  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/224046

  • A Study on Visualization of Malware and Its Applications

    2014 ( 2 )   1142 - 1147   2014.10

     More details

    Language:Japanese  

    researchmap

  • L-025 Malware visualization based on the behavior and its classification

    Uratsuji Kazuya, Matsushige Takahiro, Kai Hiroshi, Morii Masakatu

    13 ( 4 )   195 - 200   2014.8

     More details

    Language:English   Publisher:Forum on Information Technology  

    CiNii Books

    researchmap

  • A proposal of a searching method for MathML expressions

    KATAOKA Akihisa, KAI Hiroshi

    Technical report of IEICE. SS   114 ( 127 )   105 - 108   2014.7

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    MathML is a markup language for describing mathematical expressions. There are two types specifications called presentation markup and content markup in the MathML. Many searching methods were proposed for MathML content markup based on its semantic structure. As MathML presentation markup presents notational structure of a mathematical expression, it is difficult to apply a searching method for content markup to MathML presentation markup. In this paper, we will propose a searching method for both markup languages using translation data.

    CiNii Books

    researchmap

  • A proposal of a searching method for MathML expressions

    Akihisa Kataoka, Hiroshi Kai

    IPSJ SIG Notes   2014 ( 17 )   1 - 4   2014.7

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    MathML is a markup language for describing mathematical expressions. There are two types specifications called presentation markup and content markup in the MathML. Many searching methods were proposed for MathML content markup based on its semantic structure. As MathML presentation markup presents notational structure of a mathematical expression, it is difficult to apply a searching method for content markup to MathML presentation markup. In this paper, we will propose a searching method for both markup languages using translation data.

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00102013/

  • セキュアプロセッシングにおけるダミーコードと隠蔽効果の関係

    川野純, 布野晶彦, 甲斐博, 樋上喜信, 小林真也

    情報処理学会シンポジウムシリーズ(CD-ROM)   2012 ( 1 )   ROMBUNNO.1D-3   2012.6

     More details

    Language:Japanese   Publishing type:Rapid communication, short report, research note, etc. (scientific journal)  

    J-GLOBAL

    researchmap

  • A Secret Sharing Scheme Using Rational Approximation (Developments in Computer Algebra Research)

    KAI HIROSHI

    RIMS Kokyuroku   1759   11 - 14   2011.9

     More details

    Publisher:Kyoto University  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/171340

  • 数式データベースを用いた曖昧な数式の発見

    大瀬戸良輔, 甲斐博

    第73回全国大会講演論文集   2011 ( 1 )   723 - 724   2011.3

     More details

    Language:Japanese  

    数式表現に用いられるMathMLにはPresentation MarkupとContent Markupという2種類の形式がある.Content Markupは計算に適しているが,広く一般的にはPresentation Markupが普及している.Presentation MarkupからContent Markupへの変換が可能になれば,Presentation Markupもまた計算が可能になるといえる.しかしながらPresentation Markupのもつ曖昧性のため,一意の変換ができないという問題点がある.本研究では,上記の変換を考える前段階として,数式データベースを構築し,それをもとに曖昧な数式の発見を試みた.

    CiNii Books

    researchmap

  • Development of a Moodle Question Creation Support Environment on the xfy

    MIURA Yuji, SHIMAZU Hironori, KAI Hiroshi

    IEICE technical report   110 ( 305 )   31 - 36   2010.11

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    When we make educational contents with Moodle, we can use the build-in HTML editor in Moodle. However, there are some difficulties for beginners on writing Moodle syntax in the cloze question or the calculated question. In this paper, we propose a new WYSIWYG editing enviroment for Moodle question creation with the xfy. We will show that it become easy to make these questions and also our environment holds capability to use compound XML documents in the Moodle question creation.

    CiNii Books

    researchmap

  • 浮動小数グレブナー基底の悪条件性 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    佐々木 建昭, 甲斐 博

    数理解析研究所講究録   1666   23 - 31   2009.10

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/141082

  • xfy上のMathML content markupエディタの実装と評価 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    河田 貴幸, 片岡 正彰, 甲斐 博, 田村 恭士

    数理解析研究所講究録   1666   164 - 171   2009.10

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/141065

  • xfyにおけるMathML編集機能の開発 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    甲斐 博, 宮本 敦史, 久米 正起, 河田 貴幸, 冨成 泰介, 田村 恭士, 野田 松太郎

    数理解析研究所講究録   1652   196 - 202   2009.6

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/140797

  • 複合数学Webサービスに関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    中西 智美, 池田 理世, 甲斐 博

    数理解析研究所講究録   1652   211 - 217   2009.6

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/140795

  • パラメータを持つ有理関数のハイブリッド積分 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    中川 菜菜美, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1652   203 - 210   2009.6

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/140796

  • Report of the Programming Contest EPOCH

    KOBAYASHI Shin-ya, KAI Hiroshi, AMAN Hirohisa, NODA Matu-Tarow

    IPSJ Magazine   49 ( 6 )   647 - 653   2008.6

     More details

    Language:Japanese   Publisher:Information Processing Society of Japan (IPSJ)  

    CiNii Books

    researchmap

    Other Link: http://id.nii.ac.jp/1001/00060959/

  • Design and evaluation of the xfy MathML content markup editor and its user interface

    KAWATA Takayuki, KAI Hiroshi, TAMURA Yasushi

    IEICE technical report   108 ( 64 )   13 - 18   2008.5

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    We are developing a MathML content markup authoring plug-in in the xfy. The xfy has already had an authoring tool for MathML presentation markup. For reuse and recalculation of mathematical expressions, it is important to hold mathematical semantics of expressions with MathML content markup. In this paper, we evaluate the user interface of the developed plug-in, and compares it with existing MathML editors.

    CiNii Books

    researchmap

  • 有理関数補間を用いた近似GCD計算

    情報処理学会情報処理学会第70回全国大会講演論文集(1)   15 - 16   2008

     More details

  • Construction of a Requests Model from a Requests List

    MIYANISHI Hideaki, YAMADA Hiroyuki, KAI Hiroshi, AMAN Hirohisa

    IEICE technical report   107 ( 392 )   13 - 18   2007.12

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    Requirements acquisition process is the first stage in a software development process that has significant impacts on the following stages. While this process is very important, software developers have inadequate thchnical supports. This paper focuses on a requests list presented by customers. We consider about a requests model, which is constructed from a requests lists, for supporting requirements acquisition. Then, we propose a method for extracting important requests from the model.

    CiNii Books

    researchmap

  • A study on Requirements Acquisition Support from a Requirements List

    MIYANISHI Hideaki, YAMADA Hiroyuki, KAI Hiroshi, AMAN Hirohisa

    IEICE technical report   107 ( 159 )   25 - 30   2007.7

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    Requirements acquisition process is the first stage in a software development process that has significant impacts on the following stage. While this process is very important, software developers have inadequate thchnical support. This paper focuses on a requirements list presented by the customer. We propose about a method for supporting requirements acquisition by extracting important requirements and creating requirements model from requirements list.

    CiNii Books

    researchmap

  • An Implementation of Mathematical Web Services And Their Process Execution

    NAKANISHI Tomomi, IKEDA Riyo, KAI Hiroshi

    IEICE technical report   106 ( 327 )   37 - 42   2006.10

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    A framework, called Lupin, to build problem solving environments(PSE) for scientific computations has been proposed. In this paper, we will show mathematical service description can be done by OWL-S, instead of MSDL which is proposed in MONET project. This allows us to implement mathematical web services using only standard technologies of web services. Furthermore, we will consider an implementation of workflow of mathematical web services to construct a complex system such as PSE. In this paper, BPEL is utilized for this purpose.

    CiNii Books

    researchmap

  • 有理関数補間の不必要な極の解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)

    甲斐 博

    数理解析研究所講究録   1514   115 - 121   2006.9

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/58675

  • パラメータを持つ有理関数のハイブリッド積分

    日本応用数理学会日本応用数理学会2006年度年会講演予稿集   212 - 213   2006

     More details

  • An Implementation of Graph Web Service and Its Application on Mathematical Education

    WATANBE Takumi, KAI Hiroshi

    Technical report of IEICE. KBSE   105 ( 207 )   13 - 17   2005.7

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    We have proposed Lupin, a framework to construct Problem Solving Environments, which can be implemented using Web services and their relevant technologies. In this paper, an implementation of a graph web service to plot elementary functions will be discussed. The ifplot algorithm on Risa/Asir computer algebra system and SVG enable us to manipulate graphs, such as view of several functions and zoom at any points, on the Web. We also discuss its application to provide interactive mathematical education pages.

    CiNii Books

    researchmap

  • ハイブリッド有理関数近似とその悪条件性

    甲斐 博, 野田 松太郎

    数式処理   11 ( 2 )   22 - 24   2005.2

     More details

    Language:Japanese   Publisher:日本数式処理学会  

    CiNii Books

    researchmap

  • xfyにおける数式処理機能について

    数式処理   12 ( 2 )   20 - 23   2005

     More details

  • 数学Webサービスにおけるグラフ表示サービスとその教育への応用

    京都大学数理解析研究所数理解析研究所講究録1456   1456   77 - 86   2005

     More details

  • QRGCDのRisa/Asirへの実装

    数式処理   11 ( 2 )   35 - 38   2004

     More details

  • G関数を用いた数学公式データベースの実装について

    数理解析研究所講究録   1395   205 - 211   2004

     More details

  • 多項式GCDを用いた復号法に関する研究

    数理解析研究所講究録   1395   104 - 110   2004

     More details

  • Approximate Computation of Pseudovarieties

    数理解析研究所講究録   1395   71 - 75   2004

     More details

  • 多項式GCDを用いた復号法に関する考察

    上原 剛, 甲斐 博, 野田 松太郎

    数式処理   10 ( 2 )   22 - 23   2003.9

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 量子アルゴリズムを用いた多項式GCDの計算その2

    武田 邦敬, 甲斐 博, 野田 松太郎

    数式処理   9 ( 4 )   22 - 23   2003.4

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 代数的アルゴリズムに対する量子計算

    数理解析研究所講究録   1335   119 - 126   2003

     More details

  • 近似代数計算と有理関数近似に関する研究

    数理解析研究所講究録   1335   188 - 195   2003

     More details

  • 区間演算によるハイブリッド有理関数近似と安定化理論について (Computer Algebra : Algorithms, Implementations and Applications)

    村上 裕美, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1295   197 - 202   2002.11

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/42619

  • 安定化したWu's methodのロボット制御への応用 (Computer Algebra : Algorithms, Implementations and Applications)

    白石 啓一, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1295   203 - 208   2002.11

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/42620

  • 量子アルゴリズムを用いた多項式GCDの計算 (Computer Algebra : Algorithms, Implementations and Applications)

    武田 邦敬, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1295   62 - 68   2002.11

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/42599

  • 有理関数近似の離散化における問題点 (数学解析の計算機上での理論的展開とその遂行可能性)

    村上 裕美, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1286   34 - 50   2002.9

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/42459

  • 数式処理と数値計算--ハイブリッド計算について

    甲斐 博, 野田 松太郎

    工学ジャーナル   1   207 - 215   2002.3

     More details

    Language:Japanese   Publisher:愛媛大学工学部  

    CiNii Books

    researchmap

  • Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究)

    白石 啓一, 那須 英正, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1199   10 - 19   2001.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/64932

  • Wu's methodの浮動小数化 (数式処理における理論と応用の研究)

    野竹 禎雄, 甲斐 博, 支 麗紅, 野田 松太郎

    数理解析研究所講究録   1199   1 - 9   2001.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/64933

  • 自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究)

    水口 寛之, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1199   20 - 21   2001.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究)

    甲斐 博, 野田 松太郎

    数理解析研究所講究録   1199   36 - 42   2001.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/64929

  • 二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム

    甲斐 博, 野田 松太郎

    数式処理   8 ( 1 )   40 - 41   2000.11

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 誤差を含んだ係数を持つ連立代数方程式の代数的解法

    野竹 禎雄, 甲斐 博, 野田 松太郎

    数式処理   8 ( 1 )   35 - 37   2000.11

     More details

    Language:Japanese   Publisher:日本数式処理学会  

    CiNii Books

    researchmap

  • 安定化理論を用いた連想記憶の計算

    水口 寛之, 甲斐 博, 野田 松太郎

    数式処理   8 ( 1 )   44 - 45   2000.11

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究)

    甲斐 博, 木原 信二, 野田 松太郎

    数理解析研究所講究録   1138   77 - 86   2000.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

    Other Link: http://hdl.handle.net/2433/63824

  • Hybrid Computation of Bivariate Rational Function Approximation (Program Transformation, Symbolic Computation and Algebraic Manipulation)

    Kai Hiroshi, Noda Matu-Tarow

    RIMS Kokyuroku   1125   123 - 128   2000.1

     More details

    Language:Japanese   Publisher:Kyoto University  

    CiNii Books

    researchmap

  • 有理関数近似の誤差評価と近似GCD

    甲斐 博, 野田 松太郎

    数式処理   7 ( 3 )   27 - 28   1999.11

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 一般逆行列を用いたNearest Singular Polynomialsの計算

    水口 寛之, ZHI Lihong, 甲斐 博, 野田 松太郎

    数式処理   7 ( 3 )   29 - 30   1999.11

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • ハイブリッド計算によるCauchy型特異積分方程式の解法について (数式処理における理論と応用の研究)

    甲斐 博, 野田 松太郎

    数理解析研究所講究録   1085   151 - 158   1999.3

     More details

    Publisher:京都大学  

    CiNii Books

    researchmap

  • P-irreducibility of Positive Polynomials (Theory and Application in Computer Algebra)

    Zhi Lihong, Noda Matu-Tarow, Kai Hiroshi, Liu Zhuojun

    RIMS Kokyuroku   1085   159 - 169   1999.3

     More details

    Language:English   Publisher:Kyoto University  

    CiNii Books

    researchmap

  • ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法

    甲斐 博, 野田 松太郎

    愛媛大学工学部紀要   ( 18 )   419 - 424   1999.2

     More details

    Language:Japanese   Publisher:愛媛大学工学部  

    CiNii Books

    researchmap

  • Algorithm for Computing the Nearest Singular Polynomial

    ZHI Lihong, NODA Matu-Tarow, KAI Hiroshi, WU Wenda

    7 ( 1 )   25 - 26   1998.12

     More details

    Language:English  

    CiNii Books

    researchmap

  • ハイブリッド有理関数近似を用いたCauchy型特異積分方程式の近似解法

    甲斐 博, 野田 松太郎

    数式処理   7 ( 1 )   27 - 28   1998.12

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 代数的手法を用いた非線形計画問題の求解

    白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎

    数式処理   7 ( 1 )   31 - 32   1998.12

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Solving Non-Linear Programming Problem by Algebraic Computations

    SHIRAISHI Kei-ichi, KAI Hiroshi, NODA Matu-Tarow

    Technical report of IEICE. SS   98 ( 295 )   9 - 14   1998.9

     More details

    Language:Japanese   Publisher:The Institute of Electronics, Information and Communication Engineers  

    An algebraic method to solve optimization problems are discussed. The problem is to maximize or minimize an objective function under some constraints. Here, we consider the objective function and constraints which are expressed as polynomials. In the algebraic method, the function and constraints are changed by a set of polynomial equations by adding slack variables. The set of polynomial equations is reduced algebraically to a univariate polynomial (algebraic) equation by Grobner basis computations. In the reduction process, a termordering of variables become inportant for the Grobner basis computation. Results by two types of the ordering, the lexicographic (Lex) ordring and the reverse lexicographic (DegRevLex and abbreviate simply DRL) ordering, are discussed. The resulting equation is solved by using algebraic Sturm's theorem. The method is applied to practical examples.

    CiNii Books

    researchmap

  • ある種の非線形計画問題の代数的解法について(数式処理における理論と応用の研究)

    白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎

    数理解析研究所講究録   1038   146 - 153   1998.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 近似的GCDとハイブリッド有理関数近似の誤差の関係について(数式処理における理論と応用の研究)

    甲斐 博, 齋藤 友克, 野田 松太郎

    数理解析研究所講究録   1038   139 - 145   1998.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 浮動小数演算に基づく安定化理論計算システムの作成(数式処理における理論と応用の研究)

    水口 寛之, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   1038   177 - 182   1998.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • An Algebraic Method for a Non-Linear Programming Problem

    Keiichi Shiraishi, Hiroshi Kai, Matutarow Noda

    Memoirs of the Faculty of Engineering, Ehime University   17   383 - 392   1998.2

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • About Continuity Condition of Rational Interpolation

    Hiroshi Kai, Tomokatsu Saito, Matutarow Noda

    Memoirs of the Faculty of Engineering, Ehime University   17   393 - 400   1998.2

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • ISSAC'97 Poster Summary: Cauchy Principal Value Integral using Hybrid Integral

    KAI Hiroshi, NODA Matu-Tarow

    6 ( 2 )   pp.55 - pp.57   1998.1

     More details

    Language:English  

    CiNii Books

    researchmap

  • An application of symbolic computation to an aotomatic selection problem of optimum numeric softwares

    9 ( 1 )   69 - 82   1998.1

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Solving Non-linear Programming Problems by Algebraic Computations

    9 ( 1 )   101 - 112   1998.1

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Continuity Conditions of Rational Interpolation over the Interval

    9 ( 1 )   43 - 52   1998

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Continuity Conditions of Rational Interpolation over the Interval

    Josai Information Sciences Researches   9 ( 1 )   43 - 52   1998

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Continuity Conditions of Rational Interpolation over the Interval

    9 ( 1 )   43 - 52   1998

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 有理関数補間の連続性の条件とHRFAの関係について

    甲斐 博, 齋藤 友克, 野田 松太郎

    数式処理   6 ( 1 )   8 - 9   1997.10

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 非線形(多項式)計画問題の代数的解法

    白石 啓一, 甲斐 博, 齋藤 友克, 野田 松太郎

    数式処理   6 ( 1 )   10 - 11   1997.10

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Algebraic Method for Non-linear Programming

    55   293 - 294   1997.9

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • 数式処理システムとデータベースの結合とデータ解析への応用(数式処理における理論と応用の研究)

    白石 啓一, 甲斐 博, 齋藤 友克[他]

    数理解析研究所講究録   986   174 - 180   1997.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • Risa/Asir による一般逆行列の計算とその連想記憶への応用(数式処理における理論と応用の研究)

    水口 寛之, 甲斐 博, 野田 松太郎

    数理解析研究所講究録   986   166 - 173   1997.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 近似的GCDを用いた連分数展開のハイブリッド積分への応用(数式処理における理論と応用の研究)

    甲斐 博, 野田 松太郎

    数理解析研究所講究録   986   157 - 165   1997.4

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • Approximate-GCD and Continued Fraction Expansion

    Hiroshi Kai, Matsutaro Noda

    Memoirs of the Faculty of Engineering, Ehime University   16   493 - 500   1997.2

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • 連分数展開による次数低下した有理関数の誤差評価

    甲斐 博, 野田 松太郎

    数式処理   5 ( 1 )   42 - 43   1996.12

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Error Estimate on Hybrid Rational Function Approximation

    Kai Hiroshi, Noda Matsu-Tarow

    Memoirs of the Faculty of Engineering, Ehime University   15   517 - 525   1996.2

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • 次数低下した有理関数の誤差評価

    甲斐 博, 菅野 幸夫, 野田 松太郎

    数理解析研究所講究録   941   194 - 199   1996

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 近似的GCDとPade近似の関係(数式処理における理論とその応用の研究)

    甲斐 博, 野田 松太郎

    数理解析研究所講究録   920   74 - 81   1995.8

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • 近似的GCDとPad(]E85EE[)近似の関係

    京都大学数理研・研究集会   1995

     More details

  • A Hybrid Computation for Model Reduction

    Kai Hiroshi, Okazaki Hiroki, Noda Matu-tarow

    Memoirs of the Faculty of Engineering, Ehime University   14   429 - 436   1995

     More details

    Language:Japanese   Publisher:Ehime University  

    CiNii Books

    researchmap

  • ハイブリッド有理関数近似によるデ-タの平滑化と主値積分

    甲斐 博, 野田 松太郎

    愛媛大学工学部紀要   ( 13 )   p487 - 502   1994.2

     More details

    Language:Japanese   Publisher:愛媛大学工学部  

    CiNii Books

    researchmap

  • 近似的GCDを用いた有理関数近似(数式処理における理論と応用の研究)

    甲斐 博, 野田 松太郎

    数理解析研究所講究録   848   147 - 161   1993.9

     More details

    Language:Japanese   Publisher:京都大学  

    CiNii Books

    researchmap

  • ハイブリッド有理関数近似による主値積分

    京都大学数理研・研究集会   1993

     More details

  • Rational Function Approximation by Using Approximate GCD Algorithm

    45   39 - 40   1992.9

     More details

    Language:Japanese  

    CiNii Books

    researchmap

  • Rational function approximation by using approximate GCD

    Noda Matu-Tarow, Miyahiro Eiichi, Kai Hiroshi

    RIMS Kokyuroku   787   150 - 162   1992.6

     More details

    Language:Japanese   Publisher:Kyoto University  

    CiNii Books

    researchmap

▼display all

Presentations

  • 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 

     More details

    Event date: 2024.11

    researchmap

  • Extension of the hologram QR code

    Sota Mori, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Masakatu Morii

    FIT2024  2024.9 

     More details

    Event date: 2024.9

    researchmap

  • 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 

     More details

    Event date: 2024.8

    researchmap

  • 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 

     More details

    Event date: 2024.7

    researchmap

  • SASL2 Security Testing with Formal Verification

    Ryoya Nakamura, Kengo Shimizu, Hisashi Okamoto, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu

    The 32nd Annual Conference of the Japan Society for Symbolic and Algebraic Computation  2024.6 

     More details

    Event date: 2024.6

    researchmap

  • Acceleration of Flying-Probe Testing using Deep Graph Neural Networks and Reinforcement Learning

    Futo Kurose, Tatsuya Nishikawa, Shaoqi Wei, Senling Wang, Shuichi Kameyama, Hiroshi Kai, Hiroshi Takahashi, Kazuya Okada, Koki Yanagida

    2024 Microelectronics Show JIEP Academic Plaza  2024.6 

     More details

    Event date: 2024.6

    researchmap

  • Synchronized RFID authentication protocol using SAS-L2

    Kengo Shimizu, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Akihiro Shimizu

    The 86th National Convention of IPSJ  2024.3 

     More details

    Event date: 2024.3

    researchmap

  • Scalability Enhancement of JTAG Access Mechanism with One-Time Password

    Hisashi Okamoto, Kohei Shiotani, Tatsuya Nishikawa, Senking Wang, Hiroshi Kai, Yoshinobu Higami, Akihiro Shimizu

    The Japan Institute of Electronics Packaging, The 38th Spring Meeting  2024.3 

     More details

    Event date: 2024.3

    researchmap

  • Test Point Selection Method for Multi-Cycle BIST Using Deep Reinforcement Learning

    Kohei Shiotani, Tatsuya Nishikawa, Shaogi Wei, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi

    IEICE DC  2024.2 

     More details

    Event date: 2024.2

    researchmap

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

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

    第37回 エレクトロニクス実装学会 春季講演大会  2023.3 

     More details

    Event date: 2023.3

    researchmap

  • Test Point Selection Method Using Graph Neural Networks and Deep Reinforcement Learning

    Shaoqi Wei, Kohei Shiotani, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi

    IEICE DC  2023.2 

     More details

    Event date: 2023.2

    researchmap

  • 漢字フォントを重畳したQRコードの開発

    田原直哉, 甲斐 博, 森井昌克

    電子情報通信学会研究会(ISEC, SITE, LOIS)  2022.11 

     More details

    Event date: 2022.11

    researchmap

  • エッジデバイスにおける SAS 認証回路の設計と実装

    岡本 悠, 王 森レイ, 甲斐 博, 高橋 寛, 清水 明宏

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • マルチサイクルテストによるテストパターン削減

    中野 潤平, 王 森レイ, 甲斐 博, 樋上 喜信, 高橋 寛

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • ローエンドエッジデバイスにおける SAS 認証方式の処理時間の評価

    荻田 高史郎, 清水 健吾, 中西 佳菜子, 甲斐 博, 王 森レイ, 高 橋 寛, 清水 明宏

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • RS 符号の消失訂正を用いた Aesthetic QR コードの 生成法

    田原 直哉, 甲斐 博, 王 森レイ, 高橋 寛, 森井 昌克

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • マルチサイクルの機能動作による故障診断能力の向 上について

    神崎 壽伯, 王 森レイ, 甲斐 博, 高橋 寛

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • SAS-L を用いた JTAG 認証システムのアクセスポー トロック機能回路の設計と実装

    馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • グラフ構造強化学習を用いたテスト検査点選定法

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

    令和 4 年度 電気・電子・情報関係学会四国支部連合大会  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • 消失誤り訂正によるAesthetic QR コードの生成

    甲斐博

    GCD and related topics, GCDART2022  2022.9 

     More details

    Event date: 2022.9

    researchmap

  • 深層強化学習を用いた検査点の選定法

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

    第85回FTC研究会  2022.7 

     More details

    Event date: 2022.7

    researchmap

  • Aesthetic QR コードを生成するソフトウェアの実装 に関する研究

    福田 諒也, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • グラフ畳み込みニューラルネットワークを用いたテストポイント選定について

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

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • マルチサイクルテストの導入による組込自己診断の故障診断能力評価

    王宇超, 王森レイ, 樋上喜信, 甲斐博, 高橋寛

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • マルチサイクル機能動作による故障診断用パターン生成

    神崎 壽伯, 王 森レイ, 樋上 喜信, 甲斐 博, 高橋 寛

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • WebGL によるネットワークトラフィック可視化方法の検討

    松浦 拓海, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • 機械学習を用いたマルウェアの機能推定に関する 研究

    中島 拓哉, 児玉 光平, 王 森レイ, 甲斐 博, 高橋 寛, 森井 昌克

    令和3年度電気・電子・情報関係学会四国支部連合大会  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • enPiT-Pro Emb 組込みシステム技術者のための技術展開力育成プログラムの紹介

    山本雅基, 高田広章, 福島泰子, 塩見彰睦, 野口靖浩, 岡村寛之, 高橋寛, 一色正晴, 王森レイ, 甲斐博, 木下浩二, 田村晃裕, 二宮崇, 沢田篤史, 名倉正剛

    第23回組込みシステム技術に関するワークショップ(SWEST23)  2021.9 

     More details

    Event date: 2021.9

    researchmap

  • コンピュータセキュリティシンポジウムCSS2020オンライン開催報告

    白石 善明, 掛井 将平, 瀧田 愼, 磯部 光平, 田宮 寛人, 毛利 公美, 箕浦 翔悟, 冨田 裕涼, 古本 啓祐, 廣友 雅徳, 福田 洋治, 池上 雅人, 甲斐 博, 曽根 直人, 森井 昌克

    情報処理学会第94回CSEC・第43回SPT合同研究発表会  2021.7 

     More details

    Event date: 2021.7

    researchmap

  • A consideration of malware classification by API call sequences and the LZW algorithm

    Kazuki Asanuma, Hiroshi Kai, Masakatu Morii

    The 83rd National Convention of IPSJ  2021.3 

     More details

    Event date: 2021.3

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Function Estimation for Malwares based on Similarity and Its Effectiveness

    Kohei Kodama, Hiroshi Kai, Masatu Morii

    2020.11 

     More details

    Event date: 2020.11

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 電子メールによる情報提供システムへのアクセス方法の検討

    浅沼和希, 岡田奈々, 松浦拓海, 福田諒也, 児玉光平, 甲斐博, 王森岭, 高橋 寛

    令和2年度電気・電子・情報関係学会四国支部連合大会  2020.9 

     More details

    Event date: 2020.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • 圧縮アルゴリズムを用いたマルウェア亜種分類の一検討

    児玉光平, 甲斐博, 森井昌克

    令和元年度電気関係学会四国支部連合大会  2019.9 

     More details

    Event date: 2019.9

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • A Traffic Visualization Tool with Python

    Sharma Anjari, Hiroshi Kai

    2019.9 

     More details

    Event date: 2019.9

    Language:English   Presentation type:Oral presentation (general)  

    researchmap

  • enPiT-Pro Emb における社会人教育実践とその評価

    名倉 正剛, 高田 広章, 山本 雅基, 塩見 彰睦, 野口 靖浩, 岡村 寛之, 高橋 寛, 一色 正晴, 王 森岭, 甲斐 博, 木下 浩二, 田村 晃裕, 二宮 崇, 沢田 篤史

    第44回教育システム情報学会全国大会  2019.9 

     More details

    Event date: 2019.9

    researchmap

  • Raspberry Piを用いた画像処理とCNNによる微小害虫の計数システムの構築

    阿部 寛人, 畝山 勇一朗, 中岡 典弘, 渡辺 友希, 福本 真也, 森田 航平, 中本 裕大, 周 細紅, 河野 靖, 木下 浩二, 一色 正晴, 二宮 崇, 田村 晃裕, 甲斐 博, 高橋 寛, 王 森レイ

    令和元年度電気関係学会四国支部連合大会論文集(CD-ROM)  2019.9 

     More details

    Event date: 2019.9

    Presentation type:Oral presentation (general)  

    researchmap

  • Math authoring on xfy

    Masaki Kume, Atsushi Miyamoto, Hiroshi Kai, Matu-Tarow Noda

    International Conference on Applications of Computer Algebra 

     More details

    Event date: 2005.7 - 2005.8

    researchmap

  • Authentication Method for RFID System Using SAS-L2

    Kengo Shimizu, Hiroshi Kai, Senling Wang, Hiroshi Takahashi, Akihiro Shimizu

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • Implementation of Matrix Operations in a Memory-based Logic Reconfiguration Devices

    Kenta Sasagawa, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • Test Pattern Compression with Multi-cycle Testing

    Junpei Nakano, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • Scalability Enhancement of JTAG Authentication Mechanism using One-Time Passwords

    Junpei Nakano, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • FPGA Implementation and Performance Evaluation of a Memorism Pattern Matching Accelerator

    Shion Honda, Xihong Zhou, Senling Wang, Hiroshi Kai, Hiroshi Takahashi, Katsumi Inoue

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • FPGA Implementation of Object Detection Architecture using Vitis

    Tatsuya Nishikawa, Masaharu Yamanaka, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • Accelerated Multiple-Precision Integer Division using GPUs

    KAMEOKA Keita, KAI Hiroshi

    Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers 2018  2018.9 

     More details

    Presentation type:Oral presentation (general)  

    researchmap

  • A Study on Aesthetic QR Code Generation Method Using Genetic Algorithm

    Daiki Funada, Senling Wang, Hiroshi Kai, Hiroshi Takahashi

    2023 Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers  2023.9 

     More details

  • A research on Pade approximant using ISCZ method

    MISHIMA Haruka, KAI Hiroshi

    Risa/Asir Conference 2017  2017.3 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • An Improvement of Pade approximant using extended Euclidean Algorithm by ISCZ method

    MISHIMA Haruka, KAI Hiroshi

    26th Annual Meeting on Japan Society for Symbolic and Algebraic Computation  2017.6 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • データ圧縮アルゴリズムによるマルウェア分類とその評価

    武智 聡平, 甲斐 博, 森井 昌克

    情報通信システムセキュリティ研究会(ICSS)  2018.6 

     More details

    Presentation type:Oral presentation (general)  

    researchmap

  • A malware classification using a color visualization method of API call sequences

    INOUE Tomoyoshi, KAI Hiroshi, MORII Masakatu

    Shikoku-section Joint Convention of the Institutes of Electrical and related Engineers 2018  2018.9 

     More details

    Presentation type:Oral presentation (general)  

    researchmap

  • Secret Sharing Scheme for Noisy Camera Capture Images

    FUKUSHIMA Takayuki, KAI Hiroshi, KINOSHITA Koji, MORII Masakatsu

    Forum on Information Technolog  2016.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • Malware Classification System Based on Behavior and Visualization of Malware

    MISHIMA Haruka, TAMURA Naoki, KAI Hiroshi, MORII Masakatsu

    Forum on Information Technolog  2016.9 

     More details

    Language:Japanese   Presentation type:Oral presentation (general)  

    researchmap

  • シングルボードコンピュータ上でのSAS認証方式の計算時間の評価

    荻田高史郎, 甲斐博, 王森レイ, 高橋寛, 清水明宏

    2022年電子情報通信学会総合大会  2022.3 

     More details

  • JTAG認証機構の軽量化設計について

    馬 竣, 岡本 悠, 王 森レイ, 甲斐 博, 亀山 修一, 高橋 寛, 清水 明宏

    第36回エレクトロニクス実装学会春季講演大会  2022.3 

     More details

▼display all

Awards

  • Student Encouragement Award of 86th IPSJ National Convention

    2024.3   IPSJ   Synchronized RFID authentication protocol using SAS-L2

    Kengo Shimizu

     More details

  • LOIS Good Presentation Award

    2022.11   IEICE-LOIS   Development of QR Code with superimposed Kanji font

    Naoya Tahara

     More details

  • 情報処理学会第83回全国大会学生奨励賞

    2021.3   情報処理学会   APIコール列とLZWアルゴリズムを用いたマルウェア亜種分類の一検討

    浅沼和希

     More details

  • Director Award

    2019.6   Ministry of Internal Affairs and Communications, Shikoku Bureau of Telecommunications  

    Ehime University, d, other

     More details

  • FIT Encouragement Award

    2016.9   Forum on Information Technology 2016  

    FUKUSHIMA Takayuki(stude

     More details

  • FIT Young Researcher’s Award

    2016.9   Forum on Information Technology 2016  

    FUKUSHIMA Takayuki(stude

     More details

  • Encouragement Award

    2016.3   Information Systems Education Contest 2015  

    KOBAYASHI Shinya, KURODA Hisayasu, HIGAMI Yoshinobu, KAI Hiroshi, UTO Toshiyuki, KINOSHITA Koji, ENDO Keiichi

     More details

  • FIT Encouragement Award

    2015.5   Forum on Information Technology 2015  

    FUKUSHIMA Takayuki(stude

     More details

  • FIT Encouragement Award

    2014.9   Forum on Information Technology 2014  

    URATSUJI Kazuya(stude

     More details

  • 情報処理学会創立50周年記念第72回全国大会学生奨励賞

    2010   情報処理学会  

    片岡正彰

     More details

▼display all

Research Projects

  • 生成AI等を活用した図面画像からの特徴量抽出に関する研究

    2024.12 - 2025.3

    今治造船株式会社 

    王森レイ, 甲斐博, 高橋寛, 乗松真二, 二宮崇, 梶原智之, 後藤功雄, 木下浩二, 一色正晴

      More details

  • センサー技術,VR技術,および機械学習を利活用した「安全体感教育」の実現可能性評価

    2024.6 - 2025.3

    株式会社イージーエス  センサー技術,VR技術,および機械学習を利活用した「安全体感教育」の実現可能性評価

    高橋寛, 甲斐博, 王森レイ, 二宮崇, 梶原智之, 木下浩二, 一色正晴

      More details

  • 船舶工学(今治造船)寄附講座

    2024.4 - 2029.3

    今治造船株式会社  船舶工学(今治造船)寄附講座

    山内智博, 田中進, 豊田洋通, 高橋寛, 二宮崇, 中畑和之, 都築伸二, 甲斐博, 木下浩二, 一色正晴

      More details

  • Full Life-cycle Reliability Design for Chiplet System

    2023.4 - 2025.12

    Senling WANG, Hiroshi KAI, Shuichi KAMEYAMA, Yoshinobu HIGAMI, Hiroshi TAKAHASHI, Hiroyuki YOTSUYANAGI, Xiaoqing WEN, Tianming Ni

      More details

  • 受付アプリ(おこまり相談)を容易かつ正確に運用するためのスマートフォン 用アプリ開発

    2022.4 - 2024.3

    一般財団法人日本礼儀作法協会 

      More details

  • 感性価値を考慮したAI開発の構築の研究

    2019.4 - 2020.3

    株式会社ストライクファースト  企業共同研究 

    高橋 寛

      More details

    Grant type:Competitive

    researchmap

  • 組込みシステム技術者のための技術展開力育成プログラム

    2017.4 - 2022.3

    文部科学省  成長分野を支える情報技術人材の育成拠点の形成(enPiT)enPiT-Pr 

    高田 広章

      More details

    Grant type:Competitive

    researchmap

  • Smartphone Application Development on Home Health Care Program

    2017.4 - 2018.3

    Medical corporation Yuunomori  Collaborative research with a company 

    TAKAHASHI Hiroshi

      More details

    Grant type:Competitive

    researchmap

  • 組込みシステム産業の成長を支える人材育成の拠点形成(QuadPro)

    2016.4 - 2021.3

    文部科学省  成長分野を支える情報技術人材の育成拠点の形成(enPiT) 

    高田 広章

      More details

    Grant type:Competitive

    researchmap

  • Measures of Imitation And Trial Products Development of Measuring Equipment Using Artifact Metrics And Authentication Cloud

    2013.4 - 2014.3

    Kyoritsu Electrical Instruments Works Ltd.  Joint research 

    TSUZUKI Shinji

      More details

    Grant type:Competitive

    researchmap

  • Mathematical Document Processing on the xfy

    2005.4 - 2010.3

    JustSystems Corporation  Joint research 

    KAI Hiroshi

      More details

    Authorship:Principal investigator  Grant type:Competitive

    researchmap

  • ハイブリッド計算による連立代数方程式解法に関する研究

    2002

    日本学術振興会  科学研究費助成事業  若手研究(B)

    甲斐 博

      More details

    Grant amount:\800000 ( Direct Cost: \800000 )

    researchmap

  • Study of Algorithms and Applications of Approximate Algebra

    2000.4 - 2010.3

    Japan Society for The Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    SASAKI Tateaki

      More details

    Grant type:Competitive

    The purposes of this research are, A) to develop approximate algebraic algorithms for many algebraic operations, B) error analysis and stabilization of approximate algebraic algorithms, C) further improvement of NSL-GAL system, and D) to seek for applications of approximate algebra. We performed the following researches for each purpose.
    Algorithm study : drastic improvement of approximate factorization algorithm (Sasaki), development of multivariate approximate GCD algorithm using Hensel construction (Zhi, Kai & Noda), method of rational function approximation of bivariate polynomials (Kai, Noda & Kihara), development of certified method of analytic continuation of algebraic functions (Sasaki & Inaba), and so on. Error analysis and Stabilization : theory of subresultant of polynomials having mutually close roots and analysis of cancellation errors in the Euclidean algorithm (Sasaki), clarification of ill-conditionedness in rational function approximation and stabilization of the approximation (Kai, Noda & Murakami), derivation of a formula for separating small roots from others of univariate polynomial (Terui & Sasaki), stabilization of Wu's method for coupled algebraic equations (Kai, Noda, Zhi & Notake), and so on. System improvement : Usefulness and notice point of the efloat (effective floating-point number) are clarified : the efloat is very useful for estimating cancellation errors in many approximate algebraic computations, but it over-estimates the errors in iteratively approximating algorithms such as Newton's method (Kako, Fukui, Sasaki & Oyoshi). Application : As for image reconstruction from the data given as 2-dimensional matrix, it was found that the image can be reconstructed pretty well if the generalized inverse matrix method is stabilized by the technique of Shirayanagi-Sweedler (Kai, Noda & Mizukuchi).

    researchmap

▼display all

Teaching Experience (On-campus)

▼display all

Teaching Experience

  • Cyber Security

    2021.10 Institution:Ehime University

     More details

  • 情報工学実験Ⅱ

    2020.9 Institution:愛媛大学

     More details

  • 情報システム工学特論V

    2020.4 Institution:愛媛大学大学院博士後期課程

     More details

  • 情報数学

    2019.10 Institution:愛媛大学

     More details

  • コンピュータ工学入門

    2019.9 Institution:愛媛大学

     More details

  • 基礎情報科学

    2019.4 Institution:愛媛大学

     More details

  • ソフトウェアシステム特論Ⅰ

    2018.9 Institution:愛媛大学大学院博士前期課程

     More details

  • 情報リテラシー入門Ⅱ

    2016.4 Institution:愛媛大学

     More details

  • 情報リテラシー入門Ⅰ

    2016.4 Institution:愛媛大学

     More details

  • 情報セキュリティ特論

    2011.10 Institution:愛媛大学大学院博士前期課程

     More details

  • システムデザイン

    2007.10 Institution:愛媛大学

     More details

  • コンパイラ

    2007.10 Institution:愛媛大学

     More details

  • 情報数学Ⅱ

    2003.10 - 2021.3 Institution:愛媛大学

     More details

  • 情報工学実験Ⅰ

    2003.10 - 2019.3 Institution:愛媛大学

     More details

  • 新入生セミナーA

    Institution:愛媛大学

     More details

  • ソフトウェアシステム特論

     More details

  • 新入生セミナーB

    Institution:愛媛大学

     More details

  • インターンシップ

    Institution:愛媛大学

     More details

▼display all

Social Activities

  • Cyber Security Symposium Dogo 2025

    Role(s): Organizing member

    2025.3

     More details

  • Cyber Security Symposium Dogo 2024

    Role(s): Organizing member

    2024.3

     More details

  • Cyber Security Symposium Dogo 2023

    Role(s): Organizing member

    2023.6

     More details

  • 令和4年度新規採用職員研修(後期)「AI導入・活用のための基礎的な学び」

    Role(s): Lecturer

    2022.9

     More details

  • サイバーセキュリティシンポジウム道後2022

    Role(s): Organizing member

    2022.6 - 2022.7

     More details

  • サイバーセキュリティシンポジウム道後2021

    Role(s): Organizing member

    2021.6

     More details

  • サイバーセキュリティシンポジウム道後2020

    Role(s): Organizing member

    2020.9

     More details

  • 令和2年度新規採用職員研修(後期)「AIの導入・活用のための基礎的な学び」

    Role(s): Lecturer

    愛媛県  2020.9

     More details

  • 第11回愛媛情報セキュリティ勉強会

    Role(s): Organizing member

    2019.3

     More details

    Type:Seminar, workshop

    researchmap

  • サイバーセキュリティシンポジウム道後2019

    Role(s): Organizing member

    2019.3

     More details

  • enPiT第7回シンポジウム

    Role(s): Organizing member

    2019.1

     More details

    Type:Seminar, workshop

    researchmap

  • IoTにおけるテスト技術及びセキュリティ技術

    Role(s): Lecturer

    2018.9

     More details

    Type:Seminar, workshop

    researchmap

  • 情報通信システムセキュリティ研究会(ICSS)

    Role(s): Organizing member

    電子情報通信学会  2018.6

     More details

    Type:Seminar, workshop

    researchmap

  • The 10th Ehime Information Security Workshop

    Role(s): Organizing member

    2018.3

     More details

  • Cyber Security Symposium in Dogo 2018

    Role(s): Organizing member

    2018.3

     More details

  • The 9th Ehime Information Security Workshop

    Role(s): Organizing member

    KH005232  2017.3

     More details

    Type:Seminar, workshop

    researchmap

  • Cyber Security Symposium in Dogo 2017

    Role(s): Organizing member

    KH005232  2017.2

     More details

    Type:Seminar, workshop

    researchmap

  • The 4th Programming Contest at Department of Computer Science, Faculty of Engineering, Ehime University

    Role(s): Organizing member

    2016.8

     More details

    Type:Other

    researchmap

  • Cyber Security Symposium in Dogo 2016

    Role(s): Organizing member

    2016.3

     More details

    Type:Seminar, workshop

    researchmap

  • The 8th Ehime Information Security Workshop

    Role(s): Organizing member

    2016.2

     More details

    Type:Seminar, workshop

    researchmap

  • The 3rd Programming Contest at Department of Computer Science, Faculty of Engineering, Ehime University

    Role(s): Organizing member

    2015.8

     More details

    Type:Other

    researchmap

  • Information Security Symposium in Dogo 2015

    Role(s): Organizing member

    2015.3

     More details

    Type:Seminar, workshop

    researchmap

  • The 7th Ehime Information Security Workshop

    Role(s): Organizing member

    2014.11

     More details

    Type:Seminar, workshop

    researchmap

  • The 2nd Programming Contest at Department of Computer Science, Faculty of Engineering, Ehime University

    Role(s): Organizing member

    2014.8

     More details

    Type:Other

    researchmap

  • Information Security Symposium in Dogo 2014

    Role(s): Organizing member

    2014.2

     More details

    Type:Seminar, workshop

    researchmap

  • The 6th Ehime Information Security Workshop

    Role(s): Organizing member

    2013.11

     More details

    Type:Seminar, workshop

    researchmap

  • The 1st Programming Contest at Department of Computer Science, Faculty of Engineering, Ehime University

    Role(s): Organizing member

    2013.8

     More details

    Type:Other

    researchmap

  • Information Security Symposium in Dogo 2013

    Role(s): Organizing member

    2013.2 - 2013.3

     More details

    Type:Seminar, workshop

    researchmap

  • Ehime University Programming Open Challenge 2012

    Role(s): Organizing member

    2012.11

     More details

    Type:Other

    researchmap

  • The 5th Ehime Information Security Workshop

    Role(s): Organizing member

    2012.9

     More details

    Type:Seminar, workshop

    researchmap

  • Information Security Symposium in Dogo 2012

    Role(s): Organizing member

    2012.2

     More details

    Type:Seminar, workshop

    researchmap

  • Ehime University Programming Open Challenge 2011

    Role(s): Organizing member

    2011.11

     More details

    Type:Other

    researchmap

  • The 4th Ehime Information Security Workshop

    Role(s): Organizing member

    2011.7

     More details

    Type:Seminar, workshop

    researchmap

  • Ehime University Programming Open Challenge 2010

    Role(s): Organizing member

    2010.11

     More details

    Type:Other

    researchmap

  • The 3rd Ehime Information Security Workshop

    Role(s): Organizing member

    2010.11

     More details

    Type:Seminar, workshop

    researchmap

  • The 2nd Ehime Information Security Workshop

    Role(s): Organizing member

    2010.3

     More details

    Type:Seminar, workshop

    researchmap

  • The 1st Ehime Information Security Workshop

    Role(s): Organizing member

    2009.12

     More details

    Type:Seminar, workshop

    researchmap

  • Ehime University Programming Open Challenge 2009

    Role(s): Organizing member

    2009.11

     More details

    Type:Other

    researchmap

  • Ehime University Programming Open Challenge 2008

    Role(s): Organizing member

    2008.11

     More details

    Type:Other

    researchmap

  • Ehime University Programming Open Challenge 2007

    Role(s): Organizing member

    2007.11

     More details

    Type:Other

    researchmap

▼display all