研究シーズ集

研究の目的、概要、期待される効果

　次世代の高機能・高信頼プログラミング環境の実現を目指して、プログラミング言語SML#の研究開発を推進しています。
　SML#は、関数型言語Standard MLをベースに、最新の基礎研究で得られた実用上重要な成果を取り入れて設計されている、新しい関数型言語です。SML#の最大の特徴は、従来の関数型言語では難しかった、C言語、関係データベース、外部データなど、関数型言語の外にある資源との高度な連携を実現していることです。SML#を用いることで、高水準で宣言的な記述や型理論に裏打ちされた信頼性など、従来からの関数型言語の特長はそのままに、オペレーティングシステムやデータベース、マルチコアCPUなどを活用したプログラムを書くことができます。
　ML系関数型言語は、その優れた性質から、計算機科学分野の研究者によって、定理自動証明システムなどに使用されてきました。SML#は、ML系関数型言語の適用範囲を、エンジニアによる一般のシステム開発にも広げます。それによって、ソフトウェア産業における実用システム開発の生産性・信頼性の向上に貢献すると期待されます。