annotate 2015/0714.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 5789a3236295
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">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 <h1>Cerium 上での正規表現の実装</h1>
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">
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
105 <name>Masataka Kohagura 14th, July , 2015</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>
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
114 正規表現はオートマトンに変換することができ、 そしてオートマトンの受理の問題は Class NC と呼ばれる問題でもある。<br>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
115 この問題は計算機の台数が多ければ多いほど高速化できるという特徴を持ち、並列化に向いている問題といえる。<br>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
116 コンピュータの動作やゲームの動作などの多くの問題はオートマトンの受理問題に落としこむことができるので、この問題を解決すれば様々な問題に対応できるようになる。<br>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
117 本研究では正規表現を並列処理で実装することによってこの問題を解決し、Class NC に対応するライブラリを作成する。
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 </div>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 <div id="cover">
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
122 <h1>したこと</h1>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
123 characterClass 以外を実装
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
124
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
125 </div>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
126
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
127 <div id="cover">
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
128 <h1>BNF記法で正規表現の文法規則を表記してみる</h1>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
129 <ul>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
130 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
131 &lt;literal&gt; ::= [a-z][A-Z][0-9]
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
132 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
133 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
134 &lt;characterClass&gt; ::= '['&lt;literal&gt;'-'&lt;literal&gt;']'
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
135 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
136 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
137 &lt;string&gt; :: = &lt;literal&gt; | &lt;literal&gt;*
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
138 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
139 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
140 &lt;or&gt; ::= '('&lt;regex&gt;'|'&lt;regex&gt;')'
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
141 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
142 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
143 &lt;*&gt; ::= &lt;regex&gt;'*'
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
144 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
145 <li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
146 &lt;regex&gt; ::= &lt;literal&gt;|&lt;string&gt;|&lt;or&gt;
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
147 </li>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
148 </ul>
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
149 &lt;or&gt; が '|' とグループ化の '('')' とまだ分解できるので、&lt;or&gt; を &lt;or&gt; と &lt;group&gt; に分割
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
150 </div>
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
151
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
152 <div id="cover">
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
153 <h1>BNF記法で正規表現の文法規則を表記してみる(修正後)</h1>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
154 <ul>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
155 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
156 &lt;literal&gt; ::= [a-z][A-Z][0-9]
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
157 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
158 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
159 &lt;characterClass&gt; ::= '['&lt;literal&gt;'-'&lt;literal&gt;']'
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
160 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
161 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
162 &lt;string&gt; :: = &lt;literal&gt; | &lt;literal&gt;*
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
163 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
164 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
165 <font color=red>&lt;group&gt; ::= '('&lt;regex&gt;')' &lt;- 追加</font>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
166 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
167 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
168 <font color=blue>&lt;or&gt; ::= &lt;regex&gt;'|'&lt;regex&gt; &lt;- 修正</font>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
169 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
170 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
171 &lt;*&gt; ::= &lt;regex&gt;'*'
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
172 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
173 <li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
174 &lt;regex&gt; ::= &lt;literal&gt;|&lt;string&gt;|&lt;or&gt;
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
175 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
176 </ul>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
177 </div>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
178
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
179 <div id="cover">
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
180 <h1>問題点</h1>
31
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
181 <p>正規表現 a*b の tree 構造(本当はこうなってほしい)</p>
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
182
31
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
183 <object data="images/vector/aastabtrue.svg" type="image/svg+xml"></object><br>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
184 <p>正規表現 a*b の tree 構造(現状)</p>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
185 <object data="images/vector/aastabfalse.svg" type="image/svg+xml"></object><br>
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
186 </div>
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
187
31
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
188 <div id="cover">
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
189 <h1>問題点</h1>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
190 <p>正規表現 a tree 構造(現状)</p>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
191 <object data="images/vector/aonly.svg" type="image/svg+xml"></object><br>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
192 <p>原因は string()</p>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
193
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
194 <pre>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
195 <code>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
196 NodePtr string() {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
197 char c = *ptr;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
198 NodePtr n = NULL;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
199 if (isLiteral(c)) {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
200 n = createNode(0,literal(),string());
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
201 } else {
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
202 n = createNode(0,0,0);
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
203 }
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
204 return n;
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
205 }
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
206 </code>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
207 </pre>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
208 <p>string なのか literal なのか判断しないで createNode をしてる</p>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
209 </div>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
210
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
211 <div id="cover">
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
212 <h1>これからすること</h1>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
213 <ul>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
214 <li>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
215 tree 生成の修正
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
216 </li>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
217 <li>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
218 tree を見やすく表示
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
219 </li>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
220 </ul>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
221 </div>
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
222
5789a3236295 add 0728
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 30
diff changeset
223
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
224 <!--
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
225 <div id="cover">
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
226 <h1>今週のしたこと</h1>
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 例題 : ab(ab)+
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 <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
230 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 テキストが abab の途中で分割される場合を考える
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 <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
234 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 分割されたファイルの1コ前の終わりが状態(3)の場合で、分割されたファイルの先頭が b の場合状態(4)に遷移して受理される。(正規表現にマッチする)
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 <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
238 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 <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
241 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
242 </div>
29
39f9309334f9 add 0714.html
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
243 -->
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
244
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 <!--
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 <div id="cover">
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
247 <h1>prog</h1>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 <ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 <li>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
250
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 </li>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
252
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 <pre>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 <code>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
255 typedef struct SDL_AudioSpec {
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 int freq; /** DSP frequency samples per second */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 Uint16 format; /** Audio data format */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 Uint8 channels; /** Number of channels: 1 mono, 2 stereo */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 Uint8 silence; /** Audio buffer silence value (calculated) */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 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
261 Uint16 padding; /** Necessary for some compile environments */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
262 Uint32 size; /** Audio buffer size in bytes (calculated) */
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 void (SDLCALL *callback)(void *userdata, Uint8 *stream, int len);
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 void *userdata;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 } SDL_AudioSpec;
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 </code>
30
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
267 </pre>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 29
diff changeset
268 <img src="./images/sqrWave.png" width="50%" height="">
28
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 </ul>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 </div>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
271
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
273
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
274 </div> <!-- presentation -->
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
275 </body>
0bec56f5c23f add 0609
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
276 </html>