日本語
Hiroshima City University 
Graduate School of Information Sciences 
Dept. of Computer and Network Engineering 

Lecturer 
Kawabata Hideyuki 

My website is here.  

Career
Research Associate, Hiroshima City University  1994/04/01-2007/03/31 
Lecturer, Graduate School of Information Sciences, Hiroshima City University  2007/04/01-Present 

Academic background
Kyoto University  Faculty of Engineering  Department of Information Sciences  1992/03  Graduated 
Kyoto University  Graduate School, Division of Engineering  Department of Information Sciences  Master course  1994/03  Completed 

Academic degrees
Doctor of Engineering  Kyoto University  2004/11 

Research Areas
Software 
Computer System Network 

Research keywords
programming language processing 
high-level language programming 
numerical software 
optimizing compiler 
software engineering 

Research Funds
Grant-in-Aid from Ministry of Education, Science, Sports, and Culture  高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究  2017/04-Present  Representative 
Grant of Hiroshima City University  適応的な再計算制御に 基づく効率的な実数計算ライブラリの開発  2015/06-2017/03  Representative 
Grant of Hiroshima City University  A Study on the Effective Application of Multiple Precision Arithmetics for Avoiding Degradation of Numerical Accuracy in Large Scale Numerical Computations  2009/06-2011/03  Representative 
Grant-in-Aid from Ministry of Education, Science, Sports, and Culture  Development of a Runtime Routine Generator for Matrix Language Interpreters  2005/06-2007/03  Representative 
Grant of Hiroshima City University  Code Generation for Sparse Matrix Computations from MATLAB-Based Scripts  2004/06-2007/03  Representative 
View details...

Bibliography
情報工学基礎実験  Hideyuki Kawabata  全体  大学教育出版  2005/04  4-88730-621-0 
View details...

Papers
Research paper (scientific journal)  Joint  アプリケーション開発支援のための協働API集合検索システム  西本匡志, 川端英之, 弘中哲夫  電子情報通信学会論文誌D  電子情報通信学会  J101-D/ 8  2018/08 
Research paper (scientific journal)  Only  Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by using Memoization based on Quantized Precision  Hideyuki Kawabata  Journal of Information Processing  Information Processing Society of Japan  25, 494-504  2017/07  10.2197/ipsjjip.25.494 
Research paper (international conference proceedings)  Joint  Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations  Hideyuki Kawabata and Hideya Iwasaki  Proc. 25th European Symposium on Programming (ESOP) 2016, LNCS 9632, pp.390-418, 2016. DOI: 10.1007/978-3-662-49498-1_16  Springer  9632, 390-418  2016/04  10.1007/978-3-662-49498-1_16 
Research paper (scientific journal)  Joint  A MATLAB-Based Code Generator for Parallel Sparse Matrix Computations utilizing PSBLAS  Taiji SASAOKA, Hideyuki KAWABATA, and Toshiaki KITAMURA  IEICE Trans. Inf. & Syst.  E90-D/ 10, 2-12  2007/01 
Research paper (scientific journal)  Joint  A Processor with Program Protection Feature by use of Public Key Cryptosystem  Masahiro Shiromoto, Takekazu Tabata, Tomoya Sakai, Takashi Shimada, Atsushi Kubota, Hideyuki Kawabata, and Toshiaki Kitamura  IPSJ Trans. Advanced Computing Systems  47/ SIG18(ACS16), 55-64  2006/11 
View details...

Research presentations
Oral presentation(general)  Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決  情報処理学会第119回プログラミング研究発表会  2018/06/08 
Oral presentation(general)  区間演算ライブラリMPFIを用いた実数計算ライブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装  情報処理学会第80回全国大会  2018/03/15 
Oral presentation(general)  定理証明支援系Coqと連携した証明木表示機能の設計と実装  情報処理学会第80回全国大会  2018/03/15 
Oral presentation(general)  ソースコードに含まれる機能を要約して一覧表示できるプログラム理解支援ツール  情報処理学会第198回ソフトウェア工学研究発表会  2018/03/09  URL 
Poster presentation  気楽なアプリケーション開発を可能にするSearch-Select-Superpose Loopの反復支援ツール  第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018)  2018/03/03  URL 
View details...

Prizes
PPL2018ポスター賞  Traf: Coqでの対話的証明と連動した証明木描画ツール  2018/03/07 
第6回FPGA/PLD Design Conference & Exhibit 優秀論文賞  1998 
View details...

Allotted class
Compilers 
情報科学基礎実験α 
Numerical Programming 
Advanced topics on programming languages 
View details...

Memberships of academic societies
The Institute of Electronics, Information and Communication Engineers 
IEEE Computer Society 
Association for Computing Machinery 
The Japan Society for Industrial and Applied Mathematics 
Japan Society for Software Science and Technology 
View details...

Committee Career
Japan Society for Software Science and Technology  editorial committee member  2013/04/01-Present 
View details...

Open lecture
高校生による情報科学自由研究  Open lecture  2017/08-Present 
高校生による情報科学自由研究  Open lecture  2016/08-Present 
高校生による情報科学自由研究  Open lecture  2015/08-Present 
View details...