Inter-universal geometry と ABC予想 (応援スレ) 49

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

451: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/10/13(火) 23:19:34.28 ID:Nk0YN5V9

>>443
>[5] Bombieri, Enrico (1994). "Roth's theorem and the abc-conjecture". Preprint. ETH Zurich.

Bombieri, Enrico は、ちょっと有名な人
1974年フィールズ賞を受賞か
なるほどね

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%B3%E3%83%AA%E3%82%B3%E3%83%BB%E3%83%9C%E3%83%B3%E3%83%93%E3%82%A8%E3%83%AA
エンリコ・ボンビエリ （Enrico Bombieri, 1940年11月26日 - ）はイタリアの数学者。プリンストン高等研究所IBMフォン・ノイマン教授。 専門は数論と解析学。（解析数論、代数幾何学、複素解析、偏微分方程式など。）

素数分布論で大きな貢献。その結果からボンビエリの大きな篩法を生み出した。 多変数複素関数論、極小曲面における偏微分方程式論、高次元ベルンシュタイン問題の解決における貢献。 単葉関数における局所ビーベルバッハ予想の解決。などにより1974年フィールズ賞を受賞。

https://en.wikipedia.org/wiki/Enrico_Bombieri
Enrico Bombieri

Enrico Bombieri (born 26 November 1940) is an Italian mathematician, known for his work in analytic number theory, Diophantine geometry, complex analysis, and group theory. He won a Fields Medal in 1974.[5] Bombieri is currently Professor Emeritus in the School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey.[6]

http://rio2016.5ch.net/test/read.cgi/math/1600350445/451

682: １３２人目の素数さん [sage] 2020/10/25(日) 09:59:14.28 ID:5A2Fdkdl

>>677-679
関数型プログラミング言語の原型が、
電子計算機より先にできていた件

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Unlambda
https://ja.wikipedia.org/wiki/Unlambda

Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、
仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。

コンビネータ論理
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86

コンビネータ論理(Combinatory Logic、組み合わせ論理)は、
モイセイ・シェインフィンケリ（露: Моисей Эльевич Шейнфинкель、英: Moses Ilyich Schönfinkel）と
ハスケル・カリー（英: Haskell Brooks Curry）によって、
記号論理での変数を消去するために導入された記法である。
最近では、計算機科学において計算の理論的モデルで利用されてきている。
また、関数型プログラミング言語の理論（意味論など）や実装にも応用がある。

ラムダ計算
https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97

ラムダ計算（ラムダけいさん、英語: lambda calculus）は、
計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と
適用（英語: application）としてモデル化・抽象化した計算体系である。
ラムダ算法とも言う。
関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。
アロンゾ・チャーチとスティーヴン・コール・クリーネによって
1930年代に考案された。
1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を
（否定的に）解いた。
ラムダ計算は「計算可能な関数」とはなにかを定義するために
用いられることもある。
計算の意味論や型理論など、計算機科学のいろいろなところで使われており、
特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、
その誕生に大きな役割を果たした。

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

先生、これであってますよね？

http://rio2016.5ch.net/test/read.cgi/math/1600350445/682

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s