検索結果
このウィキでページ「F@ST」を新規作成しましょう。検索で見つかった他のページも参照してください。
- (1r)かつ任意のzにおいてz∈Nはf/.z-f/.z0 = L/.(z-z0)+R/.(z-z0)をもつ。 definition let f; attr f is differentiable means:: def 8 for x st x in dom f holds f is_differentiable_in…30キロバイト (5,416 語) - 2015年8月8日 (土) 11:34
- d t {\displaystyle {\mathcal {L}}[f*g]=\int _{0}^{\infty }\left\{\int _{0}^{t}f(t-\tau )g(\tau )d\tau \right\}e^{-st}dt} 右辺の積分の範囲は 0 < τ < t < ∞ {\displaystyle…8キロバイト (2,093 語) - 2022年11月23日 (水) 14:24
- f ( t ) {\displaystyle f(t)} の不定積分は,次のように合成積 ∫ 0 t f ( τ ) d τ = 1 ∗ f ( t ) {\displaystyle \int _{0}^{t}f(\tau )d\tau =1*f(t)} と書けることに注意しよう.すなわち,積分するということは,合成積の意味で…12キロバイト (2,575 語) - 2022年11月23日 (水) 14:24
- st}=\int f_{1}e^{-st}dt\int g_{1}e^{-st}dt-\int f_{2}e^{-st}dt\int g_{2}e^{-st}dt+i\left\{\int f_{1}e^{-st}dt\int g_{2}e^{-st}dt+\int f_{2}e^{-st}dt\int…5キロバイト (1,098 語) - 2022年11月23日 (水) 14:31
- t d t = a ∫ 0 ∞ f ( t ) e − s t d t {\displaystyle \int _{0}^{\infty }af(t)e^{-st}dt=a\int _{0}^{\infty }f(t)e^{-st}dt} および ∫ 0 ∞ { f ( t ) + g ( t )…1キロバイト (221 語) - 2022年11月23日 (水) 14:23
- goal = short, enables reader to read code (ParseP) with ∀ and use libraries (ST) without horror. Question Talk:Haskell/The_Curry-Howard_isomorphism#Polymorphic…15キロバイト (2,229 語) - 2023年3月14日 (火) 18:54
- ∀x F(x) は For all x such that F(x) holds.「任意のxについて、F(x)が成り立つ」 for x st F.x holds ∃x F(x) は There exists x such that F(x) holds.「あるxが存在して、F(x)が成り立つ」 ex…916バイト (148 語) - 2009年7月1日 (水) 00:39
- _{0}^{\infty }f(t)e^{-st}dt} で定義される s {\displaystyle s} の関数 F ( s ) {\displaystyle F(s)} を f ( t ) {\displaystyle f(t)} の Laplace 変換といい, F ( s ) = L [ f ( t )…4キロバイト (756 語) - 2022年11月23日 (水) 14:24
- 関係式をより分かりやすくする ((∀x)(∃y))∋(f(x)=a → g(x)=h(y)) ----------------------------------------------------------------- Mizarの述語論理記法 for x ex y st f[x]=a holds g[x]=h[x];…3キロバイト (109 語) - 2009年7月23日 (木) 01:43
- ∫ 0 ∞ f ( t ) e − s t d t {\displaystyle \lim _{T\to \infty }\int _{0}^{T}f(t)e^{-st}dt=\int _{0}^{\infty }f(t)e^{-st}dt} が存在することは明らかである.事実, | f ( t )…6キロバイト (1,139 語) - 2022年11月23日 (水) 14:31
- {\displaystyle F(s)=\int _{0}^{\infty }f(t)e^{-st}dt={\mathcal {L}}[f(t)]} を f ( t ) {\displaystyle f(t)} の Laplace 変換ということ,およびその対応関係を記号 ⊏ {\displaystyle…4キロバイト (942 語) - 2022年11月23日 (水) 14:31
- ∃ x ∈集合 ⇒ f(x) あるxとする f(x)が成立 --------------------------------------------------- ex x being set st f(x) proof take a; thus f(a); end; Pは正しい Pは間違っていると仮定する…3キロバイト (300 語) - 2009年7月23日 (木) 01:35
- 内部では少なくとも、ST が使われており、環境は RealWorld はと呼ばれる型である。 State モナドから外へ出るには、runState を使うことができる。ST における類似した関数は runST と呼ばれており、これは独特な型をもつ。 Example: runST 関数 runST :: forall…35キロバイト (3,129 語) - 2018年4月7日 (土) 16:13
- (\lambda )}}\int _{0}^{\infty }t^{\lambda -1}e^{-st}dt\quad (s>0)} において, τ := s t {\displaystyle \tau :=st} とおくと, L [ t λ − 1 Γ ( λ ) ] = 1 s λ Γ ( λ ) ∫…6キロバイト (1,328 語) - 2022年11月23日 (水) 14:22
- ∫ 0 ∞ f ( t ) e − s t d t {\displaystyle F(s)=\int _{0}^{\infty }f(t)e^{-st}dt} を s {\displaystyle s} で項別微分すると, d F ( s ) d s = ∫ 0 ∞ ( − t ) f ( t )…4キロバイト (947 語) - 2019年9月5日 (木) 07:59
- のみによって変化するもの d - z t - ţ s - ş z - j st - şt str - ştr 以下は i によって子音が消滅する。 l - ø (名詞・形容詞) n - ø (動詞のみ) e と i によって変化するもの şc - şt sc - şt c, g は、表記上の変化はないが表す音が変わる。…2キロバイト (375 語) - 2008年9月8日 (月) 07:54
- }b_{11}e^{-st}dt&\cdots &\int _{0}^{\infty }b_{1n}e^{-st}dt\\\vdots &&\vdots \\\int _{0}^{\infty }b_{m1}e^{-st}dt&\cdots &\int _{0}^{\infty }b_{mn}e^{-st}dt\end{pmatrix}}=\int…15キロバイト (3,769 語) - 2020年12月26日 (土) 04:51
- _{0}^{\infty }x(t)e^{-st}dt\\\int _{0}^{\infty }y(t)e^{-st}dt\end{pmatrix}}=\int _{0}^{\infty }{\begin{pmatrix}x(t)\\y(t)\end{pmatrix}}e^{-st}dt} ^ X ⊏ x , Y…5キロバイト (1,019 語) - 2022年11月23日 (水) 12:10
- {F}}(p)}{p}}e^{pt}dp} なる関係式が見出だされ,演算子法の合理化が完成したのである.しかし現在では, (1.22) F(s)=∫0∞f(t)e−stdt{\displaystyle F(s)=\int _{0}^{\infty }f(t)e^{-st}dt} (1.23) f…12キロバイト (2,183 語) - 2019年12月24日 (火) 06:13
- Y)]}は閉集合である。ところで、この像はf[F]に他ならない。// なおHausdorffは人名である。伝記はw:フェリックス・ハウスドルフを参照。 Euclid位相の開集合の定義は、次のようなものであった。 X∈O:⇔[∀x∈X, ∃ε>0 s.t. |x−y|<ε⇒y∈X]{\displaystyle…52キロバイト (10,650 語) - 2024年3月21日 (木) 21:07