Ryoma Sin'ya

Conference Paper:

• Ryoma Sin'ya, Kazuyuki Asada, Naoki Kobayashi, and Takeshi Tsukada
  Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence
  In Proceedings of 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017),
  publisher's version [full version] [slides]
  
  
• Ryoma Sin'ya
  An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects
  In Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF2015) (GandALF2015),
  publisher's version
  
  
• Ryoma Sin'ya
  Graph Spectral Properties of Deterministic Finite Automata
  In Proceedings of 18th International Conference on Developments in Language Theory (DLT’14),
  publisher's version[full version]
  
  
• Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa
  Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching
  In Proceedings of 42nd International Conference on Parallel Processing (ICPP’13),
  publisher's version
  
  

Journal:

• Ryoma Sin'ya
  A New Technique for Proving Non-Regularity based on the Measure of a Language (in Japnaese)
  Computer Software, Vol. 34 No.1, pp. 119--124, 2017,
  link
• Ryoma Sin'ya
  Text Compression using Abstract Numeration System on a Regular Language (in Japnaese)
  Computer Software, Vol 30. No.3, pp. 163--179, 2013,
  link
• Ryoma Sin'ya, Shigeo Mitsunari, Masataka Sassa
  Parallelization and Dynamic Code Generation for High-Speed Regular Expression Matching (in Japnaese)
  Computer Software, Vol 30. No.2, pp. 191--206, 2013,
  link

Book:

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

Survey:

• Ryoma Sin'ya
  Automata Theory Revised (in Japanese)
  Computer Software, Vol 34. No.3, pp. 3--35, 2017.
  

Awards:

• 新屋良磨， 情報処理学会第 57 回プログラミング・シンポジウム 山内奨励賞(登壇発表 16 件中 1 件)，2017.
• 新屋良磨，第 18 回プログラミングおよびプログラミング言語ワークショップ 発表賞(登壇発表 27件中 3 件)，2016.
• 新屋良磨，情報処理学会プログラミング研究会2015年度コンピュータサイエンス領域奨励賞(プログラミング研究会における 2015 年度の全研究発表から 2 件)，2015.
• 新屋良磨，河野 真治， 情報処理学会第 52 回プログラミング・シンポジウム 山内奨励賞(登壇発表 22 件中 2 件)，2012.
• 新屋良磨，第 28 回日本ソフトウェア科学会全国大会 学生奨励賞(学生発表 114件中 2 件)，2011．