Kawabata Hideyuki

カワバタヒデユキ | Kawabata Hideyuki

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://www.ca.info.hiroshima-cu.ac.jp/users/kawabata/

Research field (2)： Computer systems , Software

Research keywords (3)： software engineering , numerical software , programming language processing

Research theme for competitive and other funds (6)：

2022 - 2025 精度保証のある高精度数値計算のための並列処理による高速化
2017 - 高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究
2015 - 2017 適応的な再計算制御に基づく効率的な実数計算ライブラリの開発
2009 - 2011 A Study on the Effective Application of Multiple Precision Arithmetics for Avoiding Degradation of Numerical Accuracy in Large Scale Numerical Computations
2005 - 2007 Development of a Runtime Routine Generator for Matrix Language Interpreters

Show all

Papers (26)：

Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya. Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. Proc. Haskell Symposium 2024. 2024
Tomoya Michinaka, Hideyuki Kawabata, Tetsuo Hironaka. Rumpfr: A Fast and Memory Leak-Free Rust Binding to the GNU MPFR Library. Journal of Information Processing. 2021. 29. 676-684
Masahiro Hata, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. OSAIFU: A Source Code Factorizer on Android Studio. Proc. 35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019). 2019. 422-425
Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. SAIFU: Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code. International Journal of Networked and Distributed Computing. 2019. 7. 4. 167-174
Yushi Kondoh, Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, Tetsuo Hironaka. Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction. International Journal of Networked and Distributed Computing. 2019. 7. 4. 149-157

ｍore...

MISC (2)：

Exploring Digital Tools to Revitalize Local Communities~Considering an Easy-to-Use Community App for All Ages and Genders~. 2024. 2024. 65-68
川端英之. CS 領域奨励賞を受賞したジュニア会員との日々-広島で生えてきた元気印のご紹介-. 情報処理. 2019. 60. 12. 1227-1229

Books (1)：

情報工学基礎実験
大学教育出版 2005 ISBN:4887306210

Lectures and oral presentations (118)：

代数的エフェクトハンドラを持つ言語のプログラムに対するエフェクト列の静的な見積り
(日本ソフトウェア科学会第41回大会 2024)
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
(Haskell Symposium 2024 2024)
余パターンマッチの簡潔なコンパイル手法
(情報処理学会第148回プログラミング研究発表会 2024)
並行システム開発のためのPROMELAからErlangへの変換ツールの設計と実装
(情報処理学会第86回全国大会 5M-06 2024)
Idrisプログラミングの支援のための部分式の型表示機能の高度化
(情報処理学会第86回全国大会 5M-05 2024)

ｍore...

Education (2)：

1992 - 1994 Kyoto University Graduate School, Division of Engineering Department of Information Sciences
1988 - 1992 Kyoto University Faculty of Engineering Department of Information Sciences

Professional career (6)：

博士(工学) (京都大学)
Doctor of Engineering (Kyoto University)
修士(工学) (京都大学)
Master of Engineering (Kyoto University)
学士(工学) (京都大学)

Show all

Work history (4)：

2022/05 - 2022/09 Australian National University College of Engineering & Computer Science Visiting Fellow
2021/04 - Hiroshima City University Graduate School of Information Sciences Associate Professor
2007/04 - 2021/03 Lecturer, Graduate School of Information Sciences, Hiroshima City University
1994/04/01 - 2007/03/31 Hiroshima City University Faculty of Information Sciences Research Associate

Committee career (8)：

2024/04 - 現在日本ソフトウェア科学会プログラミング論研究会運営委員
2023/06 - 現在 Japan Society for Software Science and Technology Editorial Director
2021/04 - 現在論文誌プログラミング編集委員会委員論文誌プログラミング編集委員会委員
2021/04 - 現在 Information Processing Society of Japan プログラミング研究運営委員会委員
2013/04 - 現在 Japan Society for Software Science and Technology Editorial Committee Member

Show all

Awards (2)：

2018/03/07 - 第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)プログラム委員会 PPL2018ポスター賞 Traf: Coqでの対話的証明と連動した証明木描画ツール
1998 - 第6回FPGA/PLD Design Conference & Exhibit 優秀論文賞

Association Membership(s) (6)：

Information Processing Society of Japan , Japan Society for Software Science and Technology , The Japan Society for Industrial and Applied Mathematics , Association for Computing Machinery , IEEE Computer Society , The Institute of Electronics, Information and Communication Engineers

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page