Mercurial > hg > Papers > 2020 > ryokka-master
view paper/tree.tex @ 5:196ba119ca89
fix, and add mindmap->pdf
author | ryokka |
---|---|
date | Mon, 03 Feb 2020 21:47:43 +0900 |
parents | 41a936510fd0 |
children |
line wrap: on
line source
\chapter{BinaryTree} \label{chapter:btree} CbC-Agda 上での Binary Tree \section{BinaryTree} BinaryTree 概要 \section{BinaryTree の実現} BinaryTree の記述等 \section{BinaryTree の検証時の問題点と改善} つまってたとこ(条件付きとかそのあたり) \section{BinaryTree 検証の HoareLogic を用いた解決} できたらいいなの話(1/2 時点)