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 
詳細表示...

論文
研究論文(学術雑誌)  共著  Easy-Going Development of Event-Driven Applications by Iterating a Search-Select-Superpose Loop  Masashi Nishimoto, Keiji Nishiyama, Hideyuki Kawabata, and Tetsuo Hironaka  Journal of Information Processing  Information Processing Society of Japan  27, 257-267  2019 
研究論文(学術雑誌)  共著  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  27, 87-94  2019 
研究論文(国際会議プロシーディングス)  共著  Traf: a Graphical Proof Tree Viewer Cooperating with Coq through Proof General  Hideyuki Kawabata, Yuta Tanaka, Mai Kimura and Tetsuo Hironaka  Proc. 16th Asian Symposium on Programming Languages and Systems (APLAS 2018), LNCS 11275  Springer  11275, 157-165  2018/12/03  10.1007/978-3-030-02768-1_9 
研究論文(学術雑誌)  共著  アプリケーション開発支援のための協働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 
詳細表示...

研究発表
口頭発表(一般)  Extracting Inclusion Graphs of API Member Sets to Improve Searchability  17th IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2019)  2019/05/29 
口頭発表(一般)  Supporting Program Understanding by Automatic Indexing of Functionalities in Source Code  17th IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2019)  2019/05/29 
口頭発表(一般)  イベント駆動型アプリケーション開発のためのAPI使用パターンに関する対話型検索を支援するグラフベース視覚化ツールの検討  情報処理学会第81回全国大会  2019/03/16 
口頭発表(一般)  オープンソースリポジトリから自動抽出されたAPI集合の検索性向上のための頻出パターン マイニングによるAPI集合間の関係付け  情報処理学会第201回ソフトウェア工学研究発表会  2019/03/08  URL 
口頭発表(一般)  主体的な学びを促進する演習型授業の設計と評価 ~コンピュータシステムの入門的演習を例にして~  情報処理学会第149回コンピュータと教育研究発表会  2019/03/02 
詳細表示...

受賞
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/12-2018/12  様々なプログラミング言語〜どう言えばコンピュータに伝わるか 
広島市立大学の地域貢献事業発表会  その他  2018/11-2018/11  教育研究紹介 
インドネシアからの訪問学生対応  その他  2018/09-2018/09  Introduction of our Research Topics at Computer Architecture Lab 
高校生による情報科学自由研究  公開講座  2018/08-2018/10  (1)本当は怖い★くらい単純な★コンピュータ (2)Haskellを使った因数分解 
高校生による情報科学自由研究  公開講座  2017/08-2017/10  (1)素顔のコンピュータと触れ合おう (2)多項式の因数分解に挑戦! 
高校生による情報科学自由研究  公開講座  2016/08-2016/10 
高校生による情報科学自由研究  公開講座  2015/08-2015/10 
詳細表示...