Towards Type System by Computer Algebra Systems in Programming Language : Extended Abstract (Developments in Computer Algebra Research)
尚 宮下, 哲 山口, 崇 岩ヶ谷 · Kyoto University Research Information Repository (Kyoto University) · 2014
EKI Cybernet Systems\SComputer Algebra Systems (CAS) have been expanding the application area from fundamental science such as mathematics and physics to applied technologies such as mechanics, electronics, and nancial engineering.However, it is still under way to integrate CAS features with Programming Language (PL) features, and we presume it is because the differences between these two computation models are so large that we have not justi ed good motivations to bridge the gap.We propose Hybrid System would be a common important challenge that the integration of CAS and PL requires since it typically requires CAS to describe continuous systems and PL to describe discrete systems.We are now trying to verify controller software with plant models in CAS by using our MapleSim modeling environment.