Mercurial > hg > Papers > 2018 > nozomi-master
view paper/history.tex @ 78:897fda8e39c5
Reconstruct paper
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 08 Feb 2017 14:49:51 +0900 (2017-02-08) |
parents | debfed0aa2e4 |
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}