Ryoma Sin'ya, profile picture

Ryoma Sin'ya

13 Slideshow
Sort by
形式言語理論への 測度論的アプローチ
porRyoma Sin'ya
 
有限モデル理論入門：MSOとオートマトン
porRyoma Sin'ya
 
統語的曖昧性・普遍性判定問題の決定可能性
porRyoma Sin'ya
 
正規表現に潜む対称性　〜等式公理による等価性判定〜
porRyoma Sin'ya
 
A new technique for proving non regularity based on the measure of a language
porRyoma Sin'ya
 
正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem
porRyoma Sin'ya
 
正規表現入門　星の高さを求めて
porRyoma Sin'ya
 
"Mix Automatic Sequences"(LATA'13) の紹介
porRyoma Sin'ya
 
正規表現＋＋
porRyoma Sin'ya
 
正規言語でプログラミング
porRyoma Sin'ya
 
AVX2時代の正規表現マッチング 〜半群でぐんぐん！〜
porRyoma Sin'ya
 
並列化と実行時コード生成を用いた正規表現マッチングの高速化
porRyoma Sin'ya
 
世界最速の正規表現JITエンジンの実装
porRyoma Sin'ya