Ryoma Sin'ya
13 SlideShares 39 Followers 3 Followings
Personal Information
Organization / Workplace
Tokyo Japan
Occupation
Associate Professor
Industry
Education
Website
twitter.com/sinya8282
About
秋田大で研究者やってます．
Contact Details
Tags
regular expression 正規表現 automaton オートマトン jit 有限モデル理論 単項二階述語論理 文脈自由文法 曖昧 形式言語 数学 algebra logic プログラミング 正規言語 grass avx2 syntactic monoid simd parallel programming
See more
  • Documents
  • Infographics
Latest Most Popular

形式言語理論への 測度論的アプローチ

2 years ago • 879 Views

有限モデル理論入門：MSOとオートマトン

5 years ago • 1945 Views

統語的曖昧性・普遍性判定問題の決定可能性

5 years ago • 2642 Views

正規表現に潜む対称性　〜等式公理による等価性判定〜

7 years ago • 5384 Views

A new technique for proving non regularity based on the measure of a language

8 years ago • 3680 Views

正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem

9 years ago • 16149 Views

正規表現入門　星の高さを求めて

10 years ago • 33953 Views

"Mix Automatic Sequences"(LATA'13) の紹介

10 years ago • 2059 Views

正規表現＋＋

10 years ago • 2575 Views

正規言語でプログラミング

11 years ago • 7847 Views

AVX2時代の正規表現マッチング 〜半群でぐんぐん！〜

12 years ago • 7550 Views

並列化と実行時コード生成を用いた正規表現マッチングの高速化

12 years ago • 2447 Views

世界最速の正規表現JITエンジンの実装

12 years ago • 11487 Views