Ryoma Sin'ya, profile picture

Ryoma Sin'ya

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