川端英之

カワバタヒデユキ | Kawabata Hideyuki

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www.ca.info.hiroshima-cu.ac.jp/users/kawabata/

研究分野 (2件)：計算機システム , ソフトウェア

研究キーワード (3件)：ソフトウェア工学 , 数値処理ソフトウェア , プログラミング言語処理系

競争的資金等の研究課題 (6件)：

全件表示

論文 (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

MISC (2件)：

山根, 愛実, 山崎, 陽介, 弘中, 哲夫, 川端, 英之. 地域コミュニティの活性化に役立つディジタルツールのあり方を考える ~老若男女が誰でも使いやすい地域コミュニティ向けアプリの検討~. 第65回プログラミング・シンポジウム予稿集. 2024. 2024. 65-68
川端英之. CS 領域奨励賞を受賞したジュニア会員との日々-広島で生えてきた元気印のご紹介-. 情報処理. 2019. 60. 12. 1227-1229

書籍 (1件)：

講演・口頭発表等 (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)

学歴 (2件)：

学位 (6件)：

全件表示

経歴 (4件)：

2022/05 - 2022/09 Australian National University College of Engineering & Computer Science Visiting Fellow
2021/04 - 広島市立大学大学院情報科学研究科准教授
2007/04 - 2021/03 広島市立大学大学院情報科学研究科・講師
1994/04/01 - 2007/03/31 広島市立大学情報科学部助手

委員歴 (8件)：

全件表示

受賞 (2件)：

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

所属学会 (6件)：

情報処理学会 , 日本ソフトウェア科学会 , 日本応用数理学会 , Association for Computing Machinery , IEEE Computer Society , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

川端 英之