Mercurial > hg > Members > kaito > slides

annotate s6/2014_10_14.html @ 5:ab2d529bb1d7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add slide
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 14 Oct 2014 19:17:35 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <!DOCTYPE html>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <html>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 <head>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 <meta charset='utf-8'>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 <title>Presen</title>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 <!-- style sheet links -->
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 <link rel="stylesheet/less" href="themes/blank/projection.css.less" media="screen,projection">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 <link rel="stylesheet/less" href="themes/blank/screen.css.less" media="screen">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 <link rel="stylesheet/less" href="themes/blank/print.css.less" media="print">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 <link rel="stylesheet/less" href="blank.css.less" media="screen,projection">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 <!-- add js libs (less, jquery) -->
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 <script src="js/less-1.1.4.min.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 <script src="js/jquery-1.7.min.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 <!-- S6 JS -->
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <script src="js/jquery.slideshow.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 <script src="js/jquery.slideshow.counter.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 <script src="js/jquery.slideshow.controls.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 <script src="js/jquery.slideshow.footer.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 <script src="js/jquery.slideshow.autoplay.js"></script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 <script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 $(document).ready( function() {
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 Slideshow.init();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 // Example 2: Start Off in Outline Mode
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // Slideshow.init( { mode: 'outline' } );
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 // Example 3: Use Custom Transition
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 // Slideshow.transition = transitionScrollUp;
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 // Slideshow.init();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 // Example 4: Start Off in Autoplay Mode with Custom Transition
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 // Slideshow.transition = transitionScrollUp;
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 // Slideshow.init( { mode: 'autoplay' } );
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 } );
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 </script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 </head>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 <body>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 <div class="layout">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 <div id="header"></div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 <div id="footer">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 <div align="right">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 <img src="images/concurrency.png" width="200">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <div class="presentation">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 <!-- add slides here; example -->
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 <div class='slide cover'>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 <table width="90%" height="90%" border="0" align="center">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 <tr>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 <td><div align="center">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 <h1><font color="#808db5">CbCにおけるデータセグメントの設計</font></h1>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 </div></td>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 </tr>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 <tr>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 <td><div align="left">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 Kaito Tokumori
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 <script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 var date = new Date();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 var year = date.getFullYear();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 var month = date.getMonth();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 var day = date.getDate();
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 var monthList = new Array("January","February","March","April","May","June",
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 "July","August","September","October","November","December");
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 document.write(monthList[month]+" "+day+", "+year);
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 </script>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:300%;height:0.2em;">
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 </div></td>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 </tr>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 </table>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 <div class='slide'>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 <h3>研究目的</h3>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 <p>当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案している。その手法を用いてプログラミングを行う言語として"CbC"の開発を行っており、これはCの下位の言語である。</p>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 <p>CbCにおいてコードセグメントは処理の単位に相当し、データセグメントはその対象となるデータの単位となる。</p>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 <p>データセグメントは C の構造体のように複数のデータ型の値を持つことができ、後から拡張することが可能である。また、構造を示すシグネチャを持ち、それを参照することで異なるバージョンのプログラム間でも正しく動作することが可能になる。</p>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <div class='slide'>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 <h3>状況</h3>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 <p>止まってます助けてください…。</p>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 <ul>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 <li>data segmentはclangレベルでは構造体みたいに扱って __code みたいにキーワード作ってマーカーにする。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 <li>キーワードを頼りに宣言の自動宣言を行うとか。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 <li>LLVM IR 変換手前までは構造体のように扱うとか。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 <li>基本的にはシグネチャによる内部構造を持つ構造体みたいな？
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 <li>シグネチャが必要となるのは実行時コンパイルするとき？
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 <li>拡張したいときは拡張用の構文を使って拡張できるようにするとか。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 </ul>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 <div class='slide'>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 <h3>方向</h3>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 <ul>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 <li>__dataくらいでデータセグメント宣言できるようにする。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 <li>中身のための構造体の定義を自動生成する。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 <li>シグネチャはLLVM IRレベルくらいで持たせてその後コンパイルするときにどうこうする？
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 <li>構文を考えて実装する。
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 </ul>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 </div>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 </div> <!-- presentation -->
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 </body>
ab2d529bb1d7 add slide
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 </html>