Ryoma Sin'ya
13 SlideShares 39 Seguidores 3 Seguindos
Personal Information
Organização/Local de trabalho
Tokyo Japan
Cargo
Associate Professor
Setor
Education
Site
twitter.com/sinya8282
Sobre
秋田大で研究者やってます．
Detalhes do contato
Marcadores
regular expression 正規表現 automaton オートマトン jit 有限モデル理論 単項二階述語論理 文脈自由文法 曖昧 形式言語 数学 algebra logic プログラミング 正規言語 grass avx2 syntactic monoid simd parallel programming
Ver mais
  • Documentos
  • Infográficos
Mais recentes Mais populares

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

Há 2 anos • 882 Visualizações

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

Há 5 anos • 1960 Visualizações

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

Há 5 anos • 2647 Visualizações

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

Há 7 anos • 5392 Visualizações

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

Há 8 anos • 3681 Visualizações

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

Há 9 anos • 16171 Visualizações

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

Há 10 anos • 33954 Visualizações

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

Há 10 anos • 2059 Visualizações

正規表現＋＋

Há 11 anos • 2575 Visualizações

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

Há 11 anos • 7856 Visualizações

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

Há 12 anos • 7551 Visualizações

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

Há 12 anos • 2447 Visualizações

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

Há 12 anos • 11491 Visualizações