English version is here: https://www.slideshare.net/shimizukawa/writing-a-book-using-sphinx-sphinxconjp-2012
私の過去2冊の翻訳・執筆した本の経験から、Sphinxを活用して執筆環境を自動化したときの手順とそのメリットなどを紹介します。
発表時の動画はこちら: http://www.youtube.com/watch?v=7VOJpFHnPWg
English version is here: https://www.slideshare.net/shimizukawa/writing-a-book-using-sphinx-sphinxconjp-2012
私の過去2冊の翻訳・執筆した本の経験から、Sphinxを活用して執筆環境を自動化したときの手順とそのメリットなどを紹介します。
発表時の動画はこちら: http://www.youtube.com/watch?v=7VOJpFHnPWg
This document contains definitions and proofs about natural numbers, functions, and theorems in Coq. It defines natural numbers as inductive types, defines addition as a recursive function, and proves theorems like 1+1=2. It also contains definitions for monads and proofs about monad bind being associative in Coq.
2. Introduction
Hello everyone. My name is Yusuke
Matsushita. I am a 5th grader of Nada High
School. My handle as a programmer is
Kinokkory. Follow me on twitter @shiatsumat.
I am interested in category theory and fond
of Wikipedia. I belong to so many clubs I am
busy. I have learned many programming
languages and believe that C# is the best
choice. I hope that you will like this language
after this presentation.