講演情報

[TPO-1-60]数学における予想の証明に関した類推を促進するシステムの開発

〇田代 勇人1、高橋 龍平1、西野 洋介1 (1. 東京都立多摩科学技術高等学校)

キーワード:

類推、抽象化、証明、予想、類似性

閲覧にはパスワードが必要です