Mercurial > hg > Papers > 2017 > atton-master

view paper/history.tex @ 90:f535393e4043

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add figure meta-hierarchy
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:30:02 +0900
parents 897fda8e39c5
children
line wrap: on
line source

\chapter*{発表履歴}
\begin{itemize}
\item 比嘉健太, 河野真治. Agda入門. オープンソースカンファレンス2014 Okinawa, May 2014.
\item 比嘉健太, 河野真治. 形式手法を学び始めて思うことと、形式手法を広めるには. 情報処理学会ソフトウェア工学研究会(IPSJ SIGSE) ウィンターワークショップ2015・イン・宜野湾(WWS2015), Jan 2015.
\item 比嘉健太, 河野真治.  Continuation based C を用いたプログラムの検証手法.  2016年並列／分散／協調処理に関する『松本』サマー・ワークショップ(SWoPP2016) 情報処理学会・プログラミング研究会 第110回プログラミング研究会(PRO-2016-2) Aug 2016.
\end{itemize}