annotate 2015/0202.html @ 48:1306b24dc707 default tip

fix
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Wed, 24 Feb 2016 22:23:31 +0900
parents b54668f3f96b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <!DOCTYPE html>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <html>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 <head>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 <title>seminar</title>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 <!--
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 Notes on CSS media types used:
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 1) projection -> slideshow mode (display one slide at-a-time; hide all others)
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 2) screen -> outline mode (display all slides-at-once on screen)
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 3) print -> print (and print preview)
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 Note: toggle between projection/screen (that is, slideshow/outline) mode using t-key
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 Questions, comments?
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 - send them along to the mailinglist/forum online @ http://groups.google.com/group/webslideshow
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <!-- styles -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 <style media="screen,projection">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 html,
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 body,
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 .presentation { margin: 0; padding: 0; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 .slide { display: none;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 position: absolute;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 top: 0; left: 0;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 margin: 0;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 border: none;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 padding: 2% 4% 0% 4%; /* css note: order is => top right bottom left */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 -moz-box-sizing: border-box;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 -webkit-box-sizing: border-box;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 box-sizing: border-box;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 width: 100%; height: 100%; /* css note: lets use border-box; no need to add padding+border to get to 100% */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 overflow-x: hidden; overflow-y: auto;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 z-index: 2;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 .slide.current { display: block; } /* only display current slide in projection mode */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 .slide .stepcurrent { color: black; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 .slide .step { color: silver; } /* or hide next steps e.g. .step { visibility: hidden; } */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 .slide {
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 /*
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 background-image: -webkit-linear-gradient(top, blue, aqua, blue, aqua);
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 background-image: -moz-linear-gradient(top, blue, aqua, blue, aqua);
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 </style>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <style media="screen">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 .slide { border-top: 1px solid #888; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 .slide:first-child { border: none; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 </style>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 <style media="print">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 .slide { page-break-inside: avoid; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 .slide h1 { page-break-after: avoid; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 .slide ul { page-break-inside: avoid; }
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 </style>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 <!-- add js lib (jquery) -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 <script src="js/jquery-1.7.min.js"></script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 <!-- S6 JS -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 <script src="js/jquery.slideshow.js"></script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 <script src="js/jquery.slideshow.counter.js"></script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 <script src="js/jquery.slideshow.controls.js"></script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 <script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 $(document).ready( function() {
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 Slideshow.init();
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 // Example 2: Start Off in Outline Mode
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 // Slideshow.init( { mode: 'outline' } );
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 // Example 3: Use Custom Transition
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 // Slideshow.transition = transitionScrollUp;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 // Slideshow.init();
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 // Example 4: Start Off in Autoplay Mode with Custom Transition
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 // Slideshow.transition = transitionScrollUp;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 // Slideshow.init( { mode: 'autoplay' } );
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 } );
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 </script>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 </head>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 <body>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <div class="presentation">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 <div class='slide cover'>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 <table width="90%" height="90%" border="0" align="center">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 <tr>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 <td><div align="center">
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
99 <h1>Cerium による文字列の並列処理</h1>
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 </div>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 </td>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 </tr>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 <tr>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 <td><div align="right">
44
b796a4f4c332 add somefiles
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 37
diff changeset
105 <name>Masataka Kohagura</name>
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 </div></td>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 </tr>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 </tr>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 </table>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 </div>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 <div id="cover">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 <h1>研究目的</h1>
48
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
114 世界中のサーバには様々な情報や log が保管されている。
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
115 それら全体のデータサイズは TB 単位になると予想され、文字列処理をかけると膨大な時間がかかると予想される。
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
116 <br>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
117
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
118 Cerium の例題にはファイルの読み込みと文字列処理を行う Word Count があり、先行研究では文字列処理の並列化によってプログラム全体の処理速度は向上している。
48
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
119 <br>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
120
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
121 ファイルの読み込みを含むプログラムは読み込みがオーバーヘッドとなり並列度が下がる。
48
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
122 <br>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
123
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
124 ファイルの読み込みから文字列処理までのオーバーヘッドが軽減されると、読み込みから文字列処理までの処理速度は向上する。
48
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
125 <br>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
126
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
127 また、読み込むファイルによっては 数GB 単位の大きなファイルになる可能性もあるので、ファイル読み込みのオーバーヘッドは無視できない。
48
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 46
diff changeset
128 <br>
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
129
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
130 本研究ではファイルの読み込みまで含む文字列処理を考慮した並列処理を実装し、プログラム全体の処理速度を軽減する。
44
b796a4f4c332 add somefiles
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 37
diff changeset
131 </div>
b796a4f4c332 add somefiles
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 37
diff changeset
132
35
18bbb4a5db60 add 0929.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
133 <div id="cover">
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
134 <h1>実装している正規表現エンジンの全体の要約</h1>
44
b796a4f4c332 add somefiles
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 37
diff changeset
135 <ul>
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
136 <li>与えられた正規表現から正規表現木(Parser)を生成する。</li>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
137 <li>Parser に状態を割り振り、NFA を構成する。</li>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
138 <li>構成した NFA を DFA に変換する。(Subset Construction)</li>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
139 <li>DFA に変換後、読み込んだファイルと照らし合わせてファイル内の文字列が正規表現にマッチするかどうか実行する。</li>
44
b796a4f4c332 add somefiles
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 37
diff changeset
140 </ul>
35
18bbb4a5db60 add 0929.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
141 </div>
34
60a678b8539c add 0825.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 33
diff changeset
142
60a678b8539c add 0825.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 33
diff changeset
143 <div id="cover">
46
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
144 <h1>正規表現にマッチさせる方法</h1>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
145 <ul>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
146 <li>DFA変換後、状態遷移を C のコードで生成してコンパイル。その実行ファイルでファイルを読み込ませてマッチング。</li>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
147 <li>DFA変換後、状態遷移をオンデマンドに呼び実行し、状態遷移と読み込んだファイルがマッチするかどうかチェック。</li>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
148 </ul>
b54668f3f96b add 0202
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 45
diff changeset
149 </div>
37
f9293af3d474 add 1117.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 36
diff changeset
150
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
151
33
8a5b151da414 add 0804.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
152 <!--
34
60a678b8539c add 0825.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 33
diff changeset
153 <div id="cover">
31
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
154 <pre>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
155 <code>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
156 NodePtr string() {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
157 char c = *ptr;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
158 NodePtr n = NULL;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
159 if (isLiteral(c)) {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
160 n = createNode(0,literal(),string());
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
161 } else {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
162 n = createNode(0,0,0);
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
163 }
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
164 return n;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
165 }
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
166 </code>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
167 </pre>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
168 <p>string なのか literal なのか判断しないで createNode をしてる</p>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
169 </div>
33
8a5b151da414 add 0804.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 32
diff changeset
170 -->
31
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
171
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
172
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
173 <!--
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
174 <div id="cover">
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
175 <h1>今週のしたこと</h1>
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 例題 : ab(ab)+
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 <object data="images/vector/abab.svg" type="image/svg+xml"></object><br>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
179 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 テキストが abab の途中で分割される場合を考える
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 <object data="images/vector/ababautomata.svg" type="image/svg+xml"></object><br>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 分割されたファイルの1コ前の終わりが状態(3)の場合で、分割されたファイルの先頭が b の場合状態(4)に遷移して受理される。(正規表現にマッチする)
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 <object data="images/vector/ababtable.svg" type="image/svg+xml"></object><br>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 <object data="images/vector/bitvectorTable.svg" type="image/svg+xml"></object><br>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 </div>
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
192 -->
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
193
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 <!--
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 <div id="cover">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 <h1>prog</h1>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 <li>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
199
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 </li>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
201
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 <pre>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 <code>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 typedef struct SDL_AudioSpec {
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 int freq; /** DSP frequency samples per second */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 Uint16 format; /** Audio data format */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 Uint8 channels; /** Number of channels: 1 mono, 2 stereo */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 Uint8 silence; /** Audio buffer silence value (calculated) */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 Uint16 samples; /** Audio buffer size in samples (power of 2) */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 Uint16 padding; /** Necessary for some compile environments */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 Uint32 size; /** Audio buffer size in bytes (calculated) */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 void (SDLCALL *callback)(void *userdata, Uint8 *stream, int len);
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 void *userdata;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 } SDL_AudioSpec;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 </code>
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
216 </pre>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
217 <img src="./images/sqrWave.png" width="50%" height="">
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 </div>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
220
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
222
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 </div> <!-- presentation -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 </body>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 </html>