16/10/30 12:16:45.40 S5Jl1CaY.net
>>680
大村 智先生
>ノーベル賞を受賞したシドニー・ブレナーは著書の中で「科学を前進させるのに最も適し
>た人物は、他の分野から参入して来た人物である」と記述している。彼自身、RNA の研究を
>して優れた成果を挙げた後、彼にとって異分野であった「線虫」の研究に取り組み、賞を得
>た人物である。その言葉は「無知でいることの
>価値」と「知りすぎることによる弊害」を、如実に
>言い表していると思う。ブレナーは線虫の研究をする際に、線虫に効果のある化合物の論
>文を発表していた私のところにも討論に来ている。研究に関連する情報を貪欲に収集する
>姿勢には見習うべきものがある。
Wittenとか、物理からの手法の取り入れとか
当たっているのかも・・・（＾＾；
781:現代数学の系譜11 ガロア理論を読む
16/10/30 12:18:24.69 S5Jl1CaY.net
URLﾘﾝｸ(fundo.jp)
無視をするという意味の“シカト”の語源を知ってますか？？ | FunDO >>221
782:現代数学の系譜11 ガロア理論を読む
16/10/30 12:22:09.99 S5Jl1CaY.net
バカの質問にうかつに答えたら
１．もし、回答が理解できなければ（この可能性大だが）、また質問してくるだけ
２．もし、回答が理解できたならば（この可能性小だが）、図に乗ってまた質問してくるだけ
ばか質問は、シカトが上策さ（＾＾；
質問自身ばかげているし。まあ、質問者は分かってないね～。あほ丸出し（＾＾；
783:現代数学の系譜11 ガロア理論を読む
16/10/30 12:27:35.08 S5Jl1CaY.net
できの悪い小学生の質問に答えるのは大変なので、お断りだね（＾＾；
784:現代数学の系譜11 ガロア理論を読む
16/10/30 12:29:52.81 S5Jl1CaY.net
高校あたりから、数学は無限を扱う
微積があるからね
自然数
785:の集合は可算無限 小学生に説明するのは難しいな・・・（＾＾；
786:１３２人目の素数さん
16/10/30 12:35:36.84 AAheDI1u.net
自分が答えられない質問＝馬鹿げた質問にフイタｗ
思考停止もここまでくれば立派なものだｗ
787:１３２人目の素数さん
16/10/30 12:39:35.76 AAheDI1u.net
複数人から無限と有限の違いがわかっていないと言われてる自覚はある？
お前には高校数学は無理だなｗ
788:現代数学の系譜11 ガロア理論を読む
16/10/30 12:49:21.06 S5Jl1CaY.net
これ直観主義の説明分かり易い
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
直観主義論理への招待 数学基礎論サマースクール2013 講義資料 照井一成（京都大学）
(抜粋)
1 はじめに
直観主義論理(intuitionistic logic) とは、オランダの数学者ブラウワー(1881-1966) が提
唱した直観主義数学に由来する論理であり、直観主義数学で認められる推論の様式を弟子
のハイティング(1898-1980) が形式化したものである。
数学基礎論上の立場としての直観主義は、廃れて久しい。
ではなぜ今になって直観主義論理を勉強するのか？一つには、直観主義数学に限らず、
様々な構成的数学の論理的基盤になっているという事実がある。直観主義は忘れ去られて
も、“構成” の重要性は変わらない。構成的な論証によりどこまで数学を展開できるのか
は、基礎論的な問題意識を抜きにしても興味のあるところであろう。
もう一つには、“広義の構成主義” とでも呼ぶべき研究運動の原点としての意義がある。
これは基礎論的研究に端を発しつつ、計算機科学寄りの論理学の中で発展してきたもので
ある。広義の構成主義者は、哲学思想や基礎論的な立場に縛られず、それどころかいわゆ
る“構成的証明” にすら縛られず、証明一般に潜む構成的要素を自由に探究する。ある者は
証明の分析を通してアルゴリズムを抽出し、有用な計算情報を獲得しようとする（プルー
フ・マイニング）。またある者は証明そのものが持つ美しい代数構造に魅せられる。広義
の構成主義者は「この論法は構成的ではない」などといって排除しない。むしろ逆転の発
想で「この論法を構成的に解釈するとどうなるか」と考える。一言でいって、証明のダイ
ナミズムを追求するのが計算機科学的な意味での“構成主義” である。その出発点にある
のが直観主義論理であり、それとともに考案されたさまざまな道具立てなのである（構造
的証明論、実現可能性解釈、関数解釈、カリー・ハワード同型対応、古典論理の直観主義
論理への翻訳等）。
本講義の目的は、このように非直観主義的な観点から直観主義論理を導入し、慣れ親し
んでもらうことにある。
(引用終り)
789:現代数学の系譜11 ガロア理論を読む
16/10/30 12:50:26.06 S5Jl1CaY.net
小学生が騒いでいる
質問読み直せよ、ばか
790:現代数学の系譜11 ガロア理論を読む
16/10/30 12:52:07.18 S5Jl1CaY.net
なにが聞きたいんだ
桁数知りたければ、指折ってかぞえな
１０まで数えれば、満足だろ？（＾＾；
791:現代数学の系譜11 ガロア理論を読む
16/10/30 12:53:58.85 S5Jl1CaY.net
まったくプロ固定はすぐageるんだから（＾＾；
792:現代数学の系譜11 ガロア理論を読む
16/10/30 12:54:22.97 S5Jl1CaY.net
しかし、ばかなプロ固定をおちょくるのも面白ね（＾＾；
793:現代数学の系譜11 ガロア理論を読む
16/10/30 13:01:53.60 S5Jl1CaY.net
>>707 関連
URLﾘﾝｸ(mathneko.hatenablog.com)
直観主義論理の入り口～Heyting 代数～(その 10・最終回) - Red cat の数学よもやま話・新装開店 2016-04-21
(抜粋)
Heyting 代数はなぜ直観主義論理への入り口なのか ?
今回, 「直観主義論理への入り口」と題して Heyting 代数を紹介してきましたが, なぜ Heyting 代数は直観主義論理への入り口なのでしょうか ?
既に見たように, (完備) Boole 代数では ￢￢x=x
や x∨￢x=1
と言った見慣れた式が成り立ちますが, (完備) Heyting 代数ではこれらの式は一般には成り立ちません.
古典論理は真偽値の集合を完備 Boole 代数に取ったものと考えられますが, もし, 真偽値の集合を完備 Heyting 代数に取ったらどうなるでしょうか ? そのような論理体系では, もはや排中律は成り立ちません.
これは一見すると少し変わった論理体系のように思えます. しかし, もう少し「人間的な」見方をすると, ある事柄 P
について, P であることを確認する方法がなかったからと言って P
ではないと言い切るのは自然でしょうか ?
このように, 実は排中律が成り立たない論理体系の方が実は人間の感覚により近いのです. そして, それを数学の言葉で実現するための入り口が Heyting 代数なのです.
完備 Heyting 代数は層の理論の定式化にも用いられ, 必然的に層と直観主義論理は密接な関係にあります.
このあたりの話を知りたい方には, 以下の書籍をお勧めします.
(引用終り)
794:１３２人目の素数さん
16/10/30 13:02:05.68 AAheDI1u.net
>>709
じゃあお前の答えは10以下ってことでFA？
795:現代数学の系譜11 ガロア理論を読む
16/10/30 13:14:34.37 S5Jl1CaY.net
竹内外史・著『層・圏・トポス』ね。昔買った記憶があるが、歯が立たず書棚のこやしから、処分した記憶が・・・（＾＾；
いまなら、おそらく読めるだろう。ネットで情報を集めながら・・・（＾＾；
URLﾘﾝｸ(d.hatena.ne.jp)
竹内外史・著『層・圏・トポス』 - 檜山正幸のキマイラ飼育記: 2008-12-18 (木)
(抜粋)
URLﾘﾝｸ(d.hatena.ne.jp) 内海さんによると：
昨日のお昼に近所のジュンク堂に行って、何気なく数学書のコーナーを見ていたら、竹内外史さんの「層・圏・トポス」が復刊されて棚に並んでたので、音速の速さでレジに持っていって買ってさっそく読みました(^_^)
説明がシンプルで丁寧なので、もの凄く読みやすいですね。
檜山さんが読まれていたというのも頷けます。
とりあえず一足飛びに第二章の「圏」に行かずに、第一章の「層」から読んでますが、この本だったら層の理論の基礎が解りそうな気がしてきました。
以前永田雅宣さんの本で層の理論を勉強しようとして、具体的なイメージが掴めずに挫折した経験があるので、苦手意識はありますが(^^;)
(引用終り)
796:現代数学の系譜11 ガロア理論を読む
16/10/30 13:15:15.05 S5Jl1CaY.net
しかし、ばかなプロ固定をおちょくるのも面白ね、反応してくる・・（＾＾；
797:１３２人目の素数さん
16/10/30 13:16:13.03 AAheDI1u.net
ん？FA?
798:１３２人目の素数さん
16/10/30 13:25:57.63 AAheDI1u.net
なんだよｗ結局誤魔化してんじゃんｗ誤魔化しはお前だよｗ
799:１３２人目の素数さん
16/10/30 13:41:43.32 AAheDI1u.net
小学生でもプロ固定でも馬鹿でもいいから、誤魔化さずに>>542に答えてみ？
800:現代数学の系譜11 ガロア理論を読む
16/10/30 13:43:48.02 S5Jl1CaY.net
>>697-698
おっちゃん、どうも。スレ主です。回答ありがとう
よく分かるわ（＾＾；
いま、本棚から野口本出してきた
確かに、1.3で層を定義している。圏論回避してクラシックやね。
３章が層のコホモロジーやね、なるほど
801:現代数学の系譜11 ガロア理論を読む
16/10/30 13:44:53.94 S5Jl1CaY.net
シカトしたり、はぐらかしたり。おちょくるのも面白いね（＾＾；
802:現代数学の系譜11 ガロア理論を読む
16/10/30 13:45:31.45 S5Jl1CaY.net
相手バカだから
803:現代数学の系譜11 ガロア理論を読む
16/10/30 13:59:39.39 S5Jl1CaY.net
>>719
フェファーマンね
URLﾘﾝｸ(ja.wikipedia.org)
チャールズ・ルイス・フェファーマン（Charles Louis Fefferman, 1949年4月18日 - ）は、アメリカの数学者。プリンストン大学に在職。
22歳でシカゴ大学で正教授（米国史上最年少）に就き、24歳からプリンストン大学に在職。1978年、29歳でフィールズ賞を受賞。 主な業績は多変数複素解析における研究。
URLﾘﾝｸ(en.wikipedia.org)
Charles Louis Fefferman (born April 18, 1949) is an American mathematician at Princeton University. His primary field of research is mathematical analysis.
Works
Fefferman has published several articles. His most cited papers include, in the order of citations:
(with E. Stein) "Hp spaces of several variables", Acta Mathematica (1972).
(with R. Coifman) "Weighted norm inequalities for maximal functions and singular integrals", Studia Mathematica (1974).
(with E. Stein) "Some maximal inequalities", American Journal of Mathematics (1971).
"The Bergman kernel and biholomorphic mappings of pseudoconvex domains", Inventiones mathematicae (1974).
"The uncertainty principle", Bulletin of the American Mathematical Society (1983). ("online article". MR 707957.)
"Inequalities for strongly singular convolution operators", Acta Mathematica (1970).
(with P. Constantin and A. Majda) "Geometric constraints on potentially singular solutions for the 3-D Euler equations", Communications in Partial Differential Equations (1996).
"The multiplier problem for the ball", Annals of Mathematics (1971).
804:現代数学の系譜11 ガロア理論を読む
16/10/30 14:10:17.08 S5Jl1CaY.net
新スレ立てた
小学生とバカプロ固定お断り！（＾＾；
現代数学の系譜11 ガロア理論を読む25
ｽﾚﾘﾝｸ(math板)
805:現代数学の系譜11 ガロア理論を読む
16/10/30 14:15:44.16 S5Jl1CaY.net
>>722 追加
Works
Fefferman contributed several innovations that revised the study of multidimensional complex analysis by finding fruitful generalisations of classical low-dimensional results.
Fefferman's work on partial differential equations, Fourier analysis, in particular convergence, multipliers, divergence, singular integrals and Hardy spaces earned him a Fields Medal at the International Congress of Mathematicians at Helsinki in 1978.
His early work included a study of the asymptotics of the Bergman kernel off the boundaries of pseudoconvex domains in C^n. He has studied mathematical physics, harmonic analysis, fluid dynamics, neural networks, geometry, mathematical finance and spectral analysis, amongst others.
806:現代数学の系譜11 ガロア理論を読む
16/10/30 14:19:00.27 S5Jl1CaY.net
URLﾘﾝｸ(www-history.mcs.st-and.ac.uk)
Charles Louis Fefferman
807:現代数学の系譜11 ガロア理論を読む
16/10/30 14:42:27.58 S5Jl1CaY.net
>>724
おっちゃん、こんなのがあったね
URLﾘﾝｸ(mathsoc.jp)
平地健吾氏の２００６年ステファン ベルグマン賞受賞紹介
野口 潤次郎（東京大学大学院数理科学研究科）
(抜粋)
２００６年ステファンベルグマン賞を受賞した平地健吾氏の業績を簡単に
紹介します．
?? ベルグマン賞については、この文の最後に説明がありますのでご覧下さ
い．日本人が昨年の倉西正武氏（コロンビア大学教授）に続き二人目となり，
日本の数学界との縁が深まった感があります．
受賞理由となった研究業績の多くは雑誌「数学」に掲載された本人による
論説平地 があります．より詳しくはそちらをご参照下さい．またアメ
リカ数学会の「
」
には氏の写真付きの紹介記事があります．
平地健吾氏は，これまでベルグマン核およびセゲー核の漸近展開と 多
様体の不変量の研究を続け １９７９年に !
"
が提案した複素領域
の幾何・解析の研究プログラムにおいていくつかの重要なかつ本質的な進展
を与えてきました このプログラムはベルグマン核をリーマン幾何における
熱核の類似とみなして理論を展開するものです その第一歩は核関数の漸近
展開を幾何的な不変量を用いて記述することでした 平地氏は，２０００年
に出版された論文# で，強擬凸領域のベルグマン核の対数的特異性を境
界の 不変量を用いて記述し，プログラムの最初の目標を達成しました．
このように平地健吾氏の仕事は，ベルグマン核・セゲー核の特異性の研究を
通じて複素解析と 幾何学の深い結びつきを確立するもので，今後の益々
の発展が期待されます．
参考文献
(引用終り)
808:現代数学の系譜11 ガロア理論を読む
16/10/30 14:42:58.39 S5Jl1CaY.net
あとは新スレで
809:１３２人目の素数さん
16/11/22 23:15:32.07 H9GkS3K7.net
あ
810:１３２人目の素数さん
17/01/13 18:34:25.12 Hj+HCgL9.net
ｽﾚﾘﾝｸ(tech板:915番)
811:１３２人目の素数さん
17/06/26 00:06:10.18 ipZ9T/tT.net
￥
812:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています