# HG changeset patch
# User Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
# Date 1399954410 -32400
# Node ID f41ff679fd310e0241c4044635611f0d1ec40e98
# Parent  20f6eff0779c4e82430d7131e373b0086346b685
fix eval

diff -r 20f6eff0779c -r f41ff679fd31 presen/slide/s6/presen.html
--- a/presen/slide/s6/presen.html	Mon May 12 23:00:24 2014 +0900
+++ b/presen/slide/s6/presen.html	Tue May 13 13:13:30 2014 +0900
@@ -117,8 +117,10 @@
 	<ul>
 	  <li>当研究室では, プログラムを code segment, data segment という単位を用いて書くという手法を提案している.
 	  <li>この手法を用いてプログラミングを行う言語として CbC を開発している.
-	  <li>CbC は関数呼び出しではなく継続によって処理の移動を行うので状態遷移ベースのプログラミングに適している.
-	  <li>OS, 正規表現検査器等が状態遷移ベース.
+	    <ul>
+	      <li>CbC は関数呼び出しではなく継続によって処理の移動を行うので状態遷移ベースのプログラミングに適している.
+	      <li>OS, 正規表現検査器等が状態遷移ベース.
+	    </ul>
 	  <li>広く使われるようになってきた LLVM 上で CbC コンパイラを実装する.
 	  <li>setjmp/longjmp による環境付き継続の実装.
 	</ul>
@@ -611,9 +613,10 @@
 	  </tr>
 	</table>
 	<ul>
+	  <li>インライン展開は無効化している.
 	  <li>最適化の有無で比較すると, 最適化有りのほうが二倍以上速い.
 	  <li>Micro-C と比較すると, 最適化無しでは劣ることもあるが最適化を有効化すると全ての場合で LLVM/clang の方が速くなる.
-	  <li>GCC と比較すると, 速度面では劣るが, 最適化を無効化してもプログラムが正常に動作するという点では優位.
+	  <li>GCC と比較すると, 速度面では劣るが, 最適化を無効化してもプログラムが正常に動作するという点で優位.
 	</ul>
       </div>