タグ付けされた質問 「function」

すべての関数が標準的な形式を持つ（関数型の）プログラミング言語はありますか？つまり、すべての入力セットに対して同じ値を返す2つの関数はすべて同じ方法で表されます。たとえば、f（x）がx + 1を返し、g（x）がx + 2を返した場合、f（f（x ））およびg（x）は、プログラムのコンパイル時に区別できない実行可能ファイルを生成します。 おそらくもっと重要なのは、プログラムの正規表現に関する詳細情報をどこで/どのように見つけることができるかということです（グーグルの「正規表現プログラム」は実りが少ないです）質問するのは自然な質問のように思えますが、探しているものの適切な用語がわからないのではないかと心配しています。そのような言語をチューリング完全にすることが可能かどうか、そうでなければ、そのような特性を保持しながらプログラミング言語をどれだけ表現できるかについて興味があります。 私の背景はかなり限られているため、前提条件の少ないソースを好むでしょうが、より高度なソースへの参照もクールかもしれません。

29 computability  pl.programming-languages  functional-programming  function 

普遍近似定理により、単一の隠れ層と任意の活性化関数を持つニューラルネットワークでも、任意の連続関数を近似できることが知られています。 ユニバーサル関数近似器でもある他のモデルは何ですか

15 machine-learning  function  approximation 

知る限りでは、高次関数を使用した最初の証拠は、シェーンフィンケルの1924年の論文「数学論理の構築ブロックについて」にまでさかのぼります。 おもしろそうです。しかし、私が彼の仕事について読んでいたすべてのもの（およびカレーの拡張）は、何らかの形で何かを暗示しているようです：[高階関数] ...これはバインドされた変数の必要性を排除します... 私が頭を包み込むことができなかったのは-大したことは何ですか？なぜ当時の論理学者や数学者はこれを気にかけていましたか？そして、理論家として、私たちは今日これを気にしますか？バインドされた変数を取り除くことがなぜ「画期的」であり、私たちが知っているように（理論的に）コンピューティングにどのような影響を与えましたか（またはしますか）？ PS：彼の仕事がどのように -calculusの道を開いたか、そして「it」がコンピューティングと関数型プログラミング全般に与える影響を知っています。私の質問は、主にλ -calculus の作成の「前」とシェーンフィンケルの論文の「後」に向けられています。カリーが独立してそのラインの仕事を選んだという事実は、後に「組み合わせ論理」として知られ、シェーンフィンケルの仕事の重要性を暗示しています。λλ\lambdaλλ\lambda

15 lo.logic  soft-question  ho.history-overview  intuition  function