Mercurial > hg > Papers > 2018 > nozomi-master

diff paper/introduction.tex @ 81:3f63f697ed3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 08 Feb 2017 17:37:08 +0900
parents 50c2d2f1a186
children fcab76b8ca58
line wrap: on
line diff
--- a/paper/introduction.tex	Wed Feb 08 17:25:27 2017 +0900
+++ b/paper/introduction.tex	Wed Feb 08 17:37:08 2017 +0900
@@ -30,7 +30,7 @@
 
 
 \section{本論文の構成}
-% TODO: もう一回構成しなおし
+TODO: もう一回構成しなおし
 本論文ではまず第\ref{chapter:cbc}章で Continuation based C の解説を行なう。
 CbC を記述するプログラミングスタイルである CodeSegment と DataSegment の解説、メタ計算と状態を数え上げるメタ計算ライブラリ akasha の解説を行なう。
 次に第\ref{chapter:type}章で型システムについて取り上げる。