「異世界からきた」論文を巡って： 望月新一による「ABC予想」の証明と、数学界の戦い « WIRED.jp

2016/07/06 1193 users 望月新一 激震 論文 ＡＢＣ予想 数学界

PAPERS from INTER-UNIVERSE 「異世界からきた」論文を巡って 望月新一による「ABC予想」の証明と、数学界の戦い 2012年、数学界に激震が走った。 京都大学教授の望月新一が30年近くだれも解けなかった 「ABC予想」を証明したというのだ。 ただ、その証拠である論文は「異世界からきた」と思われるほど難解で、 誰にも理解できなかった…。 それから、3年の時を経て、 数学界最大... 続きを読む

未解明だった数学の超難問「ABC予想」を証明　京大の望月教授　斬新・難解で査読に8年 - 毎日新聞

2020/04/03 970 users 査読 京大 命題 毎日新聞 望月新一

未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授（51）の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読（論文... 続きを読む

"独創的すぎる証明"「ABC予想」を主張だけでも理解する - アジマティクス

2017/12/16 775 users アジマティクス フェルマー ＡＢＣ予想 主張 激震

2017 - 12 - 16 "独創的すぎる証明"「ABC予想」を主張だけでも理解する 2017年12月16日、数学界に激震が走りました。……というと少し語弊があるでしょうか。 この日、あの「フェルマーの最終定理」に匹敵するとも言われる数学の重要な予想、つまり 未解決問題 であった「ABC予想」が京都大数理解析研究所の望月新一氏によってついに解決されたというニュースが、数学界を、いや、日本中を駆け... 続きを読む

【拡散希望】お〜い！フリーランスのみんな！請求書のハンコって全然意味ないらしいよ！ - イーアイデムの地元メディア「ジモコロ」

2016/11/17 707 users マキ ジモコロ イーアイデム ハンコ 書類

2016 - 11 - 17 【拡散希望】お〜い！フリーランスのみんな！請求書のハンコって全然意味ないらしいよ！ まきのゆうき 請求書 フリーランス list Tweet 請求書に関する作業、面倒くさすぎ問題 「請求書」 それは生きていくために必要な 「これだけ仕事したからお金ちょうだいな」という証明になる大事な書類 です。 です、が。あ、この人、 ハンコがない 、もらい直さなきゃ…あの人からはも... 続きを読む

いいか未経験からプログラマになるための決定版書いてやる

2022/12/06 701 users プログラマ プログラミングスクール 未経験 しょうがない 一言

こういう記事に騙される被害者が出ないように俺が一言書いてやる。 プログラミングスクールに通わず、プログラミングを学ぶ方法 https://anond.hatelabo.jp/20200519162131 証明のしようがないが俺はプログラマとして働いていて年収1200万、一応相応の技術も持っているつもりである。今は2社に所属しているのと自作プロ... 続きを読む

（－1）×（－1）＝1の数学的証明が凄すぎて大草原 | 不思議.net

2016/05/24 697 users net 大草原

1: 名無しさん＠おーぷん 2016/05/22(日)16:26:59 ID:Lrk ※文字がズレて読みにくい場合は↓こちらの画像が分かりやすいかも http://livedoor.blogimg.jp/worldfusigi/imgs/d/b/dbc611a8.png 足し算の定義：0と－が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ 　0の定義：a＋0＝a 　－の定義：－a... 続きを読む

URの団地なら無職でも余裕で入れる

2022/05/15 666 users 預金残高 団地 無職 家賃 余裕

1年分家賃前払いor家賃100か月分の預金残高の証明があればいける。 URの団地なんか家賃やすいからちょっと頑張れば貯まるレベルでいける。 最近の団地はリフォームされててキレイだしな。 あとは礼金保証料もいらん。更新料・仲介手数料もない。 保証人も不要、緊急時の第三者の連絡先も申告拒否できる。 要はカネさえあ... 続きを読む

Let's EncryptがはまったGolangの落とし穴 - ぼちぼち日記

2020/03/09 637 users golang インシデント 失効 落とし穴 パク

0. 短いまとめ 300万以上の証明書の失効を迫られたLet's Encryptのインシデントは「Golangでよくある間違い」と書かれているようなバグが原因でした。 1. はじめに、 Let's Encryptは、無料でサーバ証明書を自動化して発行するサービスを行う非営利団体として2014年に設立されました。 2015年にサービス開始されると証明... 続きを読む

数字で証明！５倍以上のクリック率を叩き出した「タイトルのつけ方」

2017/07/08 637 users 数字 タイトル クリック率 つけ方 5倍以上

2017.07.03 コンテンツマーケティング 数字で証明！５倍以上のクリック率を叩き出した「タイトルのつけ方」 あなたが最近作成した記事のタイトルはどのくらいのCTR（クリック率）を計測しているだろうか？タイトルのクリック率はあなたのコンテンツマーケティングの成果を1/2以下に激減させてしまうこともあるし、2倍・3倍と飛躍させることもあるとても重要な要素だ。 記事コンテンツの「クリック率」が様々... 続きを読む

BBC、故ジャニー喜多川氏の加害について取材　言葉を詰まらせる元ジュニア - BBCニュース

2023/03/08 573 users ＢＢＣ ジャニー喜多川氏 故ジャニー喜多川氏 加害 週刊文春

ジャニーズ事務所と文藝春秋の民事裁判で東京高等裁判所は2003年7月、事務所の少年たちに対するジャニー喜多川氏による「セクハラ行為」に関する記事はその重要な部分において真実であることの証明があったと認めた。 BBCの番組でモビーン・アザー記者は、かつてジャニーズ Jr.だった人たちや、裁判となった週刊文春の記... 続きを読む

ユーザの平均継続期間が「1/解約率」で求められることの数学的証明 - it's an endless world.

2017/03/08 533 users it's an endless ユーザ 解約率 LTV 数値

2017 - 03 - 08 ユーザの平均継続期間が「1/解約率」で求められることの数学的証明 growth グロース分野において ユーザがそのサービスを平均でどのくらいの期間使ってくれるか？ という数値は重要な値です。 例えば、広告の費用対効果を見るためにも計算する LTV (Life Time Value)。 LTVはユーザを1人獲得することで平均でどのくらいの売上に繋がるかという値ですので、... 続きを読む

【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com

2018/09/12 526 users 定理 相似 プレスリリース 博士課程 全て整数

慶應義塾大学大学院理工学研究科 KiPAS 数論幾何グループの平川義之輔（博士課程 3 年）と松村英樹（博士課程 2 年）は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった 1 組しかない』という、これまで知られていなかった定理の証明に成功し... 続きを読む

四大ウザい論法「悪魔の証明」「論点のすり替え」「人身攻撃」 BIPブログ

2013/05/24 517 users 論点 BIPブログ 人身攻撃 悪魔 四大ウザい論法

1 以下、名無しにかわりましてVIPがお送りします 2013/05/24(金) 00:21:38.38 ID:Wka8Ntgn0 「相関関係と因果関係の混同」 相関関係と因果関係 - Wikipedia 「相関関係は因果関係を含意しない」は、科学や統計学で使われる語句で、2つの変数の相関が自動的に一方がもう一方の原因を意味するというわけではないことを強調したものである（もちろん、そのような関係があ... 続きを読む

専門家が証明！　ベーコンは静かに身体を蝕む“殺人鬼”だった｜あなたはそれでも、食べ続けますか？ | クーリエ・ジャポン

2018/06/11 507 users ベーコン クーリエ・ジャポン 殺人鬼 身体 ベーコ

From The Guardian (UK)　ガーディアン（英国） Text by Bee Wilson 2018.6.11 「身体に悪い」と思いながらも、カリカリでジューシーなベーコンの美味しさを断ち切るのは難しい、という人は多いだろう。加工肉を食べ続けることは、本当に「命の危険」に関わるのか？　英紙記者による長編ルポを前後編でお届けする。 ある小さなカフェの常連だった時期がある。その店のベーコ... 続きを読む

STAP現象、米国研究者Gが発表…小保方晴子氏の研究が正しかったことが証明 | ビジネスジャーナル

2016/03/18 500 users STAP現象 小保方晴子氏 ビジネスジャーナル リポーツ 研究

2014年4月9日、会見を行う小保方晴子氏（撮影＝吉田尚弘） 　 小保方晴子 氏が発見した「 STAP現象 」が、アメリカの研究者グループによって報告されていた。2015年11月27日に英国科学雑誌「 ネイチャー 」姉妹版のオープンアクセスジャーナル「ネイチャー・サイエンティフック・リポーツ」に掲載された。 それは、米テキサス大学医学部ヒューストン校のキンガ・ヴォイニッツ博士らが、負傷したマウスの... 続きを読む

実はこの指摘は結構重要な問題を孕んでいる。元増田は二―トなのかもしれ..

2019/01/29 498 users 元増田 指摘 論点 問題 焦点

実はこの指摘は結構重要な問題を孕んでいる。元増田は二―トなのかもしれないが、的確に博物館法の矛盾点を突いている。 ブコメでは、ニート割引を認めつつ、その基準としてニートであることの証明をどのようにするかに焦点が当たっている。 こうした論点に至るのは非常に説得的で論理的だ。 ところがだ。博物館法第23条... 続きを読む

数学の超難問・ＡＢＣ予想を「証明」　望月京大教授：朝日新聞デジタル

2017/12/15 490 users 望月京大教授 数学 朝日新聞デジタル 超難問・ＡＢＣ予想 世紀

長年にわたって世界中の研究者を悩ませてきた数学の超難問「ＡＢＣ予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。執筆者は、京都大数理解析研究所の望月新一教授（４８）。今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。 望月さんは２０１２年８月、論文を自身のホームページ上で公開。数理研が発行する数学誌「ＰＲＩＭＳ」... 続きを読む

Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜若手Webエンジニアのキャリアを考える！

2018/08/10 479 users Coq エンジニアHub エンジニア 若手Webエンジニア

みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する... 続きを読む

中学数学で一番複雑な公式，「解の公式」を図形的に捉えてみる - ロボット・IT雑食日記

2017/04/15 473 users 中学数学 過程 中学校 中学 中学生

みなさん，中学校の時に，「２次方程式の解の公式」というのを習わなかったでしょうか？ そう，こんなやつです． 多分ですが，中学校で習う公式の中では一番複雑だと思います． 加えて， 中学生には証明が難しくて，多くの中学では先生が「とりあえずこれ暗記で．」みたいな雑な教え方しかしていないというのも現状なよう 確かに，式変形の過程を終わせることはちょっと中学生には退屈だし難しいと思います． 今回は，それを... 続きを読む

男同士の割とリアルで雑なコミュニケーションに「有り得ない」と言うのって、普段から如何に気を遣われてきたかという何よりの証明ではなかろうか。 - Togetter

2020/03/16 463 users Togetter コミュニケーション 普段 男同士

もし世の男たちが友達と同じように女と接したら ・昼はラーメン、夜は鳥貴族 ・予約なんてするわけない ・歩くスピードは合わせない ・上座は俺が座る ・「お前」呼ばわりは当たり前 ・褒めません ・おもんない話はテキトーに聞き流す もう一度聞きます、本当に男友達と同じように接して欲しいですか？ 続きを読む

数学の面白い話してくれ ニュース速報BIP

2010/06/05 451 users 数学 ニュース速報BIP 面白い話 半径 VIP

1 以下、名無しにかわりましてVIPがお送りします 2010/05/27(木) 22:58:36.47 ID:9iSlV/xV0 証明は大学の範囲になるようなのでもいい 数学を勉強する意味が見出せない・・・ 7 以下、名無しにかわりましてVIPがお送りします 2010/05/27(木) 23:15:15.63 ID:KqfReTo00 半径２センチの円の中心に半径１センチの円を貼り付ける。 半径２... 続きを読む

400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン

2014/08/13 448 users 難問 ギズモード ケプラー予想 コペルニクス ケプラー

コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、... 続きを読む

400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン

2014/08/13 448 users 難問 ギズモード ケプラー予想 コペルニクス ケプラー

サイエンス , ニュース , 大学研究モノ 400年の難問、「ケプラー予想の証明」やっと100％終わる 2014.08.13 22:00 コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピ... 続きを読む

プログラムに証明が付く日 | RANDMAX

2013/12/06 433 users プログラム

この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとか... 続きを読む

高校数学の美しい物語 | 定期試験対策から数学オリンピックまで

2014/06/29 427 users 数学オリンピック 高校数学 美しい物語 定期試験対策 定理

主に教科書に載っていない高校数学の公式・小技集です。裏技，検算テクニック，エレガントな定理などを，豊富な応用例・図によるイメージ・エレガントな証明とともに紹介。数学の定番公式，裏技，検算テクニック，エレガントな定理など，基本的に高校範囲で理解できる数学に関することを豊富な応用例と図によるイメージとともにそこはかとなく書きつくります。 New ・重要な証明方法，例題，ポイントを凝縮した高校数学裏技ハ... 続きを読む