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