Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 11-Sep-2021 03:55:00 JST きゅーけー

   ツイッタで一般に再帰はループよりも難しいとしてる話があって、逆かと思ったんだけど逆じゃなかった。ACL2 を普及させたいなーと思ってたけど、多くのプログラマにとってそれ以前に巨大な壁が立ちはだかっていることに気付かされた。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 11-Sep-2021 03:57:22 JST きゅーけー

     in reply to

     私の場合は脳内メモリが貧弱なので再帰関数の方が簡単でいいんだけど、脳内メモリが潤沢にある一般的な人々には手続き型な方が扱いやすいみたいなことがあるのかもしれない。