教員総覧 - 川端　英之 | 広島市立大学

（最終更新日 : 2025-01-23 17:47:07）

カワバタ　ヒデユキ Kawabata Hideyuki
川端　英之

所属広島市立大学大学院情報科学研究科情報工学専攻

広島市立大学情報科学部情報工学科

職種准教授

ホームページ
http://www.ca.info.hiroshima-cu.ac.jp/users/kawabata/

プロフィール
川端英之．1992年京都大学工学部情報工学科卒業．2004年京都大学博士（工学）．広島市立大学助手，大学院情報科学研究科講師を経て，2021年より広島市立大学大学院情報科学研究科准教授．数値処理プログラミングおよびプログラミング言語処理系に興味を持つ．ACM, IEEE-CS, 情報処理学会，電子情報通信学会，日本応用数理学会，日本ソフトウェア科学会会員．

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

学歴
2004/11 (学位取得)	博士（工学） (情報工学)
1994/03 (学位取得)	修士（工学） (情報工学)
1992/04～1994/03	京都大学大学院工学研究科情報工学専攻修士修了
1992/03 (学位取得)	学士（工学） (情報工学)
1988/04～1992/03	京都大学工学部情報工学科卒業

教育・研究活動状況
複雑なコンピュータシステムを正確かつ効率的に動作させるためには，高品質なソフトウェアを開発するための仕組みが不可欠です．私は，高性能（＝高速・低消費メモリ）なソフトウェアを効率的に（＝容易に・短期間で）開発・保守できるようにするための枠組み（プログラミング言語処理系・ソフトウェア開発支援ツール・ライブラリ）について，研究・開発を行なっています．

画像登録
研究テーマ例(1)	研究テーマ例(2)

現在の専門分野
ソフトウエア, 計算機システム・ネットワークキーワード(プログラミング言語処理系、数値処理ソフトウェア、ソフトウェア工学)

研究課題・受託研究・科研費
2022/04 ～	精度保証のある高精度数値計算のための並列処理による高速化基盤研究(C)
2017/04 ～ 2020/03	高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究基盤研究(C)一般
2015/06 ～ 2017/03	適応的な再計算制御に基づく効率的な実数計算ライブラリの開発 * 広島市立大学特定研究費（先端学術研究費）(その他)
2009/06 ～ 2011/03	大規模数値計算における計算精度低下回避のための効率的な多倍長精度演算の利用法に関する研究 * 一般研究
2005/06 ～ 2007/03	行列言語インタプリタ用ランタイムルーチン生成系の開発若手研究(B)

著書・論文歴
著書	情報工学基礎実験 (単著) 2005/04
論文	Rumpfr: A Fast and Memory Leak-Free Rust Binding to the GNU MPFR Library Journal of Information Processing 29,676-684頁 (共著) 2021
論文	CS 領域奨励賞を受賞したジュニア会員との日々─広島で生えてきた元気印のご紹介─ 情報処理 60 (12),1227-1229頁 (単著) 2019/11/15
論文	OSAIFU: A Source Code Factorizer on Android Studio Proc. 35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019),422-425頁 (共著) 2019/10/04
論文	Efficient Searching for Essential API Member Sets based on Inclusion Relation Extraction International Journal of Networked and Distributed Computing 7 (4),149-157頁 (共著) 2019/09
全件表示（27件）

学会発表
2025/01/15	Idrisプログラムにおける部分式の型導出システムの開発 ―依存型付き言語によるプログラムの読解や記述の支援― (第66回プログラミング・シンポジウム)
2025/01/15	ユーザフレンドリーな Java to Kotlin コンバータの開発 (第66回プログラミング・シンポジウム)
2024/10/26	行列積演算を用いたDGMPFIライブラリの再利用処理におけるオーバヘッドの評価 (2024年度（第75回）電気・情報関連学会中国支部連合大会)
2024/09/10	代数的エフェクトハンドラを持つ言語のプログラムに対するエフェクト列の静的な見積り (日本ソフトウェア科学会第41回大会)
2024/09	Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers (Haskell Symposium 2024)
全件表示（121件）

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

所属学会
	Association for Computing Machinery
	IEEE Computer Society
	電子情報通信学会
	日本ソフトウェア科学会
	日本応用数理学会
全件表示（6件）

委員会・協会等
2024/04 ～	日本ソフトウェア科学会プログラミング論研究会運営委員
2023/06 ～	日本ソフトウェア科学会理事（編集担当）
2023/03 ～ 2024/03	第26回プログラミングおよびプログラミング言語ワークショップ PPL2024 共同プログラム委員長
2022/07 ～ 2023/03	第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023 プログラム委員
2021/04/01 ～	情報処理学会プログラミング研究会運営委員
全件表示（11件）

公開講座
2021/11	模擬授業（高校出張授業）講座種別：その他
2021/10	GSC広島ステップステージセミナー（情報分野）講座種別：その他
2020/10	模擬授業（高校出張授業）講座種別：その他
2018/12	模擬授業（高校出張授業）講座種別：その他
2018/11	広島市立大学の地域貢献事業発表会講座種別：その他
全件表示（10件）