RAISE: Software for Making: Programmable Geometry for Mathematics Education, Classical Stringed Instrument Design, and its Material Culture
RAISE: Software for Making: Programmable Geometry for Mathematics Education, Classical Stringed Instrument Design, and its Material Culture
批准号:
1836965
负责人:
Harry Mairson
金额:
$42.08万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
未结题
起止时间:
2018-10-01 至 2025-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This Research Advanced by Interdisciplinary Science and Engineering (RAISE) project is supported by the Division of Research on Learning in the Education and Human Resources Directorate and by the Division of Computing and Communication Foundations in the Computer and Information Science and Engineering Directorate. This interdisciplinary project integrates historical insights from geometric design principles used to craft classical stringed instruments during the Renaissance era with modern insights drawn from computer science principles. The project applies abstract mathematical concepts toward the making and designing of furniture, buildings, paintings, and instruments through a specific example: the making and designing of classical stringed instruments. The research can help instrument makers employ customized software to facilitate a comparison of historical designs that draws on both geometrical proofs and evidence from art history. The project's impacts include the potential to shift in fundamental ways not only how makers think about design and the process of making but also how computer scientists use foundational concepts from programming languages to inform the representation of physical objects. Furthermore, this project develops an alternate teaching method to help students understand mathematics in creative ways and offers specific guidance to current luthiers in areas such as designing the physical structure of a stringed instrument to improve acoustical effect.The project develops a domain-specific functional programming language based on straight-edge and compass constructions and applies it in three complementary directions. The first direction develops software tools (compilers) to inform the construction of classical stringed instruments based on geometric design principles applied during the Renaissance era. The second direction develops an analytical and computational understanding of the art history of these instruments and explores extensions to other maker domains. The third direction uses this domain-specific language to design an educational software tool. The tool uses a calculative and constructive method to teach Euclidean geometry at the pre-college level and complements the traditional algebraic, proof-based teaching method. The representation of instrument forms by high-level programming abstractions also facilitates their manufacture, with particular focus on the arching of the front and back carved plates --- of considerable acoustic significance --- through the use of computer numerically controlled (CNC) methods. The project's novelties include the domain-specific language itself, which is a programmable form of synthetic geometry, largely without numbers; its application within the contemporary process of violin making and in other maker domains; its use as a foundation for a computational art history, providing analytical insights into the evolution of classical stringed instrument design and its related material culture; and as a constructional, computational approach to teaching geometry.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF:small:Functional geometry and the Traite de Lutherie: Domain-specific languages for computational thinking about the science of art
-
批准号:1422029
-
项目类别:Standard Grant
-
资助金额:$19.98万
-
财政年份:2014
-
负责人:Harry Mairson
-
依托单位:
New Foundations for Control Flow Analysis
-
批准号:0811297
-
项目类别:Standard Grant
-
资助金额:$23.0万
-
财政年份:2008
-
负责人:Harry Mairson
-
依托单位:
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
-
批准号:0098228
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Harry Mairson
-
依托单位:
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
-
批准号:0228901
-
项目类别:Standard Grant
-
资助金额:$9.07万
-
财政年份:2001
-
负责人:Harry Mairson
-
依托单位:
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
-
批准号:0228951
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2001
-
负责人:Harry Mairson
-
依托单位:
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
-
批准号:9988312
-
项目类别:Standard Grant
-
资助金额:$11.19万
-
财政年份:2000
-
负责人:Harry Mairson
-
依托单位:
Experimental Software Systems: Linear Naming: Experimental Software for Optimizing Communication Protocols
-
批准号:9806718
-
项目类别:Continuing Grant
-
资助金额:$90.97万
-
财政年份:1998
-
负责人:Harry Mairson
-
依托单位:
CISE-PostDoc: Design and Analysis of Symmetric, Hybrid Procedure-calling Protocols
-
批准号:9804662
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1998
-
负责人:Harry Mairson
-
依托单位:
Programming Language Foundations of Computation Theory
-
批准号:9619638
-
项目类别:Standard Grant
-
资助金额:$21.02万
-
财政年份:1997
-
负责人:Harry Mairson
-
依托单位:
CISE Postdoctoral Program: Computational Efficiency of Optimal Reduction in Lambda Calculus
-
批准号:9504288
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1995
-
负责人:Harry Mairson
-
依托单位:
Logic, Complexity, and Programming Languages
-
批准号:9216185
-
项目类别:Standard Grant
-
资助金额:$14.21万
-
财政年份:1993
-
负责人:Harry Mairson
-
依托单位:
Logic and Complexity of Type Inference in Programming Languages
-
批准号:9017125
-
项目类别:Standard Grant
-
资助金额:$9.36万
-
财政年份:1991
-
负责人:Harry Mairson
-
依托单位:
海外基金