Mercurial > hg > Papers > 2020 > ryokka-master
view paper/history.tex @ 0:41a936510fd0
Initialize
author | ryokka |
---|---|
date | Thu, 02 Jan 2020 21:25:52 +0900 |
parents | |
children | b5fffa8ae875 |
line wrap: on
line source
\newpage \vspace*{\stretch{1}} {\Huge \textbf{研究関連業績}}% \\ \\ \begin{enumerate} \item 外間政尊, 河野真治. GearsOSのAgdaによる記述と検証. 研究報告システムソフトウェアとオペレーティング・システム(OS), May, 2018 \item 外間政尊, 河野真治. GearsOSのHoare Logicをベースにした検証手法. 電子情報通信学会 ソフトウェアサイエンス研究会 (SIGSS) 1月, Jan, 2019 %% \item 宮城光希, 河野真治. Code Gear と Data Gear を持つ Gears OS の設計. 第59回プログラミング・シンポジウム, Jan, 2018 \end{enumerate} \vspace*{\stretch{2}}