| …No.115828+＞「そのように円周率を定義したからだよ」というのが答えになります。 そう定義して定数を定めるなら、その定義での数値が一定の数になるってこと確かめなきゃいかんと思うんだ。 |
| …No.115834+相似だから一定の数になるんじゃないの？ |
| …No.115855+書き込みをした人によって削除されました |
| …No.115856+>No.115825 円周を丸めたときと伸ばしたときで同じ長さであるという根拠は…… |
| …No.115895+線分には幅（太さ）が無い |
| …No.115896+円が全て相似だ…というのは何の根拠もなく、直感的に「相似ですね」って小学校の教科書で扱われている。 |
| …No.115897そうだねx1中心からの距離が一定の図形を円と呼ぶわけでしょ 中心から距離Rの点の集合と距離R'の点の集合は比例関係にあるから相似になるでしょ |
| …No.115901+＞中心から距離Rの点の集合と距離R'の点の集合は比例関係にあるから相似になるでしょ 直感的にはわかるな |
| …No.115902+平行移動と拡大縮小で重なる図形が相似 ユークリッド空間以外ではどうなるかは知らん |
| …No.115911+その場合は共形変換だな |
| …No.115713+不確定性原理があるから無理 |
| …No.115716+不確定性原理だけで量子複製不可能を言い尽くせるかはﾋﾞﾐｮｰ 時間発展は別にオブザーバブルを観測し尽さずとも進行するし、 エヴェレット解釈だと分岐まですると考えるわけで、 不確定性原理だけで量子複製禁止を申し渡すことはできなさげ |
| …No.115787+クローン禁止定理って名前はいかついけど証明は簡単だよね |
| …No.115865+多浪してニートやってたら50才になりました 5年前に家売って4年前から生活保護です 多分親が死んだらどこかの施設に強制収用です 皆さんお世話になりました さようなら タイム風呂敷で人生やり直したいけど無理かな |
| …No.115866+気持ちわる |
| …No.115882+大丈夫 今からでもやり直せる |
| …No.115892そうだねx1頑張ります |
| …No.115883+下の式は納得したんかいｗ つーか、定義だけどな。 一つの未知の数に収束するのは証明できたから、それをｅと名づけただけ。 |
| …No.115884+>Nameたか >これって変じゃね |
| …No.115885+h = 1/x とすれば上の式と下の式は同じだよ |
| …No.115860+そんなリップルキャリー式のアダーで乗算回路を作る みたいな原始的な話をされても |
| …No.115861+1970-1980年代のパソコンは乗算ルーチンはかなり制限されているから、自前でこうやって作ったんだよ。 |
| …No.115862+昔のパソコンでも整数型があったのだから ビットシフトで加算の都度キャリー伝搬みたいな非効率なことをする必要は無い a, b, c, d＜2^nとして (a * 2^n + b) * (c * 2^n + d) = ac * 2^(2n) + (ad + bc) * 2^n + bd なので(n-1 bit) * (n-1 bit)の九九のテーブルがあったらこれは瞬時に計算できて、 ac、(ad+bc)、bdが2^n以上になったら 因数定理で剰余（この場合は2^n-1とのbitのandで済む）を2^nの位の値とし、 商を2^(2n)の位に足して以下同様で 2^(3n)の位まで出せば宜しい かと、 |
| …No.115863+↑最後の操作は下の桁から上の桁へのキャリー伝搬ではあるけども、 m bitの整数型に対してac+bd＜2^mとなるように nを決めて↑のように計算すれば最後に1回やればよく、 キャリー伝搬の手間が必要最小限で済む |
| …No.115875+>九九のテーブルがあったらこれは瞬時に計算できて 昔はそんなテーブルさえメモリーがもったいなかったよｗ つーか、今だって多倍長の乗法はまだしも、多倍長の除法はテーブルなんてできんぞ。だから２進法の除法の筆算をプログラムで実行することになる。 |
| …No.115876+何で量子コンピューターのスレで古典コンピューターのしかも昔の奴の話してるんだ |
| …No.115877+話しの流れねｗ 多倍長演算は昔の話ではなく、今の話でもあるなあ。 |
| …No.115878+>何で量子コンピューターのスレで古典コンピューターのしかも昔の奴の話してるんだ とは言え量子コンピューターって、Qビットがすべての状態を持っているだけで、数学的な部分は古典コンピューターと同じ考えじゃない？ ０×０＝０ ０×１＝０ １×０＝０ １×１＝１ の全ての状態を持ってるから演算が爆速なだけで |
| …No.115879+>とは言え量子コンピューターって、Qビットがすべての状態を持っているだけで、数学的な部分は古典コンピューターと同じ考えじゃない？ > >０×０＝０ >０×１＝０ >１×０＝０ >１×１＝１ > >の全ての状態を持ってるから演算が爆速なだけで 全く違う もしそれが正しいとしたら非決定性チューリング機械が完成してP=NPになる 量子コンピューターが巡回セールスマン問題の厳密解を多項式時間で求めたりすることはない |
| …No.115881+>量子コンピューターが巡回セールスマン問題の厳密解を多項式時間で求めたりすることはない P=NPにしてくれるのが夢の量子コンピュータかと思ってた 絶対零度近くでQPU冷やしてるくらいしか量子コンピュータのメカニズムは知らない |
| …No.115803+誰も興味ないのか？ |
| …No.115857+見なさい |
| …No.115859+いま見始めた 晩飯できたから食ってくる |
| …No.115843+これの別解を求めよって問題で悩んでいる。 x=tanθ とすると、式が複雑になるし… |
…No.115849+  本文無し |
| …No.115838+兼子共輝 泉田雄馬 森隆彰 金森弘 http://fantia.jp/fanclubs/153924 |
| …No.115839+平井花奈 |
| …No.115657+極限の比が1以外の定数になるからといって 無限は無限であることに変わりは無い |
| …No.115668+そいや lim_n→∞ 3n/2n = 3/2 って何で担保されるの？なんで約分できるの？分子も分母も無限になるのに |
| …No.115681+①数は無限にある これはええ そこに ②素数は無限にある となるとぞわぞわする さらに ③無限に素数が現れない区間がある と言われると神の存在を信じざるを得なくなる |
| …No.115714+>そいや > >lim_n→∞ 3n/2n = 3/2 > >って何で担保されるの？なんで約分できるの？分子も分母も無限になるのに まず lim_n→∞ a_n = a と言う記号はざっくり言うとnを大きくすれば a_n と a の差を好きなだけ縮められますよというという定義になってて、そもそも無限って言葉は出てこない だから分子も分母も無限になるわけではない |
| …No.115715+するってーと、limに関しては無限の思想は可能無限なのかいな？ |
| …No.115719+>するってーと、limに関しては無限の思想は可能無限なのかいな？ 強いて言えば特定の思想とかを考えなくて良い定義になってる |
| …No.115720+思想で結果が変わっちゃ困るからね |
| …No.115721+ふーん。でももともとの疑問のなぜ >lim_n→∞ 3n/2n = 3/2 なのかってに答えていないような… |
| …No.115722+>ふーん。でももともとの疑問のなぜ >>lim_n→∞ 3n/2n = 3/2 >なのかってに答えていないような… >No.115714 の >lim_n→∞ a_n = a と言う記号はざっくり言うとnを大きくすれば a_n と a の差を好きなだけ縮められますよというという定義 を形式的に書けばわかるけどごちゃごちゃしてる割にあんまり面白みは無い 要はn≠0なら3n/(2n)=3/2だよねと言うだけだし ちなみにn≠0のときn/n=1なのは実数の公理が保証してる lim_n→∞ 3n/(2n) = 3/2 <=> ∀r∃N∀n((r∈ℝ∧r>0)->(N∈ℕ∧(n>N->|3n/(2n)-3/2|<r))) <=> ∀r∃N∀n((r∈ℝ∧r>0)->(N∈ℕ∧(n>N->0<r))) <=> True |
…No.115814+  超現実数は実数だけでなく無限大や無限小も表すことができるらしいけど 誰か詳しい人いないの？ |
| …No.115802+井上小田 8r^2/3 |
…No.115808+  Sport is a gamble. |
| …No.115809+おわり |
| [0] [1] [2] [3] [4] |
