EMOTO Kento

写真a

Title

Associate Professor

Laboratory

680-4 Kawazu, Iizuka-shi, Fukuoka

Research Fields, Keywords

parallel programming, algorithmic skeletons, program transformation, algorithm synthesis, active libraries

E-mail

E-mail address

Phone

+81-948-29-7624

Scopus Paper Info  
Total Paper Count: 0  Total Citation Count: 0  h-index: 6

Citation count denotes the number of citations in papers published for a particular year.

Undergraduate Education 【 display / non-display

  • 2004.03   The University of Tokyo   Faculty of Engineering   Graduated   JAPAN

Post Graduate Education 【 display / non-display

  • 2006.03  The University of Tokyo  Graduate School of Information Science and Technology  Department of Mathematical Informatics  Master's Course  Completed  JAPAN

Degree 【 display / non-display

  • The University of Tokyo -  Ph.D.  2009.10

Biography in Kyutech 【 display / non-display

  • 2019.04
    -
    Now

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Computer Science and Networks   Associate Professor  

  • 2015.04
    -
    2019.03

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Artificial Intelligence   Associate Professor  

  • 2014.04
    -
    2015.03

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Creative Informatics   Assistant Professor  

  • 2013.04
    -
    2014.03

    Kyushu Institute of TechnologyFaculty of Computer Science and Systems Engineering   Department of Artificial Intelligence   Assistant Professor  

Biography before Kyutech 【 display / non-display

  • 2009.12
    -
    2013.03

      Assistant Professor   JAPAN

  • 2008.04
    -
    2009.12

      Researcher   JAPAN

Academic Society Memberships 【 display / non-display

  • 2011.08
    -
    Now
     

    ACM  UNITED STATES

  • 2009.03
    -
    Now
     

    Information Processing Society of Japan  JAPAN

  • 2004.08
    -
    Now
     

    Japan Society for Software Science and Technology  JAPAN

 

Publications (Article) 【 display / non-display

  • Distributed parallel generation of large-scale random graphs based on Watts–Strogatz model

    KAMINO Kaoru, EMOTO Kento

    Computer Software  ( Japan Society for Software Science and Technology )  37 ( 2 ) 2_34 - 2_45   2020.01  [Refereed]

     View Summary

    <p>In recent years, there has been a growing demand for the development of programs that perform analysis on large-scale graphs such as SNS and Web graphs. In evaluating the performance of such programs, we need a number of input graphs with the desired number of nodes and specific features such as the small-world property. However, the generation of large-scale random graphs by sequential programs is very time-consuming, and may cause memory shortage. In order to solve this problem, distributed parallelization of large-scale graph generation is desired.<br/>In this research, we propose distributed parallelization of the random-graph generation based on Watts-Strogatz model, which is one of well-known graph models that provide characteristics similar to large scale graphs in the real world. We implemented our proposing distributed parallel algorithm by using Hadoop MapReduce. In the distributed parallelization, some restrictions are introduced into the original generation method to improve its efficiency. We have shown that the restrictions do not break the the characteristics that the original model has.</p>

    DOI CiNii

  • Recursion Schemes in Coq

    Kosuke Murata, Kento Emoto

    Programming Languages and Systems - 17th Asian Symposium, APLAS 2019  ( Springer )    202 - 221   2019.12  [Refereed]

    DOI

  • HOPE: A Parallel Execution Model Based on Hierarchical Omission

    Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto

    Proceedings of the 48th International Conference on Parallel Processing, ICPP 2019  ( ACM )    77:1 - 77:11   2019.08  [Refereed]

    DOI

  • A DSL for graph parallel programming with vertex subsets

    Kento Emoto, Fumihisa Sadahira

        (First Online 23 March 2019)   2019.03  [Refereed]

    DOI

  • 定理証明支援系Coqにおける不等式変形記法

    村田康佑, 江本健斗

    情報処理学会論文誌プログラミング(PRO)     11 ( 4 ) 1 - 12   2018.12  [Refereed]

display all >>

Conference Prsentations (Oral, Poster) 【 display / non-display

  • レベル付き持続型例外処理機構の設計

    八杉 昌宏, 江本 健斗, 平石 拓

    日本ソフトウェア科学会第38回大会  2021.09  -  2021.09 

  • HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル

    八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗

    日本ソフトウェア科学会第37回大会  2020.09  -  2020.09 

  • Coq における Hylomorphism を用いたプログラム運算の検証に向けて

    村田 康佑, 江本 健斗

    第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)   2020.03  -  2020.03 

  • 高度な運算定理の Coq による証明とその自動化

    村田 康佑, 江本健斗

    日本ソフトウェア科学会第36回大会  (横浜)  2019.08  -  2019.08 

  • Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成

    神野 薫, 江本健斗

    日本ソフトウェア科学会第36回大会  (横浜)  2019.08  -  2019.08 

display all >>

 

Activities of Academic societies and Committees 【 display / non-display

  • 2021.04
    -
    2022.03

    Japan Society for Software Science and Technology  

  • 2020.04
    -
    2024.03

    Information Processing Society of Japan  

  • 2019.08
    -
    2020.03

    Japan Society for Software Science and Technology  

  • 2017.04
    -
    2018.03

    Japan Society for Software Science and Technology  

  • 2016.04
    -
    2017.03

    Japan Society for Software Science and Technology  

display all >>