Mio: デザインレシピに基づいたプログラミング環境

デザインレシピとは、プログラミングによる問題解決の際に行うべき一連の手順です。これは、白紙症候群（初心者が与えられた問題にどうアプローチしたら良いか分からず、手が止まってしまう現象）の解決策として、Felleisenらによって提唱されたもので、実際にコードを書く前に入出力の分析や計算構造の下書きを行うことが特徴です。デザインレシピを授業で採用している大学は数多く存在しますが、コーディング前に行う作業を学習者が独力で行うことは容易でありません。

本プロジェクトでは、デザインレシピのコーディングより前の段階を行うためのプログラミング環境を作成しています。これまでに、構造的帰納法に基づいた関数を定義するための環境を実装しています。今後は、より複雑な関数定義（ネストしたデータ構造や一般的な再帰、アキュムレータを使用したもの）にも対応できるよう、拡張していく予定です。