ラムダ計算

の検索結果 (53件 1〜 20 件を表示)

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

…林晋『ゲーデルの謎を解く』(岩波書店、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の下...…

解決

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

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

解決

教えてください(行列)

…「行列Aは対称行列であって A=「2 2 5 2 2 1 5 1 1」 で与えられる。 このときf(λ)=det[A-λI]を計算してλ(ラムダ)の3次式f(λ)を導きなさい」 この問題を教えてください。 お願いいたします。…

解決

scheme でのスコープについて

…次のようなcar,consの定義をします. ;;consの定義 (define (cons x y) (define (dispatch m) (cond ((= m 0) x) ((= m 1) y) (else (error "Argument not 0 or 1 -- CONS" m)))) ;;carの定義 (define (car z) (z 0)) ここで...…

解決

放射能量

…99mTc1gの放射能量(Bq)(*半減期は6時間、原子番号は43)を求めるにはどうしたらいいのか分からないのでどなたか教えて下さい。 Bqは1秒間に原子核が1個が崩壊する量なので何かを6で割ればいい...…

解決

流体力学のコールブルックの式について

…流体力学のコールブルックの式ですが、この計算の算出方法を教えて下さい。 一番知りたいのがルートの中のλ(ラムダ)を求めたいのですが、この計算はどうやったら良いでしょうか? 数値...…

締切

指数分布の関数

…指数分布のエクセルの関数でEXPONDISTでそれぞれ入れる値は何なのか教えてください。 X,?(難しい記号で読み方わかりません)、関数形式の3つです。 Xは平均値かな? ちがうかな...とにかく分か...…

解決

関数電卓で16進数を得意としているもの

…文系なのに、ネットワーク屋をやっています。 概念はわかるものの、数学力がそれに追いつけないタイプです。 この前、2進数で、大変な苦労をしました。 つきましては、以下の条件に最...…

解決

二項分布とポアソン分布、それぞれで求まる確率が2倍も異なるのですが

…こちらに計算ミスがあれば、誠に申し訳ありません。 二項分布とポアソン分布、それぞれで求まる確率が2倍も異なるので、困っています。 次のような問いがあるのです。 「くじが当たる...…

解決

防災無線受信機の感度を上げるアンテナについて

…消防団員です。 役所の防災課が放送する防災無線の受信機が団員に配布されているのですが、引越し(同一市内) 後に受信できなくなりました。 夜間の火災などでも、気づかず寝てしまい困...…

解決

消防無線無線傍受アンテナの自作

…消防無線無線傍受アンテナの自作 消防団員に貸与されている受令機(市販のマルチバンドレシーバー:スタンダードVR-150)の受信が標準アンテナでは安定しないので、http://oshiete.goo.ne.jp/qa/4120514....…

解決

螺旋の線の作図について

…つるまきばね((円筒に紐を巻きつけたような形状で、Z方向から見た形状は真円(XY平面に投影すると真円になる)、側面から見ると三次元曲線))のような螺旋の線を3次元CADで0から作図する場合...…

解決

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

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴