ハミング距離

書いてみる

関連タグ

#ICLR2024 (2)
#Lean4 (2)
#カテゴリー理論 (1)
#モデル (14,053)
#形式化 (10)
#自動形式化 (1)

第20回　誤り訂正符号の基礎

デジタルコミュニケーションさん
3年前

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
4か月前

ハミング距離（Hamming distance）

株式会社United Code
6か月前