annotate 2015/0512.html @ 32:1b92285a767a

add 0804
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Tue, 04 Aug 2015 19:45:57 +0900
parents ef709768b9cf
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <!DOCTYPE html>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <html>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 <head>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 <title>seminar</title>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 <!--
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 Notes on CSS media types used:
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
846502832f71 add Nov04
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)
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 2) screen -> outline mode (display all slides-at-once on screen)
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 3) print -> print (and print preview)
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
846502832f71 add Nov04
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
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 Questions, comments?
846502832f71 add Nov04
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
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <!-- styles -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 <style media="screen,projection">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 html,
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 body,
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 .presentation { margin: 0; padding: 0; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 .slide { display: none;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 position: absolute;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 top: 0; left: 0;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 margin: 0;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 border: none;
846502832f71 add Nov04
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 */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 -moz-box-sizing: border-box;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 -webkit-box-sizing: border-box;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 box-sizing: border-box;
846502832f71 add Nov04
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% */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 overflow-x: hidden; overflow-y: auto;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 z-index: 2;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 .slide.current { display: block; } /* only display current slide in projection mode */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 .slide .stepcurrent { color: black; }
846502832f71 add Nov04
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; } */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 .slide {
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 /*
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 background-image: -webkit-linear-gradient(top, blue, aqua, blue, aqua);
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 background-image: -moz-linear-gradient(top, blue, aqua, blue, aqua);
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 </style>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <style media="screen">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 .slide { border-top: 1px solid #888; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 .slide:first-child { border: none; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 </style>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 <style media="print">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 .slide { page-break-inside: avoid; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 .slide h1 { page-break-after: avoid; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 .slide ul { page-break-inside: avoid; }
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 </style>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 <!-- add js lib (jquery) -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 <script src="js/jquery-1.7.min.js"></script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 <!-- S6 JS -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 <script src="js/jquery.slideshow.js"></script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 <script src="js/jquery.slideshow.counter.js"></script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 <script src="js/jquery.slideshow.controls.js"></script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 <script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 $(document).ready( function() {
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 Slideshow.init();
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 // Example 2: Start Off in Outline Mode
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 // Slideshow.init( { mode: 'outline' } );
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 // Example 3: Use Custom Transition
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 // Slideshow.transition = transitionScrollUp;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 // Slideshow.init();
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 // Example 4: Start Off in Autoplay Mode with Custom Transition
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 // Slideshow.transition = transitionScrollUp;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 // Slideshow.init( { mode: 'autoplay' } );
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 } );
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 </script>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 </head>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 <body>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <div class="presentation">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 <div class='slide cover'>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 <table width="90%" height="90%" border="0" align="center">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 <tr>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 <td><div align="center">
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
99 <h1>Cerium での正規表現の実装</h1>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 </div>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 </td>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 </tr>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 <tr>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 <td><div align="right">
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
105 <name>Masataka Kohagura 12th, May , 2015</name>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 </div></td>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 </tr>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 </tr>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 </table>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 </div>
19
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
111
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 <div id="cover">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 <h1>研究目的</h1>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 <ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 <li>
19
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
116 当研究室では並列プログラミングフレームワーク Cerium Task Manager でプログラミングを行っている。
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 <li>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
119
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
120 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
121 <li>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 <li>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
124 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
125 </ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
126 </div>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
127
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
128 <div id="cover">
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
129 <h1>正規表現について</h1>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
130 <ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
131 <li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
132 文字列の一部をパターン化して表現する手法
19
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
133 </li>
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 18
diff changeset
134 <li>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
135 文章からあるパターン文字列を検索したいときに使用する <br>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
136 (e.g. 「ed」が末尾に含まれる英単語を検索する場合 : .*ed)<br>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
137 . (ピリオド) : 改行コード以外の任意の1文字<br>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
138 * : 直前の文字の 0 回以上の繰返し
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
139 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
140 </ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
141 </div>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
142
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
143 <div id="cover">
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
144 <h1>オートマトンについて</h1>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
145 <ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
146 <li>
24
14d14dcb8219 write image in Omnigraffle
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
147 入力に対して内部の状況に応じた処理を行う結果を出力する仮想的な自動機械の概念
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 </li>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
149 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
150 正規表現はオートマトンで表現することができる。
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
151 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
152 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
153 非決定性有限オートマトン NFA(Non-deterministic Finite Automaton)と、非決定性有限オートマトンDFA(Deterministic Finite Automaton)が存在する。
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
154 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
155 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
156 非決定性有限オートマトン : 1つの入力に対して複数の遷移先が存在する
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
157 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
158 <object data="images/vector/nfa.svg" type="image/svg+xml"></object>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
159 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
160 決定性有限オートマトン : 1つの入力に対して遷移先が1つだけ
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
161 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
162 <object data="images/vector/dfa.svg" type="image/svg+xml"></object>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
163
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 </ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 </div>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
166
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 <div id="cover">
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
168 <h1>正規表現の基本三演算</h1>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 <ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 <li>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
171 正規表現は「連接」「選択」「繰返し」の演算が備えられている<br>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
172 R,S という 2 つの正規表現が存在すると仮定する。<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
173 <b>連接 「RS」</b>: R の直後に S が続くパターン<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
174 <ul>(e.g.) RS, RRS, RSS, RRSS, ...<br></ul>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
175 <object data="images/vector/rensetsu.svg" type="image/svg+xml"></object><br>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
176 <b>選択 「R|S」</b>: R もしくは S が出現するパターン<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
177 <ul>(e.g.) R, S, RS, ...<br></ul>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
178 <object data="images/vector/sentaku.svg" type="image/svg+xml"></object><br>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
179 <b>繰返し 「R*S」</b>: 「*」の直前(R)が 0 回以上出現するパターン<br>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
180 <ul>(e.g.) S, RS, RRS, RRRS, ...</ul><br>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
181 <object data="images/vector/star.svg" type="image/svg+xml"></object><br>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 <li>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
184 基本三演算は結合順位が存在する<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
185 <ul>繰返し &gt; 連接 &gt; 選択</ul>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 </ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 </div>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
189
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 <div id="cover">
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
191 <h1>正規表現の他の演算</h1>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 <ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 <li>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
194 <b>「R+S」</b>: 「+」の直前のパターンが 1 回以上出現するパターン<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
195 <ul>(e.g.) RS, RRS, RRRS, ...</ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
196 <ul>R+S ≡ R(R*)S</ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
197 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
198 <li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
199 <li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
200 <b>「R?S」</b>: 「?」の直前のパターンが 0 or 1 回出現するパターン<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
201 <ul>(e.g.) S, RS</ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
202 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
203 <li>
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
204 <b>「R{1,3}」</b>: 「{}」の直前のパターンが 1 〜 3 回出現するパターン<br>
21
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
205 <ul>(e.g.) R, RR, RRR</ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
206 </li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
207 <li>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
208 <b>「R{1,}」</b>: 「{}」の直前のパターンが 1 回以上出現するパターン<br>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
209 <ul>(e.g.) R, RR, RRR, ...</ul>
a4227cbaa7b3 remove some files
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 20
diff changeset
210 <ul>R+S ≡ R(R*)S ≡ R{1,}S</ul>
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 </ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 </div>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
214
25
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
215 <div id="cover">
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
216 <h1>実装について</h1>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
217 まずは基本三演算を実装していく。
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
218 <ul>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
219 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
220 R*(T|S)U をオートマトンで表現してみる
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
221 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
222 <object data="images/vector/rtsu-automaton.svg" type="image/svg+xml"></object>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
223 <li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
224 状態と入力に対する遷移先、遷移したかどうかフラグで管理する。
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
225 </li>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
226 <pre>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
227 <code>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
228 typedef struct Automaton {
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
229 int state;
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
230 unsigned char input_char;
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
231 int next_state;
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
232 bool next_state;
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
233 };
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
234 </code>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
235 </pre>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
236 <object data="images/vector/rtsu-automatondata.svg" type="image/svg+xml"></object>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
237 </ul>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
238 </div>
ef709768b9cf add image
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents: 24
diff changeset
239
10
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 <!--
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 <div id="cover">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
242 <h1>prog</h1>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
243 <ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
244 <li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
245
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 </li>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
247
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 <pre>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 <code>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 typedef struct SDL_AudioSpec {
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 int freq; /** DSP frequency samples per second */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 Uint16 format; /** Audio data format */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 Uint8 channels; /** Number of channels: 1 mono, 2 stereo */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 Uint8 silence; /** Audio buffer silence value (calculated) */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
255 Uint16 samples; /** Audio buffer size in samples (power of 2) */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 Uint16 padding; /** Necessary for some compile environments */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 Uint32 size; /** Audio buffer size in bytes (calculated) */
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 void (SDLCALL *callback)(void *userdata, Uint8 *stream, int len);
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 void *userdata;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 } SDL_AudioSpec;
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 </code>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
262 </ul>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 </pre>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 <img src="./images/sqrWave.png" width="50%" height="">
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 </div>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
266
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
268
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 </div> <!-- presentation -->
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 </body>
846502832f71 add Nov04
Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
271 </html>