1.

図書
図書
1. 0と1の話 : ブール代数とシャノン理論
ポール・J・ナーイン著 ; 松浦俊輔訳
出版情報: 東京 : 青土社, 2013.10
2.

図書
図書
2. 計算数学
和田秀男著
出版情報: 東京 : 朝倉書店, 2000.10
シリーズ名: 新数学講座 / 田村一郎, 木村俊房編 ; 12
3.

図書
図書
3. Scientific computing with automatic result verification
edited by E. Adams, U. Kulisch
出版情報: Boston ; Tokyo : Academic Press, c1993
シリーズ名: Mathematics in science and engineering : a series of monographs and textbooks ; v. 189