Λ計算

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

λ計算について

…λ項fixを fix≡(λxy.(y(xxy)))(λxy.(y(xxy))) で定義したとき、任意のMについて、複数回(0回、1回も含む)のβ簡約を施すと 、 (fix M)はM(fix M)になるらしいんですが、どういう過程を経てこの結果が出...…

解決

wordで、前の単語とくっついて変換される

…説明しづらいので、具体例で説明いたします。 wordで「λの計算」と入力したいときを考えます。 1.まず「λの」と入力します。 2.次に「計算」と入力します。 3.すると、普通のエディタで...…

解決

ターボ符号:MAPアルゴリズム(最大事後確率)

…通信の分野で、ターボ符号について勉強しています。 そこで、ターボ符号におけるトレリス図の信頼度λを計算する際、MAPアルゴリズムが使われていました。 この信頼度λを導出する際、se...…

締切

振動数νの公式

…振動数νの公式 ν= 1/2L×√(F/ρ) 振動数ν=384Hz、L=30cm、F=19.6N、ρ=3.73×10^-2kg/cmと与えられています。 実験で得られたL=30cmでλを計算してみると、λ=60cm? しかし、理論値として上の式を用いると...…

解決

数学基礎論の研究について

…数学基礎論の研究について 数学基礎論に興味が有ります。 数学基礎論の分野では現在、どのような研究が行われているのでしょうか? 自分で調べたところ、この分野は研究室も少なく、不...…

解決

はじめまして!材料力学の基礎について教えてください

…皆様はじめまして! どうぞよろしくお願い致します! 本日、学校で材料力学の基礎の勉強をしました! フックの法則はかろうじて分かるのですが、ひずみと応力のところがまったく分かりま...…

締切

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

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

解決

個有ベクトル

…1 1 1 1 1 1 1 1 1 の個有ベクトルを書けという問題なのですが 計算しましたらλ(λ+1)(λ-2)=0となりましたがこの場合 λは約分せずにλ=0,2,-1となるのでしょうか? また、λ=0としましたら X+Y+Z=...…

解決

教えてください(行列)

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

解決

レーザー光のの実験についての質問です。

…レーザー光のの実験についての質問です。 レーザー発振器から出たレーザー光を 回折点感覚が0.5mm、1mmの金尺にあて 回折した光をスクリーン上に写し、各輝点と原点間の長さを求めてから...…

締切

ブルバキ 等号を持つ述語論理について

…ブルバキ数学原論 集合論1 をお持ちの方に質問です。 P55、演習§5、7)Tにおいてシェーマ(R⇔S) ⇒(τz(R)=τz(S))(R、Sは関係式、zは文字)が非明示的公理を与えていれば、x=yがTの定理となること...…

解決

F#って何??

…F#って何?? 最初はC言語から初めて,その次にC++を触りだして,GUIが必要になったのでC#で触り始めて 「.NetFrameworkってなんだか凄いんじゃね?」と思い始めたくらいの初心者プログラマからの質...…

解決

Lispについて

…最近プログラミングについて学ぼうと思っていろいろ調べてるのですが、その中でLispというものを見つけました。 関数型プログラミング言語であることや人工知能の開発に使われていると...…

解決

言語を自分で作りたい?!

…自分で言語を作成したいと思っています。 とても簡単なことではないと思います。 自分の出来るところからはじめたいと思っているのですが、どのようなステップが良いでしょうか? どう...…

締切

心の哲学:心の哲学的説明と科学的説明の違い

…心について科学哲学の立場で勉強していますが、壁にぶつかってしまいました。 それは、心について、哲学の立場で説明することと、科学の立場で説明することの違いが判らなくなってき...…

解決

GPSの仕組みに際して

…市販のUSB式GPSレシーバの精度を上げることを目的としています。 GPSから発せられるL1の1.57545GHz帯以下の電波を遮断する際に、金網(パンチ穴、□穴どちらでも良い)をGPSレシーバから少し離し...…

締切

この主値積分の解き方を教えて下さい

…(P)∫_[-∞,∞]{ (x sin(kx))/(x^2-a^2) }dx = πcos(ka) (ただし、k>0) 実は前回、 http://oshiete.goo.ne.jp/qa/6464545.html で似たような質問をして丁寧な回答をいただき、自分では完全に理解したと思ってい...…

解決

熱伝導係数について

…Q値(熱損失係数)の計算を試みています。 熱抵抗値を求めるにあたり、熱伝導係数を熱伝導率と材料の厚さから求めますが、 “熱伝導率を材料の厚さで割る"という意味がよく分からない...…

締切

電波、音波の計算問題

…文系から理系に進学します。 課題が解けないので、詳しい回答をお願いします。 問題1 100[MHz]のFM周波数の電波の波長は3[m]である。 電波の速度を求めよ。 問題2 y(x,t)=5sin2π(0.5x-50t) で与え...…

締切

固有値と、固有ベクトルについて

…0 1 2 -1 0 -3 -2 3 0 の行列の時の固有値と、固有ベクトルを求めたいのですが、 0-λ 1 2 -1 0-λ -3 -2 3 0-λ とし、計算したところ、 =-λ^3-14λ =-λ(λ^2+14) となりました。 この場合、固有値は、...…

締切

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

Q質問する(無料)

Q&A検索履歴