[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
285: 2024/12/09(月)00:10:02.67 ID:zZTBLbm0(1) AAS
>>284
星さんが出来なかったらもうダメじゃね
他の人が別ルートで似たようなことはしそうだけど
295: 2024/12/13(金)19:27:11.67 ID:Ff6IZJFN(3/3) AAS
>138 再記
日経 2024.8.5
KADOKAWA、25万人の個人情報漏洩
N高生の学歴など
> 全体の7割に相当する18万6269人は、
N高などを運営する学校法人の角川ドワンゴ学園に関連する個人情報だった。在校生や卒業生、保護者、従業員らの氏名、住所、メールアドレス、口座情報などが含まれている。
このほか、ドワンゴや同社の関係会社の一部取引先、ドワンゴ全従業員の個人情報なども流出した。
省2
299: 2024/12/20(金)19:23:43.67 ID:90ZeF6Tz(1) AAS
ストップ安川上
316: 2024/12/30(月)08:54:06.67 ID:UCW3fghK(1) AAS
それをぜひ巻頭言で
363: 01/06(月)20:16:48.67 ID:/CWCbeIv(1/2) AAS
AIってキーワードが散りばめられてるけど、やろうとしてるのはLeanとか使った形式化でしょ
>ZMC（ZEN Mathematics Center; ZEN数学センター）は、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ニューラルネットワークとかじゃなくてもっと古典的なやつ
368: 01/06(月)22:13:50.67 ID:mU+v9SoN(2/2) AAS
で、結局開校はいつから？
539: 04/21(月)21:02:16.67 ID:YiDeC2+U(1) AAS
abc予想は京都とアリゾナ・ツーソンでのみ定理として認知されている
京都ではモチズキの定理として、ツーソンではジョシの定理として
どちらの証明もなぜ旨くいくはずがないかについての
もっともらしい説明はあったものの、間違いを指摘されたことはない
572: 05/30(金)08:23:02.67 ID:tEOSw+fR(2/2) AAS
加藤五郎
730(2): 06/07(土)16:52:05.67 ID:+WCMz8Rw(15/25) AAS
>>729
IUT一派の罵倒か
AIを振り回して恥ずかしいかぎり
>715
853(3): 06/12(木)07:24:21.67 ID:UaH0aYui(1/2) AAS
＞数学なら公理の選択に現実世界の情報は一切使用されない
お前以外のだれがそんな気違ったことこと言ってるわけ？
どこにそんなこと書いてあるわけ？
挙げてみろよ
fesenkoだってiutにはquantum computingへの
応用があるって言ってるぞ
＞計算機科学は公理の選択に「現実的なハードウェアリソースの制約」という制約を課す
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s