岩間 詞也, 高橋 正<Z14-B99>数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation27(1):2021.1p.22-24
国立国会図書館全国の図書館
岩間 詞也, 高橋 正<Z72-M101>甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students / 甲南大学教育学習支援センター 編(5):2020.3p.1-16
国立国会図書館全国の図書館
- 要約等... とIsabelle を用いてユークリッド原論の定理証明を行った。この活動に......Isabelle を用いて同じユークリッド原論の定理証明を行い, それぞれの特徴と差異を調べた。
- 件名Coq Isabelle/HOL ユークリッド原論 定理証明
ユークリッド [著], [I.L.Heiberg] [編], 中村幸四郎, 寺阪英孝, 伊東俊太郎, 池田美恵 訳・解説共立出版2011.5<MA91-J38>
国立国会図書館全国の図書館
アップ研伸館 編集, 吉田信夫 著技術評論社2014.7<MA91-L13>
国立国会図書館全国の図書館
北 秀和<Z22-284>大阪工業大学紀要. 人文社会篇 = Memoirs of Osaka Institute of Technology. Series B, Liberal arts and social sciences / 大阪工業大学紀要委員会 編57(2):2012p.73-85
インターネットで読める国立国会図書館全国の図書館
- 件名ユークリッド原論 乱比例 等順位による比 比の合成(積) 可換性 Eucli...
北秀和大阪工業大学2012大阪工業大学紀要 : 人文社会篇57(2)
インターネットで読める国立国会図書館
「科学」編集部 編岩波書店2011.9<US61-J136>
国立国会図書館全国の図書館
- 目次・記事...念』竹田青嗣/ユークリッド著『ユークリッド原論』砂田利一
R.ハーツホーン 著, 難波誠 訳シュプリンガー・ジャパン2008.2<MA91-J5>
国立国会図書館全国の図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 196) 2008.1-3p.36～46
国立国会図書館全国の図書館
横地清 著東海大学出版会2008.10<KC172-J17>
国立国会図書館全国の図書館
- 要約等ユークリッド原論なしに遠近法に挑んだ絵師
- 内容細目内容紹介：キリスト教の弾圧によってユークリッド原論の導入の機会を逸した近世の日本。本書では、「日本の絵画史の負...
楠葉 隆徳<Z22-283>大阪経大論集 = Journal of Osaka University of Economics / 大阪経大学会 編62(3) (通号 324) 2011.9p.117～127
国立国会図書館全国の図書館
R.ハーツホーン 著, 難波誠 訳シュプリンガー・ジャパン2007.10<MA91-H42>
国立国会図書館全国の図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 193) 2007.4-6p.16～28
国立国会図書館全国の図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 195) 2007.10-12p.21～23
国立国会図書館全国の図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 191) 2006.10-12p.16～40
国立国会図書館全国の図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 194) 2007.7-9p.14～24
国立国会図書館全国の図書館
岩間, 詞也, 高橋, 正, Fumiya, IWAMA, Tadashi, TAKAHASHI甲南大学教育教職センター2020-03-23甲南大学教育学習支援センター紀要 = Memoirs of Learning Utility Center for Konan University Students5p.1-16
全国の図書館
- 件名Coq Isabelle/HOL ユークリッド原論 定理証明
- 一般注記... とIsabelle を用いてユークリッド原論の定理証明を行った。この活動に......Isabelle を用いて同じユークリッド原論の定理証明を行い, それぞれの特徴と差異を調べた。
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 183) 2004.10-12p.26～47
国立国会図書館全国の図書館
菅野幸子 [著][菅野幸子][2006]<UT51-2007-A330>
国立国会図書館
大野 栄一<Z15-28>数学史研究 : journal of the Japanese Society for the History of Mathematics / 日本数学史学会 編(通号 182) 2004.7-9p.40～57
国立国会図書館全国の図書館
