江本健斗 EMOTO Kento

研究者番号	00587470
その他のID
所属 (現在)	2025年度: 九州工業大学, 大学院情報工学研究院, 准教授
所属 (過去の研究課題情報に基づく) *注記	2015年度 – 2024年度: 九州工業大学, 大学院情報工学研究院, 准教授 2016年度: 九州工業大学, 情報工学研究院, 准教授 2013年度 – 2014年度: 九州工業大学, 大学院情報工学研究院, 助教 2013年度: 東京大学, 大学院情報理工学系研究科, 助教 2012年度: 東京大学, 情報理工学(系)研究科, 助教 2011年度: 東京大学, 助教 2010年度 – 2011年度: 東京大学, 大学院・情報理工学系研究科, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウエア / ソフトウェア研究代表者以外小区分60050:ソフトウェア関連 / ソフトウェア / ソフトウエア
キーワード	研究代表者並列プログラミング / 定理証明支援系 / 並列スケルトン / グラフ計算 / 機械証明 / グラフ / スケルトン / プログラミング言語 / coq / recursion scheme … もっと見る / BSPモデル / 持続型例外処理 / 計算量証明 / BSP モデル / 深層学習 / 形式証明 / Coq / 並列 / 不等式 / 計算量 / 並列木準同型 / 能動的ライブラリ / 融合変換 / MapReduce / 並列蓄積計算 / 生成検査集約プログラミング / スケルトン並列プログラミング / 生成検査法 / 動的計画法 / 半環 / プログラム導出 / 組み合わせ問題 / 非数値計算問題 / 生成検査集約法 … もっと見る研究代表者以外プログラミング言語 / 領域特化言語 / グラフ変換 / 双方向変換 / 計算機システム / 仮想環境 / 性能評価 / フォールト・トレランス / 負荷分散 / ハイパフォーマンス・コンピューティング / ディペンダブル・コンピューティング / ソフトウエア開発効率化・安定化 / プログラム変換・合成 / 大規模グラフ処理 / プログラム運算 / 部分グラフ主体計算 / 頂点主体計算 / 大規模グラフ並列処理 / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / 代数的データ型 / 大規模並列処理 / 関数型言語 / 代数データ型 / グラフ並列処理 / プログラミング方法論 / アルゴリズム / プログラミングパラダイム / プログラム言語 / 並列プログラミング / モデル変換 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学隠す

正しさと効率の保証を備えた平易な並列プログラミング環境の構築に関する研究研究代表者
- 研究代表者
  
  江本健斗
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州工業大学
大規模グラフ並列処理プログラムのプログラム合成・変換手法に基づく開発手法の確立
- 研究代表者
  
  岩崎英哉
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  明治大学
   電気通信大学
正しさと効率の形式的証明を備えたスケルトン並列プログラミング環境に関する研究研究代表者
- 研究代表者
  
  江本健斗
- 研究期間 (年度)
  2019 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州工業大学
高性能・高信頼な高水準言語の実装向け持続型例外処理機構の理論と実践
- 研究代表者
  
  八杉昌宏
- 研究期間 (年度)
  2019 – 2023
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  九州工業大学
正しさと効率に関する機械的証明を備えた並列プログラミング環境の実現に関する研究研究代表者
- 研究代表者
  
  江本健斗
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  九州工業大学
大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
- 研究代表者
  
  岩崎英哉
- 研究期間 (年度)
  2014 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  電気通信大学
大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用研究代表者
- 研究代表者
  
  江本健斗
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  九州工業大学
   東京大学
双方向モデル変換の言語的基盤技術に関する研究
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所
並列性忘却プログラミングに関する研究
- 研究代表者
  
  武市正人
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウエア
- 研究機関
  独立行政法人大学評価・学位授与機構
   東京大学
非数値計算問題に対するスケルトン並列プログラミングの応用に関する研究研究代表者
- 研究代表者
  
  江本健斗
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2014 2013 2012 2011 2010 その他

すべて雑誌論文学会発表

[雑誌論文] Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages2024
- 著者名/発表者名
  Masahiro Yasugi, Kento Emoto, Tasuku Hiraishi
- 雑誌名
  
  Journal of Information Processing
  
  巻: 32 号: 0 ページ: 436-450
- DOI
  10.2197/ipsjjip.32.436
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22K11984, KAKENHI-PROJECT-19H04087
[雑誌論文] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022
- 著者名/発表者名
  IWASAKI HIDEYA、EMOTO KENTO、MORIHATA AKIMASA、MATSUZAKI KIMINORI、HU ZHENJIANG
- 雑誌名
  
  Journal of Functional Programming
  
  巻: 32
- DOI
  10.1017/s0956796821000277
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00108, KAKENHI-PROJECT-19K11901
[雑誌論文] Watts–Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2020
- 著者名/発表者名
  神野薫, 江本健斗
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 37 号: 2 ページ: 2_34-2_45
- DOI
  10.11309/jssst.37.2_34
- NAID
  130007863812
- ISSN
  0289-6540
- 年月日
  2020-04-23
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11901, KAKENHI-PROJECT-19K11903, KAKENHI-PROJECT-19H04087
[雑誌論文] A DSL for graph parallel programming with vertex subsets2019
- 著者名/発表者名
  Kento Emoto, Fumihisa Sadahira
- 雑誌名
  
  The Journal of Supercomputing
  
  巻: 75 号: 7 ページ: 1-18
- DOI
  10.1007/s11227-019-02821-w
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K15974, KAKENHI-PROJECT-26280020, KAKENHI-PROJECT-26280023, KAKENHI-PROJECT-19K11901
[雑誌論文] 定理証明支援系Coqにおける不等式変形記法2018
- 著者名/発表者名
  村田康佑 , 江本健斗
- 雑誌名
  
  情報処理学会論文誌プログラミング（PRO）
  
  巻: 11(4) ページ: 1-12
- NAID
  170000149918
- 査読あり
- データソース
  KAKENHI-PROJECT-15K15974
[雑誌論文] A Generate-Test-Aggregate Parallel Programming Library for Systematic Parallel Programming2014
- 著者名/発表者名
  Yu Liu, Kento Emoto, Zhenjiang Hu
- 雑誌名
  
  Parallel Computing
  
  巻: Volume 40, Issue 2 号: 4 ページ: 116-135
- DOI
  10.1007/s11390-014-1462-5
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25240009
[雑誌論文] Shortest Regular Category-Path Queries2014
- 著者名/発表者名
  Le-Duc Tung, Kento Emoto, Zhenjiang Hu
- 雑誌名
  
  Technical Report, GRACE center, National Institute of Informatics
  
  巻: GRACE-TR-2014-03 ページ: 1-14
- データソース
  KAKENHI-PROJECT-24700025
[雑誌論文] A Generate-Test-Aggregate Parallel Programming Library2014
- 著者名/発表者名
  Yu Liu, Kento Emoto, Zhenjiang Hu
- 雑誌名
  
  Parallel Computing
  
  巻: 40 (2) 号: 2 ページ: 116-135
- DOI
  10.1016/j.parco.2013.11.002
- 査読あり
- データソース
  KAKENHI-PROJECT-24700025
[雑誌論文] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2014
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki
- 雑誌名
  
  International Journal of Parallel Programming
  
  巻: 42(4) 号: 4 ページ: 546-563
- DOI
  10.1007/s10766-013-0263-8
- NAID
  120005728994
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700025, KAKENHI-PROJECT-25330088, KAKENHI-PROJECT-26280020
[雑誌論文] Accumulative Computation on MapReduce2014
- 著者名/発表者名
  劉雨, 江本健斗, 松崎公紀, 胡振江
- 雑誌名
  
  情報処理学会論文誌：プログラミング
  
  巻: 7 (1) ページ: 18-27
- NAID
  130003394611
- 査読あり
- データソース
  KAKENHI-PROJECT-24700025
[雑誌論文] Filter-embedding semiring fusion for programming with MapReduce2012
- 著者名/発表者名
  Kento Emoto, Sebastian Fischer, Zhenjiang Hu
- 雑誌名
  
  Formal Aspects of Computing
  
  巻: 24 号: 4-6 ページ: 623-645
- DOI
  10.1007/s00165-012-0241-8
- 査読あり
- データソース
  KAKENHI-PROJECT-24700025
[雑誌論文] Parallel Tree Reduction on MapReduce2012
- 著者名/発表者名
  Kento Emoto, Hiroto Imachi
- 雑誌名
  
  Procedia CS
  
  巻: 9 ページ: 1827-1836
- DOI
  10.1016/j.procs.2012.04.201
- 査読あり
- データソース
  KAKENHI-PROJECT-24700025
[雑誌論文] 生成検査+α計算の効率的並列アルゴリズムの系統的導出2012
- 著者名/発表者名
  江本健斗
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: Vol.29 ページ: 159-175
- NAID
  130004549255
- 査読あり
- データソース
  KAKENHI-PROJECT-22800007
[雑誌論文] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2011
- 著者名/発表者名
  Kento EMOTO, Sebastian FISCHER and Zhenjiang HU
- 雑誌名
  
  Mathematical Engineering Technical Reports
  
  巻: 2011-34 ページ: 1-28
- データソース
  KAKENHI-PROJECT-22800007
[雑誌論文] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2011
- 著者名/発表者名
  Kento EMOTO, Sebastian FISCHER, Zhenjiang HU
- 雑誌名
  
  Mathematical Engineering Technical Reports
  
  巻: 2011-34 ページ: 1-28
- データソース
  KAKENHI-PROJECT-22800007
[雑誌論文] An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- 著者名/発表者名
  Kento EMOTO
- 雑誌名
  
  Mathematical Engineering Technical Reports
  
  巻: 2011-01 ページ: 1-31
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] 指定した形の中間証明状態へ至る形式証明の自動生成を目指して～Transformerを用いた深層学習的アプローチ～2024
- 著者名/発表者名
  鵜狩慧久, 江本健斗
- 学会等名
  火の国情報シンポジウム2024
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- 著者名/発表者名
  福島央章, 江本健斗
- 学会等名
  火の国情報シンポジウム2023
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の背景と展望2023
- 著者名/発表者名
  八杉昌宏, 平石拓, 江本健斗
- 学会等名
  第15回自動チューニング技術の現状と応用に関するシンポジウム
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- 著者名/発表者名
  福島央章, 江本健斗
- 学会等名
  火の国情報シンポジウム2023
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計2023
- 著者名/発表者名
  八杉昌宏, 江本建斗, 平石拓
- 学会等名
  情報処理学会第146回プログラミング研究会 (PRO-2023-3)
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- 著者名/発表者名
  福島央章, 江本健斗
- 学会等名
  火の国情報シンポジウム2023論文集
- データソース
  KAKENHI-PROJECT-19K11901
[学会発表] 定理証明支援系Coqによる持続型例外処理機構の形式化2022
- 著者名/発表者名
  森公哉, 江本健斗
- 学会等名
  火の国情報シンポジウム2022
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ2022
- 著者名/発表者名
  田中匠海, 江本健斗
- 学会等名
  火の国情報シンポジウム2022
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ2022
- 著者名/発表者名
  田中匠海, 江本健斗
- 学会等名
  火の国情報シンポジウム2022
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] 定理証明支援系Coqによる持続型例外処理機構の形式化2022
- 著者名/発表者名
  森公哉, 江本健斗
- 学会等名
  火の国情報シンポジウム2022
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing2021
- 著者名/発表者名
  Ryuichi Takakura, Kento Emoto
- 学会等名
  9th International Symposium on Applied Engineering and Sciences (SAES2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing2021
- 著者名/発表者名
  Ryuichi Takakura, Kento Emoto
- 学会等名
  9th International Symposium on Applied Engineering and Sciences (SAES2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11901
[学会発表] 持続型例外処理機構の設計と実装方針2021
- 著者名/発表者名
  八杉昌宏, 江本健斗, 平石拓
- 学会等名
  第13回自動チューニング技術の現状と応用に関するシンポジウム
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] レベル付き持続型例外処理機構の設計2021
- 著者名/発表者名
  八杉昌宏, 江本健斗, 平石拓
- 学会等名
  日本ソフトウェア科学会第38回大会
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] ワークスティールフレームワークの多様な環境での性能改善と評価2020
- 著者名/発表者名
  八杉昌宏, 平石拓, 光来健一, 江本健斗
- 学会等名
  第12回自動チューニング技術の現状と応用に関するシンポジウム
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル2020
- 著者名/発表者名
  八杉昌宏, 村岡大輔, 平石拓, 馬谷誠二, 江本健斗
- 学会等名
  日本ソフトウェア科学会第37回大会
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Coq における Hylomorphism を用いたプログラム運算の検証に向けて2020
- 著者名/発表者名
  村田康佑, 江本健斗
- 学会等名
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) (カテゴリ1)
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Coq における Hylomorphism を用いたプログラム運算の検証に向けて2020
- 著者名/発表者名
  村田康佑, 江本健斗
- 学会等名
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- 著者名/発表者名
  神野薫, 江本健斗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] 高度な運算定理の Coq による証明とその自動化2019
- 著者名/発表者名
  村田康佑, 江本健斗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- 著者名/発表者名
  神野薫, 江本健斗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] 高水準言語による障害耐性を備えた新しい並列実行モデル2019
- 著者名/発表者名
  八杉昌宏, 平石拓, 光来健一, 江本健斗
- 学会等名
  第11回自動チューニング技術の現状と応用に関するシンポジウム
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減2019
- 著者名/発表者名
  小西篤志, 江本健斗
- 学会等名
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） (ポスター)
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] Coqを用いた高度なプログラム運算定理の検証に向けて2019
- 著者名/発表者名
  村田康佑 , 江本健斗
- 学会等名
  第21回プログラミングおよびプログラミング言語ワークショップ PPL2019
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 高度な運算定理の Coq による証明とその自動化2019
- 著者名/発表者名
  村田康佑, 江本健斗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- 著者名/発表者名
  神野薫, 江本健斗
- 学会等名
  日本ソフトウェア科学会第36回大会
- データソース
  KAKENHI-PROJECT-19K11901
[学会発表] HOPE: A Parallel Execution Model Based on Hierarchical Omission2019
- 著者名/発表者名
  Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto
- 学会等名
  48th International Conference on Parallel Processing (ICPP 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Recursion Schemes in Coq2019
- 著者名/発表者名
  Kosuke Murata, Kento Emoto
- 学会等名
  Programming Languages and Systems - 17th Asian Symposium, APLAS 2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11903
[学会発表] Recursion Schemes in Coq2019
- 著者名/発表者名
  Kosuke Murata, Kento Emoto
- 学会等名
  17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19H04087
[学会発表] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018
- 著者名/発表者名
  Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
- 学会等名
  14th International Symposium on Functional and Logic Programming (FLOPS 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] Coqにおける可読性の高い形式的証明に向けて2018
- 著者名/発表者名
  村田康佑, 江本健斗
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] Coqにおける検証されたプログラム運算の拡張2018
- 著者名/発表者名
  村田康佑 , 江本健斗
- 学会等名
  日本ソフトウェア科学会第35回大会
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 頂点部分集合変数を備えた大規模グラフ計算用領域特化言語2017
- 著者名/発表者名
  定平典久, 江本健斗
- 学会等名
  第19回プログラミングおよびプログラミング言語ワークショップ PPL 2017
- 発表場所
  笛吹市
- 年月日
  2017-03-08
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 並列プログラム計算量の系統的機械証明手法の開発2017
- 著者名/発表者名
  白水駿, 江本健斗
- 学会等名
  日本ソフトウェア科学会第34回大会
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] Spark GraphXへのFregelコンパイラ2017
- 著者名/発表者名
  中島拓, 江本健斗
- 学会等名
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (ポスター)
- 発表場所
  華やぎの章慶山 (山梨県笛吹市)
- 年月日
  2017-03-08
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] 頂点部分集合変数を備えた大規模グラフ計算用領域特化言語2017
- 著者名/発表者名
  定平典久, 江本健斗
- 学会等名
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (カテゴリ1)
- 発表場所
  華やぎの章慶山 (山梨県笛吹市)
- 年月日
  2017-03-08
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] 頂点主体並列グラフ処理の制約解消器による効率化2017
- 著者名/発表者名
  森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
- 学会等名
  日本ソフトウェア科学会第34回大会
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器2017
- 著者名/発表者名
  松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌
- 学会等名
  日本ソフトウェア科学会第34回大会
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] A Functional DSL for Large Scale Graph Processing2016
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- 学会等名
  Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
- 発表場所
  Kochi, Japan
- 年月日
  2016-03-04
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- 著者名/発表者名
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  仙台市
- 年月日
  2016-09-07
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 大規模グラフ並列処理のための関数型領域特化言語2016
- 著者名/発表者名
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- 学会等名
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- 発表場所
  岡山県玉野市
- 年月日
  2016-03-07
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- 学会等名
  21st ACM SIGPLAN International Conference on Functional Programming, ICFP2016,
- 発表場所
  Nara, Japan
- 年月日
  2016-09-19
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K15974
[学会発表] 大規模グラフ並列処理のための関数型領域特化言語2016
- 著者名/発表者名
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- 学会等名
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- 発表場所
  岡山県玉野市
- 年月日
  2016-03-07
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- 著者名/発表者名
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- 学会等名
  日本ソフトウェア科学会第33回大会講演論文集
- 発表場所
  東北大学 (宮城県仙台市)
- 年月日
  2016-09-07
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- 学会等名
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- 発表場所
  Nara, Japan
- 年月日
  2016-09-19
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] A Functional DSL for Large Scale Graph Processing (Poster)2016
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- 学会等名
  13th International Symposium on Functional and Logic Programming (FLOPS 2016)
- 発表場所
  Kochi, Japan
- 年月日
  2016-03-04
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2013
- 著者名/発表者名
  Kento Emoto, Kiminori Matsuzaki
- 学会等名
  International Symposium on High-level Parallel Programming and Applications
- 発表場所
  Paris, France
- データソース
  KAKENHI-PROJECT-24700025
[学会発表] Accumulative Computation on MapReduce2013
- 著者名/発表者名
  劉雨, 江本健斗, 松崎公紀, 胡振江
- 学会等名
  情報処理学会，第95回PRO研究発表会（SWoPP2013）
- 発表場所
  福岡県北九州市
- データソース
  KAKENHI-PROJECT-24700025
[学会発表] A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce2013
- 著者名/発表者名
  Yu Liu, Kento Emoto, Zhenjiang Hu
- 学会等名
  the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2013
- 発表場所
  Shenzhen, China
- データソース
  KAKENHI-PROJECT-24700025
[学会発表] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2012
- 著者名/発表者名
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- 学会等名
  プログラミング及びプログラミング言語ワークショップPPL2012
- 発表場所
  和歌山県西牟婁郡白浜町
- 年月日
  2012-03-09
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2012
- 著者名/発表者名
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- 学会等名
  21st European Symposium on Programming (ESOP 2012)
- 発表場所
  エストニア、タリン
- 年月日
  2012-03-27
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2012
- 著者名/発表者名
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- 学会等名
  21st European Symposium on Programming(ESOP 2012)
- 発表場所
  Tallinn, Estonia
- 年月日
  2012-03-27
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2012
- 著者名/発表者名
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- 学会等名
  プログラミング及びプログラミング言語ワークショップPPL2012
- 発表場所
  和歌山県西牟婁郡白浜町
- 年月日
  2012-03-09
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Semirings for Free!-An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- 著者名/発表者名
  Kento EMOTO
- 学会等名
  The Fourth DIKU-IST Joint Workshop on Foundations of Software
- 発表場所
  University of Tokyo
- 年月日
  2011-01-13
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Semirings for Free!-An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- 著者名/発表者名
  Kento EMOTO
- 学会等名
  The Fourth DIKU-IST Joint Workshop on Foundations of Software
- 発表場所
  東京大学
- 年月日
  2011-01-13
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- 著者名/発表者名
  Kento EMOTO
- 学会等名
  プログラミング及びプログラミング言語ワークショップPPL2011
- 発表場所
  北海道札幌市
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Generate-Test-and-AggregateアルゴリズムのHadoop実装2011
- 著者名/発表者名
  劉雨、セバスティアンフィッシャー、江本健斗、胡振江
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  沖縄県那覇市
- 年月日
  2011-09-27
- データソース
  KAKENHI-PROJECT-22800007
[学会発表] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- 著者名/発表者名
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- 学会等名
  16th International European Conference on Parallel and Distributed Computing
- 発表場所
  Ischia, Italy
- データソース
  KAKENHI-PROJECT-22650006
[学会発表] Genera-tors-of-generators Library with Op-timization Capabilities in Fortress2010
- 著者名/発表者名
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsu-zaki, Masato Takeichi
- 学会等名
  16th International European Con-ference on Parallel and Distributed Computing
- 発表場所
  Ischia, Italy
- データソース
  KAKENHI-PROJECT-22650006
[学会発表] A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
- 著者名/発表者名
  Kento Emoto, Frederic Loulergue, Julien Tesson
- 学会等名
  Interactive Theorem Proving - 5th International Conference (ITP 2014)
- 発表場所
  Vienna, Austria
- 年月日
  2014-07-14 – 2014-07-17
- データソース
  KAKENHI-PROJECT-26280020
[学会発表] A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
- 著者名/発表者名
  Kento Emoto, Frederic Loulergue, Julien Tesson
- 学会等名
  Interactive Theorem Proving - 5th International Conference
- 発表場所
  Vienna, Austria
- 年月日
  2014-07-14 – 2014-07-17
- データソース
  KAKENHI-PROJECT-24700025

1. 胡振江 (50292769)

共同の研究課題数: 4件

共同の研究成果数: 10件
2. 日高宗一郎 (70321578)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 加藤弘之 (10321580)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 中野圭介 (30505839)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 松田一孝 (10583627)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 松崎公紀 (30401243)

共同の研究課題数: 2件

共同の研究成果数: 9件
7. 岩崎英哉 (90203372)

共同の研究課題数: 2件

共同の研究成果数: 7件
8. 稲葉一弘 (30570311)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 篠埜功 (10362021)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 武市正人 (10011165)

共同の研究課題数: 1件

共同の研究成果数: 2件
11. 森畑明昌 (10582257)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 八杉昌宏 (30273759)

共同の研究課題数: 1件

共同の研究成果数: 8件
13. 浅田和之 (00570251)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 平石拓 (60528222)

共同の研究課題数: 1件

共同の研究成果数: 8件
15. 光来健一 (60372463)

共同の研究課題数: 1件

共同の研究成果数: 2件
16. ZHU Zirun

共同の研究課題数: 1件

共同の研究成果数: 0件

江本 健斗 EMOTO Kento

研究課題

研究成果

共同研究者

正しさと効率の保証を備えた平易な並列プログラミング環境の構築に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

大規模グラフ並列処理プログラムのプログラム合成・変換手法に基づく開発手法の確立

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

正しさと効率の形式的証明を備えたスケルトン並列プログラミング環境に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

高性能・高信頼な高水準言語の実装向け持続型例外処理機構の理論と実践

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

正しさと効率に関する機械的証明を備えた並列プログラミング環境の実現に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

双方向モデル変換の言語的基盤技術に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並列性忘却プログラミングに関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非数値計算問題に対するスケルトン並列プログラミングの応用に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages2024

著者名/発表者名

雑誌名

DOI

ISSN

言語

データソース

[雑誌論文] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022

著者名/発表者名

雑誌名

江本健斗 EMOTO Kento