コラッツ予想がとけた ..
329:righ1113
18/06/29 01:15:11.78 iQFgCDGa.net
おーお久しぶりです。
Coqというプログラミング言語(定理証明支援系)では、再帰関数を作る際に、停止性をチェックされて、それをパスした関数だけが定義されます。
手伝って欲しいことは後々出てくると思うので、よろしくお願いします。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1836日前に更新/342 KB
担当:undef