| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| publications [2022/10/25 18:38] – kawabata | publications [2025/04/30 18:57] (current) – kawabata |
|---|
| |
| ==== List of research papers and presentations (refereed ✔) ==== | ==== List of research papers and presentations (refereed ✔) ==== |
| | * 髙畠悠太，川端英之，弘中哲夫, Redexで実装された核言語インタプリタのためのフロントエンドの自動生成, 情報処理学会第153回プログラミング研発表会発表資料, Mar. 27, 2025. |
| | * 髙畠悠太，川端英之，弘中哲夫, Redexを用いて実装された核言語のインタプリタに対する表層言語パーザの自動生成，情報処理学会第87回全国大会講演論文集, Mar. 13, 2025. |
| | * 林慶祐, 川端英之, 弘中哲夫, Idrisプログラムにおける部分式の型導出システムの開発 ―依存型付き言語によるプログラムの読解や記述の支援―, 第66回プログラミング・シンポジウム, Jan. 15, 2025. |
| | * 藤原新, 川端英之, 弘中哲夫, ユーザフレンドリーな Java to Kotlin コンバータの開発, 第66回プログラミング・シンポジウム, Jan. 15, 2025. |
| | |
| | * 佐原海哉, 川端英之, 弘中哲夫, 行列積演算を用いたDGMPFIライブラリの再利用処理におけるオーバヘッドの評価, 2024年度（第75回）電気・情報関連学会中国支部連合大会, Oct. 26, 2024. |
| | * 山﨑陽介, 川端英之, 弘中哲夫, 代数的エフェクトハンドラを持つ言語のプログラムに対するエフェクト列の静的な見積り, 日本ソフトウェア科学会第41回大会, 6b-1-R, Sep. 12, 2024. ** 学生奨励賞，優秀発表賞受賞 ** |
| | * ✔ Momoka Saito (UEC), Hideya Iwasaki (Meiji University), Hideyuki Kawabata, Tsuneyasu Komiya (UEC), Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers, Haskell Symposium 2024, Sep. 6, 2024. |
| | * 河野雄也, 川端英之，弘中哲夫, 余パターンマッチの簡潔なコンパイル手法, 情報処理学会第148回プログラミング研究発表会, Mar. 22, 2024. |
| | * 山川眞延，川端英之，弘中哲夫, 並行システム開発のためのPROMELAからErlangへの変換ツールの設計と実装, 情報処理学会第86回全国大会, 5M-06, Mar. 16, 2024. |
| | * 林 慶祐，川端英之，弘中哲夫, Idrisプログラミングの支援のための部分式の型表示機能の高度化, 情報処理学会第86回全国大会, 5M-05, Mar. 16, 2024. **学生奨励賞受賞（林）** |
| | * 加藤卓真，川端英之，弘中哲夫, TransMPFR：Cプログラムの多倍長演算拡張支援システム, 情報処理学会第86回全国大会, 4K-08, Mar. 16, 2024. |
| | * 米田友貴，川端英之，弘中哲夫, Java-to-Kotlin変換における柔軟なオプション指示を可能にする仕組みの設計, 情報処理学会第86回全国大会, 4K-07, Mar. 16, 2024. |
| | * 齊藤 百香（電通大）, 岩崎 英哉（明治大）, 川端 英之（広島市立大）, 小宮 常康（電通大），演算の融合による数値計算ライブラリIFNのメモリ効率の改善, 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024), ポスター, Mar. 6, 2024. |
| | * 山川眞延, 川端英之, 弘中哲夫，仕様記述言語PROMELAからプログラミング言語Erlangへの自動変換による並行システム開発支援環境の設計と実装, 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024), ポスター, Mar. 6, 2024. |
| | * 山﨑 陽介, 川端英之，弘中哲夫，代数的エフェクトにおけるエフェクトのperformを可視化するシステムの開発, 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024), ポスター, Mar. 5, 2024. |
| | * 山﨑 陽介, 川端英之，弘中哲夫, 代数的エフェクトを活用するためのプログラミングの支援に関する考察, 第65回プログラミング・シンポジウム, Jan. 6, 2024. |
| | * 梅田 創，山根 愛実，山﨑 陽介，弘中 哲夫，川端 英之，地域コミュニティの活性化に役立つディジタルツールのあり方を考える ～老若男女が誰でも使いやすい地域コミュニティ向けアプリの検討～, 第65回プログラミング・シンポジウム, Jan. 7, 2024. |
| | |
| | * 山川眞延, 川端英之, 弘中哲夫, 並行システム開発のためのPROMELAからErlangへの変換ツールの設計, 2023年度(第74回)電気・情報関連学会中国支部連合大会, 2023年10月28日. |
| | * ✔ 齊藤 百香 (電気通信大学), 岩崎 英哉 (明治大学), 川端 英之, 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善, 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), Mar. 8, 2023. **PPL 2023 発表賞 (学生の部) 受賞（齊藤）** |
| | * 河野一真, 川端英之, 弘中哲夫, Kotlin特有の機能を選択的に導入できるJava-to-Kotlinコンバータの設計と実装, 情報処理学会第85回全国大会, 6L-04, Mar. 4, 2023. **学生奨励賞受賞（河野）** |
| | * 佐原海哉，川端英之，谷川一哉，弘中哲夫, 区間演算ライブラリを用いるプログラムのための依存グラフの局所的構築と再利用による効率的なデータフロー並列処理, 情報処理学会第85回全国大会, 7L-06, Mar. 4, 2023. |
| | * 南山 陸，川端英之，弘中哲夫, 依存型付き関数プログラミング言語Idrisを対象とした任意の部分式の型の表示ツールの設計の設計と実装, 情報処理学会第85回全国大会, 7L-08, Mar. 4, 2023. |
| | * 山﨑 陽介, 川端英之，弘中哲夫, 麻雀におけるプレイヤの副露率の分布が戦局に与える影響について, 第64回プログラミング・シンポジウム, Jan. 8, 2023. |
| | |
| * 河野一真, 川端英之, 弘中哲夫, Java から Kotlin への柔軟なプログラム変換機能の設計と実装, 2022年度(第73回)電気・情報関連学会中国支部連合大会, R22-25-10, Oct. 22, 2022. | * 河野一真, 川端英之, 弘中哲夫, Java から Kotlin への柔軟なプログラム変換機能の設計と実装, 2022年度(第73回)電気・情報関連学会中国支部連合大会, R22-25-10, Oct. 22, 2022. |
| * 山川眞延, 川端英之, 弘中哲夫, モデル検査ツールSPINによる並行プログラムのデバッグを支援する状態遷移追跡支援ツールの設計と実装, 情報処理学会全国大会第84回全国大会, 4L-06, 2022年3月4日. | * 山川眞延, 川端英之, 弘中哲夫, モデル検査ツールSPINによる並行プログラムのデバッグを支援する状態遷移追跡支援ツールの設計と実装, 情報処理学会第84回全国大会, 4L-06, 2022年3月4日. |
| * 大本裕真, 川端英之, 弘中哲夫, 命令セットが8命令からなる小規模CPUを対象としたC言語風コンパイラ実装, 情報処理学会全国大会第84回全国大会, 2K-07, 2022年3月3日. | * 大本裕真, 川端英之, 弘中哲夫, 命令セットが8命令からなる小規模CPUを対象としたC言語風コンパイラ実装, 情報処理学会全国大会第84回全国大会, 2K-07, 2022年3月3日. |
| * 秦将裕, 川端英之, 弘中哲夫, ループ境界を越えた動的スケジューリングによる区間演算プログラムの高速化, 情報処理学会全国大会第84回全国大会, 2K-05, 2022年3月3日. | * 秦将裕, 川端英之, 弘中哲夫, ループ境界を越えた動的スケジューリングによる区間演算プログラムの高速化, 情報処理学会全国大会第84回全国大会, 2K-05, 2022年3月3日. |
| * 深澤貴仁, 川端英之, 弘中哲夫, 定理証明支援系Coqと連携した証明木図示ツールのVisual Sudio Codeプラグインとしての実装, 情報処理学会全国大会第84回全国大会, 1L-08, 2022年3月3日. | * 深澤貴仁, 川端英之, 弘中哲夫, 定理証明支援系Coqと連携した証明木図示ツールのVisual Sudio Codeプラグインとしての実装, 情報処理学会第84回全国大会, 1L-08, 2022年3月3日. |
| * 馬場秀人, 川端英之, 弘中哲夫, Rumpfi: Rustで区間演算ライブラリMPFIを手軽に扱うためのインターフェース, 情報処理学会全国大会第84回全国大会, 2K-04, 2022年3月3日. | * 馬場秀人, 川端英之, 弘中哲夫, Rumpfi: Rustで区間演算ライブラリMPFIを手軽に扱うためのインターフェース, 情報処理学会全国大会第84回全国大会, 2K-04, 2022年3月3日. |
| * 三原眞子, 川端英之, 弘中哲夫, ダイクストラの方法に基づく簡単な整数演算プログラムの半自動生成ツールの実装について, 情報処理学会全国大会第84回全国大会, 1L-07, 2022年3月3日． | * 三原眞子, 川端英之, 弘中哲夫, ダイクストラの方法に基づく簡単な整数演算プログラムの半自動生成ツールの実装について, 情報処理学会第84回全国大会, 1L-07, 2022年3月3日． |
| |
| * 秦将裕, 川端英之, 弘中哲夫, 軽量な同期方法を用いた区間演算ライブラリの並列化, 2021年度(第72回)電気・情報関連学会中国支部連合大会, R21-25-10, Oct. 23, 2021. | * 秦将裕, 川端英之, 弘中哲夫, 軽量な同期方法を用いた区間演算ライブラリの並列化, 2021年度(第72回)電気・情報関連学会中国支部連合大会, R21-25-10, Oct. 23, 2021. |
