⑯【小川猛志先生】ビットコインの計算量・脆弱性を解決_202302