Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 26-Mar-2022 02:21:01 JST きゅーけー

   ACL2 の鳩の巣の原理の記事完成したー！これは ACL2 で実際の使い方がなんとなく分かる良い感じの例題になってると思う。ACL2、ちょっと興味あるけど実際どんな感じなのかよく分からんって人に見て欲しい感じの記事。

   ACL2 で鳩の巣の原理を使ってみたhttps://www.tojo.tokyo/acl2-pigeonhole.html

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 02:23:49 JST きゅーけー

     in reply to

     この記事、 map-list-count 関数の説明が何故か無だったので明日追記しよ。

     関数の中身みれば何をやりたいのかまあ分かるし文脈でどんな役割の関数なのかは分かるだろうけど結構重要なのに説明がないのはおかしい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 19:53:26 JST きゅーけー

     in reply to

     さっき map-list-count の説明追記した。たぶん、あの記事のなかで最重要関数なのになんで説明するの忘れちゃったんだろう。