Mercurial > hg > Papers > 2017 > atton-master

changeset 8:debfed0aa2e4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add history.tex
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Jan 2017 15:47:43 +0900
parents d96616ca051a
children f6931d3d59c0
files paper/atton-master.tex paper/history.tex
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/paper/atton-master.tex	Mon Jan 16 15:37:45 2017 +0900
+++ b/paper/atton-master.tex	Mon Jan 16 15:47:43 2017 +0900
@@ -109,7 +109,7 @@
 
 %発表履歴
 \addcontentsline{toc}{chapter}{発表履歴}
-% \input{history.tex}
+\input{history.tex}
 
 %付録
 \addcontentsline{toc}{chapter}{付録}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/history.tex	Mon Jan 16 15:47:43 2017 +0900
@@ -0,0 +1,5 @@
+\chapter*{発表履歴}
+\begin{itemize}
+\item 比嘉健太, 河野真治. 形式手法を学び始めて思うことと、形式手法を広めるには. 情報処理学会ソフトウェア工学研究会(IPSJ SIGSE) ウィンターワークショップ2015・イン・宜野湾(WWS2015), Jan 2015.
+\item 比嘉健太, 河野真治.  Continuation based C を用いたプログラムの検証手法.  2016年並列／分散／協調処理に関する『松本』サマー・ワークショップ(SWoPP2016) 情報処理学会・プログラミング研究会 第110回プログラミング研究会(PRO-2016-2) Aug 2016.
+\end{itemize}