Ryoma Sin'ya (新屋 良磨)


    • Graduate student in the doctoral course (third year)
    • Research Fellow of the Japan Society for the Promotion of Science (DC2)

    Mail

    • shinya.r.aa at m.titech.ac.jp

    Area of research

    • Automata Theory
      • Regular Languages
      • Regular Expressions
      • Finite Semigroups
      • Finite Model Theory

    Papers

      Refereed Papers

      1. Ryoma Sin'ya:
        "An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects", 2015 International Symposium on Games, Automata, Logics and Formal Verification (GandALF2015) - The Sixth Symposium - September 21– 22, 2015, Genova, Italy
        arXiv

      2. Ryoma Sin'ya: (short paper)
        "Graph Spectral Properties of Deterministic Finite Automata", 2014 International Conference on Developments in Language Theory (DLT2014) - The 18th Annual Conference - August 26-29, 2014, Ekaterinburg, Russia
        PDF (author's versionfull paper)

      3. Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa:
        "Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching"2013 International Conference on Parallel Processing (ICPP-2013) - The 42nd Annual Conference - October 1-4, 2013 Ecole Normale Supérieure de Lyon, Lyon, France
        PDF (author's version) (copyright notice)

      Referred Journal Publications

      1. 新屋 良磨
        「正規言語上の Abstract Numeration System の文字列圧縮への応用」
        コンピュータソフトウェア(採録决定)
        PDF (利用上の注意)
        Ryoma Sin'ya: "Text Compression using Abstract Numeration System on a Regular Language"
        Extended abstract (PDF)

      2. 新屋 良磨,光成 滋生,佐々 政孝
        「並列化と実行時コード生成を用いた正規表現マッチングの提案」
        コンピュータソフトウェア(採録决定)
        PDF (利用上の注意)
        "Parallelization and Dynamic Code Generation for High-speed Regular Expression Matching"

      Books

      • 新屋 良磨,鈴木 勇介,高田 謙:「正規表現技術入門」,技術評論社,2015年4月14日初版発売

      • 正規表現技術入門

      Talks

      1. 新屋 良磨:
        「決定性オートマトンの隣接行列構造について ー 最小性の必要十分条件 ー」
         SWoPP 2014 (2014/7/30) 
        "Graph Spectral Properties of Deterministic Finite Automata: A Necessary and Sufficient Condition for the Minimality" (PDF , Japanese)
         
      2. 坪井 翔太郎,新屋 良磨,多田 充:
        「鍵更新可能暗号方式の提案と正規言語による実現の検討」
        SCIS2013 (2013/1/24)
        "Ecdysis Cryptosystems : Key-renewable Encryption and Discussion on Its Implementation using Regular Languages"
         
      3. 新屋 良磨
        「正規言語上の Abstract Numeration System の文字列圧縮への応用」
        日本ソフトウェア科学会大会第29回大会 (2012/8/22)
        "Text Compression using Abstract Numeration System on a Regular Language"
         
      4. 新屋 良磨,光成 滋生,佐々 政孝
        「並列化と実行時コード生成を用いた正規表現マッチングの高速化」
        日本ソフトウェア科学会大会第28回大会 (2011/9/24)
        "Parallelization and Dynamic Code Generation for High-speed Regular Expression Matching"
         
      5. 新屋 良磨,河野 真治
        「動的なコード生成を用いた正規表現マッチャの実装」
        情報処理学会第52回プログラミング・シンポジウム (2011/1/9)
        "Implementation of Regular Expression Engine with Dynamic Code Generation."

      Talks (Poster)

      • 新屋 良磨:
        「正規言語の列挙 - プログラミングへの応用」
        PPL2013 (2013/3/5)
        "Enumerating Regular Languages: An Application to Programming"
         
      • 新屋 良磨,光成 滋生,佐々 政孝
        「並列化と実行時コード生成を用いた正規表現マッチングの高速化」
        情報処理学会第53回プログラミング・シンポジウム (2012/1/8)
        "Parallelization and Dynamic Code Generation for High-speed Regular Expression Matching"

      Other activities

      Workshop & Study meeting

      Awards

      1. 新屋 良磨:コンピュータサイエンス領域奨励賞 ,情報処理学会,2015年11月       「決定性オートマトンの隣接行列構造について -最小性の必要十分条件-
         
      2. 新屋 良磨.河野 真治:山内奨励賞、情報処理学会、2012年1月             「動的なコード生成を用いた正規表現マッチャの実装」
         
      3. 新屋 良磨:学生奨励賞、日本ソフトウェア科学会大会、2011年9月           「並列化と実行時コード生成を用いた正規表現マッチングの高速化」


      Ċ
      Kenta Iwasaki,
      2013/07/20 1:09
      Ċ
      Kenta Iwasaki,
      2013/07/20 1:09