第52回プログラミング・シンポジウム

Ryoma Sin'ya @sinya8282

DFAの状態数が指数的に増える問題は, 質問として絶対でるだろうな睨んでたら, やっぱり出た.

Ryoma Sin'ya @sinya8282

効率的なNFAベースのマッチングもありますが, 純粋にマッチング速度で言えば, どの実装でもDFAベースの実装の方が速いですねー. 世界最速の grep。DFA なの？　NFA のままやるのかと思ってたが...。 #prosym52 (via @mayahjp)

Ryoma Sin'ya @sinya8282

っていうのは Russ さんの受け売りですが. この論文とかすごい分かりやすいかも. http://swtch.com/~rsc/regexp/regexp1.html

Ryoma Sin'ya @sinya8282

pcre も最近DFAベースの実装も用意してたりするんだよね.

Mike Yasumura: 安村通晃 @michiak

メモリ安全なCの話を聴いているなう。（プロシン今年最後の発表）。 #prosym52

mayah@節電中 @mayahjp_old

@sinya8282 最後に質問をしたものです。マッチング速度だとまずそうだと思いますが、DFA の構築とかいろいろ考えるともしかしたら一概にそうとも言えないかもしれないとか思ったので... / まあ普通の場合だと DFA で十分というのは当然同意です。 #prosym52

Ryoma Sin'ya @sinya8282

正規表現は, すっごいメジャーだし研究も色々行われてるから質問の種類が多いのはもちろんです. (けど, 今回はちょっとズレた質問が多かった. コソッ)

松永　均 @matznaga

湯河原駅ホーム。12:08のアクティ待ち。 #prosym52

Ryoma Sin'ya @sinya8282

@mayahjp 質問ありがとうございました! > DFAの構築も, 遅延評価っぽいテクニックを用いることでカバーできたりするんですけどね(cgrepとか). 僕の実装でそれをやろうとすると, JITっぽいことが必要になるので(今は)やってません!w #prosym52

Ryoma Sin'ya @sinya8282

cgrep のソースはすっごい読みやすかったし, プログラミングテクニックもてんこもりだったので, ソース読みにおすすめ. まじで beautiful code

Ryoma Sin'ya @sinya8282

ただ, あいまい検索はなぁ. あれサポートしてなければもっとシンプルだったろうに. 必要なのかもしれんが.

Ryoma Sin'ya @sinya8282

libjit か...

mayah@節電中 @mayahjp_old

@sinya8282 chat してたら先生に質問してくれと言われたw / 逆に、絶対出る話なのでスライド１枚いれて触れて欲しかったと思いました、はい。

Ryoma Sin'ya @sinya8282

@mayahjp 昼ごはんなに食べよう...指摘ありがとうございます! 学部卒論に生かしますw 色々説明を省いてるのは事実です... 正規表現/grep だと喋りたいネタはかなり多かったのですが.

Ryoma Sin'ya @sinya8282

理屈は発展してても, それに基づいた優秀な実装って意外とないもんっすよ. #prosym52

nishio hirokazu @nishio

寒い…

Shinji Kono @shinji_kono

@sinya8282 @mayahjp 湯河原駅に行く途中のGohan家にいこうと思ってます。

TM @takuho_kay

メタデータの利用に興味があります。 #prosym52

Ryoma Sin'ya @sinya8282

@shinji_kono ご一緒させてくださひ.

Daichi OBINATA @earth2001y

セッション終了、帰りの会 #prosym52

Mike Yasumura: 安村通晃 @michiak

冬のプロシン、終了。夏のプロシンのアナウンスがあるのかな？ #prosym52

Dai MIKURUBE @dmikurube

第52回 [DEL:新年会:DEL] プログラミング・シンポジウム #prosym52 終了!