18/09/24 19:31:56.78 uRp54ipe0.net
>>370
それは幾何学の話だろ
388:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:38:00.82 FKo9ZBpka.net
俺は金でABCを経験してる
389:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:41:45.82 I0zq7aWS0.net
>>6
疎い分野でデカい口叩くと恥かくぞｗ
390:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:44:39.65 I0zq7aWS0.net
>>370
証明の記述は自動化困難
既に書かれた証明の成否は自動的にチェックできる
Mizar とか Col, Isabelle でググれ
ただし、不当にもあんまり注目されていない
391:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:46:30.64 I0zq7aWS0.net
>>278
ダイミダラーはエロアニメ
392:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:49:33.77 64oL9E/Y0.net
(´・ω・`)最近の数学って門外漢にはさっぱりでつまんないお
中世のレベルに戻るべき
393:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:52:59.29 PI1JPvYj0.net
それよりリーマン予想解けたとかニュースで見たがマジか？
394:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 19:54:34.96 mjf5Lj9F0.net
>>385
同時に微細構造定数も解けたとか
けど疑わしいという意見もある
395:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 20:26:45.89 am14UoMw0.net
>>386
微細構造定数を解くってどういうことだよ
396:瘋癲の錬金術師
18/09/24 20:38:13.19 F3MCx9ZQK.net
微細構造定数を定数を置かずに表す事が出来たのならabcなんちゃらよりよっぽど世紀の発見と思うけど
微細構造定数は素電荷、真空誘電率、光速の3つの独立変数(定数として置かれるが)の関数だから、
後2つ独立な式があれば、宇宙に神が決めたようなパラメータは存在し無い事になるな
397:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 22:40:38.30 HVDXRDzW0.net
アティヤのリーマン予想のスレ立てろ
398:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 22:48:43.52 3AcRN+xz0.net
立ってすでに落ちたんだよ
リーマン予想、ついに証明へ ･ [796936532]
ｽﾚﾘﾝｸ(poverty板)
399:瘋癲の錬金術師
18/09/24 22:51:55.94 F3MCx9ZQK.net
>>388
ごめん嘘ディラ定(プラ定)も入ってるわウッカリ
>>390
サンキュー！
400:瘋癲の錬金術師
18/09/24 22:57:09.63 F3MCx9ZQK.net
c=137(Recipr.FSC)単位系推進派のわたくしにとっては不利ニュースかもしれんが
401:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 23:00:16.66 KdMZIf110.net
どうせジャップだし
こんなこったろと思ったよ
402:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/24 23:06:17.61 mOskpblK0.net
>>392
こんなところで遊んでないで論文書けよ
403:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/25 01:11:16.93 eYrU/YvX0.net
これはジャップの捏造とかそういうのとは違うだろ
404:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/25 01:14:43.26 AFlz4zVo0.net
>>99
読み込みが早いホームページって最高だな
405:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/25 01:19:50.75 k+9EYv6A0.net
宇宙際タイヒミュラーのタイヒミュラーってどんな人なんですか？
406:番組の途中ですがアフィサイトへの＼(^o^)／です
18/09/25 01:40:38.37 4CCpJTYS0.net
ゲルトミュラーやトーマスミュラーの友達みたいなもん
407:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています