Mercurial > hg > Papers > 2018 > nozomi-master

annotate paper/history.tex @ 78:897fda8e39c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reconstruct paper
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Wed, 08 Feb 2017 14:49:51 +0900
parents debfed0aa2e4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \chapter*{発表履歴}
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \begin{itemize}
78
897fda8e39c5 Reconstruct paper
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 8
diff changeset
3 \item 比嘉健太, 河野真治. Agda入門. オープンソースカンファレンス2014 Okinawa, May 2014.
8
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 \item 比嘉健太, 河野真治. 形式手法を学び始めて思うことと、形式手法を広めるには. 情報処理学会ソフトウェア工学研究会(IPSJ SIGSE) ウィンターワークショップ2015・イン・宜野湾(WWS2015), Jan 2015.
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 \item 比嘉健太, 河野真治. Continuation based C を用いたプログラムの検証手法. 2016年並列／分散／協調処理に関する『松本』サマー・ワークショップ(SWoPP2016) 情報処理学会・プログラミング研究会 第110回プログラミング研究会(PRO-2016-2) Aug 2016.
debfed0aa2e4 Add history.tex
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 \end{itemize}