教員総覧 - 川端　英之 | 広島市立大学

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

所属広島市立大学大学院情報科学研究科情報工学専攻

広島市立大学情報科学部情報工学科

職種准教授

学会発表
2024/09/10	代数的エフェクトハンドラを持つ言語のプログラムに対するエフェクト列の静的な見積り (日本ソフトウェア科学会第41回大会)
2024/09	Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers (Haskell Symposium 2024)
2024/03/22	余パターンマッチの簡潔なコンパイル手法 (情報処理学会第148回プログラミング研究発表会)
2024/03/16	Idrisプログラミングの支援のための部分式の型表示機能の高度化 (情報処理学会第86回全国大会)
2024/03/16	Java-to-kotlin変換における柔軟なオプション指示を可能にする仕組みの設計 (情報処理学会第86回全国大会)
2024/03/16	TransMPFR：Cプログラムの多倍長演算拡張支援システム (情報処理学会第86回全国大会)
2024/03/16	並行システム開発のためのPROMELAからErlangへの変換ツールの設計と実装 (情報処理学会第86回全国大会)
2024/03/06	演算の融合による数値計算ライブラリIFNのメモリ効率の改善 (第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024))
2024/03/06	仕様記述言語PROMELAからプログラミング言語Erlangへの自動変換による並行システム開発支援環境の設計と実装 (第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024))
2024/03/05	代数的エフェクトにおけるエフェクトのperformを可視化するシステムの開発 (第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024))
2024/01/07	地域コミュニティの活性化に役立つディジタルツールのあり方を考える～老若男女が誰でも使いやすい地域コミュニティ向けアプリの検討～ (第65回プログラミング・シンポジウム)
2024/01/06	代数的エフェクトを活用するためのプログラミングの支援に関する考察 (第65回プログラミング・シンポジウム)
2023/10/28	並行システム開発のためのPROMELAからErlangへの変換ツールの設計 (2023年度(第74回)電気・情報関連学会中国支部連合大会)
2023/03/08	数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善 (第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023))
2023/03/04	Kotlin特有の機能を選択的に導入できるJava-to-Kotlinコンバータの設計と実装 (情報処理学会第85回全国大会)
2023/03/04	依存型付き関数プログラミング言語Idrisを対象とした任意の部分式の型の表示ツールの設計の設計と実装 (情報処理学会第85回全国大会)
2023/03/04	区間演算ライブラリを用いるプログラムのための依存グラフの局所的構築と再利用による効率的なデータフロー並列処理 (情報処理学会第85回全国大会)
2023/01/08	麻雀におけるプレイヤの副露率の分布が戦局に与える影響について (第64回プログラミング・シンポジウム)
2022/10/22	Java から Kotlin への柔軟なプログラム変換機能の設計と実装 (2022年度(第73回)電気・情報関連学会中国支部連合大会)
2022/03/04	モデル検査ツールSPINによる並行プログラムのデバッグを支援する状態遷移追跡支援ツールの設計と実装 (情報処理学会第84回全国大会)
2022/03/03	Rumpfi: Rustで区間演算ライブラリMPFIを手軽に扱うためのインターフェース (情報処理学会第84回全国大会)
2022/03/03	ダイクストラの方法に基づく簡単な整数演算プログラムの半自動生成ツールの実装について (情報処理学会第84回全国大会)
2022/03/03	ループ境界を越えた動的スケジューリングによる区間演算プログラムの高速化 (情報処理学会第84回全国大会)
2022/03/03	定理証明支援系Coqと連携した証明木図示ツールのVisual Sudio Codeプラグインとしての実装 (情報処理学会第84回全国大会)
2022/03/03	命令セットが8命令からなる小規模CPUを対象としたC言語風コンパイラ実装 (情報処理学会第84回全国大会)
2021/10/23	軽量な同期方法を用いた区間演算ライブラリの並列化 (2021年度(第72回)電気・情報関連学会中国支部連合大会)
2021/09/03	Java からKotlin へのプログラム変換支援ツールの設計と試作 (日本ソフトウェア科学会第38回大会)
2021/03/20	LablGtk3とcairo2を用いたOCamlによるGTK3ベースGUIアプリケーションとしての証明木図示ツールTrafの実装 (情報処理学会第83回全国大会)
2021/03/18	JavaからKotlinへのプログラム変換支援ツールの設計と実装 (情報処理学会第83回全国大会)
2021/03/16	Rumpfr：高速でメモリリークフリーのMPFRライブラリ向けRustバインディング (情報処理学会第133回プログラミング研究発表会)
2021/03/10	多倍長計算の仮数部計算高速化のための粗粒度再構成可能なアーキテクチャの検討 (2021年電子情報通信学会総合大会)
2020/03/06	定理証明支援系Coqと連携した証明木図示ツールにおける大域的および局所的な情報把握支援機能の改善 (情報処理学会第82回全国大会)
2019/10/30	実数計算ライブラリ IFN の Haskell による効率的な実装 (情報処理学会第126回プログラミング研究発表会)
2019/10/25	無人搬送車のための反響音を用いた物体検知システムの研究 (令和元年度（第70回）電気・情報関連学会中国支部連合大会)
2019/10/04	OSAIFU: A Source Code Factorizer on Android Studio (35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019))
2019/08/28	Androidアプリケーション開発支援ツールのためのAPI利用パターン情報収集におけるAPIバージョンの考慮の効果 (日本ソフトウェア科学会第36回大会)
2019/08/28	OSAIFU: プログラム理解支援のためのAndroid Studioプラグイン, 日本ソフトウェア科学会第36回大会 (日本ソフトウェア科学会第36回大会)
2019/07/13	API 利用パターン情報抽出のためのイベント駆動型アプリケーションにおけるオーバライドされたイベントリスナの解析手法の検討 (情報処理学会第202回ソフトウェア工学研究発表会)
2019/06/25	A Study on a Lane Keeping System using CNN for Online Learning of Steering Control from Real Time Images (34th International Technical Conference on Circuits / Systems, Computers and Communications (ITC-CSCC 2019))
2019/06/24	A Study of a Parallel Architecture for Accelerating Batch-Learning Self-Organizing Map by using Dedicated Hardware (34th International Technical Conference on Circuits / Systems, Computers and Communications (ITC-CSCC 2019))
2019/05/29	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/18	関数型言語によるアプリケーション開発のためのマイクロプロセッサ Temple 用プログラミング環境の構築 (第9回電子デバイス・回路・照明・システム関連教育・研究ワークショップ)
2019/03/16	イベント駆動型アプリケーション開発のためのAPI使用パターンに関する対話型検索を支援するグラフベース視覚化ツールの検討 (情報処理学会第81回全国大会)
2019/03/08	オープンソースリポジトリから自動抽出されたAPI集合の検索性向上のための頻出パターンマイニングによるAPI集合間の関係付け (情報処理学会第201回ソフトウェア工学研究発表会)
2019/03/02	主体的な学びを促進する演習型授業の設計と評価～コンピュータシステムの入門的演習を例にして～ (情報処理学会第149回コンピュータと教育研究発表会)
2018/12	Traf: a Graphical Proof Tree Viewer Cooperating with Coq through Proof General (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)
2018/10	VR空間における聴覚フィードバックを援用した運動制御の初期検討 (平成30年度（第69回）電気・情報関連学会中国支部連合大会)
2018/10	末尾再帰でない再帰プログラムから実行速度を考慮した末尾再帰記述へ変換するトランスレータの設計 (平成30年度（第69回）電気・情報関連学会中国支部連合大会)
2018/08/28	今そこにあるルービックキューブを解くツール (夏のプログラミングシンポジウム2018)
2018/06/08	Haskellにおける型クラス制約を満足する型変数割当ての唯一性検査に基づく型の曖昧性解決 (情報処理学会第119回プログラミング研究発表会)
2018/03/15	区間演算ライブラリMPFIを用いた実数計算ライブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装 (情報処理学会第80回全国大会)
2018/03/15	定理証明支援系Coqと連携した証明木表示機能の設計と実装 (情報処理学会第80回全国大会)
2018/03/09	ソースコードに含まれる機能を要約して一覧表示できるプログラム理解支援ツール (情報処理学会第198回ソフトウェア工学研究発表会)
2018/03/03	Traf: Coqでの対話的証明と連動した証明木描画ツール (第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018))
2018/03/03	気楽なアプリケーション開発を可能にするSearch-Select-Superpose Loopの反復支援ツール (第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018))
2018/01	プログラム理解のためのコードの機能分けツールの検討 (ウィンターワークショップ2018・イン・宮島)
2017/11/25	プログラミング支援のための機能毎のAPI集合の変数の依存関係を用いた抽出手法の検討 (第6回電子デバイス・回路・照明・システム関連教育・研究ワークショップ)
2017/09	末尾再帰でない再帰プログラムの高速化のための最適化に関する一考察 (日本ソフトウェア科学会第34回大会)
2017/07/05	Effective Indexing based on the TF-IDF Method with Selected Terms for Discovering Usages of APIs from Open Source Repositories (ITC-CSCC)
2017/03/16	区間演算ライブラリMPFIへのHaskellバインディングの設計と実装 (情報処理学会第79回全国大会)
2017/03/16	任意桁数の精度保証が可能な数値計算ライブラリIFNの区間演算ライブラリMPFIを用いた高速化 (情報処理学会第79回全国大会)
2017/01/06	API呼び出し記述支援手法に向けてのソースコードからマイニングした情報の特徴分析 (第58回プログラミング・シンポジウム)
2016/11/26	プログラミングアドバイスの絞込みを実現するAPI呼び出し系列データベースを支援するタグ付けの検討 (第4回電子デバイス・回路・照明・システム関連教育・研究ワークショップ)
2016/11/26	未完成プログラムの制御構造を踏まえたAPI呼び出し記述モデルに基づく不備指摘機能実現の検討 (第4回電子デバイス・回路・照明・システム関連教育・研究ワークショップ)
2016/11/19	中心半径型区間演算用ハードウェアのためのアルゴリズムとアーキテクチャの検討 (第18回IEEE広島支部学生シンポジウム)
2016/10/26	Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by using Memoization based on Quantized Precision (情報処理学会第111回プログラミング研究発表会（PRO111）)
2016/09/12	多倍長精度浮動小数点演算を用いた実数計算ライブラリの実現方式 (日本応用数理学会2016年度年会)
2016/09/09	キーワードと書きかけのコードから開発者の意図を推測するAPI呼び出し記述支援手法の検討 (日本ソフトウェア科学会第33回大会)
2016/09/08	定理証明支援系を証明木ベースで利用するためのProofGeneralの外部ツールの開発 (日本ソフトウェア科学会第33回大会)
2016/06/10	Fast Binary Cauchy Sequence に基づく実数計算の精度区間メモ化に基づく高速化 (情報処理学会第109回プログラミング研究発表会（PRO109）)
2016/04	Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Proc. 25th European Symposium on Programming (ESOP) 2016, LNCS 9632, pp.390-418, 2016. DOI: 10.1007/978-3-662-49498-1_16)
2016/01	定理証明支援系のGUIにおける証明木表示機能の拡張 (第57回プログラミング・シンポジウム)
2015/11	定理証明支援系のGUIにおける証明木表示機能の拡張 (第17回IEEE広島支部学生シンポジウム)
2015/09	Improving Floating-Point Numbersライブラリの高速化 (日本ソフトウェア科学会第32回大会)
2015/09	多倍長浮動小数点演算の応用による「実数計算」ライブラリの実現 (日本応用数理学会2015年度年会)
2015/01	COINSとLLVMの連携による例外処理対応とその評価 (情報処理学会第56回プログラミング・シンポジウム)
2014/11	COINSとLLVMの連携による例外処理機構対応付きコンパイラ基盤の実現方式 (第16回IEEE広島支部学生シンポジウム)
2014/10	COINSとLLVMの連携による例外処理機構対応付きコンパイラ基盤の実現方式 (第65回電気・情報関連学会中国支部連合大会)
2014/09	LLVMを活用した例外処理の実現のためのコンパイラ基盤COINSの拡張 (日本ソフトウェア科学会第31回大会)
2014/03	Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (PPL2014)
2014/01/12	書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装 (情報処理学会第55回プログラミングシンポジウム)
2013/10/24	書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装 (電子情報通信学会ソフトウェアサイエンス研究会)
2013/09/11	COINSによる例外処理機構を持つ言語処理系開発支援 (日本ソフトウェア科学会第30回大会)
2013/01/10	APIを用いた言語拡張のためのCOINSを用いた処理系実装の試み (電子情報通信学会ソフトウェアサイエンス研究会)
2012/01	再構成デバイスMPLDを対象とした配置配線の改善手法の提案と評価 (電子情報通信学会リコンフィギャラブルシステム研究会)
2011/11	COINSを用いた関数型言語コンパイラの実装方式 (第 13 回 IEEE 広島支部学生シンポジウム)
2010/09	MPLDアーキテクチャのための配置配線支援ツール (電子情報通信学会 RECONF研究会(2010-27))
2009/10	影響波及解析を用いたプログラム開発支援環境の設計と実装 (第60回電気・情報関連学会中国支部連合大会)
2009/05	適応的に計算精度を維持する数値計算環境の設計 (先端的計算基盤システムシンポジウム (SACSIS2009))
2009/03	モバイルデバイスのためのビジュアルプログラミング環境の設計と実装 (第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009))
2008/10	段階的詳細化の実践を支援するエディタの設計と実装 (第59回電気・情報関連学会中国支部連合大会)
2007/08	MatlabMPI-to-MPI トランスレータの開発 (並列・分散・協調処理ワークショップ（情報処理学会ハイパフォーマンスコンピューティング研究会）)
2007/08	数値処理ライブラリを使用するプログラムの処理内容の「可視化」 (並列・分散・協調処理ワークショップ（情報処理学会ハイパフォーマンスコンピューティング研究会）)
2007/04/05	A program development environment based on MATLAB (Workshop on Innovative Computational Strategies, International Conference on Computational Methods)
2006/11	Emacs Lisp を用いたプログラム開発支援環境の設計と実装 (第 8 回 IEEE 広島支部学生シンポジウム)
2006/11	Slice-hoisting による効率的な領域確保機能の CMC への実装と評価 (第 8 回 IEEE 広島支部学生シンポジウム)
2006/10/05	MATLABプログラムの実行時特殊化機能の実現 (情報処理学会ハイパフォーマンスコンピューティング研究会(HPC-108))
2006/02/27	MATLAB記述に基づくPSBLASを用いた並列疎行列計算コードの生成 (情報処理学会第159回計算機アーキテクチャ・第105回ハイパフォーマンスコンピューティング合同研究発表会（HOKKE-2006）)
2006/01	C++言語による疎行列計算クラスライブラリの設計と実装 (情報処理学会ハイパフォーマンスコンピューティングと計算科学シンポジウム(HPCS2006))
2005/11	C++言語による疎行列計算クラスライブラリの設計と実装 (7th HISS)
2005/11	MATLABのためのJITコンパイル環境の実現 (7th HISS)
2005/10	行列計算のためのMATLABベース静的型付け言語の設計と実装 (情報処理学会　プログラミング研究会)
2005/05	もっと気楽に疎行列計算：行列言語コンパイラ CMC (日本計算工学会計算工学講演会)
2005/03	行列言語コンパイラCMCのJDS形式への対応と Matrix Market を用いた評価 (情報処理学会　ハイパフォーマンスコンピューティング研究会（HOKKE-2005）)
2005/01	グラフィック表示に対応した教育用ボードの試作 (FPGA/PLD Design Conference)
2004/12	高速なMEX-Fileを生成できるMATLABコンパイラ (情報処理学会　ハイパフォーマンスコンピューティング研究会)
2004/11/05	A MATLAB-Based Code Generator for Sparse Matrix Computations (The 2nd Asian Symposium on Programming Languages and Systems)
2004/07	DAを始める前にやっておきたい基礎訓練：情報工学基礎実験 (情報処理学会　DAシンポジウム)
2004/03	MATLABのコンパイレーションにおける複数種類の疎行列データ構造への対応 (情報処理学会　ハイパフォーマンスコンピューティング研究会（HOKKE-2004）)
2003/10	MATLABに基づく疎行列計算向けコード生成 (情報処理学会　ハイパフォーマンスコンピューティング研究会)
2001/03	線形回帰演算の並列化手法の応用による DOACROSS ループの並列実行 (情報処理学会　ハイパフォーマンスコンピューティング研究会（HOKKE-2001）)
2000/03	粒子輸送モンテカルロシミュレーションコードの自動並列化 (情報処理学会　ハイパフォーマンスコンピューティング研究会（HOKKE-2000）)
1998/06	FPGAを使ったRISCアーキテクチャ実験教育 (第6回FPGA/PLD Design Conference & Exhibit)
1998	Virtualization of Memory Hierarchy via HPF (The 2nd Annual HPF User Group Meeting (HUG98))
1995/10	疎結合並列計算機 Paragon の性能評価 --- 通信性能評価を中心に --- (情報処理学会　ハイパフォーマンスコンピューティング研究会)
1993	拡張記憶の拡張主記憶としての仮想化 (情報処理学会　ハイパフォーマンスコンピューティング研究会)
1992	ベクトル計算機における拡張記憶の拡張主記憶としての仮想化, --- リストベクトルの利用による配列の格子状分割 --- (日本ソフトウェア科学会第9回全国大会)