ラムダ計算 の検索結果 (53件 1〜 10 件を表示)

対角線論法はラムダ計算系の成り立つ為の必要条件?

…林晋『ゲーデルの謎を解く』(岩波書店、1,999年)110ページに、「ラムダ計算系は、[・・ ・]カリーという人が、これも対角線上の悪魔[対角線論法によって呼び出される悪魔、とされています...…

解決

λとGenの見かた

…論理式の読み方で質問があります。 英語学の文献で次のような二つの式を見かけたのですが、どのように読んだら(訳したら?解釈したら?)いいのでしょうか。 ?「イヌ」⇒ λx[Dog(x)] (犬の集...…

解決

自然数を実在でなく関係だと見る観点はない?

…http://russell.cool.ne.jp/YOSIDA4.HTMでは、自然数が実在だと されていますが、これは日本の数学の常識なのでしょうか?…

締切

手続き型と関数型について。

…手続き型言語の定義は、「記述された命令を逐次的に実行し、処理の結果に応じて変数の内容を変化させていくプログラミング言語」となっていて、関数型言語の定義は、「数学的な言語仕...…

解決

チューリングマシンの限界について

…第2次世界大戦前、チューリングのアイデアによって数学上の さまざまな問題を解くチューリングマシンが考え出され、 同時にチューリングマシンの限界も提示されました。 それは、数学...…

解決

万能な記述形態って何種類あるのでしょうか?

…プログラマをやっています プログラミング言語を見ていくと ・アセンブラ→C言語→Javaの流れ チューリングマシンから、よく使うものを文法として括り出してきた ・Lisp ラムダ算法をプ...…

解決

「無限」について教えてください。お願いします。

…「無限」とは、その名の通り「限りの無い」事を言うのですよね? なら、こういう場合は「無限」なのでしょうか? 例えば、「思想」 「思想」 自体は無限だと重いますが、人や概念の存在...…

締切

プログラミング言語の住み分けについて

…はじめまして。 ほぼ初心者です。 某書籍の一文なのですが、 A君「博士!CGIはPerlでつくるものなのですか?」 博士「いや、別にCでもC++でもなんでもいいんだよ」 私{・・・ (メダパニ&コ...…

解決

xyzzyの実用サンプル

…LISPを覚えるために、xyzzyを使うことに決めました。 手始めに便利な機能が設定できれば励みになるかと思い、いきなり敷居が高いですが、次の内容がしたいのです。 F1を押すと、xyzzyの下...…

解決

ラグランジュの未定乗数法

…参考書を読んでいると、よくラグランジュの未定乗数法が出てきますが その未定乗数法で、適当な定数としてλ(ラムダ)をかけて計算していますが このλの意味は何でしょうか これを説明...…

解決

ラムダ計算に関連する検索キーワード

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ