ほー…このやり方back&forthなんてお洒落な名前ついてたのか、知らなかった

イメージ的には、各ステップで集合A×Bの対応づけられたペアの有限集合だけじゃなくて、
その有限集合に合致する"関数fの暫定的な姿"も一緒に更新しながら
構成していくのがいいかも（というかそれが想定解の方法）

勿論、AとBの対応づけが全て終わった時に関数fも
ちゃんとC^∞級のある関数に収束してる必要があるけどね