Ryoma Sin'ya

39 Followers

13 SlideShares 39 Followers 3 Folgens

13 SlideShares 39 Followers 3 Folgens

regular expression 正規表現 automaton オートマトン jit 有限モデル理論単項二階述語論理文脈自由文法曖昧形式言語数学 algebra logic プログラミング正規言語 grass avx2 syntactic monoid simd parallel programming

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

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

Vor 2 Jahren • 866 Aufrufe

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

Vor 5 Jahren • 1945 Aufrufe

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

Vor 5 Jahren • 2642 Aufrufe

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

Vor 7 Jahren • 5383 Aufrufe

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

Vor 8 Jahren • 3680 Aufrufe

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

Vor 9 Jahren • 16146 Aufrufe

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

Vor 10 Jahren • 33952 Aufrufe

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

Vor 10 Jahren • 2059 Aufrufe

正規表現＋＋

Vor 10 Jahren • 2574 Aufrufe

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

Vor 11 Jahren • 7847 Aufrufe

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

Vor 12 Jahren • 7548 Aufrufe

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

Vor 12 Jahren • 2446 Aufrufe

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

Vor 12 Jahren • 11485 Aufrufe