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

SIN'YA Ryoma

写真a

所属

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

生年

1988年

メールアドレス

メールアドレス

研究分野・キーワード

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

出身大学 【 表示 / 非表示

  • 2007年04月
    -
    2011年03月

    琉球大学   工学部   情報工学科   卒業

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

  • 2011年04月
    -
    2016年03月

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

留学履歴 【 表示 / 非表示

  • 2015年10月
    -
    2016年10月

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

取得学位 【 表示 / 非表示

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

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

  • 2021年04月
    -
    継続中

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

  • 2017年11月
    -
    2021年03月

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

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

  • 2016年04月
    -
    2017年10月

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

学会(学術団体)・委員会 【 表示 / 非表示

  • 2020年12月
    -
    継続中
     

    日本国

     

    Computational Logic and Applications

  • 2016年04月
    -
    継続中
     

    日本国

     

    情報処理学会

  • 2016年04月
    -
    継続中
     

    日本国

     

    日本ソフトウェア科学会

専門分野(科研費分類) 【 表示 / 非表示

  • 情報学基礎理論

  • 数学基礎・応用数学

 

学位論文 【 表示 / 非表示

論文 【 表示 / 非表示

  • 正則言語で極限的に近似可能な言語について

    新屋良磨

    第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021)     2021年03月

    単著

  • Asymptotic Approximation by Regular Languages

    Ryoma Sin'ya

    The proceedings of the 47th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'21) ( Springer, Cham )  12607   74 - 88   2021年01月  [査読有り]

    ISBN:978-3-030-67731-2

    単著

    DOI

  • On average-case hardness of higher-order model checking

    Nakamura Y.

    Leibniz International Proceedings in Informatics, LIPIcs ( Leibniz International Proceedings in Informatics, LIPIcs )  167   2020年06月  [査読有り]

    ISBN:9783959771559

    国内共著

    DOI

  • Context-Freeness of Word-MIX Languages

    Ryoma Sin'ya

    The proceedings of the 24th International Conference on Developments in Language Theory (DLT2020) ( Springer International Publishing )  12086   304 - 318   2020年05月  [査読有り]

    ISBN:978-3-030-48515-3

    単著

    DOI

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

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

    Logical Methods in Computer Science   15 ( 1 )   2019年02月  [査読有り]  [招待有り]

    国内共著

    It is well known that the length of a beta-reduction sequence of a simply typed lambda-term of order k can be huge; it is as large as k-fold exponential in the size of the lambda-term in the worst case. We consider the following relevant question about quantitative properties, instead of the worst case: how many simply typed lambda-terms have very long reduction sequences? We provide a partial answer to this question, by showing that asymptotically almost every simply typed lambda-term of order k has a reduction sequence as long as (k-1)-fold exponential in the term size, under the assumption that the arity of functions and the number of variables that may occur in every subterm are bounded above by a constant. To prove it, we have extended the infinite monkey theorem for strings to a parametrized one for regular tree languages, which may be of independent interest. The work has been motivated by quantitative analysis of the complexity of higher-order model checking.

全件表示 >>

Book(書籍) 【 表示 / 非表示

  • 正規表現技術入門

    新屋良磨,鈴木勇介,高田謙 (担当: 共著 )

    技術評論社  2015年04月 ISBN: 4774172707

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

  • PPL2021発表賞

    2021年03月11日   第21回プログラミングおよびプログラミング言語ワークショップ   正則言語で極限的に近似可能な言語について

    受賞者:  新屋良磨

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

    2017年01月   情報処理学会  

    受賞者:  新屋良磨

科研費(文科省・学振)獲得実績 【 表示 / 非表示

  • 実効記述集合論,計算可能解析学およびオートマトン理論

    独立行政法人日本学術振興会 二国間交流事業 共同研究

    研究期間:  2020年04月  -  2022年03月  代表者:  木原貴行

  • 高階な言語の概普遍性判定問題の決定可能性の解析

    若手研究

    研究期間:  2019年04月  -  2023年03月  代表者:  新屋良磨


    高階言語はプログラムの正しさを検証する「モデル検査」と呼ばれる技術を中心に近年注目を集めている言語クラスであるが,未解明な基本的性質が多く残されている重要な研究対象である.
    本研究では高階言語に対する概普遍性判定問題と呼ばれる決定問題の決定可能性に着目し研究を進め,高階言語の母関数的・組合せ的性質の解明のへ新たな道を拓くことを目指す.

学会等発表 【 表示 / 非表示

  • 正則言語で極限的に近似可能な言語について

    新屋良磨

    正則言語で極限的に近似可能な言語について   (オンライン開催(zoom))  2021年03月  -  2021年03月    日本ソフトウェア科学会 プログラミング論研究会

  • Asymptotic Approximation by Regular Languages

    Ryoma Sin'ya

    Logic, Language, Algebraic system and Related Areas in Computer Science  (オンライン開催(zoom))  2020年02月  -  2020年02月   

 

学会・委員会等活動 【 表示 / 非表示

  • 2020年12月
    -
    継続中

    Computational Logic and Applications   運営委員

  • 2018年04月
    -
    継続中

    情報処理学会   幹事

  • 2018年04月
    -
    継続中

    日本ソフトウェア科学会   組織委員

学外の社会活動(高大・地域連携等) 【 表示 / 非表示

  • セキュリティ・キャンプ全国大会講師

    一般社団法人セキュリティ・キャンプ協議会事務局  セキュリティ・キャンプ全国大会 

    2020年04月
    -
    継続中