Mercurial > hg > Papers > 2016 > atton-ipsjpro

--- a/paper/vmpcbc.tex	Tue Jun 28 16:59:35 2016 +0900
+++ b/paper/vmpcbc.tex	Tue Jun 28 17:08:53 2016 +0900
@@ -38,916 +38,41 @@
 \author{河野 真治}{Shinji KONO}{RUniv}[kono@ie.u-ryukyu.ac.jp]

 \begin{abstract}
-本稿は，情報処理学会論文誌ジャーナルに投稿する原稿を執筆する際，
-および論文採択後に最終原稿を準備する際の注意点等をまとめたものである．
-大きく分けると，
-論文投稿の流れと，\LaTeX と専用のスタイルファイルを用いた場合の論文フォーマットに関する指針，
-および論文の内容に関してするべきこと，
-するべきでないことをまとめたべからずチェックリストからなる．
-本稿自体も \LaTeX と専用のスタイルファイルを用いて執筆されているため，
-論文執筆の際に参考になれば幸いである．
+Continuation based C 言語によって記述されたプログラムのデータ構造の性質を検証する手法を提案する。
+Continuation based C とは当研究室が提案している Code Segment, Data Segment という単位でプログラムを記述する言語である。
+Code Segment とは処理の単位であり、データの単位である Data Segment を入力と出力に持つ。
+プログラム全体は Code Segment どうしの接続により表現され、あるCode Segment の出力は接続された次の Code Segment の入力となる。
+また、メモリ管理やエラーの処理など、本来中心に行ないたい処理と異なる処理はメタ計算として分離し、Meta Code Segment, Meta Data Segment として記述する。
+Code Segment の接続処理を Meta Code Segment として表現し、接続部分に検証を含めることで 元の Code Segment を変更することなくプログラムの検証を行なう。
+本論文では Continuatoin based C によって記述された赤黒木や Synchronized Queue といったデータ構造の性質を検証する。
 \end{abstract}


 \begin{jkeyword}
-情報処理学会論文誌ジャーナル，\LaTeX，スタイルファイル，べからず集
+プログラミング言語, 検証, 赤黒木
 \end{jkeyword}

 \begin{eabstract}
-This document is a guide to prepare a draft for submitting to IPSJ
-Journal, and the final camera-ready manuscript of a paper to appear in
-IPSJ Journal, using {\LaTeX} and special style files.  Since this
-document itself is produced with the style files, it will help you to
-refer its source file which is distributed with the style files.
+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.
+Programs are represented by connections among with code segments and code segments.
+The output data segment of some code segment is converted to the input data segment of connected one.
+We introduce meta computations which split main computations and complicated computations such as memory control, error handling and more.
+Meta computations represented to meta code segment and meta data segment, which saves main computations.
+In this paper, We define a meta computation which connects code segments with verifications and verify properties of data structures such as Red-Black Tree and Synchronized Queue.
 \end{eabstract}

 \begin{ekeyword}
-IPSJ Journal, \LaTeX, style files, ``Dos and Don'ts'' list
+Programming Language, Verification, Red-Black Tree
 \end{ekeyword}

 \maketitle

-%1
-\section{はじめに}
-
-情報処理学会では，基幹論文誌として論文誌ジャーナルの発行を行っている．
-現在論文誌ジャーナル編集委員会では，
-論文誌ジャーナルの論文掲載時のフォーマットとして
-A4縦型2段組を採用している．
-また，以前は投稿時と掲載時の形式が異なっていたが，
-現在では，
-投稿時も掲載時と同様のA4縦型2段組で受け付けることにした．
-
-
-
-本稿では，
-まずスタイルファイルを用いた論文のフォーマットに関して述べる．
-新たなスタイルファイルでは，
-極力特別なコマンドは使わずに，標準的な \LaTeX のスタイルを踏襲している．
-論文フォーマットに関しては，\ref{sec:format}~章で
-後述する指針に従って頂くが，
-そこに規定されていること以外は標準的な\LaTeX のコマンドをそのまま使うことができる．
-本稿は，そのスタイルファイルを実際に使っているので，
-論文執筆の際に参考にされたい．
-
-
-
-
-\footnotetext{本文は実際には論文誌ジャーナル編集委員会で作成したものである．}
-
-また，論文誌ジャーナル編集委員会では，論文の執筆する際に，
-著者がするべきこと，するべきでないことを「べからず集」としてまとめた．
-本稿の後半に，論文の内容に関する指針になるように，
-「べからず集」の内容をチェックリストとしてつけているので，
-投稿する前の内容のチェックに利用されたい．
-
-
-
-
-%2
-\section{投稿の流れ}
-
-
-%2.1
-\subsection{準備}
-
-
-情報処理学会論文誌ジャーナルの \LaTeX スタイルファイルを含む
-論文執筆キットは
-\begin{quote}
-\small
-\|http://www.ipsj.or.jp/jip/submit/style.html|
-\end{quote}
-からダウンロードすることができる．論文執筆キットは以下のファイルを含んでいる．
-
-
-\begin{Enumerate}
-\item \|ipsj.cls      |: 原稿用スタイルファイル
-\item \|ipsjpref.sty  |: 序文用スタイル
-\item \|jsample.tex   |: 本稿のソースファイル
-\item \|esample.tex   |: 英文サンプルのソースファイル
-\item \|ipsjsort.bst  |: jBibTEX スタイル（著者名順）
-\item \|ipsjunsrt.bst |: jBibTEX スタイル（出現順）
-\item \|bibsample.bib |: 文献リストのサンプル
-\item \|ebibsample.bib|: 英文文献リストのサンプル
-\item \makebox[9.47zw][l]{{\tt ipsjtech.sty}}: 研究報告用スタイル
-\item \| tech-jsample.tex|: 研究報告（和文）のサンプル
-\item \| tech-esample.tex|: 研究報告（英文）のサンプル
-\end{Enumerate}%
-実行環境としては\LaTeXe を前提としているので，準備されたい．
-
-
-Microsoft Wordに関しては，投稿されたフォーマットを基に，
-業者が \LaTeX に変換して組版を行うので，
-あくまでも参考としてしか使わないことを承知して頂きたい．
-
-
-
-%2.2
-\subsection{最終原稿の作成と投稿}
-
-本稿に従って用意した原稿の \LaTeX ソースからpdfファイルを作成し，
-Adobeのpdf readerで読めることを確認した後，
-\begin{quote}
-\small
-\|https://mc.manuscriptcentral.com/ipsj|
-\end{quote}
-上記のURLから投稿する．
-投稿の流れについては，
-\begin{quote}
-\small
-\|http://www.ipsj.or.jp/journal/submit/manual/|\\
-\|j_manual.html|
-\end{quote}
-を参照されたい．
-
-
-
-なお，情報処理学会論文誌ジャーナルでは，
-論文の著者が査読者の名前を知ることがないシングルブラインドの査読を取り入れている．
-
-
-
-
-%2.3
-\subsection{最終原稿の作成とファイルの送付}
-
-投稿した論文の採録が決定したら，
-査読者からのコメントなどにしたがって原稿を修正し，
-図表などのレイアウトも最終的なものとする．
-なお後の校正の手間を最小にするために，
-この段階で記述の誤りなどを完全に除去するように綿密にチェックして頂きたい．
-
-
-
-学会へは{\bf \LaTeX ファイル（をまとめたもの）}を送信する．
-送信するファイル群の標準的な構成は \|.tex| と \|.bbl| であり，
-この他にPostScriptファイルや特別なスタイルファイルがあれば付加する．
-なお \|.tex| は印刷業者が修正することがあるので，
-{必ず一つのファイルにする}．
-また必要なファイルが全てそろっていること，
-特に特別なスタイルファイルに洩れがないことを，注意深く確認して頂きたい．
-
-
-ファイルの送信方法などについては，
-採録通知とともに学会事務局から送られる指示に従う．
-
-
-
-
-%2.4
-\subsection{著者校正・組版・出版}
-
-
-学会では用語や用字を一定の基準（常用漢字および
-「現代仮名遣い」等）に従って修正することがある．
-また \LaTeX の実行環境の差異などによって著者が作成した最終PDFと
-実際の組版結果が微妙に異なることがある．
-これらの修正や差異が問題ないかを最終的に確認するために，
-著者にPDFファイルが送られるので，
-もし問題があれば朱書によって指摘して送信する．
-なお{\bf この段階での記述誤りの修正は原則として認められない}ので，
-原稿送信時に細心の注意を払っていただきたい．
-
-
-その後，著者の校正に基づき最終的な組版を行ない，
-オンライン出版する．
-
-
-
-
-%3
-\section{論文フォーマットの指針}
-\label{sec:format}
-
-以下，
-情報処理学会論文誌ジャーナル用スタイルファイルを用いた論文フォーマットの
-指針について述べるので，
-これに従って原稿を用意頂きたい．\LaTeX を用いた
-一般的な文章作成技術については，\cite{okumura, companion} 等を参考にされたい．
-
-
-
-%4
-\section{論文の構成}
-\label{config}
-
-ファイルは次のようになる．
-下線部は投稿時に省略可能なもの．
-また論文誌トランザクション特有コマンドについては \ref{sig}~節を参照されたい．
-
-\noindent
-\|\documentclass[submit]{ipsj}|\\
-\quad 必要ならばオプションのスタイルを追加\\
-\Underline{\|\setcounter{|{\bf 巻数}\|}{<巻数>}|}\\
-\Underline{\|\setcounter{|{\bf 号数}\|}{<号数>}|}\\
-\Underline{\|\setcounter{|{\bf page}\|}{<先頭ページ>}|}\\
-\Underline{\|\|{\bf 受付}\|{<年>}{<月>}{<日>}|}\\
-\Underline{\|\|{\bf 採録}\|{<年>}{<月>}{<日>}|}\\
-\quad 必要ならばユーザのマクロをここに記述\\
-\|\begin{document}|\\
-\|\title{表題(和文)}|\\
-\|\etitle{表題(英文)}|\\
-\Underline{\|\affiliate{所属ラベル}{<和文所属>\\<英文所属>}|}\\
-\quad 必要ならば \|\paffiliate| により現在の所属を宣言する\\
-\Underline{\|\paffiliate{現所属ラベル}{<和現所属>\\<英現所属>}|}\\\\
-\Underline{\|\author{情報 太郎}{Taro Joho}|}\\
-\Underline{\|          {<所属ラベル>}[E-mail]|}\\
-\Underline{\|\author{処理 花子}{Hanako Shori}|}\\
-\Underline{\|          {<所属ラベル2,現所属ラベル3>}|}\\\\
-\|\begin{abstract}|\\
-\|<概要（和文）>|\\
-\|\end{abstract}|\\
-\|\begin{jkeyword}|\\
-\|<キーワード>|\\
-\|\end{jkeyword}|\\
-\|\begin{eabstract}|\\
-\|<概要（英文）>|\\
-\|\end{eabstract}|
-\|\begin{ekeyword}|\\
-\|<KeyWords>|\\
-\|\end{ekeyword}|\\
-\|\maketitle|\\
-\|\section{|第1節の表題\|}|\\
-\dots\dots\dots\dots\dots\\
-\quad \|<本文>|\\
-\dots\dots\dots\dots\dots\\
-謝辞がある場合は\\
-\|\begin{acknowledgment}|\\
-\|\end{acknowledgment}|\\\\
-\|\begin{thebibliography}{99}%9 or 99|\\
-\|\bibitem{1}|\\
-\|\bibitem{2}|\\
-\|\end{thebibliography}|\\\\
-付録がある場合は\\
-\|\appendix|\\
-\|\section{|付録1節の表題\|}|\\\\
-\Underline{\|\begin{biography}|}\\
-\Underline{\|\profile{<X>}{<苗字 名前>}{<プロフィール文章>}|}\\
-\Underline{\|\end{biography}|}\\
-\|\end{document}|
-
-
-
-%4.1
-\subsection{オプション・スタイル}
-\label{option}
-\|\documentclass{ipsj}|のオプション\footnote{論文誌トランザクション用オプションは \ref{sig}~節で説明する．}として，
-以下のものを用意してある．
-{\bf 何も定義しなければ和文論文用の標準スタイル}となるが，
-今回，組版の際に和文論文のタイトル，
-和文論文種別に「{\bf 太ミン}」「{\bf 太ゴ}」のフォントを使用しているため，
-\TeX 標準フォントに置き換える \|submit| というオプションを用意した．
-
-\begin{enumerate}
-\item\|submit         | フォント置換用
-\item\|invited        | 招待論文
-\item\|sigrecommended | 推薦論文
-\item\|technote       | テクニカルノート用
-\item\|preface        | 序文用
-\item\|JIP            | 英文用
-\end{enumerate}
-これらのオプションは任意の組合せで使用が可能である．
-
-
-
-なお，\|\usepackage| で補助的なスタイルファイルを指定した場合には，
-最終原稿用のファイル群に必ずスタイルファイルを含める．
-ただし，\LaTeXe の標準配布に含まれているもの
-（たとえば \|graphicx|）については同封の必要はない．
-
-スタイルファイルによっては論文誌スタイルと矛盾するようなものもあるので，
-注意して使用して頂きたい．
-
-
-
-%4.1.1
-\subsubsection{研究報告専用オプション・スタイル}
-\label{4-1-1}
-
-上記オプションとは別に，研究報告専用のオプションを用意した．
-\begin{enumerate}
-\item\|techrep   | 研究報告（必須）
-\item\|noauthor  | 英文著者表記無しの指定（和文；任意）
-\end{enumerate}
-
-和文の研究報告では，
-和文キーワード，
-英文著者名，
-英文タイトル，
-英文アブスト，
-英文キーワードが任意入力となるため，
-\|techrep|オプションを使用していれば，
-任意項目が無くとも
-コンパイルが止まることはない（\|tech-jsample.tex|参照）．
-
-\|\documentclass[submit,techrep]{ipsj}|\\
-とすれば，研究報告のスタイルとなり，
-
-\|\documentclass[submit,techrep,noauthor]{ipsj}|\\
-とすれば，
-英文著者名等が入らない研究報告のスタイルとなる．
-
-
-
-英文の研究報告では，
-キーワードのみが任意入力となるため，
-\|noauthor|は使用できないので注意する
-（\|tech-esample.tex|参照）．
-
-
-%4.2
-\subsection{表題・著者名等}
-
-表題，著者名とその所属，
-および概要を前述のコマンドや環境により{\bf 和文と英文の双方について}定義した後，
-\|\maketitle| によって出力する．
-
-
-
-%4.2.1
-\subsubsection{表題}
-
-表題は，\|\title| および \|\etitle| で定義した表題はセンタリングされる．
-文字数の多いものについては，適宜 \|\\| を挿入して改行する．
-
-%4.2.2
-\subsubsection{著者名・所属}
-
-各著者の所属を第一著者から順に \|\affiliate| を用いてラベル（第1引数）を付けながら定義すると，
-脚注に番号を付けて所属が出力される．
-なお，複数の著者が同じ所属である場合には，一度定義するだけで良い．
-
-
-
-現在の所属は \|\paffiliate| を用い，同様にラベル，所属先を記述する．
-所属先には自動で「現在」，
-\|\\|の改行で「Presently with」が挿入される．
-著者名は \|\author| で定義する．
-各著者名の直後に，英文著者名，所属ラベルとメールアドレスを記入する．
-著者が複数の場合は \|\author| を繰り返すことで，
-2人，3人，\dots と増えていく．
-現在の所属や，複数の所属先を追加する場合には，
-所属ラベルをカンマで区切り，追加すればよい．
-
-
-
-また，
-メールアドレス部分は省略が可能だが，必ず代表者のアドレスは必要となる．
-なお，和文著者名，英文著者名は，姓と名を半角（ASCII）の空白で区切る．
-
-
-
-%4.2.3
-\subsubsection{概要}
-
-和文の概要は \|abstract| 環境の中に，
-英文の概要は \|eabstract| 環境の中に，それぞれ記述する．
-
-%4.2.4
-\subsubsection{キーワード}
-
-和文の概要は \|jkeyword| 環境の中に，
-英文の概要は \|ekeyword| 環境の中に，それぞれ1～5語記述する．
-
-%4.3
-\subsection{本文}
-
-%4.3.1
-\subsubsection{見出し}
-
-節や小節の見出しには \|\section|, \|\subsection|, \|\subsubsection|,
-\|\paragraph| といったコマンドを使用する．
-
-\<「定義」，「定理」などについては，\|\newtheorem|で適宜環境を宣言し，
-その環境を用いて記述する．
-
-
-%4.3.2
-\subsubsection{行送り}
-
-2段組を採用しており，
-左右の段で行の基準線の位置が一致することを原則としている．
-また，節見出しなど，行の間隔を他よりたくさんとった方が読みやすい場所では，
-この原則を守るようにスタイルファイルが自動的にスペースを挿入する．
-したがって本文中では \|\vspace| や \|\vskip| を用いたスペースの調整を行なわないようにすること．
-
-
-
-
-%4.3.3
-\subsubsection{フォントサイズ}
-
-フォントサイズは，
-スタイルファイルによって自動的に設定されるため，
-基本的には著者が自分でフォントサイズを変更する必要はない．
-
-
-
-%4.3.4
-\subsubsection{句読点}
-
-句点には全角の「．」，読点には全角の「，」を用いる．
-ただし英文中や数式中で「.」や「,」を使う場合には，
-半角文字を使う．
-「。」や「、」は使わない．
-
-%4.3.5
-\subsubsection{全角文字と半角文字}
-
-全角文字と半角文字の両方にある文字は次のように使い分ける．
-
-\begin{enumerate}
-\item 括弧は全角の「（」と「）」を用いる．但し，英文の概要，図表見出し，
-書誌データでは半角の「(」と「)」を用いる．
-
-\item 英数字，空白，記号類は半角文字を用いる．ただし，句読点に関しては，
-前項で述べたような例外がある．
-
-\item カタカナは全角文字を用いる．
-
-\item 引用符では開きと閉じを区別する．
-開きには \|``| を用い，閉じには\|''| を用いる．
-\end{enumerate}
-
-
-%4.3.6
-\subsubsection{箇条書}
-
-箇条書に関する形式を特に定めていない．
-場合に応じて標準的な \|enumerate|,
-\|itemize|, \|description| の環境を用いてよい．
-
-
-
-%4.3.7
-\subsubsection{脚注}
-
-脚注は \|\footnote| コマンドを使って書くと，
-ページ単位に\footnote{脚注の例．}や\footnote{二つめの脚注．}のような
-参照記号とともに脚注が生成される．
-なお，ページ内に複数の脚注がある場合，
-参照記号は \LaTeX を2回実行しないと正しくならないことに注意されたい．
-
-
-
-また場合によっては，
-脚注をつけた位置と脚注本体とを別の段に置く方がよいこともある．
-この場合には，
-\|\footnotemark| コマンドや \|\footnotetext| コマンドを使って対処していただきたい．
-
-
-なお，脚注番号は論文内で通し番号で出力される．
-
-
-
-
-%4.3.8
-\subsubsection{OverfullとUnderfull}
-
-組版時にはoverfullを起こさないことを原則としている．
-従って，まず提出するソースが著者の環境でoverfullを起こさないように，
-文章を工夫するなどの最善の努力を払っていただきたい．
-但し，\|flushleft| 環境，\|\\|，\|\linebreak| などによる両端揃えをしない形でのoverfullの回避は，
-できるだけ避けていただきたい．
-また著者の執筆時点では発生しないoverfullが，
-組版時の環境では発生することもある．
-このような事態をできるだけ回避するために，
-文中の長い数式や \|\verb| を避ける，
-パラグラフの先頭付近では長い英単語を使用しない，
-などの注意を払うようにして頂きたい．
-
-
-
-%4.4
-\subsection{数式}\label{sec:Item}
-
-%4.4.1
-\subsubsection{本文中の数式}
-
-本文中の数式は \|$| と \|$|, \|\(| と \|\)|, あるいは \|math| 環境のいずれで囲んでもよい．
-
-
-
-%4.4.2
-\subsubsection{別組の数式}
-
-別組数式(displayed math)については \|$$| と \|$$| は使用せずに，
-\|\[| と \|\]| で囲むか，
-\|displaymath|, \|equation|, \|eqnarray| のいずれかの環境を用いる．これらは
-%
-\begin{equation}
-\Delta_l = \sum_{i=l|1}^L\delta_{pi}
-\end{equation}
-%
-のように，センタリングではなく固定字下げで数式を出力し，
-かつ背が高い数式による行送りの乱れを吸収する機能がある．
-
-
-
-
-%4.4.3
-\subsubsection{eqnarray環境}
-
-互いに関連する別組の数式が2行以上連続して現れる場合には，
-単に\|\[| と \|\]|，
-あるいは \|\begin{equation}| と\|\end{equation}| で囲った数式を書き並べるのではなく，
-\|\begin|\allowbreak\|{eqnarray}| と \|\end{eqnarray}| を使って，
-等号（あるいは不等号）の位置で縦揃えを行なった方が読みやすい．
-
-
-
-%4.4.4
-\subsubsection{数式のフォント}
-
-
-\LaTeX が標準的にサポートしているもの以外の特殊な数式用フォントは，
-できるだけ使わないようにされたい．
-どうしても使用しなければならない場合には，
-その旨申し出て頂くとともに，
-組版工程に深く関与して頂くこともあることに留意されたい．
-
-
-\begin{figure}[tb]
-\setbox0\vbox{
-\hbox{\|\begin{figure}[tb]|}
-\hbox{\quad \|<|図本体の指定\|>|}
-\hbox{\|\caption{<|和文見出し\|>}|}
-\hbox{\|\ecaption{<|英文見出し\|>}|}
-\hbox{\|\label{| $\ldots$ \|}|}
-\hbox{\|\end{figure}|}
-}
-\centerline{\fbox{\box0}}
-\caption{1段幅の図}
-\ecaption{Single column figure with caption\\
-explicitly broken by $\backslash\backslash$.}
-\label{fig:single}
-\end{figure}
-
-
-%4.5
-\subsection{図}
-
-1段の幅におさまる図は，
-\figref{fig:single} の形式で指定する．
-位置の指定に \|h| は使わない．
-また，図の下に和文と英文の双方の見出しを，
-\|\caption| と \|\ecaption| で指定する．
-文字数が多い見出しはは自動的に改行して最大幅の行を基準にセンタリングするが，
-見出しが2行になる場合には適宜 \|\\| を挿入して改行したほうが
-良い結果となることがしばしばある（\figref{fig:single} の英文見出しを参照）．
-図の参照は \|\figref{<|ラベル\|>}| を用いて行なう．
-
-
-
-
-
-また紙面スペースの節約のために，
-1つの \|figure|（または \|table|）環境の中に複数の図表を並べて表示したい場合には，
-\figref{fig:left} と \tabref{tab:right} のように個々の
-図表と各々の \|\caption|/\|\ecaption| を \|minipage| 環境に入れることで実現できる．
-なお図と表が混在する場合，
-\|minipage| 環境の中で\|\CaptionType{figure}| あるいは \|\CaptionType| \|{table}| を指定すれば，
-外側の環境が \|figure| であっても \|table| であっても指定された見出しが得られる．
-
-
-
-\begin{figure}[tb]
-\begin{minipage}[t]{0.5\columnwidth}
-\footnotesize
-\setbox0\vbox{
-\hbox{\|\begin{minipage}[t]%|}
-\hbox{\|  {0.5\columnwidth}|}
-\hbox{\|\CaptionType{table}|}
-\hbox{\|\caption{| \ldots \|}|}
-\hbox{\|\ecaption{| \ldots \|}|}
-\hbox{\|\label{| \ldots \|}|}
-\hbox{\|\makebox[\textwidth][c]{%|}
-\hbox{\|\begin{tabular}[t]{lcr}|}
-\hbox{\|\hline\hline|}
-\hbox{\|left&center&right\\\hline|}
-\hbox{\|L1&C1&R1\\|}
-\hbox{\|L2&C2&R2\\\hline|}
-\hbox{\|\end{tabular}}|}
-\hbox{\|\end{minipage}|}}
-\hbox{}
-\centerline{\fbox{\box0}}
-\caption{\protect\tabref*{tab:right} の中身}
-\ecaption{Contents of table \protect\ref{tab:right}.}
-\label{fig:left}
-\end{minipage}%
-\begin{minipage}[t]{0.5\columnwidth}
-\CaptionType{table}
-\caption{\protect\figref*{fig:left} で作成した表}
-\ecaption{A table built by\\ Fig.\,\protect\ref{fig:left}.}
-\label{tab:right}
-\vskip1mm
-\makebox[\textwidth][c]{\begin{tabular}[t]{lcr}\hline\hline
-left&center&right\\\hline
-L1&C1&R1\\
-L2&C2&R2\\\hline
-\end{tabular}}
-\end{minipage}
-\end{figure}
-
-\begin{figure*}[tb]
-\setbox0\vbox{\large
-\hbox{\|\begin{figure*}[t]|}
-\hbox{\quad \|<|図本体の指定\|>|}
-\hbox{\|\caption{<|和文見出し\|>}|}
-\hbox{\|\ecaption{<|英文見出し\|>}|}
-\hbox{\|\label{| $\ldots$ \|}|}
-\hbox{\|\end{figure*}|}}
-\centerline{\fbox{\hbox to.9\textwidth{\hss\box0\hss}}}
-\caption{2段幅の図}
-\ecaption{Double column figure.}
-\label{fig:double}
-%\vspace*{-2.5mm}
-\end{figure*}
-
-
-2段の幅にまたがる図は，
-\figref{fig:double} の形式で指定する．
-位置の指定は \|t| しか使えない．
-図の中身では本文と違い，
-どのような大きさのフォントを使用しても構わない（\figref{fig:double} 参照）．
-また図の中身として，
-encapsulate されたPostScriptファイル（いわゆるEPSファイル）を読み込むこともできる．
-読み込みのためには，プリアンブルで
-%
-\begin{quote}
-\|\usepackage{graphicx}|
-\end{quote}
-%
-を行った上で，
-\|\includegraphics| コマンドを図を埋め込む箇所に置き，
-その引数にファイル名（など）を指定する．
-
-
-
-
-%4.6
-\subsection{表}
-
-表の罫線はなるべく少なくするのが，
-仕上がりをすっきりさせるコツである．
-罫線をつける場合には，一番上の罫線には二重線を使い，
-左右の端には縦の罫線をつけない （\tabref{tab:example}）．
-表中のフォントサイズのデフォルトは\|\footnotesize|である．
-
-
-また，表の上に和文と英文の双方の見出しを，
- \|\caption|と \|\ecaption| で指定する．
-表の参照は \|\tabref{<|ラベル\|>}| を用いて行なう．
-
-
-
-\begin{table}[tb]
-\caption{表の例}
-\ecaption{An example of table.}
-\label{tab:example}
-\hbox to\hsize{\hfil
-\begin{tabular}{l|lll}\hline\hline
-& column1 & column2 & column3 \\\hline
-row1 &	item 1,1 & item 2,1 & ---\\
-row2 &	---      & item 2,2 & item 3,2 \\
-row3 &	item 1,3 & item 2,3 & item 3,3 \\
-row4 &	item 1,4 & item 2,4 & item 3,4 \\\hline
-\end{tabular}\hfil}
-\end{table}
-
-
-
-%4.7
-\subsection{参考文献・謝辞}
-
-%4.7.1
-\subsubsection{参考文献の参照}
-
-本文中で参考文献を参照する場合には\|\cite|を使用する．
-参照されたラベルは自動的にソートされ，
-\|[]|でそれぞれ区切られる．
-%
-\begin{quote}
-文献 \|\cite{companion,okumura}| は \LaTeX の総合的な解説書である．
-\end{quote}
-%
-と書くと；
-%
-\begin{quote}
-文献\cite{companion,okumura}は \LaTeX の総合的な解説書である．
-\end{quote}
-%
-が得られる．
-
-%4.7.2
-\subsubsection{参考文献リスト}
-参考文献リストには，
-原則として本文中で引用した文献のみを列挙する．
-順序は参照順あるいは第一著者の苗字のアルファベット順とする．
-文献リストはBiB\TeX と\verb+ipsjunsrt.bst+（参照順）
-または\verb+ipsjsort.bst+（アルファベット順）を用いて作り，
-\verb+\bibliograhpystyle+と\verb+\bibliography+コマンドにより
-利用することが出来る．
-これらを用いれば，
-規定の体裁にあったものができるので，
-できるだけ利用していただきたい．
-また製版用のファイル群には\verb+.bib+ファイルではなく\verb+.bbl+ファイルを
-必ず含めることに注意されたい．
-一方，何らかの理由でthebibliography環境で文献リストを
-「手作り」しなければならない場合は，
-このガイドの参考文献リストを注意深く見て，
-そのスタイルにしたがっていただきたい．
-
-
-
-%4.7.3
-\subsubsection{謝辞}
-
-謝辞がある場合には，参考文献リストの直前に置き，\|acknowledgment|環境の中に入れる．
-
-
-%4.8
-\subsection{著者紹介}
-
-
-
-本文の最後（\|\end{document}| の直前）に，以下のように著者紹介を記述する．
-\begin{quote}
-\|\begin{biography}|\\
-\|\profile{m}{<|第一著者名\|>}{|第一著者の紹介\|}|\\
-\|\profile{m,F}{<|第二著者名\|>}{|第二著者の紹介\|}|\\
-\|\profile{m}{<|$\dots$\|>}{|$ldots$\|}|\\
-\|\end{biography}|
-\end{quote}
-なお最初の引数を変えることで，会員種別が変わる．
-\begin{quote}
-\|名誉会員　　　：h|\\
-\|正会員　　　　：m|\\
-\|学生会員　　　：s|\\
-\|ジュニア会員　：j|\\
-\|非会員　　　　：n|
-\end{quote}
-また会員種別と同時に，称号を表記することもできる．
-\begin{quote}
-\|フェロー　　　：F|\\
-\|シニア会員　　：E|\\
-\|終身会員　　　：L|
-\end{quote}
-なお称号は著者紹介の末尾に表記される．
-
-
-著者紹介用の写真は縦30ミリ×横25ミリのサイズにて使用する．
-頭の一部が切れているものや背景と顔の輪郭が区別しにくいものなどは避け，
-背景は無いもの，または薄い色のものを使用するのが望ましい．
-なお写真データは，解像度300dpi以上，100万画素以上のカメラを使用したデータを推奨する．
-電子データを用意できない場合は，証明写真を送付されたい．
-また，著者紹介用写真は組版を行う際に印刷業者で取り込むため，
-原稿作成時に写真を取り込む必要はない．
-
-
-%5
-\section{論文内容に関する指針}
-
-論文の内容について，
-論文誌ジャーナル編集委員会で作成した「べからず集」を以下に示す．
-投稿前のチェックリストとして利用頂きたい．
-これ以外にも，査読者用，メタ査読者用の「べからず集」\cite{webpage2}も公開しているので，
-参照されたい．
-また，作文技術に関する \cite{book1, book2, book3, book4}のような書籍も参考になる．
-
-
-
-%5.1
-\subsection{書き方の基本}
-
-\begin{itemize}
- \item[$\Box$] 研究の新規性，有用性，信頼性が読者に伝わるように記述する．
- \item[$\Box$] 読み手に，読みやすい文章を心がける（内容が前後する，背景・
-	       課題の設定が不明瞭などは読者にとって負担）．
- \item[$\Box$] 解決すべき問題が汎用化（一般的に記述）されていないのは再
-	       考を要する（XX大学の問題という記述に終始）．あるいは，
-	       （単に「作りました」だけで）解決すべき問題そのものの記述
-	       がないのは再考を要する．
- \item[$\Box$] 結論が明確に記されていない，または，範囲，限界，問題点な
-	       どの指摘が適切ではない，または，結論が内容にそったもので
-	       はないものは再考を要する．
- \item[$\Box$] 科学技術論文として不適当な表現や，分かりにくい表現がある
-	       のは再考を要する．
- \item[$\Box$] 極端な口語体や，長文の連続などは再考を要する．
- \item[$\Box$] 章，節のたて方，全体の構成等が適切でない文章は再考を要す
-	       る．
- \item[$\Box$] 文中の文脈から推測しないと内容の把握が困難な論文にしない．
- \item[$\Box$] 説明に飛躍した点があり，仮説等の説明が十分ではないのは再
-	       考を要する．
- \item[$\Box$] 説明に冗長な点，逆に簡単すぎる点があるのは再考を要する．
- \item[$\Box$] 未定義語を減らす．
-\end{itemize}\unskip
-
-
-%5.2
-\subsection{新規性と有効性を明確に示す}
-
-\begin{itemize}
- \item[$\Box$] 在来研究との関連，研究の動機，\pagebreak%%%
-	       ねらい等が明確に説明されていないのは再考を要する．
- \item[$\Box$] 既知／公知の技術が何であって，何を新しいアイデアとして提
-	       案しているのかが書かれていないのは再考を要する．
- \item[$\Box$] 十分な参考文献は新規性の主張に欠かせない．
- \item[$\Box$] 提案内容の説明が，概念的または抽象的な水準に終始していて，
-	       読者が提案内容を理解できない（それだけで新規性が感じられ
-	       ないもの）のは再考を要する．
- \item[$\Box$] 論文で提案した方法の有効性の主張がない，またはきわめて貧
-	       弱なのは再考を要する．
-\end{itemize}
-
-%5.3
-\subsection{書き方に関する具体的な注意}
-
-\begin{itemize}
- \item[$\Box$] 和文標題が内容を適切に表現していないのは再考を要する．
- \item[$\Box$] 英文標題が内容を適切に表現していない，または英語として適
-	       切でないのは再考を要する．
- \item[$\Box$] アブストラクトが主旨を適切に表現していない，または英文が
-	       適切ではないのは再考を要する．
- \item[$\Box$] 記号・略号等が周知のものでなく，または，用語が適切でなく，
-	       または，図・表の説明が適当ではないのは再考を要する．
- \item[$\Box$] 個人的あるいは非常に小さなグループ／企業だけで通用するよ
-	       うな用語が特別な説明もなしに多用されているのは再考を要す
-	       る．
- \item[$\Box$] 図表自体は十分に明確ではない，または誤りがあるのは再考を
-	       要する．
- \item[$\Box$] 図表が鮮明ではないのは再考を要する．
- \item[$\Box$] 図表が大きさ，縮尺の指定が適切でないのは再考を要する．
-\end{itemize}
-
-%5.4
-\subsection{参考文献}
-
-\begin{itemize}
- \item[$\Box$] 参考文献は10件以上必要（分野によっては20件以上，30件以上
-	       という意見もある）．
- \item[$\Box$] 十分な参考文献は新規性の主張に欠かせない．
- \item[$\Box$] 適切な文献が引用されておらず，その数も適切ではないのは再
-	       考を要する．
- \item[$\Box$] 日本人によるしかるべき論文を引用することで日本人研究コミュ
-	       ニティの発展につながる．
- \item[$\Box$] 参考文献は自分のものばかりではだめ．
-\end{itemize}
-
-%5.5
-\subsection{二重投稿}
-
-\begin{itemize}
- \item[$\Box$] 二重投稿はしてはならない ─ ただし国際会議に採択された論
-	       文を著作権が問題にならないように投稿することは構わない．
- \item[$\Box$] 他の論文とまったく同じ図表を引用の明示なしに利用すること
-	       は禁止．
- \item[$\Box$] 既発表の論文等との間に重複があるのは再考を要する．
-\end{itemize}
-
-\newpage%%
-
-%5.6
-\subsection{他の人に読んでもらう}
-
-\begin{itemize}
- \item[$\Box$] 投稿経験が少ない人は，採録された経験の豊富な人に校正して
-	       もらう．
- \item[$\Box$] 読者の立場から見て論理的な飛躍がないかに注意して記述する．
-\end{itemize}
-
-%5.7
-\subsection{その他}
-
-\begin{itemize}
- \item[$\Box$] 条件付採録後の修正で，採録条件以外を理由もなく修正するこ
-	       とは禁止．
- \item[$\Box$] 査読者を選べない．
- \item[$\Box$] 投稿前にチェックリストの各項目を満たしているか，必ず確認
-	       する．
-\end{itemize}
-
-%6
-\section{おわりに}
-
-本稿では，A4縦型2段組み用に変更したスタイルファイルを用いた論文のフォーマット方法と，
-論文誌ジャーナル編集委員会がまとめた「べからず集」に基づく論文の書き方を示した．
-内容的にまだ不十分の部分が多いため，意見，要望等を
-\begin{quote}
- \|editt@ipsj.or.jp|
-\end{quote}
-までお寄せ頂きたい．
-
-
-
-\begin{acknowledgment}
-A4横型に対するガイドを基に，本稿を作成した．
-クラスファイルの作成においては，
-京都大学の中島　浩氏にさまざまなご教示を頂き，
-さらにBiB\TeX 関連ファイルの利用についても快諾頂いたことを深謝する．
-また，A4横型に対するガイドを作成された当時の編集委員会の担当者に深謝する．
-\end{acknowledgment}
+\section{コードセグメントとデータセグメント}
+\section{Continuation based C}
+\section{メタ計算を用いたデータ構造の性質の検証}
+\section{まとめと今後の課題}

 \begin{thebibliography}{9}
 \bibitem{okumura}
@@ -990,265 +115,6 @@

 \end{thebibliography}

-
-
-
-\appendix
-%A.1
-\section{付録の書き方}
-
-付録がある場合には，参考文献リストの直後にコマンド \|\appendix| に引き続いて書く．
-付録では，\|\section| コマンドが{\bf A.1}，{\bf A.2}などの見出しを生成する．
-
-
-%A.1.1
-\subsection{見出しの例}
-
-付録の \|\subsetion| ではこのよう見出しになる．
-
-%A.2
-\section{論文誌トランザクション用コマンド}
-\label{sig}
-
-論文誌トランザクションには各々に固有のサブタイトル，略称，通番がある．
-最終原稿では，以下のコマンドを \|\documentclass| の{\bf オプション}とすることで，
-これらの情報を与える．
-
-\begin{itemize}
-\item \|PRO|（プログラミング）
-\item \|TOM|（数理モデル化と応用）
-\item \|TOD|（データベース）
-\item \|ACS|（コンピューティングシステム）
-\item \|CDS|（コンシューマ・デバイス\,\&\,システム）
-\item \|DCON|（デジタルコンテンツ）
-\item \|TCE|（教育とコンピュータ）
-\item \|TBIO|（Bioinformatics）\footnote{%
-TBIO, SLDM, CVAは英文論文誌であるので和名はない．}
-\item \|SLDM|（System LSI Design Methodology）\footnotemark[4]
-\item \|CVA|（Computer Vision and Applicaitons）\footnotemark[4]
-\end{itemize}
-
-また英文論文作成の際には \|english| をオプションに追加すればよい．
-したがって，
-\|\documentclass[PRO]{ipsj}| とすれば「プログラミング」の和文用，
-\|\documentclass[PRO,english]| \|{ipsj}| とすれば英文用となる．
-
-
-また論文誌トランザクションには「号」と連動しない「発行月」があるため，
-学会あるいは編集委員会の指示に基づき，発行月を
-%
-\begin{itemize}\item[]
-\|\setcounter{|{\bf 月数}\|}{<発行月>}|
-\end{itemize}
-%
-によって指定する．
-
-この他，以下の各節で示すように，
-いくつかの論文誌に固有の機能を実現するためのコマンドなどが用意されている．
-
-
-
-%A.3
-\section{各論文誌トランザクション固有コマンド}
-
-各論文誌トランザクションによってそれぞれ細かい仕様が違うため，
-同じコマンドでも出力結果が異なる場合がある．
-また「再受付」，「再々受付」が入る場合があり，それらは
-
-\noindent
-和文では
-\begin{itemize}\item[]
-\|\|{\bf 再受付}\|{<年>}{<月>}{<日>}|\\
-\|\|{\bf 再再受付}\|{<年>}{<月>}{<日>}|
-\end{itemize}
-英文では
-\begin{itemize}\item[]
-\|\|{\bf rereceived}\|{<年>}{<月>}{<日>}|\\
-\|\|{\bf rerereceived}\|{<年>}{<月>}{<日>}|
-\end{itemize}
-とプリアンブルに追加する．
-
-%A.3.1
-\subsection{\<「プログラミング（PRO）」固有機能}
-
-\<「論文誌：プログラミング」には論文以外に，
-プログラミング研究会での研究発表の内容梗概が含まれている．
-この内容梗概は，\|\documentclass|のオプションとして\|abstract|を指定する．
-\ref{config}~節の\|\maketitle|までの内容からなるファイル
-（すなわち本文がないファイル）から生成する．なお\|\|{\bf 受付}や\|\|{\bf 採録}は不要であるが，
-代わりに発表年月日を，
-
-
-\noindent
-和文では
-\begin{itemize}\item[]
-\|\|{\bf 発表}\|{<年>}{<月>}{<日>}|
-\end{itemize}
-英文では
-\begin{itemize}\item[]
-\|\|{\bf Presented}\|{<年>}{<月>}{<日>}|
-\end{itemize}
-により指定する．
-
-%A.3.2
-\subsection{\<「データベース（TOD）」固有機能}
-
-\<「論文誌：データベース」の論文の担当編集委員は，
-\begin{itemize}\item[]
-\|\Editor{<氏名>}|
-\end{itemize}
-により指定する．和文では「担当編集委員」，英文では「Editor in Charge:」
-と入る．
-
-またスタイルの変更に伴い，\underline{本文の最後}に入るので，
-\|\end{document}|の前に直接置く．
-
-
-
-
-%A.3.3
-\subsection{\<「コンシューマ・デバイス\,\&\,システム（CDS）」固有機能}
-
-\<「論文誌：コンシューマ・デバイス\,\&\,システム」では，
-論文の種類によって見出しが変わるため，
-オプションで切替えを行う．
-
-各種別は
-\begin{itemize}
-\item \|systems  |コンシューマ・システム論文\\
-\|         |Paper on Consumer Systems
-
-\item \|services |コンシューマ・サービス論文\\
-\|         |Paper on Consumer Services
-
-\item \|devices  |コンシューマ・デバイス論文\\
-\|         |Paper on Consumer Devices
-
-\item \|Research |研究論文\\
-\|         |Research Paper
-\end{itemize}
-となる．
-
-和文のコンシューマ・システム論文なら，\\
-\|\documentclass[CDS,systems]{ipsj}|
-となり，英文原稿なら \|english|を追加すればよい．
-
-
-
-%A.3.4
-\subsection{\<「デジタルコンテンツ（DCON）」固有機能}
-
-\<「論文誌：デジタルコンテンツ」では，
-論文の種類によって見出しが変わるため，
-オプションで切替えを行う．
-
-各種別は
-\begin{itemize}
-\item \|Research |研究論文\\
-\|         |Research Paper
-
-\item \|Practice |産業論文\\
-\|         |Practice Paper
-
-\item \|Content  |作品論文\\
-\|         |Content Paper
-\end{itemize}
-となる．
-
-和文の研究論文なら，\\
-\|\documentclass[DC,Research]{ipsj}|
-となり，英文原稿なら \|english|を追加すればよい．
-
-
-
-
-%A.3.5
-\subsection{\<「教育とコンピュータ（TCE）」固有機能}
-
-\<「論文誌\：教育とコンピュータ」では，論文の種類によって見出しが変わるため，
-オプションで切替えを行う．
-
-各種別は
-\begin{itemize}
-\item \makebox[9.8zw][l]{指定なし}論文
-
-\|                  |Regular Paper
-
-\item \makebox[9.8zw][l]{{\tt Short}}ショートペーパー
-
-\|                  |Short Paper
-
-\end{itemize}
-となる．
-
-和文のショートペーパーなら，\\
-\|/documentclass[TCE,Short]{ipsj}|
-となり，英文原稿なら\|english|を追加すればよい．
-
-
-
-%A.3.6
-\subsection{\<「Bioinformatics（TBIO）」固有機能}
-
-Trans.\ Bioinformatics (TBIO)は英文論文誌であるので，\|TBIO|オプションの
-指定によって自動的に\|english|オプションが指定されたものとみなされ，
-\|english| オプションの省略が可能．
-
-論文種別は以下の3種．
-\begin{itemize}
-\item \makebox[4.9zw][l]{指定なし} Original Paper (Default)
-\item \|Data     | Database/Software Paper
-\item \|Survey   | Survey Paper
-\end{itemize}
-
-\|\documentclass[TBIO]{ipsj}|でOriginal Paper，\\
-\|\documentclass[TBIO,Survey]{ipsj}|でSurvey Paperとなる．
-
-また，担当編集委員はTOD同様，\|\Editor|で定義するが，「Communicated by」
-となる．TOD同様，\|\end{document}|の前に直接置く．
-
-%A.3.7
-\subsection{\<「Computer Vision and Applicaitons\\\<（CVA）」固有機能}
-
-Trans.\ CVAも英文論文誌であるため，\|english| オプションの省略が可．
-
-論文種別は4種類あり，
-\begin{itemize}
-\item \makebox[4.9zw][l]{指定なし} Regular Paper (Default)
-\item \|Research | Research Paper
-\item \|system   | Systems Paper
-\item \|Express  | Express Paper
-\end{itemize}
-となる．
-
-TBIO同様，担当編集委員が入り，
-挿入文章もTBIO同様，「Communicated by」となる．
-
-また，Express Paperでは著者紹介(\|\profile|)は不要のため，記述する必要はない．
-
-
-
-%A.3.8
-\subsection{\<「System LSI Design Methodology（SLDM）」固有機能}
-
-Trans.\ SLDMも英文論文誌であるため，\|english| オプションの省略が可．
-
-論文種別は2種類あり，
-\begin{itemize}
-\item \makebox[4.9zw][l]{指定なし} Regular Paper (Default)
-\item \|Short    | Short Paper
-\end{itemize}
-となる．
-
-
-SLDMも担当編集委員が入るが挿入文章が論文によって自動挿入文章が異なる．
-
-通常は「Recommended by Associate Editor:」，\|invited|のオプションが入った場合のみ，
-「Invited by Editor-in-Chief:」となる．
-
-
-
-
 \begin{biography}
 \profile{m,E}{情報 太郎}{1970年生．1992年情報処理大学理学部情報科学科卒業．
 1994年同大学大学院修士課程修了．同年情報処理学会入社．オンライン出版の研究