2016-06-20 わからんところ Isabelle 課題 場合分けによる関数定義はどうするのか? funとかの高級な方法使わないで。 項の計算(単純化)はどうするのか? これもvalueとか使わずPureのレベルで。 定義(宣言)した型に対するユーザー定義の等号はどうやって定義するのか?