view 2015/0602.html @ 28:0bec56f5c23f

add 0609
author Masataka Kohagura <kohagura@cr.ie.u-ryukyu.ac.jp>
date Tue, 09 Jun 2015 17:13:09 +0900
parents 2015/0519.html@33f5506858bd
children
line wrap: on
line source

<!DOCTYPE html>
<html>
<head>
  <meta http-equiv="content-type" content="text/html;charset=utf-8"> 
  <title>seminar</title>

<!-- 
   Notes on CSS media types used:
 
   1) projection -> slideshow mode (display one slide at-a-time; hide all others)
   2) screen     -> outline mode (display all slides-at-once on screen) 
   3) print      -> print (and print preview)
  
   Note: toggle between projection/screen (that is, slideshow/outline) mode using t-key

   Questions, comments?
   - send them along to the mailinglist/forum online @ http://groups.google.com/group/webslideshow    
-->

<!-- styles  -->
<style media="screen,projection">

html,
body,
.presentation { margin: 0; padding: 0; }

.slide { display: none;
         position: absolute;
         top: 0; left: 0; 
         margin: 0;
         border: none;
         padding: 2% 4% 0% 4%;         /* css note: order is => top right bottom left  */
         -moz-box-sizing: border-box;
         -webkit-box-sizing: border-box;
         box-sizing: border-box;
         width: 100%; height: 100%;    /* css note: lets use border-box; no need to add padding+border to get to 100% */
         overflow-x: hidden; overflow-y: auto;
         z-index: 2;
       }

.slide.current { display: block; }  /* only display current slide in projection mode */

.slide .stepcurrent { color: black; }
.slide .step        { color: silver; } /* or hide next steps e.g. .step { visibility: hidden; } */

.slide {
/*
  background-image: -webkit-linear-gradient(top, blue, aqua, blue, aqua);
  background-image: -moz-linear-gradient(top, blue, aqua, blue, aqua);
*/
}
</style>

<style media="screen">
.slide             { border-top: 1px solid #888; }
.slide:first-child { border: none;  }
</style>

<style media="print">
.slide    { page-break-inside: avoid; }
.slide h1 { page-break-after:  avoid; }
.slide ul { page-break-inside: avoid; }
</style>


<!-- add js lib (jquery) -->
<script src="js/jquery-1.7.min.js"></script>

<!-- S6 JS -->
<script src="js/jquery.slideshow.js"></script>
<script src="js/jquery.slideshow.counter.js"></script>
<script src="js/jquery.slideshow.controls.js"></script>
<script>
  $(document).ready( function() {
    Slideshow.init();
    
    // Example 2: Start Off in Outline Mode
    // Slideshow.init( { mode: 'outline' } );
    
    // Example 3: Use Custom Transition
    // Slideshow.transition = transitionScrollUp;
    // Slideshow.init();

    // Example 4: Start Off in Autoplay Mode with Custom Transition
    // Slideshow.transition = transitionScrollUp;
    // Slideshow.init( { mode: 'autoplay' } );
  } );
</script>

</head>
<body>

<div class="presentation">

  <div class='slide cover'>
  <table width="90%" height="90%" border="0" align="center">
  <tr>
  <td><div align="center">
      <h1>Cerium 上での正規表現の実装</h1>
      </div>
  </td>
  </tr>
      <tr>
      <td><div align="right">
          <name>Masataka Kohagura 2nd, June , 2015</name>
      </div></td>
      </tr>
  </tr>
  </table>
  </div>

  <div id="cover">
    <h1>研究目的</h1>
        <ul>
            <li>
            当研究室では並列プログラミングフレームワーク Cerium Task Manager でプログラミングを行っている。
            </li>
            <li>

            </li>
            <li>
            </li>
            <li>
            </li>
        </ul>
  </div>


  <div id="cover">
    <h1>正規表現を有限オートマトンで書いてみる</h1>
    例題 : (a|aa|aaa)*b
        <ul>
            <object data="images/vector/automata.svg" type="image/svg+xml"></object><br>
        </ul>
        非決定性オートマトンから subset Constraction
        <ul>
            <object data="images/vector/dfa2tosubset.svg" type="image/svg+xml"></object><br>
        </ul>
  </div>

  <div id="cover">
    <h1>正規表現を有限オートマトンで書いてみる</h1>
    例題 : ab(ab)+
        <ul>
            <object data="images/vector/abab.svg" type="image/svg+xml"></object><br>
        </ul>
        テキストが abab の途中で分割される場合を考える
        <ul>
            <object data="images/vector/ababautomata.svg" type="image/svg+xml"></object><br>
        </ul>
        分割されたファイルの1コ前の終わりが状態(3)の場合で、分割されたファイルの先頭が b の場合状態(4)に遷移して受理される。(正規表現にマッチする)
        <ul>
            <object data="images/vector/ababtable.svg" type="image/svg+xml"></object><br>
        </ul>
        <ul>
            <object data="images/vector/bitvectorTable.svg" type="image/svg+xml"></object><br>
        </ul>
  </div>

  <div id="cover">
    <h1>状態を bit列で表現</h1>
    状態をビットで表現するため、bitSet を実装した。

    <pre>
    <code>

typedef struct bitInfo {
    int arrayNum;
    unsigned long *bitContainer;
}BitInfo,*BitInfoPtr;

void bitSet(BitInfoPtr bi, int bitSetPosition) {

    unsigned long tmp = 1;
    int arrayPosition = 0;

    arrayPosition = bitSetPosition / 64;
    bitSetPosition = bitSetPosition % 64;

    tmp = tmp << (63 - bitSetPosition);
    bi->bitContainer[arrayPosition] = bi->bitContainer[arrayPosition] | tmp;
}

    </code>
    </ul>
</pre>
  </div>


  <div id="cover">
    <h1>次にやること</h1>
    bitVector を生成するため、正規表現の parser を記述する
  </div>


<!--
  <div id="cover">
    <h1>prog</h1>
    <ul>
    <li>

    </li>

    <pre>
    <code>
typedef struct SDL_AudioSpec {
    int freq;          /** DSP frequency samples per second */
    Uint16 format;     /** Audio data format */
    Uint8  channels;   /** Number of channels: 1 mono, 2 stereo */
    Uint8  silence;    /** Audio buffer silence value (calculated) */
    Uint16 samples;    /** Audio buffer size in samples (power of 2) */
    Uint16 padding;    /** Necessary for some compile environments */
    Uint32 size;       /** Audio buffer size in bytes (calculated) */
    void (SDLCALL *callback)(void *userdata, Uint8 *stream, int len);
    void  *userdata;
} SDL_AudioSpec;
    </code>
    </ul>
</pre>
    <img src="./images/sqrWave.png" width="50%" height="">
  </div>

-->

</div> <!-- presentation -->
</body>
</html>