>>12
それはきついと思うよ。小学生にとって身近な例って少ないと思うし。
あと^を2項演算子と考えた場合非可換でかつ結合的でもないのもネックになりそう。