推論と結果のすり合わせみたいな話こそスパコンの出番かと思ったが
まだまだなんだなあ