きゅーけー
Follow

ACL2 でハフマン符号を扱う記事を投稿した。

ハフマン符号化して復号すると元に戻ることをACL2で証明した
tojo.tokyo/acl2-huffman-encodi

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!

Resources

Developers

What is Mastodon?

mastodon.tojo.tokyo

More…

v3.5.3 · Privacy policy