Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 21-Apr-2022 11:06:40 JST きゅーけー

   私の書いていた ACL2 の記事、客観的な意見を聞いたところやっぱり意味不明らしいので悩んでる。

   ACL2 のプログラムを意味分かるように説明する方法が思いつかない。ACL2 を使い始めるのに 10 ~ 40 時間かかるチュートリアルが必須な時点で意味分かるように説明するのは無理で仕方がない感が強い。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 21-Apr-2022 11:08:25 JST きゅーけー

     in reply to

     まあ、それでも二分探索木の記事は書くぞ。やっぱ誰かやってる人いないと誰も学ぶ気にならないでしょ。