English
広島市立大学 
情報科学研究科 
情報工学専攻 

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

個人ウェブサイトはこちら  

経歴
広島市立大学情報科学部・助手  1994/04/01-2007/03/31 
広島市立大学大学院情報科学研究科・講師  2007/04/01-現在 

学歴
京都大学  工学部  情報工学科  1992/03  卒業 
京都大学  大学院工学研究科  情報工学専攻  修士  1994/03  修了 

学位
博士(工学)  京都大学  2004/11 

研究分野
ソフトウエア 
計算機システム・ネットワーク 

研究キーワード
言語処理系 
高水準言語プログラミング 
数値処理ソフトウェア 
最適化コンパイラ 
ソフトウェア工学 

研究費
科学研究費  高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究  2017/04-現在  代表 
学内特定研究  適応的な再計算制御に 基づく効率的な実数計算ライブラリの開発  2015/06-2017/03  代表 
学内特定研究  大規模数値計算における計算精度低下回避のための効率的な多倍長精度演算の利用法に関する研究  2009/06-2011/03  代表 
科学研究費  行列言語インタプリタ用ランタイムルーチン生成系の開発  2005/06-2007/03  代表 
学内特定研究  MATLABに基づく並列疎行列コード生成  2004/06-2007/03  代表 
詳細表示...

著書
情報工学基礎実験  川端英之  全体  大学教育出版  2005/04  4-88730-621-0 
詳細表示...

論文
研究論文(学術雑誌)  共著  Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints  Yuya Kono, Hideyuki Kawabata, Tetsuo Hironaka  Journal of Information Processing  Information Processing Society of Japan  to appear  2018 
研究論文(国際会議プロシーディングス)  共著  Traf: a Graphical Proof Tree Viewer Cooperating with Coq through Proof General  Hideyuki Kawabata, Yuta Tanaka, Mai Kimura and Tetsuo Hironaka  accepted for presenting at the 16th Asian Symposium on Programming Languages and Systems (APLAS)  Springer  to appear  2018/12 
研究論文(学術雑誌)  共著  アプリケーション開発支援のための協働API集合検索システム  西本匡志, 川端英之, 弘中哲夫  電子情報通信学会論文誌D  電子情報通信学会  J101-D/ 8, 1176-1189  2018/08/01  1881-0225  10.14923/transinfj.2017JDP7088 
研究論文(学術雑誌)  単著  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 
研究論文(国際会議プロシーディングス)  共著  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 
詳細表示...

研究発表
口頭発表(一般)  今そこにあるルービックキューブを解くツール  夏のプログラミングシンポジウム2018  2018/08/28 
口頭発表(一般)  Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決  情報処理学会第119回プログラミング研究発表会  2018/06/08 
口頭発表(一般)  区間演算ライブラリMPFIを用いた実数計算ライブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装  情報処理学会第80回全国大会  2018/03/15 
口頭発表(一般)  定理証明支援系Coqと連携した証明木表示機能の設計と実装  情報処理学会第80回全国大会  2018/03/15 
口頭発表(一般)  ソースコードに含まれる機能を要約して一覧表示できるプログラム理解支援ツール  情報処理学会第198回ソフトウェア工学研究発表会  2018/03/09  URL 
詳細表示...

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

担当授業科目
コンパイラ 
情報科学基礎実験α 
数値計算プログラミング 
プログラミング言語特論 
詳細表示...

社会活動
日本ソフトウェア科学会編集委員  2013/04/01-現在 
独立行政法人大学入試センター  2011/04-2013/03 
情報処理学会中国支部幹事および事務局  2009/05-2011/05  情報処理学会中国支部事務局幹事 
詳細表示...

所属学協会
電子情報通信学会 
IEEE Computer Society 
Association for Computing Machinery 
日本応用数理学会 
日本ソフトウェア科学会 
詳細表示...

委員歴
日本ソフトウェア科学会  編集委員  2013/04/01-現在 
独立行政法人大学入試センター  教科科目第一委員会委員  2011/04-2013/03 
情報処理学会中国支部  情報処理学会中国支部幹事および事務局  2009/05-2011/05 
詳細表示...

公開講座
高校生による情報科学自由研究  公開講座  2018/08-2018/10  (1)本当は怖い★くらい単純な★コンピュータ (2)Haskellを使った因数分解 
高校生による情報科学自由研究  公開講座  2017/08-2017/10  (1)素顔のコンピュータと触れ合おう (2)多項式の因数分解に挑戦! 
高校生による情報科学自由研究  公開講座  2016/08-2016/10 
高校生による情報科学自由研究  公開講座  2015/08-2015/10 
詳細表示...