基本情報 【 表示 / 非表示

新屋  良磨 (シンヤ リョウマ)

SIN'YA Ryoma

写真a

所属

大学院理工学研究科  数理・電気電子情報学専攻  数理科学コース

職名

特任助教

生年月日

1988年11月14日

研究分野・キーワード

形式言語・オートマトン理論

Formal Language Theory, Automata Theory

メールアドレス

メールアドレス

出身大学 【 表示 / 非表示

  • 琉球大学   工学部   情報工学科   2011年03月  卒業

出身大学院 【 表示 / 非表示

  • 東京工業大学  情報理工学研究科  数理・計算科学専攻  博士課程  2016年03月  修了

取得学位 【 表示 / 非表示

  • 東京工業大学 -  博士(理学)

留学履歴 【 表示 / 非表示

  • 2015年10月
    2016年10月

    テレコム・パリテック   客員博士学生

職務経歴(学内) 【 表示 / 非表示

  • 2017年11月
    継続中

    秋田大学   大学院理工学研究科   数理・電気電子情報学専攻   数理科学コース   特任助教  

    2017.11
    -
     

    Akita University   Graduate School of Engineering Science   Department of Mathematical Science and Electrical-Electronic-Computer Engineering   Mathematical Science Course   Specially-appointed Assistant Professor

職務経歴(学外) 【 表示 / 非表示

  • 2016年04月
    2017年10月

      東京大学   大学院情報理工学研究科   研究員

    2016.04
    -
    2017.10

      The University of Tokyo   Graduate School of Information Science and Technology   Researcher

 

論文 【 表示 / 非表示

  • オートマトン理論再考

    新屋良磨

    コンピュータソフトウェア   34 ( 3 )   3 - 35   2017年09月

  • Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence

    Ryoma Sin’ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada

    Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings   10203   53 - 68   2017年04月

  • 言語の測度に基づく非正規性の証明技法

    新屋良磨

    コンピュータソフトウェア   34 ( 1 )   163 - 179   2017年02月

著書 【 表示 / 非表示

  • 正規表現技術入門

    新屋良磨,鈴木勇介,高田謙

    技術評論社  2015年04月

学術関係受賞 【 表示 / 非表示

  • 情報処理学会第 57 回プログラミング・シンポジウム 山内奨励賞

    2017年01月   情報処理学会  日本国

    受賞者: 新屋良磨