Cake Recipe

ケーキのレシピを書いてみようとしているが、難しい。

目的はこう。

1. 料理のレシピ自体は手順ぽく書いてはあるが、細かい順序は作業をしていく上で決まるはずなので、並列性は残すように書きたい。
2. 本当の順番は証明によって決まると考える。
3. 漠然としたことがいろいろ書いてあり、それを具体的にしようとすると、どう書けばよいのかわからなくなる。
4. レシピの各ステップで、前提と終了状態をきちんと書けば、証明で手順が明らかになるはず。だと思うがなかなか。 　　複数の証明ができるならば、証明それぞれに対応する手順でケーキが作れるはず。

これも、論理表現から手続きを作る話になっている。

手続きが関係しない問題というものはないのか??