A Practice of Open Lecture for Elementary and Junior High School Students to Introduce Mathematical Reasoning.

被引：0

作者：

Ohnishi T. ^{[1
]}

Yamamoto R. ^{[1
]}

Nakamura Y. ^{[1
]}

机构：

[1] National Institutes of Technology, Tomakomai College

来源：

Computer Software | 2023年 / 40卷 / 01期

关键词：

Formal methods;

D O I：

10.11309/jssst.40.1_3

中图分类号：

学科分类号：

摘要：

This paper presents our practice of an open lecture for introducing mathematical reasoning, for from 5th to 8th-grade students, with an educational goal of giving opportunities to find the implicit truths hidden within documents. For making a lecture suitable for students mentioned above, we have arranged from our experience about formal method, B-Method, that experience is an original of our college. As the result, we got certain evaluations from the students. Therefore, we have achieved our educational goal mentioned above. © 2023 Japan Society for Software Science and Technology. All rights reserved.

引用

页码：3 / 10

页数：7

共 9 条

[1]

荒木啓二郎: ソフトウェア開発現場への形式手法導入, SEC Journal, 6, 2, pp. 104-107, (2010)

[2]

Baldwin D., Henderson P. B., Epp S., Barker W., Marion W. A., Dasigi V., Fritz J., Ginat D., Goelman D., Hamer J., Lloyd W., Math in CS Education

[3]

Barland I., Felleisen M., Fisler K., Kolaitis P., Vardi M. Y., Integrating Logic into the Computer Science Curriculum, Innovation and Technology in Computer Science Education, (2020)

[4]

Bell T., Witten I.H., Fellows M., コンピュータを使わない情報教育アンプラグドコンピュータサイエンス, (2007)

[5]

來間啓伸石川冬樹, メソッドを中心に B, コンピュータソフトウェア, 29, 4, pp. 50-58, (2012)

[6]

Leuschel M., Butler M.J., ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, 10, 2, pp. 185-203, (2008)

[7]

文部科学省中央教育審議会: 小学校段階におけるプログラミング教育の在り方について (議論の取りまとめ)

[8]

情報処理学会論文誌, 61, 4, pp. 863-883, (2020)

[9]

(2015)

← 1 →