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

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

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

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

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

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

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

研究キーワード
数値処理ソフトウェア 
高水準言語プログラミング 
ハイパフォーマンスコンピューティング 
最適化コンパイラ 
言語処理系 

著書
情報工学基礎実験  川端英之  大学教育出版  2005/04 
詳細表示...

論文
研究論文(国際会議プロシーディングス)  共著  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 
研究論文(学術雑誌)  共著  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 
研究論文(学術雑誌)  共著  公開鍵暗号を用いてプログラムの保護を行うプロセッサの提案  城本正尋, 田端猛一, 酒井智也, 島田貴史, 窪田昌史, 川端英之, 北村俊明  情報処理学会論文誌:コンピューティングシステム  47/ SIG18(ACS16), 55-64  2006/11 
研究論文(学術雑誌)  共著  行列計算のためのMATLABベース静的型付け言語の設計と実装  川端英之,北村俊明  情報処理学会論文誌:プログラミング  47/ SIG6(PRO29), 21-36  2006/05 
研究論文(国際会議プロシーディングス)  共著  A MATLAB-Based Code Generator for Sparse Matrix Computations  H. Kawabata, M. Suzuki, and T. Kitamura  Lecture Notes in Computer Science (Proc. APLAS2004)  3302, 280-295  2004/11 
詳細表示...

研究発表
ポスター発表  中心半径型区間演算用ハードウェアのためのアルゴリズムとアーキテクチャの検討  第18回IEEE広島支部学生シンポジウム  2016/11/19 
口頭発表(一般)  Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by using Memoization based on Quantized Precision  情報処理学会第111回プログラミング研究発表会(PRO111)  2016/10/26 
口頭発表(一般)  多倍長精度浮動小数点演算を用いた実数計算ライブラリの実現方式  日本応用数理学会2016年度年会  2016/09/12 
口頭発表(一般)  キーワードと書きかけのコードから開発者の意図を推測するAPI呼び出し記述支援手法の検討  日本ソフトウェア科学会第33回大会  2016/09/09 
ポスター発表  定理証明支援系を証明木ベースで利用するためのProofGeneralの外部ツールの開発  日本ソフトウェア科学会第33回大会  2016/09/08 
詳細表示...

受賞
第6回FPGA/PLD Design Conference & Exhibit 優秀論文賞  1998 
詳細表示...

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

所属学協会
電子情報通信学会 
Society for Industrial and Applied Mathematics 
IEEE Computer Society 
Association for Computing Machinery 
日本応用数理学会 
詳細表示...