帰納関数プログラミングシステム MagicHaskeller片山 晋が開発している，てけとープログラマおよび初心プログラマ向け自動HaskellプロクラミングシステムMagicHaskellerの日本語ページです． 小難しい話はトップページのPublicationsのところ参照．特に，TFP2005のやつとPRICAI2008のやつ． 英語ページの方が充実してますが，売国奴ではありません．日本語ページの方がよくまとまっていると考えていただければよろしいかと． (最近 MagicHaskeller Agent 使って「忖度できる汎用人工知能」ってのを作ってます. 「何じゃそりゃ」って方はこちら) Web版 関数fの仕様を述語(Trueとなるはずの式)の形で書くべし．その仕様を一般化した関数が得られるよ！ 例 注意事項： Bool値を返すHaskellの式を入力してください．(ただし、letとwhereは意図的に禁止しています。) Standard P
