最新の記事一覧 月別記事一覧 テーマ別記事一覧2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 20081月(51)2月(41)3月(46)4月(56)5月(54)6月(63)7月(46)8月(35)9月(40)10月(49)11月(39)12月(61)2024年1月の記事(51件)ニュートンとアインシュタインの重力理論が崩壊している連星を発見！such as Coq and Lean, define 1/0 = 0.再生核研究所声明 745（2024.2.2) 新ゼロ除算 ー ゼロ除算発見10周年記念に ２Coq QArith division by zero is zero, why? StackMicrosoft Bingから凄い情報を得た： Real.div は 我々の拡張された意味ここ（教科書）で特徴的なことの第1は、「0」（零、ゼロ）が独立した数として登場しないことである再生核研究所声明 744（2024.1.26) 大きな証明検証システム達が ゼロ除算1/0=00は特殊な数、∞は、定まった数ではない。 無限大は極限の考えで とらえられた想像上の存在です。 再生核研究所声明 743（2024.1.25) ゼロ除算、最早新世界は覗けない、入れない 永０は無いものを現す：難しい概念。学閥：日大アメフト部 その他ビル・ゲイツ氏、「ＡＩで５年後の暮らしはこう変わる」良いものを作ればいい、昔から道具を使ってきた。再生核研究所声明 742（2024.1.23) 石原慎太郎氏、櫻井よしこ様 ー 才能に恵まれたGoogleとOpenAIの争いは激化必至か 2024年注目の生成AIトレンド4項目I heard that Lean thinks 1/0 = 0. Is that true?再生核研究所声明 741（2024.1.22)米駐日大使「日本は米国内で信じられないほどの厚い支持」野口悠紀雄『生成AI革命 社会は根底から変わる』宮崎駿監督がナウシカ水彩画 ネット騒然「新作はナウシカなのか？」「完結まで映画にするつもりな次ページ >>
