プログレス4
のバックアップソース(No.2)
Unity学習帳2冊目
プログレス4
のバックアップソース(No.2)
[
トップ
] [
差分
|
バックアップ
|
リロード
] [
新規
|
一覧
|
検索
|
最新
|
ヘルプ
]
[ ]
差分
を表示
現在との差分
を表示
プログレス4
へ行く。
« Prev
Next »
TITLE:メモ #jsmath ***εδ論法とは何者か? [#i36c18cc] εδ論法とは何者か? 解析に利用する道具。εδ論法とは対応し合うふたつの変数の関係を解析するために使う道具である 実体のA点(\(n\),\(an\))、仮定のB点(\(\delta\),\(\varepsilon \))のふたつの点をグラフ上に作りその関係を論理的に調べる \(y=f(x)={x}^{2}\)の場合、関数によって対応し合う\(x\)と\(y\)という変数の関係を解析できる \({a}_{n}=f(n)=\frac{1}{n}\)の場合、関数によって対応し合う数列\({a}_{n}\)と\(n\)という変数の関係を解析できる これにより数の性質を調べれたり、関数の性質を調べる事が出来る 「関数の性質」を知る事で「片方の変数が無限に減ったり増えたりする関数の性質を知る」事が出来たりする C#という言語仕様も数学の性質を利用して設計されているので「数の性質」を利用して「帰納的なコード」を組むなども可能となる また微分積分との相性が非常に良いので「漸化式」が作れたりする ***アルキメデスの原則 [#te060291] ***アルキメデスの原則をεδ論法で解析してみる [#m4bfc74e] ***float→intの型変換はアルキメデスの原則に従っている [#d18fd9f8] アルキメデスの原則をεδ論法で解析する事により実数と自然数との関係を分析できる これによりC#が数学を元に仕様を決定しているかわかる。同時に帰納的なコードにどう利用すればいいかもわかる 任意の実数\(x\in { \mathbb{R} }\)に対して、ある自然数\(n\in{\mathbb{Z}}\)が存在して\(\\ n\le x<n+1\)が成り立つ ***カウンタブルとは? [#g0c39628] データーとそのデーターを指す数列(アドレス、ポインター)とが1対1で対応している状態をカウンタブルと言う ***εδ論法の教本で正の数であればいい変数に対し自然数を使うのは何故か? [#z6b732c7] 数学の教本で\(\delta\)を「\(\forall \delta\in { \mathbb{ N }}\)」として自然数にしたり、\(n\)を「\(\forall n\in { \mathbb{ N }}\)」としているのは実数である変数とカウンタブルな\(\delta\)や\(n\)は1対1に対応している事を説明する為だと思われます(数列の\({a}_{n}\)の\(n\)は自然数である事が高校数学では求められるが、これは本当は実数でも良いという事らしい(おそらくlogが数列の進化版となっている)。コンピューター言語のC#等では配列のインデックスに自然数を使う。そういう意味で数学の教本がδやnを自然数に指定しているのは老婆心であるのだろう εδに沿って考えれば関係する変数にカウンタブルなインデックスとなる変数を仕込める。そのインデックスからコンピューターに解析手順を知らせれる 実数と実数が1対1で対応している場合C#ではDictionaryクラスが必要 Dictionaryクラスはforループでインデックス変数に+1していくようなカウンタブルな参照は出来ない (こういう処理には本当はlogを使うのが良い) 実数と自然数が1対1で対応している場合C#では配列クラスが使える また自然数はカウンタとして利用出来るのでforループでカウンタブルに参照して行ける **メモ [#la320adc] 上に有界ならsup 下に有界ならinf
« Prev
Next »
プログレス4 のバックアップ一覧
プログレス4 のバックアップソース(No. All)
1: 2015-08-15 (土) 11:27:02
osinko
2: 2015-08-15 (土) 13:29:30
osinko
3: 2015-08-15 (土) 15:00:26
osinko
4: 2015-08-15 (土) 23:44:49
osinko
5: 2015-08-16 (日) 02:25:30
osinko
6: 2015-08-16 (日) 12:25:13
osinko
7: 2015-08-16 (日) 13:14:23
osinko
8: 2015-08-16 (日) 18:58:36
osinko
9: 2015-08-20 (木) 10:19:31
osinko
現: 2015-08-21 (金) 20:27:43
osinko