Hatena Blog Tags
はてなブログ トップ
アッカーマン関数
このタグでブログを書く

アッカーマン関数

(サイエンス)
【あっかーまんかんすう】

原始帰納的でない全域帰納的関数の１つ。

非負整数mとnにたいして

Ack(m,n)
　＝n+1　（m=0のとき）　
　＝Ack(m-1,1)　（n=0のとき）　
　＝Ack(m-1,Ack(m,n-1))　

によって定義される。


*リスト：リスト::数学関連

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
コラッツ予想がとけたらいいな2•3年前

Paraphrase をやってみた　その3（アッカーマン関数）

竹内関数（tarai）でやってたけど、速すぎてあれだったので、 アッカーマン関数にした。 "ack" : // ( m n -- result ) ( m n ) local-with `m , 0? if `n , 1 + else `n , 0? if `m , 1 - 1 ack else `m , 1 - `m , `n , 1 - ack ack then then ; "par" : [[ 3 4 ack >pipe ]] while-pipe . repeat ; > "ackermann.pp" load ok. > par 125 125 125 125 125 125 12…

#Paraphrase#アッカーマン関数

関連ブログ

エレファント・ビジュアライザー調査記録•17日前

人工知能的代数学(1)

目標 ここでは「群論の計算」などで扱っている問題をChatGPTを使って書いていきます。まず、これは何のためにやっているのかを書きます。これはChatGPTではなかなかちゃんとした答えが返ってくるように書くのは難しいようなので、大まかなことは自分で書きます。以下のようなことをやろうとしています。 数学の問題を表す適切な用語がないものについて考える 帰納法を数式の変形またはビジュアルプログラミングで表す 多項式の計算でできることを考える プログラムの代数的構造を考える 細かい個別のテーマを書いておきます。これらについては何か答えが得られるかもしれません。 写像と同値関係の間の関係 単一化による帰…

for Startups Tech blog•9ヶ月前

Mojoってみた

初めまして、2023年2月にフォースタートアップス株式会社に入社したモジョモジョドレミことモジョリアンの江種(@hairinhi)と申します。現在、主にRuby on Railsで作られている社内向けプロダクト「タレントエージェンシー支援システム（SFA/CRM）」の開発、運用を担当しております。 はじめに Mojoとは、Python構文の長所とシステムプログラミングおよびメタプログラミングを組み合わせることによって生み出された、研究と運用の間のギャップを埋める新しいプログラミング言語です。公式ドキュメントには、Mojoを使用すると、C言語よりも高速でPythonのエコシステムとシームレスに相…