詳細情報
書誌
数学教育 2000年6月号
著者
礒田　正美
ジャンル
算数・数学
本文抜粋
今回は，数学におけるテクノロジ利用の国際会議ATCM９９（於中国・広州市１９９９年１２月）で得た情報を基に，コンピュータによる自動証明技術が数学教育に及ぼす波紋を検討しよう…
対象
中学校
種別
連載・常設
仕様
全4ページ (40ポイント)
この記事を購入する掲載号のもくじを見る
ページトップへ