第6回広域センサネットワークとオーバレイネットワークに関するワークショップ ( http://live-e.naist.jp/sensor_overlay/6/ ) でのLT用発表資料です． 前半にスモールワールド性の話(?)，後半はだいたい「正規言語でプログラミング」( http://www.slideshare.net/sinya8282/ss-17840032 )と同じ内容です．

1. 正規表現
新屋良磨(東工大首藤研)
@sinya8282
Sunday, May 19, 13

2. 自己紹介
新屋良磨（しんや りょうま）
今年度から東工大首藤研D1
形式言語，計算理論好き
Sunday, May 19, 13

3. 自己紹介
新屋良磨（しんや りょうま）
今年度から東工大首藤研D1
形式言語，計算理論好き
特に正規言語が好き
Sunday, May 19, 13

4. 自己紹介
新屋良磨（しんや りょうま）
今年度から東工大首藤研D1
形式言語，計算理論好き
特に正規言語が好き
世界最速のgrepとか作ってました
Sunday, May 19, 13

5. 自己紹介
新屋良磨（しんや りょうま）
今年度から東工大首藤研D1
形式言語，計算理論好き
特に正規言語が好き
世界最速のgrepとか作ってました
Sunday, May 19, 13

6. Sunday, May 19, 13

7. Sunday, May 19, 13

8. ！？
Sunday, May 19, 13

9. ！？
Sunday, May 19, 13

10. 全然遠い話題...?
先生「センサ&オーバーレイっていう
ワークショップがあるんだけど」
僕 「はい」
先生「新屋君，喋るの好きだよね？」
僕 「！？」
先生「LT， 『正規表現』とかで(笑)
せっかくなので^^」
Sunday, May 19, 13

11. 全然遠い話題...?
先生「センサ&オーバーレイっていう
ワークショップがあるんだけど」
僕 「はい」
先生「新屋君，喋るの好きだよね？」
僕 「！？」
先生「LT， 『正規表現』とかで(笑)
せっかくなので^^」
僕 「Oh Yeahhhh！！」
Sunday, May 19, 13

12. 正規表現と
センサ&オーバーレイ
は本当に遠い話題か？
Proposition
Sunday, May 19, 13

13. http://wikitter.info
Sunday, May 19, 13

14. Sunday, May 19, 13

15. Sunday, May 19, 13

16. Sunday, May 19, 13

17. 思ったより近かった
(wikipedia的に)
Sunday, May 19, 13

18. 思ったより近かった
(wikipedia的に)
ちなみに6回で全てが繋がるらしい
(Wikipedia内の話．本当かよ．)
Sunday, May 19, 13

19. 新屋良磨(東工大首藤研)
正規表現
@sinya8282
Sunday, May 19, 13

20. 新屋良磨(東工大首藤研)
正規表現＋＋
@sinya8282
Sunday, May 19, 13

21. 新屋良磨(東工大首藤研)
正規表現＋＋
東京工業大学工大祭2013
公式マスコットキャラクター
「テックちゃん」
@sinya8282
Sunday, May 19, 13

22. はじめに宣伝!
Sunday, May 19, 13

23. 僕が開発した「RANS」
正規表現を与えて
「受理文字列」と「自然数」
を対応させるツール
Sunday, May 19, 13

24. 僕が開発した「RANS」
正規表現を与えて
「受理文字列」と「自然数」
を対応させるツール
「対応」って何？
Sunday, May 19, 13

25. 文字列と数の対応
例:正規表現/a*(ba*b)*a*/ で「対応」を取ると...
Sunday, May 19, 13

26. 文字列と数の対応
例:正規表現/a*(ba*b)*a*/ で「対応」を取ると...
/a*(ba*b)*a*/
Sunday, May 19, 13

27. 文字列と数の対応
例:正規表現/a*(ba*b)*a*/ で「対応」を取ると...
/a*(ba*b)*a*/
長さ--辞書順で並べる
Sunday, May 19, 13

28. 文字列と数の対応
例:正規表現/a*(ba*b)*a*/ で「対応」を取ると...
/a*(ba*b)*a*/={!, a, aa, bb, aaa, abb, bab, ... }
長さ--辞書順で並べる
Sunday, May 19, 13

29. 文字列と数の対応
例:正規表現/a*(ba*b)*a*/ で「対応」を取ると...
/a*(ba*b)*a*/={!, a, aa, bb, aaa, abb, bab, ... }
長さ--辞書順で並べる
0, 1, 2, 3, 4, 5, ...................
...................
Sunday, May 19, 13

30. 正規表現
×
プログラミング
Sunday, May 19, 13

31. プログラミング言語Grass
“w”と“W”と“v”の三文字でプロ
グラミングする言語
ちょっと草植えときますね型言語
(新パラダイム?)
Sunday, May 19, 13

32. プログラミング言語Grass
“w”と“W”と“v”の三文字でプロ
グラミングする言語
ちょっと草植えときますね型言語
(新パラダイム?)
つまり「ネタ言語」！！
Sunday, May 19, 13

33. プログラミング言語Grass
“w”と“W”と“v”の三文字でプロ
グラミングする言語
ちょっと草植えときますね型言語
(新パラダイム?)
つまり「ネタ言語」！！
Sunday, May 19, 13

34. Grassはネタじゃない！
当たり前にちゅーりんぐ完全
(型無しラムダ計算がベース)
Sunday, May 19, 13

35. Grassはネタじゃない！
当たり前にちゅーりんぐ完全
(型無しラムダ計算がベース)
しかも...文法が正規!!
Sunday, May 19, 13

36. しかも文法が正規!!!
Sunday, May 19, 13

37. しかも文法が正規!!!
BNFで書かれてるけど
これは正規！！！！！！！！
(プロなら一瞬で分かる)
Sunday, May 19, 13

38. しかも文法が正規!!!
/([vw]*(W+w)*)*/
0 1
w
2
W
[v-w] W
w
Sunday, May 19, 13

39. Grassで「Hello, World」
wwvwwwWWWwwWwwWWWWwvwWWwwwWwwvwWwwwWwwvwWWwWWWWWwvwWWW
wwwwWWWWwWWWWwWWWWWWwWWWWWWWwWWWWWWWwWWWWWWWWwWw
wwwwwwwvwWWWwwwwwWWWWWwWWWWWwWWWWWWWwWWWWWWWWwWWWW
WWWWWwWwwwwwwwvwWWWWwwwwwwWWWWWWwWWWWWWwWWWWWWWwWW
WWWWWWWwWWWWWWWWWwWwwwwwwwvwWWWWWwwwwwwwWWWWWWWwWW
WWWWWWwWWWWWWWWwWWWWWWWWWWwWWWWWWWWWWwWwwwwwwwvwW
WWWWWWwwwwwwwwWWWWWWWWwWWWWWWWWWwWWWWWWWWWwWWWWW
WWWWWWwWwwwwwwvwWWWWWWWWwwwwwwwwwWWWWWWWWwWWWWWWWW
WwWWWWWWWWWWWwWWWWWWWWWWWwWWWWWWWWWWWWWwWwwwwwww
vwWWWWWWWWwwwwwwwwwwWWWWWWWWWwWWWWWWWWWWwWWWWWWWW
WWWwWWWWWWWWWWWWWwWwwwwwwvwWWWWWWWWWWwwwwwwwwwwwWW
WWWWWWWWwWWWWWWWWWWWwWWWWWWWWWWWWWwWwwwwwvwWWWWW
WWWWWwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWWWWWWWWWwWWWWW
WWWWWWWWWwWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWwWwwww
wwwvwWWWWWWWWWWwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwWWW
wwwwwwwwwwwwwwwwwwwWwwWWWWWWWWWWWWWWWWWWWWwvwWWwwwwW
WWwwwwwwwwwwWWWWwwwwwwwwwwWWWWWwwwwwwwwwwwwwWWWWWWwwww
wwwWWWWWWWwwwwwwwwwwwWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwvwW
WWWWWWWWWWWWWWWwwwwwwwWwwvwWWWWwwwwwwwWWWWWwwwWWWW
WWwwwwwwwWWWWWWWwwwwwwwwWWWWWWWWwwwwwwwwwwwwwwWWWWWW
WWWwwwwwwwwwwwwwwvwWWwWWWWWw
Sunday, May 19, 13

40. Grassで「Hello, World」
wwvwwwWWWwwWwwWWWWwvwWWwwwWwwvwWwwwWwwvwWWwWWWWWwvwWWW
wwwwWWWWwWWWWwWWWWWWwWWWWWWWwWWWWWWWwWWWWWWWWwWw
wwwwwwwvwWWWwwwwwWWWWWwWWWWWwWWWWWWWwWWWWWWWWwWWWW
WWWWWwWwwwwwwwvwWWWWwwwwwwWWWWWWwWWWWWWwWWWWWWWwWW
WWWWWWWwWWWWWWWWWwWwwwwwwwvwWWWWWwwwwwwwWWWWWWWwWW
WWWWWWwWWWWWWWWwWWWWWWWWWWwWWWWWWWWWWwWwwwwwwwvwW
WWWWWWwwwwwwwwWWWWWWWWwWWWWWWWWWwWWWWWWWWWwWWWWW
WWWWWWwWwwwwwwvwWWWWWWWWwwwwwwwwwWWWWWWWWwWWWWWWWW
WwWWWWWWWWWWWwWWWWWWWWWWWwWWWWWWWWWWWWWwWwwwwwww
vwWWWWWWWWwwwwwwwwwwWWWWWWWWWwWWWWWWWWWWwWWWWWWWW
WWWwWWWWWWWWWWWWWwWwwwwwwvwWWWWWWWWWWwwwwwwwwwwwWW
WWWWWWWWwWWWWWWWWWWWwWWWWWWWWWWWWWwWwwwwwvwWWWWW
WWWWWwwwwwwwwwwwwWWWWWWWWWWWWwWWWWWWWWWWWWWwWWWWW
WWWWWWWWWwWWWWWWWWWWWWWWwWWWWWWWWWWWWWWWWwWwwww
wwwvwWWWWWWWWWWwwwwwwwwwwwwwwwwwWwwwwwwwwwwwwwwwwwwwWWW
wwwwwwwwwwwwwwwwwwwWwwWWWWWWWWWWWWWWWWWWWWwvwWWwwwwW
WWwwwwwwwwwwWWWWwwwwwwwwwwWWWWWwwwwwwwwwwwwwWWWWWWwwww
wwwWWWWWWWwwwwwwwwwwwWWWWWWWWwwwwwwwwwwwwwwwwwwwwwwvwW
WWWWWWWWWWWWWWWwwwwwwwWwwvwWWWWwwwwwwwWWWWWwwwWWWW
WWwwwwwwwWWWWWWWwwwwwwwwWWWWWWWWwwwwwwwwwwwwwwWWWWWW
WWWwwwwwwwwwwwwwwvwWWwWWWWWw
1627617448163470612773078700688053137046638006297
3401969614529593658839588034299561019072802997488
2284159495744660485071256759026955004704442396791
1761566040389550357483285036825249260668047548232
4809259888431440137005387911828231622152001940020
1619612906107817505180340518910126515933931833672
2855919281300746470264479856011884839769266736505
0537949162937125903768151493422519792535824464997
03084436758664366464026061342507810037583
番目のGrassプログラム!!
Sunday, May 19, 13

41. 元々「圧縮」のために作った
http://swatmac.info/?p=942
Sunday, May 19, 13

42. 元々「圧縮」のために作った
http://swatmac.info/?p=1064
Sunday, May 19, 13

43. RANSよろしく！
Sunday, May 19, 13

44. RANSよろしく！
http://swatmac.info/?p=942
Sunday, May 19, 13

45. 完Sunday, May 19, 13

46. 完
(センサ|オーバーレイ)
ネットワーク関連でオー
トマトンとか正規表現
など，形式言語・計算
理論とかが絡むネタが
あれば教えて下さいー．
Sunday, May 19, 13

47. 完
(センサ|オーバーレイ)
ネットワーク関連でオー
トマトンとか正規表現
など，形式言語・計算
理論とかが絡むネタが
あれば教えて下さいー．
EXI面白かったです．
Sunday, May 19, 13

48. あぺんど
Sunday, May 19, 13

49. Sunday, May 19, 13

50. Sunday, May 19, 13