17/12/03 21:12:27.93 rPUpBQUT.net
>>294 訂正
>>282
↓
>>292
かな（＾＾
330:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 21:13:44.93 rPUpBQUT.net
>>306
ピエロか？
お前の証明なんか信用してないよ
そもそも、お前の独善定理の証明がないだろう（＾＾
331:１３２人目の素数さん
17/12/03 21:38:03.47 smOMlMta.net
>>308
> ピエロか？
> お前の証明なんか信用してないよ
>
> そもそも、お前の独善定理の証明がないだろう（＾＾
どの行も何言ってんのか意味不明ｗｗ
332:１３２人目の素数さん
17/12/03 21:39:30.71 smOMlMta.net
>>282
> ”とあるから、上記の定理と証明は怪しいかも（∵リプシッツ連続は微分可能と直結しないから）・・（＾＾
この一文が馬鹿じゃね？って言ってるんだがｗｗ
333:１３２人目の素数さん
17/12/03 21:40:57.42 smOMlMta.net
ここのスレ主は糞ｗｗ
334:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 21:56:53.07 rPUpBQUT.net
背理法を使ったら、即証明が正しい？ 初耳だよ（＾＾
335:１３２人目の素数さん
17/12/03 22:04:08.43 smOMlMta.net
>>312
> 背理法を使ったら、即証明が正しい？ 初耳だよ（＾
だれと会話してんだよドアホｗｗ
初耳も糞も誰もそんなこと言ってねえだろうがｗｗ
頭やられてんじゃねえの？ｗｗ
336:１３２人目の素数さん
17/12/03 22:05:16.15 smOMlMta.net
>>306
> お前も背理法が分からないアホかｗ
この発言を
>>312
> 背理法を使ったら、即証明が正しい？ 初耳だよ（＾＾
と解釈するアホｗｗｗｗｗ
本当に本当に本当にアホだなｗｗｗ
337:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 22:05:44.65 rPUpBQUT.net
(>>245より）
URLﾘﾝｸ(kbeanland.files.wordpress.com)
Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535.
Proposition 3.1. Let f be a function on R that is positive on the rationals and 0 on
the irrationals. Then there is an uncountable dense set of irrationals on which f is not
differentiable.
ここに、論文になったきちんとした証明はある。これはピエロが自分で見つけた論文だよ
それと、
（>>282より、ピエロの証明）
「>>421のリンク先の証明は個人的には すんなり頭に入ってこないので、
微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。
定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)－f(x))/(y－x)｜＜＋∞ } と置く。
もし R－B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で
リプシッツ連続である。
この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」
となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、・・」
この腐った証明とを読み比べてみな
ピエロの証明が怪しいということが分るだろうよ
338:１３２人目の素数さん
17/12/03 22:06:42.27 smOMlMta.net
現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
こいつは処置不能のドアホ
構うと危険ｗｗｗｗ
339:１３２人目の素数さん
17/12/03 22:10:54.16 smOMlMta.net
>>315
馬鹿じゃね？ｗ
> >>282
> ”とあるから、上記の定理と証明は怪しいかも（∵リプシッツ連続は微分可能と直結しないから）・・（＾＾
俺はお前のこの発言があほすぎる、って言ってるんだけどｗｗ
お前の発言が何をおいても糞過ぎるｗｗｗ
> （∵リプシッツ連続は微分可能と直結しないから）
背理法の証明を読めないアホさんはいってよし
340:１３２人目の素数さん
17/12/03 23:03:55.89 vsMA9kt/.net
今宵もフルボッコの自演君でしたとさ
341:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 23:23:39.53 rPUpBQUT.net
ピエロじゃないのか
だが、おまえはピエロと同じ過ちを犯しているよ
私スレ主の発言は、大体文献の裏付けがあるんだよ
「（∵リプシッツ連続は微分可能と直結しないから）」の根拠は、引用してあるだろ？
>>284のURLﾘﾝｸ(mathforum.org)
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
The ruler function f is defined by f(x) = 0 if x is
irrational, f(0) = 1, and f(x) = 1/q^r if x = p/q
where p and q are relatively prime integers with q > 0.
で、指数rで、関数の特性が類別されているだろ（下記）
で、(抜粋)
１）** For each 0 < r < 2, f^r satisfies no pointwise Lipschitz condition. Heuer [15]
２）** For r = 2, f^r is nowhere differentiable and satisfies a pointwise Lipschitz condition on a set that is dense in the reals. Heuer [15]
３）** For r > 2, f^r is differentiable on a set whose intersection with every open interval has Hausdorff dimension 1 - 2/r. Frantz [20]
つまり、0 < r < 2でLipschitzでなく、r = 2でLipschitz、r > 2でdifferentiableだと。
だから、指数r依存性があるよと。指数r依存性とは、如何に早く０（ゼロ）に減衰するかだ
そして、>>282のピエロの証明は、
４）Using ruler-like functions that "damp-out" quicker than any power of f gives behavior that one would expect from the above.
つまり、1/q^rという関数（多項式の逆数）よりも、早く減衰するときにも、not differentiable な無理数が残るという場合の証明だ
この４）に、Lipschitz conditionを持ってきても、それは無理筋だろうと、下記を根拠に書いた
つづく
342:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 23:24:10.71 rPUpBQUT.net
>>319 つづき
(抜粋)
”** For each 0 < r <= 2, f^r is nowhere differentiable.
** For each r > 2, f^r is differentiable on a set that
has c many points in every interval.
The results above can be further refined.
** For each 0 < r < 2, f^r satisfies no pointwise
Lipschitz condition. Heuer [15]
** For r = 2, f^r is nowhere differentiable and
satisfies a pointwise Lipschitz condition on
a set that is dense in the reals. Heuer [15]
** For r > 2, f^r is differentiable on a set whose
intersection with every open interval has Hausdorff
dimension 1 - 2/r. Frantz [20]
Using ruler-like functions that "damp-out" quicker
than any power of f gives behavior that one would
expect from the above.
Let w:Z+ --> Z+ be an increasing function that
eventually majorizes every power function. Define
f_w(x) = 0 for x irrational, f_w(0) = 1, and
f_w(p/q) = 1/w(q) where p and q are relatively
prime integers.”
(引用終り)
以上
343:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/03 23:26:51.23 rPUpBQUT.net
おまえはピエロと同じ過ちを犯しているよ
私スレ主の発言は、大体文献の裏付けがあるんだよ（おれはバカでアホだがね）
そこに突っかかっても、コンクリート（プロ学者の学術論文）にぶつかっているようなものだと
344:１３２人目の素数さん
17/12/04 00:00:50.32 SZt9+mka.net
>>319
＞私スレ主の発言は、大体文献の裏付けがあるんだよ
その発言は君が文献を理解した時しか意味を為さないｗ
自演君は基礎がまるでできていないから文献を俺流に解釈しちゃう癖があるｗ
345:１３２人目の素数さん
17/12/04 00:43:09.70 nmmGC0KN.net
>>321
おまえどこまでバカなの？？
何が文献を元にしてるだよばーーーかwww
346:１３２人目の素数さん
17/12/04 00:44:53.92 nmmGC0KN.net
スレ主は論理が通らないクソッタレw
347:１３２人目の素数さん
17/12/04 00:49:45.32 nmmGC0KN.net
短時間でスレ主の糞さかよく分かったww
こいつは早合点で物を言う最も数学に向いていないタイプww
そして一度早合点すると二度と自分を疑わない最も数学に向いていないタイプww
文献に書いてあるから俺が正しいだっておww
文献は正しいだろうよww
間違ってるのはお前の論理だタワケ者ww
348:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 13:42:44.13 0CyAauJ7.net
目に留まったので、貼る（＾＾
URLﾘﾝｸ(www-03.ibm.com)
IBM Z (z14) プレスリリース IBM 2017年7月18日
(抜粋)
妥協なきセキュリティー
z14は初めて、システムに関わる全てのデータをOSレベルでハードウェア暗号化の機能を使用して一度に暗号化できるようになりました。
現行の暗号化ソリューションはCPU負荷が高くシステムの処理性能や応答時間に影響を与え、また暗号化するフィールドの選定や管理に多くの工数がかかっていました。
今回、暗号化アルゴリズム専用の回路を4倍にすることで暗号化処理性能を前モデルであるIBM z13比で最大7倍に増強した結果、クラウド規模のバルク暗号化が可能となりました。
機械学習による新たな価値の創造
z14は前モデルの z13比で約3倍となる32TBのメモリーが最大で搭載可能となり、分析処理の応答時間の短縮およびスループットの増大を実現しています。
またzHyperLinkを利用することでストレージ・エリア・ネットワーク応答時間をz13に比べて10分の1に短縮し、アプリケーションの応答時間を半減します[4]。
これらのマシン性能向上に加えて、本年2月に発表されたIBM Machine Learning for z/OSを用いた機械学習により、業務分析モデルの作成、学習、展開を自動化することが可能になり、リアルタイム分析の効率性が大幅に向上します。
クラウド連携による俊敏なサービス提供
z14では、クラウド・サービスとの連携がよりスムーズになります。クラウド開発者はIBM z/OS Connectを使用してAPI経由でIBM Z上にある重要なビジネス・アプリケーションやデータと連携するサービスを開発しています。z14では、APIを使用してデータやアプリケーションにアクセスする際の暗号化処理を、x86を基盤にした代替テクノロジーより3倍近い速さで実行することが可能です。
(引用終わり)
URLﾘﾝｸ(ja.wikipedia.org)
System z
IBM zSeries、IBM System z、IBM zEnterprise、IBM z System、IBM Zは、IBMが開発・販売するメインフレームコンピュータの2000年以降のブランド名。
URLﾘﾝｸ(ps.nikkei.co.)
349:jp/ibm17/z/?n_cid=PSDB0012 日本生命,前田 泰成,メインフレーム, z14,藤牧 正浩,溝内 伸悟,日本IBM,2017年10月 日本経済新聞,電子版特集,NIKKEI
350:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 13:44:13.23 0CyAauJ7.net
”妥協なきセキュリティー
z14は初めて、システムに関わる全てのデータをOSレベルでハードウェア暗号化の機能を使用して一度に暗号化できるようになりました。”
は、いまどき、なるほどだね（＾＾
思いつくのは簡単だが、それを実際にやるところ
351:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 15:30:20.16 0CyAauJ7.net
「ぷふ」さま、迷える落ちこぼれ素人衆を、お救いください。 アーメン！ ｍ（＿ ＿）ｍ
（＾＾
352:１３２人目の素数さん
17/12/04 20:56:50.20 SZt9+mka.net
うわああああ
自分と考えが異なる相手は全部落ちこぼれ扱いなのか
自分を中心に世界が回ってると真剣に思っちゃってる危ない人かな？
353:１３２人目の素数さん
17/12/04 21:00:02.66 SZt9+mka.net
てゆうかこんだけの人数が口を揃えて自分に批判的なら、正常な脳の持ち主ならまず自分を疑うけどなｗ
糖質かヤクチュウか基地外か？
354:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 21:50:55.65 6GvjUkk/.net
>>329-330
じゃ、聞くけど
時枝の記事の解法は、まっとうな数学かい？
どこか、専門家（プロ）が、数学の論文なり、テキスト（成書）で扱っているか？
ピエロが、過去、Sergiu Hart氏（>>41）が投稿論文になっているとか、
Taylor先生の論文（>>48）や成書(>>49)で扱われていると言ったが、ウソだった
ということは、専門家（プロ）は、これはまっとうな数学として扱っていないってことですよ（時枝はパズルと書き忘れたんだろ）（＾＾
355:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 21:56:39.23 6GvjUkk/.net
むかし、フェルマーがまだ予想だったころ、素人がいろいろ証明を専門家に送ったそうだ
いまでも、フェルマーに初等的な証明が可能という素人がいるらしい
プロは、相手にしていないよ
356:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 22:09:38.90 6GvjUkk/.net
>>201
BLACKX ◆jPpg5.obl6さん、どうも。スレ主です。
本来たよ
URLﾘﾝｸ(www.amazon.co.jp)
整数の分割 単行本 ? 2006/5 ジョージ・アンドリュース (著),? キムモ・エリクソン (著),? 佐藤 文広 (翻訳) 単行本: 188ページ 出版社: 数学書房
>小島 定吉先生 >>182 Σ{∞ n=0} ( N + n - 1, N - 1 ) x^n = 1/(1 - x)^N
この式は、P85の定理7.2（二項級数定理）だな
但し、定理7.2の式表記は、下記の二項級数 wikipedia流だね。（指数が、前者は-nで下記はβ＋１で表現されているが）
小島 定吉先生の ( N + n - 1, N - 1 )に合わせるには、P85の対称性（n+j,j）= （n+j,n）を使えば良い
（小島 定吉先生の ( N + n - 1, N - 1 )で、N→n+1、n→j の変数の置き換えで、定理7.2の表記になるね）
URLﾘﾝｸ(ja.wikipedia.org)
二項級数
357:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 22:31:41.01 6GvjUkk/.net
>>333 補足
整数の分割の表紙の絵に、ちょっと見覚えがあるかな？（＾＾
書店でみたかも。だが、中はほとんど見ていない
この手の本は、一度目は、早く読んだ方が良いよ。6章の公式が7章で出ているとかあるし。
二度目で、分らないところを、じっくりやるとか
358: 付録Aに級数と無限積の収束を書いてあるが、形式的冪級数で収束を問わない考えもあるよ あと、日本ではフェラーズでなく、ヤング図でないと、通じないな（P20の注にやさしく書いてあるがね（＾＾ ） https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 目次 [非表示] 1 定義 1.1 より形式的な定義 1.2 合成 2 性質 3 形式微分 4 一般化 4.1 形式的ローラン級数 4.2 多変数の形式的冪級数 4.2.1 性質 5 参考文献 https://ja.wikipedia.org/wiki/%E3%83%A4%E3%83%B3%E3%82%B0%E5%9B%B3%E5%BD%A2 ヤング図形 (抜粋) ヤング図形あるいはフェラーズ図形（フェラーズずけい、英: Ferrers diagram）とは、数 n の分割を表現する方法である。 n を正整数とする。 分割とは、n をいくつかの正整数の和として n = k1 + k2 + … + km k1 ≧ k2 ≧ … ≧ km と表すことである。 (引用終り)
359:１３２人目の素数さん
17/12/04 22:42:54.82 SZt9+mka.net
>>331
まっとうな数学とは？ まっとうでない数学とは？
360:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 23:11:19.75 6GvjUkk/.net
>>331-332 補足
数学セミナーの記事は、普通は話題の数学テーマ
あるいは、大学教程の導入とか
まあ、種本や論文がすでにあって、
それを分かり易く解説すると、昔から決まっている
数学セミナーは、一般誌であって学術誌じゃないから、他に投稿されたことのない新規な内容が掲載されるような雑誌じゃない
もし、他誌に投稿されたことのない新規な内容が掲載されるなら、それはジョーク（パズル）だよ
361:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/04 23:11:49.12 6GvjUkk/.net
>>335
つー、>>336
362:１３２人目の素数さん
17/12/04 23:28:15.65 Bq6WJ5ab.net
>>336
> 数学セミナーは、一般誌であって学術誌じゃないから、他に投稿されたことのない新規な内容が掲載されるような雑誌じゃない
> もし、他誌に投稿されたことのない新規な内容が掲載されるなら、それはジョーク（パズル）だよ
・・・と、了見の狭さを猛アピールするスレ主であった
363:１３２人目の素数さん
17/12/05 00:02:34.59 JMKd14d0.net
ポアンカレ予想のペレルマン証明はネットにしか投稿されなかったから間違いだ
自演君ならそう言いそうｗ
364:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 06:52:57.18 nuBbFs6N.net
オハヨー、朝です。
(^o^)
「ぷふ」さん、長考しているな（＾＾
まあ、>>272を、よろしくね
「ぷふ」さま、迷える落ちこぼれ素人衆を、お救いください。 アーメン！ ｍ（＿ ＿）ｍ（>>328）
ついでに、私スレ主も救って頂けると、幸いです～ ＼（＾<>＾）／
そういえば、昨日 竜王戦を見ていたが、羽生さん封じ手で長考していたね。まあ、勝負所だからね～。羽生勝利と予想しておく（＾＾
URLﾘﾝｸ(www.youtube.com)
【竜王戦 第5局初日】渡辺明竜王 vs 羽生善治棋聖 ～封じ手の瞬間まで
365:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 07:10:05.35 nuBbFs6N.net
>>338-339
笑える
”サイテーションインデックス”を知っているだろう？
時枝記事(>>18（数学セミナー201511月号）)が、専門家（プロ）が引用しているかい？
時枝記事の前、欧米誌も含めて、公式の論文および成書の記載なく
時枝記事の後、だれも引用しないし、類似のゲームの論文投稿なし
あなたの言葉>>330-331 をそっくりそのままお返ししよう
専門家（プロ）が、だれも数学と認めていないゲームを、まっとうな数学だという。その根拠は、あなたの素人頭の中にしかないのだよ
URLﾘﾝｸ(ja.wikipedia.org)
サイテーションインデックス
366:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 07:20:37.82 nuBbFs6N.net
>>339
笑える
ペレルマン証明はネットに投稿されたとき
数学界で話題になった（下記）
またかと （失敗証明）
だが、投稿者が有名なプロ（ペレルマン）と分ったとき、「ひょっとすると、正しいかも知れない」となった
ペレルマンがアメリカに居たときの同僚田剛（下記）が、ペレルマンをアメリカに呼んで、複数回講演を組んだ
そして、ペレルマン論文に対する検証が複数の数学者チームによって試みられた。その結果は、下記の通りだ
プロにとって、明白な”パズル”である、時枝記事については、それは（検証の動きさえ）ないよ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
幾何化予想とペレルマン
ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5?7月にかけて3つの数学者チームによる報告論文が出揃った。
・ブルース・クライナーとジョン・ロット, Notes on Perelman's Papers（2006年5月）
ペレルマンによる幾何化予想についての証明の細部を解明・補足
・朱熹平と曹懐東、A Complete Proof of the Poincare and Geometrization Conjectures - application of the Hamilton-Perelman theory of the Ricci flow（2006年7月、改訂版2006年12月）
ペレルマン論文で省略されている細部の解明・補足
・ジョン・モーガンと田剛、Ricci Flow and the Poincare Conjecture（2006年7月）
ペレルマン論文をポアンカレ予想に関わる部分のみに絞って詳細に解明・補足
これらのチームはどれもペレルマン論文は基本的に正しく致命的誤りはなかったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。
(引用終り)
367:１３２人目の素数さん
17/12/05 07:44:07.76 /o47Z1m6.net
>>1
数学の知識で人を殴るのは道を尋ねられたらムカつくから殴るのと同じくらいの幼稚な行動なのでは
本当に数学が好きなら相手に理解してもらうためにはどう教えたらいいか考えながら会話をするのではないか
368:１３２人目の素数さん
17/12/05 07:55:34.22 FlRFHs7c.net
さすがにこれはスレ主を擁護出来ん
スレ主はウィキの自警なの？
369:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:02:46.15 nuBbFs6N.net
>>329-330 戻る
もし、君が数学科１～２年に在学なら、確率過程論かランダム現象の数理を修得した先輩か、教官に聞いてみな。即座に、時枝はガセというだろう
もし、君が数学科卒業生なら、確率過程論かランダム現象の数理を修得した友人か、いまでもコンタクトできる教官に聞いてみな。即座に、時枝はガセというだろう
もし、君が確率過程論かランダム現象の数理を１冊でも読めるなら、読めば、即座に、時枝はガセと納得できるだろう
上記の１～３のどれも出来ない思い込み素人に救いはない
救えるのは、「ぷふ」さまだけです。（＾＾
迷える落ちこぼれ素人衆を、お救いください。 アーメン！ ｍ（＿ ＿）ｍ
まあ、>>272を、よろしくね（＾＾
370:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:03:41.54 nuBbFs6N.net
>>343-344
ぶ（>>345）
371:１３２人目の素数さん
17/12/05 08:17:40.84 JMKd14d0.net
ぷふって時枝問題に対する見解を一言も言えなかった人でしょ？
なんでそんなアンポンタンを救世主扱いしてるの？気は確か？
しかしぷふは必ず現れるｗ>>304
372:１３２人目の素数さん
17/12/05 08:31:42.22 9C5EK/9h.net
>>347
>ぷふって時枝問題に対する見解を一言も言えなかった人でしょ？
ぷ
373:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:32:33.60 nuBbFs6N.net
>>347
「必ず現れる」は、同意だな
なにか、考えがあってのことだろう
まあ、「ぷ」とか「ふ」とかで終わるかも知れないがね（＾＾
"P(x<y)=1/2 P(x<y0)=0 これに尽きるねー"(>>272)みたいな書き方が、自然にすっと出てくるところに、「ああ、この人は確率論を学んでいるね」と思った次第
だから、>>272の疑問をぶつけてみたわけさ
374:１３２人目の素数さん
17/12/05 08:33:46.35 9C5EK/9h.net
質問に答えて貰えないのって自分に何か欠陥が有るのよね
375:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:34:32.43 nuBbFs6N.net
まあ、その内、時枝記事は、同値類の誤用として、
だれか、専門家（プロ）が、何かに解説してくれるんじゃないかな～（＾＾
それは、期待しているのだが・・（＾＾
376:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:35:59.96 nuBbFs6N.net
>>350
長考しているのは、そこらかも知れないね
だが、時枝不成立の結論は変わらない。変わるのは、”なぜ不成立”の理由付けのところだろうね
377:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:40:05.57 nuBbFs6N.net
>>351 補足
XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法(>>54)での同値類の誤用も
纏めて解説してもらえると、まあ、記事になるように思う
378:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 08:41:23.50 nuBbFs6N.net
>>353 訂正
XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法(>>54)での同値類の誤用も
↓
XOR’S HAMMERのYou and Bobのpuzzle、任意関数の数当て解法(>>54)での同値類の誤用も
379:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 10:12:09.75 e9jp1o8U.net
>>112 戻る
>現在私はAir値というLOTOでは独自だと思われる数テープの長さの特徴のモードから区分けを行い途中主張もぶれましたが(虚数部分は無いとする)、Air0-30の値における組み合わせ数と向き合っております。
Air値の定義は？
Air＝空気（一般）と重なるので、キーワードが機能しないんだ（＾＾
380:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 17:34:18.78 e9jp1o8U.net
>>340
スレチだが、やりましたね（＾＾
URLﾘﾝｸ(www.nikkansports.com)
羽生善治 史上初の「永世７冠」、新たな金字塔 日刊スポーツ [2017年12月5日16時26分]
381:
17/12/05 18:07:28.21 lFTHaB/o.net
記者会見が始まった！
382:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 19:13:05.24 nuBbFs6N.net
C++さん、どうも。スレ主です。
うーむ、職場に居たので、記者会見を見ている時間なかったな・・（＾＾
383:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 19:21:04.02 nuBbFs6N.net
記者会見動画が下記にあるね
URLﾘﾝｸ(www.asahi.com)
将棋の羽生棋聖、史上初の「永世七冠」 渡辺竜王破る 村瀬信也 朝日 2017年12月5日17時20分
【動画】将棋・羽生棋聖が前人未到の「永世七冠」を達成＝瀬戸口翼撮影
384:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 19:40:37.57 nuBbFs6N.net
私らへぼだけど、
今日の第５局は、第1日目の封じ手で差がついていて、押し切った感じ
前の第４局は、神がかりの寄せで、最近の将棋ソフトでも、数億局面まで解析しないと、羽生の寄せ手順が出てこないということらしい
（第３局は負けで）第２局は、第４局に次ぐ名局で、やはり途中の寄せ手順で、将棋ソフト超えの手が出て、寄せきったらしい
あと、第１局も結構羽生さんらしい将棋だけど、将棋ソフト的には、渡辺竜王側にまだ粘る順があったらしい（65手目▲55銀に、後手△同銀、▲同馬となっては、羽生有利になったということらしい）
385:１３２人目の素数さん
17/12/05 20:32:51.55 JMKd14d0.net
相変わらずバカ全開の自演君でしたとさ
386:BLACKX
17/12/05 20:45:11.28 BpwysDZ3.net
>>355
Air値というのは私のオ�
387:潟Wナル テープ長さの特徴モードというのは大学時代に教授が言っていた言葉 2つとも定義は同じ それで定義は37個中のボールからa1～a7までの7個を選抜した時の間の選ばれなかったボールの個数が特徴モードとなる。 従って、a7-a1-6=Air値 例)2.3.4.5.6.7.37の場合 37-2-6=29
388:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 20:51:11.71 nuBbFs6N.net
>>357
C++さんのために（＾＾
URLﾘﾝｸ(www.ohmsha.co.jp)
OHM 2017年12月号（第104巻 第12号 通巻第1302号）
特集
核融合研究開発
・核融合研究の必要性
竹入 康彦（自然科学研究機構）
・核融合とは何か
榊原 悟（総合研究大学院大学）
核融合プラズマ研究の現状
・磁場閉じ込め核融合/トカマク方式：トカマク研究の歴史と現状― JT- 60からJT-60SA、そしてITER、原型炉へ
鎌田 裕（ 量子科学技術研究開発機構）
・磁場閉じ込め核融合/ヘリカル方式：ヘリカル研究の歴史と現状
横山 雅之（自然科学研究機構）
・レーザー核融合研究の展開
白神 宏之（大阪大学）
・国際熱核融合実験炉ITER
井上 多加志（量子科学技術研究開発機構）
・核融合炉の安全性
小川 雄一（東京大学）
・日本における今後の研究戦略
岡野 邦彦（慶應義塾大学）
ライセンス（資格試験）
・平成29年度 技術士第一次試験〈基礎・適性科目〉問題と解答・解説
・平成29 年度 第一種および第二種電気主任技術者一次試験の結果
連載・コラム
・電気技術者のためのキーテクノロジー150選
植田 福広、前田 隆文、田沼 和夫
・超電導応用・最前線
航空機用モータ
小島 孝之、西沢 啓、岡井 敬一（宇宙航空研究開発機構）
389:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 21:09:04.09 nuBbFs6N.net
>>362
>それで定義は37個中のボールからa1～a7までの7個を選抜した時の間の選ばれなかったボールの個数が特徴モードとなる。
>従って、a7-a1-6=Air値
なるほど、宝くじロト7か・・。宝くじやらないので知らなかった・・
ところで、そのa7-a1-6=Air値使って、なにを計算しようというのですか？
URLﾘﾝｸ(ja.wikipedia.org)
ロト7
概要
01から37までの37個の数字の中から異なる7個を選択するものである。抽せんは、12月31日 - 1月3日を除く毎週金曜日18:45 (JST) から行われる。数字の組み合わせは37C7＝10,295,472通りで、モトロトBIGの9,834,496通り[1]やジャンボ宝くじの10,000,000通り[2]をも上回り、数字選択式のみならず、日本の宝くじ史上最も難度が高い。
第1回の抽せんは2013年（平成25年）4月5日に行われ、抽せん数字は本数字が07 10 12 17 23 28 34で、ボーナス数字は03と15。1等の当せん金は3億171万6500円となった。
その後、第2回から6回まで当せん者が出なかったが、第7回で8億円当せんが3本出た（うち2本は同じ売り場から出て、その売り場から出た合計当せん金額は16億円となった）。ちなみに1等の最低配当は、第200回の67,987,600円である。
390:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 21:37:37.09 nuBbFs6N.net
>>349 補足
いや、ま、「ぷふ」さんが、何を考えているか分らないが・・
P(x<y)=1/2 は、ｘとｙとの対称性から出る。
つまり、対称性からP(x<y)=P(x>y)であるべき
全事象は、（ｘ,ｙ）平面全体として、R＾2で、P（R^2）=1
P(x=y)は、面積を持たないから、零集合でP(x=y)＝0
起こりうる事象は、｛x<y｝，｛x>y｝，｛x=y｝の三つのみとして
必然、P(x<y)=P(x>y)=1/2
だけど、P（R^2）=1は、普通の計量ではないから、極限を取るのが普通だろうと
有限で、P(x<y)=P(x>y)=1/2 を先に出して、lim ｒ→∞ P(x<y)=P(x>y)=1/2 として、その後、P(x<y)＋P(x>y)＋P(x=y)＝１を出す
そういう話が、>>272なんだけどね
そういう考えで良いのかどうかだな？
コルモゴロフ流確率論の外かなと思った次第です（＾＾
（>>31より）
”P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明”
辺りと、これちょっと絡んでいるかなとも思ったりする今日この頃・・
ここ、ご意見を聞いておきたいと思った次第です（＾＾
391:BLACKX
17/12/05 21:51:39.36 BpwysDZ3.net
>>364
端的に言うとパターン区分
そしてAir(0-30)のAir値から次のようなパターン区分をタワーとした
例)
Air(8)タワー ※6桁のうち空白は0とする
↑総組み合わせ総数(自己共役区分)
2 2 1 1 1 1 λ6
3 1 1 1 1 1
2 2 2 1 1 λ5
3 2 1 1 1
4 1 1 1 1
2 2 2 2 λ4
3 2 2 1
3 3 1 1
4 2 1 1
5 1 1 1
3 3 2 λ3
4 2 2
4 3 1
5 2 1
6 1 1
4 4 λ2
5 3
6 2
7 1
8 λ1
Air
＿＿＿＿＿＿＿＿＿＿＿→
Air(8)
最下層に行けば行くほど連続で選択された数字
最上層に行けば行くほど等間隔で羅列された数字
このようなAir0-30までの区分から和因子の桁区分λ=最大6パターンの実解析を行う
392:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 22:45:52.15 nuBbFs6N.net
>>366
ふむ、それで、どのAir値の場合が当選しやすいか
あるいは、キャリーオーバー発生率とか
そういう計算を、Air値を使えば、解析できるってこと？（＾＾
393:BLACKX
17/12/05 23:00:18.24 BpwysDZ3.net
>>367
当選ではなく該当パターンの解析
Air値とλの区分でパターンが多い該当範囲が出やすいと考える(※断じて当選ではない)
後々二次パターン区分も選定していこうと考えている
394:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 23:12:42.34 nuBbFs6N.net
>>284 関連
数学科の卒研がどんなものか知らないが・・
例えば、下記平田（河野）典子先生
>>284の ”Topic: Differentiability of the Ruler Function”は、結構面白いと思うけど
ただ、ディオファントス問題：無理数と有理数の世界から、微分可能性を経て、Lipschitz condition、Hausdorff dimension、などてんこ盛りだ
ここ、ひょっとすると、新しい結果が得られる可能性もゼロではないかも（＾＾
URLﾘﾝｸ(trout.math.cst.nihon-u.ac.jp)
日本大学 理工学部
平成３０年度 数学科卒業研究 Last Updated: 10/31/2017
数学科３年および４年以上の卒業研究未着者へ
URLﾘﾝｸ(trout.math.cst.nihon-u.ac.jp)
平成３０年度 数学科卒業研究資料
URLﾘﾝｸ(trout.math.cst.nihon-u.ac.jp)
平田（河野）典子
(抜粋)
卒研では，整数論の面白い話題などを取り上げたいと思っています．入門書で(1)の勉強からはじめ，(2)(3) からテーマを選んで学びます．ゼミ生の意見を聞いて，希望に沿った学習内容を準備したいと考えます．
数学を丁寧に学ぶ気持ちを大事にして自主性を尊重し，楽しく意見を交わしながら進めます．(1) 代数学，特
395:に環論・体論(2) 単数方程式・整数格子など代数を使う整数論の話題について(3) 楕円関数・素数・無理数など，複素解析を用いる整数論の話題についてゼミ生と相談の上，他のテーマを取り上げる場合もあります． 石田 信著 「代数学入門」（実教出版）のうちの必要な箇所を勉強します．そのあとに以下の本などから希望に合うものを読みます． ＊共立出版の本「ディオファントス問題：無理数と有理数の世界」＊藤崎 源二郎「代数的整数論入門（上)」 裳華房＊Z. I. Borevich & I. R. Shafarevich著 「Number Theory」 Academic Press 和訳あり (引用終り)
396:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 23:14:48.72 nuBbFs6N.net
>>368
BLACKX さん、どうも。スレ主です。
説明ありがとう
当選と該当の違いが分らないが
出現頻度が高いということは、即ち当たりやすいということではないのですか？（＾＾
397:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 23:22:09.07 nuBbFs6N.net
>>369 追加
卒研で
>>48-49 Taylor先生の Generalized Hat Problems
（>>147-148にある[HT08b]のチョンボ（なぜチョンボか））
>>350 時枝記事、同値類の誤用
>>353 XOR’S HAMMERのYou and Bobのpuzzle、任意関数の数当て解法(>>54)での同値類の誤用
辺りも、ゲーム理論好きなら面白いかもね（＾＾
398:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/05 23:32:09.02 nuBbFs6N.net
>>371
あと、流行のデータ分析・機械学習モデルの数理とか
スレ46 ｽﾚﾘﾝｸ(math板:644番)
(抜粋)
URLﾘﾝｸ(mathetake.hatenablog.com)
ただの微分幾何学徒だった僕がデータサイエンスを何故/どのように勉強したのか Obey Your MATHEMATICS. はてなブログ 2017-02-26
データ分析・機械学習モデルの構築
399:BLACKX
17/12/05 23:41:59.85 BpwysDZ3.net
>>370
私のスレの引用ですが
>確認ですが、例えば、Air=8のパターン「521」というのは、次のようなものを
>指しているということですよね
>521→(6数に展開)→521000→(+1化)→632111→(並び替え)→
>(632111),(631211),(631121),(631112),...等 6!/(3!*1!*1!)=120通り
>例えば(632111)は、(a,a+6,a+9,a+11,a+12,a+13,a+14),a=1から23まで
>合計 120*23=2760 (通り)
総組み合わせで考えると、このようなパターンの内訳となっています。
従って、Air値内でもパターンなので数字は組み変わります。
出現頻度が高いとなってもAir値の中で組み変わり、パターン内でのハズレを避けやすくなると言った方が正しいかと思われます。
当たりやすくなるものではありませんが、同時にそのパターンを全通り抑えれば、という条件付きで当たりやすくなると考えます。
私の中では、数字を選定→パターンに当選しやすい→該当数字に当選しやすい
というような2段構成と考えられます。
数字を選定→当選数字を当選しやすい ではありません。
上記のような事を理解していらっしゃるのであれば、当たりやすいと言えます。
400:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 08:30:42.37 UdOecrrZ.net
>>373
どうも。スレ主です。
わたしら、すぐ、「何のために」と短絡的に考えてしまいます。（＾＾
”「ロト7」確率計算”すでにありますよね（ご存知の通り下記）
Air値を使った場合の数の母関数を作りたい？
URLﾘﾝｸ(onomatopeee.com)
「ロト7」・・・確率計算はこのようにしました。 おのまとぺドットコム 2017
(抜粋)
ロト 7 確率 計算 式
ロト 7 確率 計算式は学生の時に実施した�
401:矧wの確率論の問題の考え方と同様です。 5等の場合、選んだ数字の7つのうち、4個が当選のものと一致することになりますので、7C4×30C3 = 142,100となり、確率は142,100/10,295,472となります。 (引用終り) https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%887 ロト7 (抜粋) 等級 当せん内容 当せん確率 当せん金額 1等 申込数字が本数字に7個全て一致。 1 / 10,295,472 4億円 2等 申込数字7個のうち6個が本数字に一致し、且つ残り1個の申込数字がボーナス数字2個のうち1個に一致。 14 / 10,295,472 10,000,200円 3等 申込数字7個のうち6個が本数字に一致。但し2等当せん条件を除く。 196 / 10,295,472 1,000,000円 4等 申込数字7個のうち5個が本数字に一致。 9,135 / 10,295,472 12,500円 5等 申込数字7個のうち4個が本数字に一致。 142,100 / 10,295,472 2,000円 6等 申込数字7個のうち3個が本数字に一致し、且つ残り4個の申込数字のうち1個または2個がボーナス数字に一致。 242,550 / 10,295,472 1,000円 (引用終り) 注：表のセルが崩れているが、修正しません。もとのURLを見て下さい
402:ｽﾏﾎBLACKX
17/12/06 14:50:35.82 Nis2WnK6.net
>>374
はい
そういうことです
離散の度合いで分けるためAir値ではないと意味が無いと考えます
403:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:50:19.75 2d0lxo4o.net
「～後編：W.ハイゼンベルク先生～ 山崎和夫」数理科学 2017年12月号の記事が面白い
URLﾘﾝｸ(www.saiensu.co.jp)
数理科学 2017年12月号 No.654 特集：「ガウス」－ 数学，物理，天文学にそばだつ秀峰 －
■研究室の窓
・「二つの巨星の下で：二人の恩師の偉大さ，物理学観，お人柄等」 ～後編：W.ハイゼンベルク先生～ 山崎和夫
つづく
404:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:51:11.35 2d0lxo4o.net
>>376 つづき
山崎和夫先生については、この記事まで全く知らなかったのだが・・（＾＾
面白いですね（＾＾
仏コンヌ先生のところに留学された方を彷彿とさせる話が、満載です（＾＾
やっぱり、留学っていいですね（＾＾
URLﾘﾝｸ(www.msz.co.jp)
山崎和夫 みすず書房
1927年京都に生まれる。1950年京都大学理学部物理学科卒業。京都大学基礎物理学研究所助手を経て、1957-61年、1962-68年マックス・プランク物理学研究所に留学し、同研究所所員となり、ハイゼンベルク教授と素粒子の統一場理論の研究を行なう。
京都大学名誉教授。理学博士。訳書 『オットー・ハーン自伝』（1977）ハイゼンベルク『科学における伝統』（1978）エリザベート・ハイゼンベルク『ハイゼンベルクの追憶』（1984、以上みすず書房）ほか。
URLﾘﾝｸ(www.nikkei-science.com)
日経サイエンス 2007年4月号 特集：不確定性原理の今 ハイゼンベルク先生と統一理論に挑んだ10年 山崎和夫
(同じ写真が数理科学誌でも使われている)
つづく
405:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:51:42.37 2d0lxo4o.net
>>377 つづき
URLﾘﾝｸ(blogs.yahoo.co.jp)
'08春のopenトラカレ 山崎和夫先生２（歴史的な科学者の想い出）入間ヒッポ 多言語日記 2009/3/16
(抜粋)
量力といえば「部分と全体」そして山崎先生。
昨年のトラカレの山崎先生のお話では、その量力に出てくる先生方の様子が生き生きとお話されました。
まだブログに内容をupしていないので、がんばって載せましょう。
山崎先生はハイゼンベルクのお弟子さんで、ハイゼンの書いた「部分と全体」の翻訳をされた方です。
一昨年のオープ
406:ントラカレから講義を聞くのを楽しみにしていましたが、 体調がよろしくなく、昨年のトラカレでやっとお話を聞くことができました。 もう１年も前のノートをそのまま書き移します。 量子力学：20世紀人類が作りだした最大最高の文化遺産 部分と全体 "physic & beyond" 著者のハイゼンベルクは問題設定を重視する人。 ･･何を問題にしようとするか？→どういうアプローチの仕方をするか？ →良い問題設定ができれば半分以上解いたも同じ。 「素粒子」･･大きすぎること･･･どこをどう攻めて・・？ →自分自身の身の丈（金、設備、実力など）に合った攻め方をすること。 より具体的な目標を持って問題を作れ。 将棋のプロは序盤（前頭葉が働く）で時間をかける。これと同じ。 全体的見通し＝良い問題設定 →局地戦（部分） つづく
407:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:52:06.20 2d0lxo4o.net
>>378 つづき
量子力学
抽象的に学んでいくのではなく、具体的に使ってわかっていくということがある。
マニュアル化するとわかっていなくても使える。
理解の第一歩であるかもしれないが、本当に判っているとは言えない。
どういうことがわかったら本当にわかったと言えるのか？
「部分と全体」でハウエルに相対性理論について問われる場面がある。
ハイゼンベルクは数式の上では判っている。それで本当にわかっているのか？
判っているとは言い切れなかった。
マニュアル化＝数式化 では理解できる。
本当に判っているか？･･山崎先生は絶対判っているとはいいきれない。
「トラカレで（数式を使わないで）話すことで少しは進歩したかと・・」
語る時に比喩でしか語れない。
万人が日常用語を使って説明してもしきれない。
皆共通理解しているとは思えない。
あいまいな話ではないはずだが、日常のことばでは不正確な事しか言えない
（まるで先日聞いた淳さんの話のようだ）。
が、ちゃんと理解した人にとっては何を聞いても共通理解する（ｂｙハイゼンベルク）。
次から先生方の紹介です。
(引用終わり)
つづく
408:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:52:31.14 2d0lxo4o.net
>>379 つづき
URLﾘﾝｸ(blogs.yahoo.co.jp)
'08春のopenトラカレ 山崎和夫先生２（歴史的な科学者の想い出）入間ヒッポ 多言語日記 2009/3/16
(抜粋)
N,Heisenberg1925
Halb God 半神
デュルがハイゼンベルクに会いに行った時、半神と思って会いに行ったら、普通の人で安心した。
万能の天才
高根の花と思っている人から相手にしてもらってほめてもらって舞い上がる（by爆笑問題太田）
→山崎先生にとってハイゼンベルクがそうだった。
湯川先生により、弟子にしてもらった。
ドイツ語はできなかったが、早い段階で気に入ってもらえた。
ハイゼンベルクがフンボルト大で山崎先生の推薦文を書いてくれた。
量子力学を特別に素晴らしく良く理解していると褒めてくれたことを後になって知ったそうです。
素粒子の統一理論についてハイゼンベルクが知りたかったことについて山崎先生がドンピシャリ正確に言った。
ハイゼンベルクが見つけた、･･･こういう条件を満たす方程式、
これが唯一であるかどうか、他にも方程式があるのではないか？
これをハイゼンベルクは知りたかった。
研究所から一緒に歩いて帰った時にその話をされた
（「部分と全体」ではハイゼンベルクはいつも散歩しながらお話している印象だけど、山崎先生ともそうだったのね～）。
山崎先生はフィールズアイデンティティを使い、それ一つしかないことを証明できた。
これがハイゼンベルクの論文になった。
山崎先生がハイゼンベルクに認めてもらった瞬間！
こうしてハイゼンベルクのところで「つい長居してしまった」。
「�
409:≠ﾟに乗り換えていればよかったかな～？」 つづく
410:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:53:20.85 2d0lxo4o.net
>>380 つづき
アインシュタインは量子論抜きで統一論を作ろうとした（晩年30年）。ムリ！
ハイゼンベルクはいい人。押し付けない。
解くと決めたら解くまであきらめない。粘り強い人。
天才の特徴：集中力が持続すること（そうかも！）
optimist 楽観主義者（部分と全体にも入ってます）。
必ず成功すると信じ、努力した。
弟子にとっていい先生と思うのはプラス思考（いいところだけ見てくれる）。
悪いところはとりたててどうとは言わない。
（ホントだよね～）
つづく
411:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:53:50.67 2d0lxo4o.net
>>381 つづき
E,Schrodinger1926
幅の広い哲学的な人
生物物理（生命について）：物理学者が生命について論じたさきがけ
コペンハーゲン派（主流派）に対し、反主流派
確率論
少々シュレディンガー方程式やハイゼンベルクの運動方程式など説明され･･･
量子力学の未来
量子力学は完結している。
量子力学が否定されるものはもうない。超えるものは出てくるだろう。
山崎先生と量子力学の出会いは
高校生の頃、湯川先生の量子力学について書かれた本がおもしろそうだと思ったこと。
･･･ハイゼンベルクの「部分と全体」やヒッポの書籍「量子力学の冒険」に登場する
歴史的な科学者達のことを
「この人はこんな人でしたね～」と懐かしそうに話される山崎先生にびっくり。
過去と今をつないでいらっしゃる、貴重な方って感じがしました。
今度は量子力学の講義を聞きたいです。
(引用終わり)
つづく
412:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:54:17.75 2d0lxo4o.net
>>382 つづき
これ、「負の温度」というのが面白いと思った
URLﾘﾝｸ(www.ss.scphys.kyoto-u.ac.jp)
前野悦輝教授が仁科記念賞受賞 (文部科学者グローバルCOEプログラムのニュースレターより) NGP NEWS LETTER No.9
京都大学 GCOE 普遍性と創発性から紡ぐ次世代理学 -フロンティア開発のための自立的人材育成- (2011.2.1)
常見 俊 物理学第二教室 原子核ハドロン研究室 研究員
(抜粋)
超流動という言葉には、学部2回生のときに、「熱統計物理学」の講義で印象的に出会いました。素粒子・場の理論の山崎和夫さんが「キッテル熱物理学」の教科書に忠実に沿って講義を進められ、とてもわかりやすかつたのを覚えています。特に、「負の温度」の定義や「超流動」の話が印象的で、低温物理学に魅かれていきました。
(引用終わり)
つづく
413:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:54:49.72 2d0lxo4o.net
>>383 つづき
URLﾘﾝｸ(ja.wikipedia.org)
負温度
(抜粋)
負温度（ふおんど）とは、統計力学において熱平衡状態で絶対温度が負[要出典]となっていること、またその際の温度を指す。
直観とは逆にこれは極めて冷たいことを示すのではなく、いかなる正の絶対温度よりも熱いことを示している。何故なら反転分布のエネルギー係数は －1/Temperature となるからである。この文脈では －0度は他のどの負温度よりも最も高い温度である[1]。
正の温度との関係
カノニカル分布で考えると、このような系はエネルギーの低い状態よりもエネルギーの高い状態の方により高い確率でなるので、通常の正の温度の系（エネルギーの高い状態よりもエネルギーの低い状態の方をより高い確率でなる
414:）と触れていると、負の温度の系から正の温度の系に熱が流れていく。 また、絶対温度Tが±∞においては、どのようなエネルギーの状態も等確率で出現するが、Tが負の側から0に近づいていけばいくほど、系はほぼ確実に最もエネルギーの高い状態を取るようになっていくので、負の温度領域においては温度の絶対値を下げるために外部から熱を流入させる必要がある。 つまり負の温度というのはいかなる正の温度よりも高い温度であり、その絶対値が小さくなればなるほど系はより高温となっていく。 (引用終わり) つづく
415:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:55:14.29 2d0lxo4o.net
>>384 つづき
これ（PDF）、数理科学誌の記事と併せて読むと面白いね
URLﾘﾝｸ(www.jstage.jst.go.jp)
J-STAGE home/Morphologia / Volume 2004 (2004) Issue 26 / Article overview
URLﾘﾝｸ(www.jstage.jst.go.jp)
ハイゼンベルクとゲーテ 山崎和夫 著 Morphologia ?2004
つづく
416:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:56:35.81 2d0lxo4o.net
>>385 つづき
URLﾘﾝｸ(blog.goo.ne.jp)
部分と全体： W.K. ハイゼンベルク 2016年09月18日 とね日記
(抜粋)
内容紹介：
本書は量子力学建設期の巨人、W・ハイゼンベルクによる『Der Teil und das Ganze』(1969) の邦訳である。訳はハイゼンベルクのもとで彼と共同研究を行っていた山崎和夫により、序文を湯川秀樹が寄せている。
この豪華な顔ぶれが並ぶ本のページをめくってみると、まず内容のおもしろさに引き込まれる。題名からは難解な哲学書を思わせるが、本書はハイゼンベルクの自伝なのである。
圧巻は彼とボーア、アインシュタイン、ゾンマーフェルト、パウリ、ディラック、プランク等巨人たちとの対話である。
そこではアインシュタインが「サイコロを振る神」の考え方を受け入れられず執拗に食い下がり同僚にいさめられたり、温厚な人柄で知られるボーアがシュレーディンガーと対決しついにシュレーディンガーが熱で倒れるも、ボーアはベッドの横にイスを持ち込んで議論を続けようとしたりと、そこからは巨人たちの姿を生身の人間として感じることができる。
キリスト教の聖書は物語と対話によって神の教えがあらわされているが、本書では物語と対話によって物理学の巨人たちの教えがあらわされている。その言葉には重みがあり本書を開くたびに新たな発見がある。
ハイゼンベルクの着想が、物理学者との対話によって播かれ、育ち、開化する様を克明に伝え、両大戦の狂気や荒廃に満ちたドイツにあって、研究者・教師、人間、一国民として彼がいかに行動してきたかを示す。74年刊の新装版。
1999年11月刊行、403ページ。
つづく
417:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:57:46.46 2d0lxo4o.net
>386> つづき
著者について：
ヴェルナー・ハイゼンベルク： ウィキペディアの記事
1901年、ドイツのヴェルツブルグに生まれる。
ミュンヘン大学でゾンマーフェルトのもと物理学を学び、コペンハーゲンでニールス・ボーア研究所に入り、さらにゲッティンゲン大学でボルンと共同研究を行い、1925年、行列力学として量子力学を創始した。
1927年、不確定性原理を発見、同年ライプチヒ大学教授、多体問題の研究から進んで、1928年強磁性の本質を明らかにし、1929年にはパウリと共に場の量子論を発表。相対性量子力学をつくった。
1932年、原子核が中性子と陽
418:子からなるという理論を発表。その他、宇宙線理論、超伝導の研究などにも業績を残している。 1932年ノーベル物理学賞受賞、1976年没。 著書『自然科学的世界像』(1953, 1979）、『量子論の物理的基礎』（1954）、『現代物理学の自然像』（1955）、『原子核の物理』（1957）、『素粒子の統一場理論』（1966）、『現代物理学の思想』（1967）、『科学における伝統』（1977）。 つづく
419:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:58:21.27 2d0lxo4o.net
>>387 つづき
訳者について：
山崎和夫（やまざき かずお）
1927年京都に生まれる。1950年京都大学理学部物理学科卒業。
京都大学基礎物理学研究所助手を経て、1957年-1961年、1962年-1968年マックス・プランク物理学研究所に留学し、同研究所所員となり、ハイゼンベルク教授と素粒子の統一場理論の研究を行う。
京都大学名誉教授。理学博士。訳書 『オットー・ハーン自伝』（1977）ハイゼンベルク『科学における伝統』（1978）エリザベート・ハイゼンベルク『ハイゼンベルクの追憶』（1984）ほか。
つづく
420:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 15:59:53.14 2d0lxo4o.net
>>388 つづき
物理学への関心、物理学者としての姿
ハイゼンベルクが高校生になる頃には、物理学の世界では原子の中を探求する時代が始まっていた。プランクによって量子仮説が発表され、アインシュタインは相対論だけでなく光量子仮説を発表していた。
また後に師となるボーアは1913年に量子条件を提唱し「電子は原子核の周囲を回るときには、特定の軌道しかとることが出来ない」と結論している。
高校生の頃にはハイゼンベルクは才能を開花させていた。教科書にはホックと留め金のついた原子の図が載っていて、分子結合の解説がされていた。これを不自然に思ったハイゼンベルクは同級生と議論を始める。
ギリシャ哲学から古典力学まで、論理的な推論を積み重ね、見ることのできない原子の姿を明らかにしようとする。そこには後に不確定性原理の発見へ結びつく着想が芽生えていた。
当時のドイツの青少年は「ヴァンダールング」と呼ばれる長距離ハイキングをしながら文化や科学、芸術などあらゆる分野について議論していたそうだ。ときには２～３日もの間野山を歩くのだ。日本語ではワンデルングで認知されている。
ドイツ青少年の野外活動を率先して行おうとする「ワンダーフォーゲル」と言う活動は聞いたことがあると思う。ワンデルングはそれに似ていて野山を歩き回ることだ。
健康的だし健全だと思ったが、なかなか真似できるものではない。真面目な活動だと思う反面、そのような集団活動の中に団結精神や排他性が過度に強調されがちな当時のドイツの危うさを僕は感じた。
大人になってからもハイゼンベルクはヴァンダールングをしていてボーアともたびたび議論をしながら野山を歩いていた。
高校を卒業し、ゾンマーフェルトのもとで研究生活が始まる。電子の運動の軌跡は霧箱の実験で確認できていたわけだが、原子の中での電子の軌道というものは存在するのだろうか？
一緒に研究していた1歳年上のパウリと議論を闘わせる。量子条件を満たしているとすると電子はひとつの軌道からもうひとつの軌道へと瞬間的にジャンプすることになってしまう。
この点をめぐって２人の間で繰り広げられる鋭く、そして建設的な議論はとても生々しい。
つづく
421:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 16:02:26.38 2d0lxo4o.net
>>389 つづき
ハイゼンベルクは「霧箱における電子軌道の観測」がもたらす存在の問題と「量子力学をめぐる数学」がもたらす存在の問題とを、新しい理論でつなげようとした。これが有名な「ハイゼンベルクの不確定性原理」になった。
そのほか師であるボーアそしてアインシュタイン、ディラック、プランクなど量子力学の創始者たちと繰り広げられる対話・討論が本書の読みどころである。前期量子論から量子力学創成期の貴重な記録だ。
他書では「解説」ですまされるところが本書では創始者たちの生々しい会話として再現されている。
25歳のハイゼンベルクが47歳のアインシュタインを説得しようと初めて議論を挑んだのは1926年の春だった。アインシュタインは納得せず翌年10月
422:にブリュッセルで行われる第5回ソルヴェイ会議での歴史的なボーアとの討論（激論、闘論？）に持ち越される。 量子力学を巡るアインシュタインとボーアの戦い、その真の勝者は･･･【山椒読書論（301）】 http://enokidoblog.net/sanshou/2013/11/9927 特にボーアは生涯を通じてハイゼンベルクとの関わりが深かった。量子力学をめぐる対話だけでなく、親しい友人として家族同然の付き合いをしており、レジャーや旅行を通じて親交を深めている。その後、第二次世界大戦が二人の関係を引き裂いたことは「原子爆弾 1938～1950年： ジム・バゴット」に詳しく書かれていて悲痛に思っていたが、本書ではそのことにほとんど触れられていなかった。 「原子の安定性」といえばボーアの量子条件が思い当るが、ボーアとハイゼンベルクの対話の中でボーアが主張していたのは「化学反応の安定性」だった。同じ条件で化学反応は全く同じ結果になる。これは原子が安定していることを意味するのだと僕は気づかされた。 行列力学や不確定性原理を発見したときのことは、比較的詳しく書かれている。しかしノーベル賞受賞のことは書かれていのが物足りなかった。また不確定性原理以外にもハイゼンベルクは強磁性、場の量子論、原子核が中性子と陽子からなるという理論を発表、S行列の理論、宇宙線理論、超伝導の研究など、さまざまな功績をしているのだが、これらについての記述も本書には書かれていない。 項目だけなら記述可能だが、詳しく書こうとすると本書のレベルをはるかに超えるし、分量的にも無理があるということなのだろう。 つづく
423:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 16:03:03.16 2d0lxo4o.net
>>390 つづき
パウリとともにハイゼンベルクは戦後も第一線の研究者として物理学の発展に貢献している。本書を訳された山崎和夫先生がハイゼンベルクに師事しながら研究をしていたのは1957年-1961年、1962年-1968年のことである。
特集：不確定性原理の今
ハイゼンベルク先生と統一理論に挑んだ10年
URLﾘﾝｸ(www.nikkei-science.com)
「部分と全体」というタイトルについて
「部分と全体」というタイトルの意味だが、訳者あとがきには次のように書かれている。
- ナチズムという誤った部分的秩序の枠内にいる限り、若者の素晴らしい善意も行動も、何一つ人類全体の幸福には結びつかない。
- ハイゼンベルクは部分としての数学をていねいに行うことをゾンマーフェルトから学び、全体を哲学的に考えることをボーアから学んだ。
- 物理学のためには細かいひとつひとつの部分に全力を尽くしながら、常に全体の見通しを持って進まなければならない。
でも僕としてはストレートに次のように解釈したい。いかがだろうか？
- 部分としてのミクロな量子力学の世界が、全体として古典力学に従うマクロな世界をかたち作る。
(引用終わり)
以上
424:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 16:17:02.72 2d0lxo4o.net
>>375
BLACKXさん、どうもスレ主です。
釈迦に説法だが、下記なんかはご存知なんだよね？
よく理解できないのが、Air値を使うアドバンテージなんだけど
下記などは、Air値使ってないみたいだし、なんでかな～？と
それに、小生理解は、ロトくじは外国でやっていて、日本に導入されたと。
だから、外国でのロト確率計算の文献って、多いように思うのだが・・・。その中に、探している解法そのものとか、ヒントがないかな～と
まあ、それを検索するスキルと情熱が、私にはないのが残念だが
私ら、なかなかガウスのように始められないのよね。すぐ、「ガウス先生が居ないかな？」と検索から始めてしまうスレ主です～（＾＾
URLﾘﾝｸ(lotonum-web.com)
【第1回】初心者必見！ ロト6（ロトシックス）当せん確率の計算 川村先生＆野﨑先生のロトナン確率講座 2017/03/06
(抜粋)
皆さん、はじめまして
425:。大学で確率論を教えています川村と申します。今回より確率の”初学者”向けにコラムを執筆していきたいと思います。初学者と書きましたが、皆さんも中学校の数学から少しずつ学んでいるはずです…。もう覚えてないよ！と言う方に、本コラムでは、ロトナンバーズに関係がある部分を解説していきたいと思います。 ロトナン確率講座は、私と野﨑の二人で進めていきます。主に、確率の基礎とロトの確率講座を川村が、期待値の基礎とナンバーズの確率講座を野﨑が担当します。お楽しみに。 川村 正樹（かわむら まさき） 1999年 筑波大学大学院工学研究科博士課程修了。博士（工学）。現在、山口大学大学院創成科学研究科准教授。 主な研究内容は、ニューラルネットワークの理論や、電子透かしモデルの復号アルゴリズムなど。著書「CentOS 7で作るネットワークサーバ構築ガイド」(秀和システム)などLinux関係の解説本を多数執筆。 山口大学卒業生のためなら、ロトナン確率講座講師を引き受けましょうと、本講座に着手。
426:ｽﾏﾎBLACKX
17/12/06 19:05:30.99 Nis2WnK6.net
>>392
知ってますよ
ただLOTOを一方的に見た確率だからそんなのはとうの昔に学習済みです。
Air値を使う理由は一方的に認識し観測したモノとは逆の視点からとなります。
それは当たり目視点でなおかつ客観的に見たのがAirとなります。
Air値を使う理由は連番や等間隔やそれに準ずる並びを排除する事にあります
例えば4桁のダイアル式のキーだと当たりを探索するのに1000通りありますが、
0000-9999のようなゾロ目や1234や1357のような階段やN+1を使う当たりとなる解はすぐに理解されてしまう為、使う人は少なくなります。
そういった並びを排除すると事象と向き合うことが出来ると考えます。
427:BLACKX
17/12/06 19:29:07.42 GvVjtrL7.net
>>393
桁ミス
10000通り
428:１３２人目の素数さん
17/12/06 21:49:53.40 CGJxfgY8.net
>>1
リアルの話
女の子の友達を次々と無くしていく
できても長く続かない
大事な男友達もそれほどではないが増えては減ってい
く
いつも誰かに傷つけられる
納得いかないことを言われる
これだけ数学してるのに給料はない
給料があればあとは必要な技術さえ身につければ結婚
の希望も見えてくるのに
寂しさも孤独感も分からないくらいに数学に打ち込み
たいのに
傷つきすぎた
失いすぎた
破壊されすぎた
数学だけはいつも心の中にある
数学だけは必ず裏切らなかったし期待に応えてくれた
生きるのが苦しい
429:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 21:52:45.87 UdOecrrZ.net
>>393-394
BLACKXさん、どうも。スレ主です。
>Air値を使う理由は一方的に認識し観測したモノとは逆の視点からとなります。
>それは当たり目視点でなおかつ客観的に見たのがAirとなります。
ああ、そうなん
面白い結果が出たら、教えて下さい（＾＾
理解できないから、またまた検索したら、下記ヒットした。ご存知と思うが、自分のメモとして貼る
後述”It is a hard (and often open) problem to calculate the minimum number of tickets one needs to purchase to guarantee that at least one of these tickets matches at least 2 numbers.”とか
それと、Euler's Analysis of the Genoese Lottery at Conv
430:ergence Mathematical Association of America https://www.maa.org/press/periodicals/convergence/eulers-analysis-of-the-genoese-lottery-introduction とか（オイラー先生の解析） えらく、古くから研究されているみたい（＾＾ https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%88 ロトくじ - 世界各国で発売される富くじ、宝くじのこと。ロッタリー(英語:Lottery)の略。 日本で発売される「ミニロト」「ロト6」「ロト7」のこと。詳細は数字選択式全国自治宝くじの項目を参照。 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%97%E9%81%B8%E6%8A%9E%E5%BC%8F%E5%85%A8%E5%9B%BD%E8%87%AA%E6%B2%BB%E5%AE%9D%E3%81%8F%E3%81%98 数字選択式全国自治宝くじ https://en.wikipedia.org/wiki/Lottery Lottery (抜粋) Contents [hide] 1 Classical history 2 Medieval history 3 Ticket gallery 4 Early modern history 4.1 France, 1539?1789 4.2 England, 1566?1826 4.3 Early United States 1612?1900 4.4 German-speaking countries 4.5 Spain, 1763 5 Modern history by country 5.1 Australia 5.2 Canada 5.3 Mexico 5.4 Spain 5.5 Thailand 5.6 United Kingdom 5.7 United States 6 Mathematical analysis 6.1 Probability of winning 7 Scams and frauds 8 Payment of prizes 9 See also 10 References 11 Further reading 12 External links (引用終り) つづく
431:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 21:53:56.47 UdOecrrZ.net
>>396 つづき
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Early modern history
France, 1539?1789
King Francis I of France discovered the lotteries during his campaigns in Italy and decided to organize such a lottery in his kingdom to help the state finances. The first French lottery, the Loterie Royale, was held in 1539 and was authorized with the edict of Chateaurenard.
This attempt was a fiasco, since the tickets were very costly and the social classes which could afford them opposed the project. During the two following centuries lotteries in France were forbidden or, in some cases, tolerated.
URLﾘﾝｸ(en.wikipedia.org)
6 Mathematical analysis
6.1 Probability of winning
Mathematical analysis
The purchase of lottery tickets cannot be accounted for by decision models based on expected value maximization. The reason is that lottery tickets cost more than the expected gain, as shown by lottery mathematics, so someone maximizing expected value should not buy lottery tickets.
Yet, lottery purchases can be explained by decision models based on expected utility maximization, as the curvature of the utility function can be adjusted to capture risk-seeking behavior.
More general models based on utility functions defined on things other than the lottery outcomes can also account for lottery purchase. In addition to the lottery prizes, the ticket may enable some purchasers to experience a thrill and to indulge in a fantasy of becoming wealthy.
If the entertainment value (or other non-monetary value) obtained by playing is high enough for a given individual, then the purchase of a lottery ticket
432: could represent a gain in overall utility. In such a case, the disutility of a monetary loss could be outweighed by the combined expected utility of monetary and non-monetary gain, thus making the purchase a rational decision for that individual. (引用終り) つづく
433:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 21:54:41.40 UdOecrrZ.net
>>397 つづき
URLﾘﾝｸ(en.wikipedia.org)
Lottery mathematics
(抜粋)
Contents [hide]
1 Choosing 6 from 49
2 Odds of getting other possibilities in choosing 6 from 49
3 Pick8-32 odds and calculations
4 Powerballs And Bonus Balls
5 Minimum number of tickets for a match
6 References
7 External links
Minimum number of tickets for a match
It is a hard (and often open) problem to calculate the minimum number of tickets one needs to purchase to guarantee that at least one of these tickets matches at least 2 numbers. In the 5-from-90 lotto, the minimum number of tickets that can guarantee a ticket with at least 2 matches is 100.[3]
References
１． Zabrocki, Mike (2003-03-01). "Calculating the Probabilities of Winning Lotto 6/49,Version 3" (PDF). Retrieved 2016-08-14.
URLﾘﾝｸ(garsia.math.yorku.ca)
URLﾘﾝｸ(garsia.math.yorku.ca)
Math 5020
Fundamentals of Mathematics for Teachers
Professor Mike Zabrocki
(March 1, 2004) I revised the draft of the explanation of Lottery 6/49 to produce version 3. At this point I don't have much momentum on this project, but please offer your comments on the forum (I got none this last week except for one negative one). See my remarks on the forum. I will bring this up in class tonight.
External links
・Euler's Analysis of the Genoese Lottery at Convergence Mathematical Association of America
URLﾘﾝｸ(www.maa.org)
（オイラー先生の解析もなんかすごいね）
・Lottery Mathematics
URLﾘﾝｸ(probability.infarom.ro)
（このサイトは結構詳しいね）
(引用終り)
以上
434:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 22:01:10.78 UdOecrrZ.net
>>395
・悪いが、訳分からん
・来るところを間違えている。「人生相談板」にでも行けば～？（＾＾
・「これだけ数学してるのに給料はない」って、当たり前
・数学だけやって給料貰えるのは、ほんの一握りだけ。それ、昔からの証明済み定理だろうよ！
・いまどき、数学＋（プラス）なにかもう一芸ほしいよね（＾＾
以上
435:１３２人目の素数さん
17/12/06 22:31:25.57 Eo8eW1BK.net
＞いまどき、数学＋（プラス）なにかもう一芸ほしいよね（＾＾
と、大学一年生に嘲笑されながら申しております
436:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:18:38.70 UdOecrrZ.net
>>376
山崎和夫先生の記事に、”フィールツ の恒等式”というのが出てくるので、検索した結果を貼る（＾＾
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
スーパースペース（超空間）とは何ですか？ yahoo 2008/8/31
(抜粋)
ベストアンサー以外の回答1?3件/3件中
pistis_sophia_00さん 2008/9/4
超対称理論は、過去いくつか提案されてきましたが、多くの人が正しいと思っているのはWess-Zumino理論（とその発展）です。
A→A＋δA、B→B+δB、ψ→ψ＋δψ、F→F＋δF、G→G＋δGという変換を施してもラグランジアンが不変であることがわかります。
（計算はかなり大変。フィールツ恒等式をつかう）
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Fierz identity
(抜粋)
In theoretical physics, a Fierz identity is an identity that allows one to rewrite bilinears of the product of two spinors as a linear combination of
437:products of the bilinears of the individual spinors. It is named after Swiss physicist Markus Fierz. There is a version of the Fierz identities for Dirac spinors and there is another version for Weyl spinors. And there are versions for other dimensions besides 3+1 dimensions. Spinor bilinears can be thought of as elements of a Clifford Algebra. Then the Fierz identity is the concrete realization of the relation to the exterior algebra. The identities for a generic scalar written as the contraction of two Dirac bilinears of the same type can be written with coefficients according to the following table. (引用終り) https://en.wikipedia.org/wiki/Markus_Fierz Markus Fierz https://ejje.weblio.jp/content/identity identity 主な意味 同一であること、同一性、一致、同一人であること、本人であること、正体、身元、独自性、主体性、本性 研究社 新英和中辞典での「identity」の意味 ３ 可算名詞 【数学】 恒等(式); 恒等関数. (引用終り)
438:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:19:44.00 UdOecrrZ.net
>>400
おまえ１年生かい？（＾＾
439:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:37:31.14 UdOecrrZ.net
東大京大の数オリメダル級で、大学１年にして、私らを遙かに凌駕する人いるだろうね・・（例えば下記荒木 不二洋先生みたいな・・）
スレ39 ｽﾚﾘﾝｸ(math板:185番)
185 名前：￥氏 ◆2VB8wsVUoo [sage] 投稿日：2017/08/20(日) 07:12:24.91 ID:vRIJh8/a [3/16]
(抜粋)
今思い出したが、かつてこんな事があった。私は阪大の学部学生の時に「Schiffの量子力学
の教科書」を必死で勉強してたが、その中身がどうも気持ちが悪い。なので質問に行った。
数理研の荒木教授：
その教科書なら僕は高校生の時に読みました。ソコがちゃんと書いてないのは確かに良くな
いと僕も思うんですがね、それでキミはどう考えるんですか。ちゃんと正確に述べて下さい。
という様な事でしたね。
スレ39 ｽﾚﾘﾝｸ(math板:190番)
190 自分：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/08/20(日) 07:58:37.73 ID:pWaRphaP [4/39]
(抜粋)
￥さんの話は、いつも興味深いですね
”数理研の荒木教授：その教科書なら僕は高校生の時に読みました。”ねー
うーんと、検索すると下記”父は元京大教授荒木源太郎”で、”湯川秀樹先生に相談の上、理論物理学者である荒木源太郎先生［3］を招聘されたそうです［1］。将 来の化学を担う人材の育成には量子力学も必要だと”・・
まあ、お父さんの書棚の本を読んだのですね？
多分、その調子だと、読んだのは、Schiffの量子力学だけではないでしょうね（お父さんの書棚の本を読みまくったのかな？）
Schiffの量子力学は、荒木 不二洋のころだと、当然原書でしょうね。数学だけじゃなく、原書の英語も読めたんだ（＾＾
荒木 不二洋先生は、高校生ですでに、並みの大学教授を上回る、量子力学の力があったということでしょう
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
荒木 不二洋（あらき ふじひろ、1932年7月28日 - ）は、日本の数学者。数理物理学者。京都大学名誉教授。京都大学数理解析研究所元所長。専門は場の量子論・量子統計力学の代数的構造論、作用素環論。父は元京大教授荒木源太郎。
(引用終り)
440:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/06 23:45:54.49 UdOecrrZ.net
BLACKXさん、分からない問題はここに書いてね438
ｽﾚﾘﾝｸ(math板:186番)
186 名前：BLACKX ◆jPpg5.obl6 [sage] 投稿日：2017/11/28(火) 23:16:24.46 ID:FNaKctJX
URLﾘﾝｸ(imgur.com)
整数の分割と言う参考書の
6.10の式の代数操作後の式の代数操作の詳細がわかりません。
どのような操作を行うと操作後の式になりますか。ご教授お願いします。
(引用終り)
これがレスつかないから、私が、>>201（2017/12/02(土) ）でレスを付けたのをお忘れなく
別に自慢するわけではないが、”えっへん”・・（＾＾
（東大京大）大学一年生に嘲笑されるレベルのスレ主だろうし、否定はしないが
この数学板のレベルも、そんなものよ！（＾＾
441:BLACKX
17/12/07 02:09:53.83 KvBQXGSb.net
ぼく、しょうがく４ねんせいだからその問題わからなかったー
442:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:18:33.30 jVxSMgKf.net
>>405
BLACKXさん、どうも。スレ主です。
メッシュ屋って、こんな絡みの話かい？
URLﾘﾝｸ(www.businessinsider.jp)
「匠の技」頼みの日本自動車メーカーの危機?? VRでの新車開発でドイツに完敗 井上久男 BUSINESS INSIDER JAPAN 20171207
自動車産業界ではいま、大きなパラダイムシフトが起きている。その動きは「CASE」というキーワードで端的に象徴される。Connected（つながるクルマ）、Autonomous（自動運転車）、Shared（配車サービスなど）、Eelectric（電気自動車）の頭文字を取ったものだ。
日本の自動車メーカーはVRを使った開発がドイツに比べて遅れている。その理由は端的に言えば、「匠の技万能主義」と過剰なほどの現場主義がハイテク技術の導入を妨げているからだ。
ドイツではVRの技術を駆使して、実物での試作を減らし、机上で開発試作の仕様作りを完了する流れが強まっている。こちらの方が開発のスピードが圧倒的に早いうえ、開発の上流で、下流の製造まで意識した設計にすることから、品質トラブルも減少するという。
バーチャル・シミュレーションを使った手法は「モデルベース開発（MBD）」とも呼ばれる。実物で確認しづらい宇宙探査機やソフトウエアの開発で生まれた手法だ。仕様の「数値モデル」を実物での試験なしに机上で作り上げてしまうことからその名が付いた。
これが自動車の世界にも応用され始めているのだ。電子制御化が進む現在のクルマはソフトウェアの塊だ。高級車だと、ソフトウェアの分量を示す「行数」は1000万行を超え、ボーイングの最新鋭機「787」の約800万行よりも多い。これが前述した「CASE」によってさらに増えると見られる。
つづく
443:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:19:48.37 jVxSMgKf.net
>>406 つづき
マツダのノウハウを求めたトヨタ
日本でMBDを使って短期間で開発に成功した例としては、マツダの「スカイアクティブエンジン」が業界では有名だ。開発にあたってマツダはドイツのツールを使っている。これに対して、昔ながら
444:の現場主義にこだわるトヨタはMBDの全社的な導入が遅れていると言われる。トヨタとマツダが提携したのも実は、こうしたマツダのノウハウをトヨタが求めたからだ。 ドイツに限らず、欧州ではバーチャル・シミュレーションの導入が進んでいる。1980年代、フォルクスワーゲンが日本車に駆逐されて北米市場から撤退したように、大衆車ではドイツ車の品質は日本車にかなわなかった。こうした教訓から、「メイド・イン・ジャパン」打倒のために欧州を挙げて開発手法の刷新と効率化を進めてきた。 現在は第8世代のプロジェクト「ホライズン2020」が始まっている。 こうした問題提起をすると、日本でもCAD（コンピューターによる開発支援）やCAM（コンピュータによる製造支援）が進んでいるとの反論を受けるかもしれない。しかし、敢えて言いたい。 CADやCAMは単に設計図をデジタル化した業務の効率化に過ぎない。これに対してVRを使って試作を減らす手法は開発哲学の抜本的な変更で、イノベーションを起こすツールとも言えるだろう。 日本の自動車産業にいま、バーチャル・エンジニアリングの脅威が迫っている。 井上久男 (いのうえ・ひさお)：ジャーナリスト。1964年生まれ。1988年九州大学卒業後にNECに入社。1992年朝日新聞社に転職して主に名古屋、東京、大阪の経済部でトヨタ自動車や日産自動車、パナソニック、シャープなどを担当。2004年、朝日新聞を退社、フリージャーナリストに。最新刊に『自動車会社が消える日』。 (引用終り)
445:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:28:59.37 jVxSMgKf.net
>>405
BLACKXさん、どうも。スレ主です。
分っていると思うが、老婆心ながら・・
１．高校生が、オイラーやガウスやガロアの研究した定理を独自に再発見すれば、称賛されるだろう
２．まあ、大学学部でも同じかも
３．修士だとどうだろう。博士課程だと、先行研究の調査が甘いと言われるだろう
４．社会人なら？ 他人の先行研究を知らずに、発表しても評価は低いだろう。場合によれば、盗作を疑われる
５．ビジネスなら、他者の特許や著作権、知的財産の権利侵害で問題になる可能性もある
で、先行研究の調査抜きでやっているような感じがするんだよね
まあ、遊びなら良いけど。でも、遊びにしても、先行研究の調査はやって良いんじゃ無いかな？ 社会人なんだから・・
446:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 08:38:58.06 jVxSMgKf.net
BLACKXさん、どうも。スレ主です。
知らないことがあることは、別に、だれにでもあることで、そのための掲示板でもある
ソクラテスの無知の知だろう
数学界でも、共同研究が増えている
一人でやる場合もあるだろうが、複数の人でやることも普通でしょ
まあ、>>404は、冪級数展開が閃くかどうかだけの話なんだよね
447:ｽﾏﾎBLACKX
17/12/07 12:36:49.44 51hbZHFD.net
>>408
言われるね
メッシュ屋だと特にデータ走らせる前に数値選定してカットするから
カットが甘いとメッシュもきれいに分かれないからね
例えば定数の中に無理数とかがあるとうまく切れずに全てデータの意味無しだから無理数に置き換わる何かか寸法が無理数に対応できる切り方をしないといけない
私は今回やるにあたって2年ぐらいかけて友愛数や桁の多い倍数判定法など学んできたけどAir値から分割するっていうのは整数で切れるように構築して％とか無理数は無い状況にしたつも
448:りだったけど甘かったよ当然。 自分の知識が先行して素数や展開式を疎かにして数学において行かれた気がするよ でも構築の仕方が条件付きの7数展開の整数論だから無理数は無いと考えます 後は私が数学をもっと勉強するだけですね
449:ｽﾏﾎBLACKX
17/12/07 12:42:41.20 51hbZHFD.net
>>406
車メーカーじゃないよ
でもメーカーの設計部門の解析上流部署だね
要するに、どういう風に材料の場を分けて5力のデータを取るかの部署
450:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:08:22.19 jEF0wwAo.net
>>409 補足
>まあ、>>404は、冪級数展開が閃くかどうかだけの話なんだよね
山崎和夫先生が、「～後編：W.ハイゼンベルク先生～ 」数理科学 2017年12月号の記事に
に書いていることで
ハイゼンベルク先生がパウリ先生と共同研究のラグランジアンLについて
山崎和夫先生一生で最高の閃きが、”フィールツ の恒等式”だという
たまたま、京都の基礎研の助手時代に、ゼミで縁遠い、宇宙線か原子核の話で、弱い相互作用のディラック方程式に関するものを聞いたことをうっすらと覚えていた
その式の具体的な形を殆ど知らなかったが、それがドンピシャはまったらしい
山崎和夫先生は、「パウリもそれについて十分詳しいはずで、なぜ気づかないのか不思議だ」という
ということで、気づくかどうかは、そのとき次第。ハイゼンベルク先生やパウリ先生も同じなんだ
だから、他人に相談することは、悪いことではないよ
451:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:09:11.48 jEF0wwAo.net
>>410
BLACKXさん、どうもスレ主です。
細部は、あまり立ち入る気は無いのだが・・
１．スレ立てしているのをざっと読んだけど、先攻調査のサーベイがない。まあ、良いんだけれど、それだと、他人（特に初心者）は参加し難いだろう
２．「友愛数や桁の多い倍数判定法」はロトの周辺でしょ。ロトそのもの、あるいはロトの数学を直接扱った文献があるはずと思ったのだが
３．で、「先攻研究はここまでで、こういう欠陥・問題点があるから、だからAir値使う」みたいなストーリーが見えてこない気がしたので、>>408を書いた
452:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 14:09:57.23 jEF0wwAo.net
>>409
BLACKXさん、どうも。スレ主です。
>要するに、どういう風に材料の場を分けて5力のデータを取るかの部署
そこ、昔はみんな苦労していたね（今でもか）
計算機パワーも無かったし、メモリーも少なかったし
特に、応力集中になる部分とか、力の流れ（断面積）が変わるところなどね
453:ｽﾏﾎBLACKX
17/12/07 18:53:06.66 51hbZHFD.net
>>413
サーベイを始めたのはスレの中旬ぐらいなので計算協力してもらってからで1年前ぐらいからですね
本当にこの方針でいいのか？との疑問から。
そしたら同じでは無いけど海外ので選抜数字の和で表して計算してたのを見つけた。(どの記事かはエビデンスも取っておいてないし、忘れた)
そこでは同じ和の中の、選抜数字の重複度を計算してたけど非友愛の関係から数字がまとまって行くから最低コレだけは重複するまでしか求まっていなかった。
だから何が何個の尺度で計算するならAir値を使い括った方が最適だと再認識したからこれを本腰を入れて始めた。
454:BLACKX
17/12/07 20:08:51.56 KvBQXGSb.net
>>414
まだまだ周り見ると苦しそうだよ
エントロピーが絡むから私の所は本当に5力に細心の注意を払う
営業さんが容量どれくらいっていうふんわりしたところから始まるからいろいろやり様はあるけどこれかこれみたいに数字で初めにうちの部署から提示しなきゃいけないから圧損メッシュで苦しむ
455:人もちらほら(笑)
456:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:18:29.60 jVxSMgKf.net
>>415
BLACKXさん、どうも。スレ主です。
>サーベイを始めたのはスレの中旬ぐらいなので計算協力してもらってからで1年前ぐらいからですね
ああ、これ2015/12/27からか。そろそろ丸2年だね・・
ちょっと長いように思うね・・
（参考）数学的にLOTO7 ｽﾚﾘﾝｸ(math板:1番)
1 名前：１３２人目の素数さん[] 投稿日：2015/12/27(日) 14:43:45.63 ID:+tVmadtz [1/3]
ロト７について
(引用終り)
>そしたら同じでは無いけど海外ので選抜数字の和で表して計算してたのを見つけた。(どの記事かはエビデンスも取っておいてないし、忘れた)
それ、検索したらきっと何かヒットするよ。全く同じ物でなくとも良いでしょ。海外文献を一つ見つけておけば、そこから英文キーワードを採るとか、引用文献を見るとかできるし
ちょっと検索をやってみると、キーワード下記
PDF Lottery mathematics Odds of getting other possibilities summation
78 件 （0.55 秒） の中からご推奨５件＋余録３件をピックアップ（下記）
（”PDF”で、これ（PDF）をメインに絞っている。だから78 件になったのだろう）
これ１番目。一押しで、面白そう
URLﾘﾝｸ(www.maa.org)
Finding Good Bets in the Lottery, and Why You Shouldn't Take Them A Abrams 著 - ?被引用数: 11 - ?関連記事 2010/01/31
これ２番目で新しい
URLﾘﾝｸ(www.wsb.edu.pl)
PATTERNS IN THE LOTTERY GAME N Becser 著
これ、２番目でgeometryとかパターンが詳しい
URLﾘﾝｸ(jaguar.fcav.unesp.br)
the geometry of chance:lotto numbers follow a predicted pattern R GIANELLA 著 - ?2013
これ、３番目
URLﾘﾝｸ(www.maa.org)
Finding Good Bets in the Lottery, and Why You Shouldn't Take Them A Abrams 著 - ?被引用数: 11 - ?関連記事 2010/01/31
つづく
457:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:19:56.35 jVxSMgKf.net
>>417 つづき
これ、４番目（PDFが直接落ちるのでURL取れず。下記で代用）
a mathematical model for the lottery - RACO
www.raco.cat/index.php/Questiio/article/download/26594/26428
このページを訳す
MS Nikulin 著 - ?1992 - ?関連記事
the prize winners, being those holding the tickets with those corres- ponding numbers.” From “Educated Guessing” Samuel Kotz (1983, Marcel Dekker):.
“A lottery is a game of chance with low stakes and potentially high winnings, which account for the widespread appeal of this type of gambling. In its simplests form, a player bets on a number and wins if the state also selects that number. While we usually view a lottery as a game, many applications exist in the real world. For example,.
つづく
458:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:20:53.97 jVxSMgKf.net
>>418 つづき
これ、５番目（PDFではないが、Lottery Software が詳しそうだ）
URLﾘﾝｸ(saliu.com)
Basics of a Lotto Strategy Based on: Sums (Sum-Totals); Odd Even; Low High Numbers
By Ion Saliu, Founder of Lottery Mathematics
(抜粋)
I. Introduction to Lottery Strategies, Filtering, Number Grouping
II. Pick-3 Lottery Software for Low or High, Odd or Even Digit Grouping
III. Lotto Software for Low / High, Odd / Even Numbers, Plus Lotto Skipping
IV. True Lottery Filters, Filtering to Create the Best Lotto, Lottery Strategies, Systems
V. Essential Resources in Lotto, Lottery Strategy, Systems, Software
Resources, links to the best in lotto software, lottery strategies.
つづく
459:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:23:23.82 jVxSMgKf.net
>>419 つづき
5. Resources in Lottery Software, Systems, Strategies, Lotto Wheeling
Introduction to Lottery Mathematics: Probabilities, Appearance, Repeat, Affinity or Number Affiliation, Wheels, Systems, Strategies.
The Starting Strategy Page: Lottery Software, Strategy, Systems.
Presenting software to create free winning lotto, lottery strategies, systems based on mathematics. Get your lotto systems or wheels, the best lottery, lotto software, combinations, winning numbers.
Lotto, Lottery Software, Excel Spreadsheets: Programming, Strategies.
Read a genuine analysis of Excel spreadsheets applied to lottery and lotto developing of software, systems, and strategies. Combining Excel analysis with powerful lottery and lotto software programmed by this author, Parpaluck.
MDIEditor Lotto WE: Lottery Software Manual, Book, ebook, Help.
~ Also applicable to LotWon lottery, lotto software; plus Powerball, Mega Millions, Euromillions.
Visual Tutorial, Book, Manual: Lottery Software, Lotto Apps, Programs.
Basic Manual for Lotto Software, Lottery Software.
Sum-Totals for Lottery, Lotto Games ? Pick 3 4 Lotteries, Lotto 5, 6, Powerball, Mega Millions, Euromillions.
Lotto Software for Groups of Numbers: Odd, Even, Low, High, Sums, Frequencies, User's Groups.
Lottery Software Sum-Totals, Sums: Lotto, Powerball, Mega Millions, Euromillions.
Lottery Skip Systems: Lotto, Powerball, Mega Millions, Euromillions.
Lotto, Lottery Strategy in Reverse: Not-to-Win Leads to Not-to-Lose or WIN.
Lottery Utility Software: Pick-3, 4 Lottery, Lotto-5, 6, Powerball, Mega Millions, Euromillions.
Theory, Analysis of Deltas in Lotto, Lottery Software, Strategy, Systems.
The Best Strategy for Lottery, Gambling, Sports Betting, Horse Racing, Blackjack, Roulette.
Lotto Software for Groups of Numbers.
"The Start Is the Hardest Part":Play a Lotto Strategy, Lottery Strategies
Download lottery software, lotto software
つづく
460:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:27:03.74 jVxSMgKf.net
sage
461:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:28:11.68 jVxSMgKf.net
>>420 つづき
（上記の原文にはURLのリンクが貼ってあるよ）
余録１：これは、いまどきソフトのRの話かも（これは中は見ていないが）
[PDF]Introduction to Probability and Statistics Using R - cran.r - The R ...
URLﾘﾝｸ(cran.r-project.org)
GJ Kerns 著 - ?被引用数: 22 - ?関連記事
2010/08/07
余録２：これは、すばらしく良くて、全部で200ページ超えだが、72ページのみのサンプルなんだよ
URLﾘﾝｸ(probability.infarom.ro)
THE MATHEMATICS OF LOTTERY Odds ... - Probability Theory C B?rboianu 著 - ?2009
つづく
462:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:34:00.35 jVxSMgKf.net
>>422 つづき
余録３：
URLﾘﾝｸ(mathworld.wolfram.com)
Hypergeometric Distribution -- from Wolfram MathWorld
(抜粋)
It therefore also describes the probability of obtaining exactly i correct balls in a pick-N lottery from a reservoir of r balls
(引用終り)
以上
463:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:35:42.55 jVxSMgKf.net
>>423
これ、なんかキーワードがNGらしく、引っかかって書けなかったので、削ってようやく書けた（＾＾
464:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:39:27.90 jVxSMgKf.net
>>416
BLACKXさん、どうも。スレ主です。
>エントロピーが絡むから私の所は本当に5力に細心の注意を払う
あまり突っ込んだ話になると、ビジネスに差し支えると思うけど
その感じだと、熱伝導からみか、熱流体関係かな？
465:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/07 22:42:58.49 jVxSMgKf.net
>>417
あ�
466:黶H ２番目が二つあるな～ まあ、ご愛敬ということで、ひとつ、よろしくｍ（＿ ＿）ｍ
467:BLACKX
17/12/08 06:51:59.43 G+sbkRWq.net
>>417
そのイチオシの内容ちゃんと読んだ？
内容がポートフォリオなんだけどほんとにそれが一押しなの？
468:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 07:21:37.38 pI4TAlAF.net
>>427
BLACKX さん、どうも。スレ主です。
>内容がポートフォリオなんだけどほんとにそれが一押しなの？
ああ、そうなの？ わるいわるい（＾＾
当然、内容は数分間の流し読みですよ（＾＾
ロトには興味ないのでね
それに、あなたのレベルも分らないし
Ａｉｒ値なるものの効用もいまいち分らないし
だから、本当は
”余録２：これは、すばらしく良くて、全部で200ページ超えだが、72ページのみのサンプルなんだよ
URLﾘﾝｸ(probability.infarom.ro)
THE MATHEMATICS OF LOTTERY Odds ... - Probability Theory C B?rboianu 著 - ?2009”
をお金を出して買いなさいってことかも知れない
また、２年成果無しがいやならってことかもね
（有料という問題を除けば、一番纏まってる気がする）
あと、数学公式としては
”余録３：
URLﾘﾝｸ(mathworld.wolfram.com)
Hypergeometric Distribution -- from Wolfram MathWorld
(抜粋)
It therefore also describes the probability of obtaining exactly i correct balls in a pick-N lottery from a reservoir of r balls”
で尽きているような気がしてきたね
469:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 07:31:01.17 pI4TAlAF.net
>>428 補足
>当然、内容は数分間の流し読みですよ（＾＾
キーワード下記
PDF Lottery mathematics Odds of getting other possibilities summation
78 件 （0.55 秒）
のgoogleが付けたアブストを読んで、脈のありそうなＰＤＦなどを開いて、ダウンロードして・・という作業を繰返すこと数時間
それで、上記のご推奨を上げたわけ
まあ、自分で78 件
見ればいいでしょう（＾＾
470:ｽﾏﾎBLACKX
17/12/08 07:46:33.56 y00krcnS.net
>>429
サンクス
471:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 08:25:03.36 pI4TAlAF.net
>>430
BLACKXさん、どうも。スレ主です。
よろしくね（＾＾
あと、思いつきで恐縮だが
例のロトすれに、検索したキーワードや、調べためぼしい文献（ＰＤＦ）やサイトについてのメモをアップしておけば良い
それが、スレの推進にもなるし
自分にとっても、備忘録になるし・・（＾＾
472:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 13:23:01.12 G0teFJGI.net
>>416
BLACKXさん、どうも。スレ主です。
>エントロピーが絡むから私の所は本当に5力に細心の注意を払う
ここ、スルーしてたけど”5力”とは？ なんですか？
473:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:08:20.63 pI4TAlAF.net
>>317 戻る
>> （∵リプシッツ連続は微分可能と直結しないから）
>背理法の証明を読めないアホさんはいってよし
これ（下記）面白いわ（＾＾
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
脱背理法教育、脱背理法依存教育 東京理科大学理学部第一部数学科 教授 安部直人 2013年07月10日
(抜粋)
「数学における全ての主張の数学的意味を
理解することが望まれる」
のに、背理法の証明に慣れるためには、
(2) を自動的に封じる(つまり、証明中の中間結果の数学的意味を考えない)習慣が付いてしまいます。そのうち背理法を使わない証明でも (1) が成り立つと思い込んでしまいます。こうなると、
「例え背理法証明でも、証明さえできれば、
自分はその数学的内容を全て理解している。」
という自己満足に陥ります。このような人が数学教員になると、 (2) という背理法中の主張に対する問題意識を持つ学生がいることさえ思いつきもしなくなります。
特に、他の理系学科より証明を重視する数学科では、多くの背理法証明に慣れざるを得ないので、数学科出身の教員には陥りがちな錯覚です。学生諸氏と教員自身にとっても、大変な損をしています。
(他の方のことは定かではありませんが、私は十数年前までそう思い込んでいました。現在リハビリ中で、自分が中学の頃から大学院まで学んだすべての
474:背理法証明を非背理法証明に直しつつあります。) 教える側も、背理法証明中、一時的であれ 「自分も理解できない誤ったこと」 (世間ではこれを嘘という) を教えなければならない。私には耐えられない。 殆どの数学者がこれらのことを認識していないようです。私も、研究レベルに達するまでに(大量の)背理法証明に遭遇していたので、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない癖がついていました。また、「自分が解っていない」と解ること(無知の知)は大変に難しいことです。 「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会) (引用終り) つづく
475:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:08:47.82 pI4TAlAF.net
>>433 つづき
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
背理法と対偶 - 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 2012/11/16
(抜粋)
「背理法」と「対偶法(対偶を利用する証明)」は共に間接証明とよばれますが、
証明法としては完全に異なるものです。
対偶法に直しても証明の中間部分は変わらないことが多いが、背理法の場合には、A の仮定を付けたままであると、その中間結果も正しくない主張で理解納得できなくなる。対偶法の場合、仮定の下中間結果はすべて正しい主張で理解納得できます。
大量の背理法証明にに慣れて、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない習慣がついている人(研究者に多い)の中には、背理法と対偶法の区別がつかなくなっている場合があります。
背理法は、正しくない中間結果(他へ使えず、理解納得できない)も覚えることになり、丸暗記すると大変危険です。また、背理法に慣れてしまうと、中間結果の数学的意味を (考えても無駄と無意識に悟り)考えない習慣がついて、誤った数学的主張に対して鈍感になります。
例えば、外国の紙幣で偽札を見分ける訓練をするのに、
「真札を百枚、偽札１を百枚、偽札２を百枚、・・・、偽札９を百枚計千枚みせる」
という訓練をしても、偽札の種類(真札でないものすべて)は無数にあるので、
「真札のみを千枚みせる」
という訓練の方が実践には有効でしょう。
実際、私は背理法を使わなくなってから、数学専門書・啓蒙書等で今まで気付かなかったいろいろな習慣的誤り(特に意味論的な)が見えてきました。特に、線形代数と微積分に関係するものについて別ページで挙げていきたいと思います。
(引用終り)
つづく
476:現代数学の系譜 雑談 古典ガロア理論も読む
17/12/08 21:09:21.64 pI4TAlAF.net
>>434 つづき
URLﾘﾝｸ(www.ma.kagu.tus.ac.jp)
背理法と矛盾 - 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 2012年11月22日
(抜粋)
「大学の教科書(特に、微積分学)に背理法の証明が多くある」
(実質：背理法でしか証明できない教員が多く、バカな背理法証明をそのまま教えている)
ので、その準備のために
「背理法の証明を練習しておく」
(実質：背理法に練習は不要ですから、単にバカな背理法証明に慣れさせておく)
ことが必要と思っている大学・高校の教員が多いのではないか。
つまり、教員自身は自覚していないかもしれませんが、実質は：
自分がバカな背理法でしか証明できない怠慢な教員が、若く批判力もないうちに違和感を与えないようにバカな背理法に慣れさせ、次世代にその怠慢のツケを払わせるという負の文化遺産継承の構図が浮かびます。
高校数学教科書にある背理法証明は、生徒をバカにする以上に、教師は「自分はバカだ」と喧伝するようなことを薦めているのです。検定教科書が国策の一部とすれば「愚民政策」です。
(引用終り)
以上
477:１３２人目の素数さん
17/12/09 09:37:16.39 GGujx+gf.net
定理
自然数n≧2は√nの整数部分以下の全ての素数で割り切れなければ素数である．
証明
nの素因数が高々2個の場合, 自然数 p, q が存在して両
方とも素数かどちらかが1
478:であり n＝pq である. ここ で p≧q とできるから n≧q^2 ゆえ √n≧q である． もし素数q＜pがnを割り切るならnは素数ではない. ま た素数q＝pならnは平方数でやはり素数ではない. ゆえ にnが√nの整数部分以下の素数qで割り切れなければq ＝1であるからn＝pは素数である. 素因数が高々3個になればn＝pqrとなる素数または1に 等しいp≧q≧rが存在してn≧r^3となるがnの3乗根は√n 以下だから√n≧rとなり素数rがnを割り切らなければr ＝1ゆえに√n≧qとなり素数qがnを割り切らなければq ＝1ゆえにn＝pは素数となる. 素因数が4個以上の場合 も同様. 証明終了