プログラミングのお題スレ Part14

[99 デフォルトの名無しさん 2019/05/23(木) 21:02:26.03 ID:W0nkxFNY]

aを要素の型がIntである長さNの配列、k、cを型がIntである変数とする。
{P}a[a[k]]=c;{a[a[k]]!=c}
Hoare tripleが成立するためのなるべく弱いPを示せ