Kawabata Hideyuki

J-GLOBAL         Last updated: May 24, 2019 at 02:40
 
Avatar
Name
Kawabata Hideyuki
URL
https://www.ca.info.hiroshima-cu.ac.jp:525/~kawabata/
Affiliation
Hiroshima City University
Section
Graduate School of Information Sciences, Dept. of Computer and Network Engineering
Job title
Lecturer
Degree
Doctor of Engineering(Kyoto University), Master of Engineering(Kyoto University)

Research Areas

 
 

Academic & Professional Experience

 
Apr 1994
 - 
Mar 2007
Research Associate, Hiroshima City University
 
Apr 2007
   
 
Lecturer, Graduate School of Information Sciences, Hiroshima City University
 

Education

 
Apr 1992
 - 
Mar 1994
Department of Information Sciences, Graduate School, Division of Engineering, Kyoto University
 

Committee Memberships

 
Apr 2013
   
 
Japan Society for Software Science and Technology  editorial committee member
 

Awards & Honors

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

Published Papers

 
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   27 257-267   2019   [Refereed]
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   27 87-94   2019   [Refereed]
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura and Tetsuo Hironaka
Proc. 16th Asian Symposium on Programming Languages and Systems (APLAS 2018), LNCS 11275   11275 157-165   Dec 2018   [Refereed]
西本匡志, 川端英之, 弘中哲夫
電子情報通信学会論文誌D   J101-D(8) 1176-1189   Aug 2018   [Refereed]
Hideyuki Kawabata
Journal of Information Processing   25 494-504   Jul 2017   [Refereed]

Books etc

 
情報工学基礎実験
Hideyuki Kawabata
大学教育出版   Apr 2005   ISBN:4-88730-621-0

Conference Activities & Talks

 
イベント駆動型アプリケーション開発のためのAPI使用パターンに関する対話型検索を支援するグラフベース視覚化ツールの検討
近藤悠志,西本匡志,西山佳志,川端英之,弘中哲夫
情報処理学会第81回全国大会   16 Mar 2019   情報処理学会
近藤 悠志,西本 匡志,西山 佳志,川端 英之,弘中 哲夫
情報処理学会第201回ソフトウェア工学研究発表会   8 Mar 2019   情報処理学会ソフトウェア工学研究会
主体的な学びを促進する演習型授業の設計と評価 ~コンピュータシステムの入門的演習を例にして~
立岡 陽理,川端 英之,谷川 一哉,弘中 哲夫
情報処理学会第149回コンピュータと教育研究発表会   2 Mar 2019   情報処理学会コンピュータと教育研究会
Traf: a Graphical Proof Tree Viewer Cooperating with Coq through Proof General
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura and Tetsuo Hironaka
16th Asian Symposium on Programming Languages and Systems (APLAS 2018), LNCS 11275, pp.157--165, 2018. DOI: 10.1007/978-3-030-02768-1_9   Dec 2018   
今そこにあるルービックキューブを解くツール
西本匡志, 小林周太郎, 川端英之, 弘中哲夫
夏のプログラミングシンポジウム2018   28 Aug 2018   情報処理学会

Research Grants & Projects

 
高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究
Project Year: Apr 2017   
適応的な再計算制御に 基づく効率的な実数計算ライブラリの開発
広島市立大学特定研究費(先端学術研究費)
Project Year: Jun 2015 - Mar 2017
A Study on the Effective Application of Multiple Precision Arithmetics for Avoiding Degradation of Numerical Accuracy in Large Scale Numerical Computations
Project Year: Jun 2009 - Mar 2011
Development of a Runtime Routine Generator for Matrix Language Interpreters
Project Year: Jun 2005 - Mar 2007