Mercurial > hg > Papers > 2016 > atton-ipsjpro
changeset 12:96f146208607
Add TODO
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 01 Jul 2016 19:21:17 +0900 |
| parents | bac0852b7258 |
| children | fccf91d337c3 |
| files | paper/vmpcbc.tex |
| diffstat | 1 files changed, 3 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/vmpcbc.tex Fri Jul 01 19:20:34 2016 +0900 +++ b/paper/vmpcbc.tex Fri Jul 01 19:21:17 2016 +0900 @@ -38,6 +38,7 @@ \author{河野 真治}{Shinji KONO}{RUniv}[kono@ie.u-ryukyu.ac.jp] \begin{abstract} +% TODO: update Continuation based C 言語によって記述されたプログラムのデータ構造の性質を検証する手法を提案する。 Continuation based C とは当研究室が提案している Code Segment, Data Segment という単位でプログラムを記述する言語である。 Code Segment とは処理の単位であり、データの単位である Data Segment を入力と出力に持つ。 @@ -53,6 +54,7 @@ \end{jkeyword} \begin{eabstract} +% TODO: update We propose a verification method for programs using Continuation based C language. Our laboratory develops Continuation based C language which supports programming unit called Code Segment, Data Segment. Code segments are calculation units which have input/output data segments that data unit. @@ -155,6 +157,7 @@ \end{thebibliography} +% TODO: update \begin{biography} \profile{m,E}{情報 太郎}{1970年生．1992年情報処理大学理学部情報科学科卒業． 1994年同大学大学院修士課程修了．同年情報処理学会入社．オンライン出版の研究