研究者
J-GLOBAL ID:200901096981767280   更新日: 2024年02月15日

川端 英之

カワバタ ヒデユキ | Kawabata Hideyuki
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://www.ca.info.hiroshima-cu.ac.jp/users/kawabata/
研究分野 (2件): 計算機システム ,  ソフトウェア
研究キーワード (3件): ソフトウェア工学 ,  数値処理ソフトウェア ,  プログラミング言語処理系
競争的資金等の研究課題 (6件):
  • 2022 - 2025 精度保証のある高精度数値計算のための並列処理による高速化
  • 2017 - 高速な任意精度数値計算のための実数計算ライブラリの実現方式に関する研究
  • 2015 - 2017 適応的な再計算制御に 基づく効率的な実数計算ライブラリの開発
  • 2009 - 2011 大規模数値計算における計算精度低下回避のための効率的な多倍長精度演算の利用法に関する研究
  • 2005 - 2007 行列言語インタプリタ用ランタイムルーチン生成系の開発
全件表示
論文 (25件):
もっと見る
MISC (4件):
書籍 (1件):
  • 情報工学基礎実験
    大学教育出版 2005 ISBN:4887306210
講演・口頭発表等 (109件):
  • 地域コミュニティの活性化に役立つディジタルツールのあり方を考える ~老若男女が誰でも使いやすい地域コミュニティ向けアプリの検討~
    (第65回プログラミング・シンポジウム 2024)
  • 代数的エフェクトを活用するためのプログラミングの支援に関する考察
    (第65回プログラミング・シンポジウム 2024)
  • 並行システム開発のためのPROMELAからErlangへの変換ツールの設計
    (2023年度(第74回)電気・情報関連学会中国支部連合大会 2023)
  • 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善
    (第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023)
  • 依存型付き関数プログラミング言語Idrisを対象とした任意の部分式の型の表示ツールの設計の設計と実装
    (情報処理学会第85回全国大会 2023)
もっと見る
学歴 (2件):
  • 1992 - 1994 京都大学 大学院工学研究科 情報工学専攻
  • 1988 - 1992 京都大学 工学部 情報工学科
学位 (6件):
  • 博士(工学) (京都大学)
  • Doctor of Engineering (Kyoto University)
  • 修士(工学) (京都大学)
  • Master of Engineering (Kyoto University)
  • 学士(工学) (京都大学)
全件表示
経歴 (4件):
  • 2022/05 - 2022/09 Australian National University College of Engineering & Computer Science Visiting Fellow
  • 2021/04 - 広島市立大学 大学院情報科学研究科 准教授
  • 2007/04 - 2021/03 広島市立大学大学院情報科学研究科・講師
  • 1994/04/01 - 2007/03/31 広島市立大学 情報科学部 助手
委員歴 (6件):
  • 2021/04 - 現在 情報処理学会 Information Processing Society of Japan
  • 2021/04 - 現在 情報処理学会 プログラミング研究運営委員会委員
  • 2013/04 - 現在 日本ソフトウェア科学会 編集委員
  • 2013/04/01 - Japan Society for Software Science and Technology editorial committee member
  • 2011/04 - 2013/03 独立行政法人大学入試センター 教科科目第一委員会委員
全件表示
受賞 (2件):
  • 2018/03/07 - 第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)プログラム委員会 PPL2018ポスター賞 Traf: Coqでの対話的証明と連動した証明木描画ツール
  • 1998 - 第6回FPGA/PLD Design Conference & Exhibit 優秀論文賞
所属学会 (6件):
情報処理学会 ,  日本ソフトウェア科学会 ,  日本応用数理学会 ,  Association for Computing Machinery ,  IEEE Computer Society ,  電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る