Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 25-Jul-2021 11:38:32 JST きゅーけー

L-99 (Ninety-Nine Lisp Problems) の P12 の RLE のデコードをする問題で、エンコードしたのをデコードしたときに元に戻るのを ACL2 で証明できた!https://git.tojo.tokyo/acl2-theorems.git/tree/L-99.lisp?id=af0b9d96812a399bd7e3d20a1157b361ec227ae4#n341
あと、P11 の encode-modified とP13 の encode-direct が同じように振る舞うことも示せた。https://git.tojo.tokyo/acl2-theorems.git/tree/L-99.lisp?id=af0b9d96812a399bd7e3d20a1157b361ec227ae4#n399

In conversation Sunday, 25-Jul-2021 11:38:32 JST from mastodon.tojo.tokyo permalink

Feeds