Mercurial > hg > Papers > 2020 > ryokka-master

view paper/tree.tex @ 2:c7acb9211784

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add code, figure. and paper fix content
author ryokka
date Mon, 27 Jan 2020 20:41:36 +0900
parents 41a936510fd0
children 196ba119ca89
line wrap: on
line source

\chapter{BinaryTree}
CbC-Agda 上での Binary Tree

\section{BinaryTree}
BinaryTree 概要

\section{BinaryTree の実現}
BinaryTree の記述等

\section{BinaryTree の検証時の問題点と改善}
つまってたとこ(条件付きとかそのあたり)

\section{BinaryTree 検証の HoareLogic を用いた解決}
できたらいいなの話(1/2 時点)