--- a/2013_mid.tex	Wed Nov 06 18:48:02 2013 +0900
+++ b/2013_mid.tex	Wed Nov 06 18:59:36 2013 +0900
@@ -55,8 +55,8 @@
 しかし, 戻り値を持たないコードセグメントではスタックに値を積んでいく必要が無く, スタックは変更されない. 
 このようなスタックに値を積まない継続, つまり呼び出し元の環境を持たない継続を軽量継続と呼び, 軽量継続により並列化, ループ制御, 関数コールとスタックの操作を意識した最適化がソースコードレベルで行えるようになる. 
 
-\section{LLVM/clang 3. 4 上での実装}
-ここではLLVM/clang 3. 4 上でどのように CbC コンパイラを実装するかについて述べる. 
+\section{LLVM/clang 3.4 上での実装}
+ここではLLVM/clang 3.4 上でどのように CbC コンパイラを実装するかについて述べる. 
 
 \subsection{LLVM, clang について}
 実装方法の前に, LLVM と clang について簡潔に記す. LLVM はコンパイラフレームワークであり, コンパイラが行う処理のうちバックエンド部分を提供する. LLVM BitCode という中間言語を持ち, それをターゲットマシンの機械語や実行可能なファイルに変換する.  
@@ -97,15 +97,15 @@
 \begin{thebibliography}{9}
 \bibitem{1}与儀 健人. ``組み込み向け言語Continuation based C の GCC 上の実装''. 琉球大学 情報工学科 学位論文(修士), 2008
 \vspace{-3mm}
-\bibitem{2}大城 信康, 河野 真治. ``Continuation based C の GCC 4. 6 上の実装について''. 第53回プログラミング・シンポジウム, 2011
+\bibitem{2}大城 信康, 河野 真治. ``Continuation based C の GCC 4.6 上の実装について''. 第53回プログラミング・シンポジウム, 2011
 \vspace{-3mm}
-\bibitem{3}LLVM 3. 4 documentation. \\ ``http://llvm. org/docs/index. html''
+\bibitem{3}LLVM 3. 4 documentation. \\ ``http://llvm.org/docs/index.html''
 \vspace{-3mm}
-\bibitem{4}``Clang'' CFE Internals Manual - Clang 3. 4 documentation. \\ ``http://clang. llvm. org/docs/InternalsManual. html''
+\bibitem{4}``Clang'' CFE Internals Manual - Clang 3.4 documentation.\\ ``http://clang.llvm.org/docs/InternalsManual.html''
 \vspace{-3mm}
-\bibitem{5}LLVM API Documentation. \\ ``http://llvm. org/docs/doxygen/html/index. html''
+\bibitem{5}LLVM API Documentation. \\ ``http://llvm.org/docs/doxygen/html/index.html''
 \vspace{-3mm}
-\bibitem{6}Clang API Documentation. \\ ``http://clang. llvm. org/doxygen/''
+\bibitem{6}Clang API Documentation. \\ ``http://clang.llvm.org/doxygen/''
 \vspace{-3mm}
 \end{thebibliography}
 \end{document}