斜視・弱視診療アトラス 丸尾敏夫; 久保田伸枝 解答には理解に必要十分な解説を付し、物理の計算過程については出来る限り途中式も記載しております。 Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) [ペーパーバック] Bertot,Yves; Cast?ran,Pierre