説明可能と証明の間はだいぶ遠い