Movatterモバイル変換

mshkhid:mshkh

• 19,589ブックマーク
• -お気に入り
• -お気に入られ

タグ

• すべて
• 2006(21)
• 2007(19)
• 2008(28)
• 2009(24)
• 2010(42)
• 2012(34)
• 2013(22)
• AI(93)
• Adobe(12)
• Amazon(45)
• Apple(73)
• BBC(21)
• Beatles(20)
• Boing Boing(13)
• C++(20)
• DRM(14)
• DoCoMo(14)
• EU(38)
• EV(13)
• Emacs(35)
• Facebook(21)
• Google(171)
• IBM(17)
• Ingress(30)
• JR(24)
• JavaScript(19)
• LINE(12)
• LaTeX(65)
• Linux(24)
• MIT(15)
• Mac(21)
• Mac OS X(21)
• Mechanical Turk(12)
• Microsoft(97)
• NASA(27)
• NATO(16)
• NHK(18)
• NTT(18)
• PC(34)
• RFID(36)
• SF(20)
• SNS(45)
• SPAM(28)
• STAP細胞(85)
• Schneier(35)
• Sony(23)
• Steve Jobs(16)
• TPP(12)
• TV(39)
• TeX(14)
• UNIX(12)
• Wikipedia(25)
• Windows(44)
• Windows Vista(12)
• Word(15)
• Yahoo!(32)
• bot-net(27)
• finalvent(506)
• google earth(15)
• iPad(14)
• iPhone(34)
• lifehacks(76)
• pdf(13)
• photo(56)
• photos(667)
• tips(58)
• tutorial(68)
• twitter(104)
• web(107)
• web2.0(23)
• webサービス(61)
• youtube(186)
• うんこ(15)
• かわいい(14)
• がん(12)
• これはすごい(35)
• これはひどい(54)
• ごみ(13)
• はてな(261)
• まとめ(281)
• アイスランド(13)
• アジア(34)
• アニメ(44)
• アフガニスタン(49)
• アフリカ(32)
• アプリ(20)
• アメリカ(625)
• アルコール(16)
• アルゴリズム(13)
• アルツハイマー(16)
• アーカイブ(13)
• アート(247)
• イギリス(105)
• イスラエル(26)
• イスラム教(59)
• イタリア(93)
• インタビュー(20)
• インターネット(63)
• インド(77)
• インフラ(15)
• ウィルス(16)
• ウクライナ(168)
• エジプト(23)
• オバマ(21)
• オリンピック(69)
• オンライン(54)
• オーストラリア(22)
• オープンソース(12)
• カトリック(48)
• カレンダー(15)
• ガジェット(32)
• ガンダム(13)
• キャリア(37)
• キリスト教(244)
• ギリシャ(15)
• クラシック(21)
• クリスマス(27)
• クレジットカード(17)
• ゲーム(105)
• コミュニケーション(22)
• コンテンツ(14)
• コンビニ(14)
• コンピュータ(40)
• コーヒー(13)
• サイト(14)
• サッカー(25)
• サービス(17)
• システム(25)
• シリア(14)
• スウェーデン(29)
• スパイ(12)
• スペイン(31)
• スポーツ(25)
• スマホ(14)
• セキュリティ(450)
• ソフトウェア(63)
• ダウンロード(18)
• ダジャレ(226)
• チェス(22)
• チョコレート(13)
• ツール(49)
• テレビ(14)
• テロ(35)
• デザイン(63)
• データ(22)
• トイレ(15)
• トヨタ(15)
• トランプ(63)
• トルコ(13)
• ドイツ(59)
• ドローン(13)
• ニュージーランド(12)
• ニューヨーク(17)
• ネタ(919)
• ネット(161)
• ネットワーク(15)
• ノート(33)
• ノーベル賞(13)
• バックアップ(15)
• パスワード(20)
• パナソニック(15)
• パリ(20)
• ビジネス(294)
• ピアノ(27)
• ファイル(20)
• ファッション(20)
• フィンランド(16)
• フォント(20)
• フランス(74)
• フリー(28)
• ブックマーク(31)
• ブラウザ(22)
• ブラジル(15)
• ブランド(12)
• ブログ(242)
• プライバシ(51)
• プレゼンテーション(17)
• プレゼント(21)
• プログラミング(38)
• プーチン(43)
• ベネディクト(41)
• ホテル(15)
• ポスドク(23)
• マスコミ(16)
• マフィア(28)
• マルウェア(27)
• マーケット(15)
• マーケティング(12)
• メディア(34)
• メモ(28)
• メール(43)
• モバイル(30)
• ユーザ(19)
• ヨーロッパ(104)
• ライトノベル(12)
• ランキング(20)
• リスト(22)
• リベラル(15)
• レシピ(17)
• レ・ミゼラブル(14)
• ロゴ(14)
• ロシア(264)
• ロボット(26)
• ローマ(22)
• ワイン(16)
• ワクチン(12)
• ヴァチカン(62)
• 一人っ子政策(26)
• 三島由紀夫(18)
• 不動産(12)
• 不正(152)
• 不況(24)
• 世代(14)
• 世界(300)
• 中国(654)
• 中学校(15)
• 中学生(12)
• 中谷宇吉郎(12)
• 予算(56)
• 事件(32)
• 事例(20)
• 事故(74)
• 井上ひさし(15)
• 交通(20)
• 京都(22)
• 京都大学(27)
• 人事(15)
• 人口(84)
• 人工知能(32)
• 人権(16)
• 人生(1129)
• 人間(28)
• 人類(16)
• 介護(22)
• 仏教(41)
• 仕事(191)
• 企業(70)
• 会社(32)
• 作家(20)
• 便利(26)
• 保護(17)
• 信仰(28)
• 個人(18)
• 個人情報(22)
• 健康(43)
• 入試(47)
• 公務員(17)
• 公開(16)
• 共産党(38)
• 写真(25)
• 冬(15)
• 出版(81)
• 出生率(15)
• 出産(16)
• 制裁(16)
• 創造(24)
• 労働(74)
• 勉強(42)
• 動物(19)
• 動画(156)
• 北京(16)
• 北朝鮮(26)
• 北海道(21)
• 医学(19)
• 医療(61)
• 博士(86)
• 危険(12)
• 原子力発電所(33)
• 受験(26)
• 古代(21)
• 台湾(47)
• 台風(19)
• 吉本隆明(16)
• 名前(27)
• 商標(15)
• 問題(30)
• 図書館(52)
• 国家(19)
• 国立(21)
• 国際(43)
• 地図(37)
• 地方(48)
• 地球(30)
• 地震(56)
• 報道(37)
• 墓(13)
• 増田(14)
• 夏(15)
• 夏目漱石(39)
• 外交(26)
• 夢(12)
• 大学(646)
• 大学院(12)
• 大統領(80)
• 大阪(24)
• 大阪府(19)
• 天皇(14)
• 太宰治(26)
• 太陽系(13)
• 夫婦(13)
• 奨学金(28)
• 女性(131)
• 子(18)
• 子供(225)
• 孤独(16)
• 学問(68)
• 学校(55)
• 学生(83)
• 学習(61)
• 学費(13)
• 宇宙(81)
• 安倍晋三(31)
• 安全保障(16)
• 安彦良和(17)
• 宗教(164)
• 宮崎駿(17)
• 家庭(14)
• 家族(35)
• 将棋(95)
• 小保方晴子(59)
• 小学校(22)
• 小沢一郎(15)
• 小説(191)
• 少子化(51)
• 就職(78)
• 川端康成(18)
• 巨大(15)
• 差別(19)
• 市民(18)
• 年金(17)
• 年齢(13)
• 幸福(19)
• 広告(68)
• 廃墟(15)
• 建築(37)
• 引退(13)
• 心理(18)
• 思想(25)
• 性(13)
• 情報(25)
• 惑星(20)
• 愛(53)
• 戦争(174)
• 手帳(14)
• 技術(85)
• 投資(23)
• 捏造(15)
• 授業(17)
• 携帯電話(69)
• 改革(26)
• 攻撃(16)
• 政治(225)
• 政策(17)
• 教会(18)
• 教員(65)
• 教師(25)
• 教授(19)
• 教皇(14)
• 教科書(23)
• 教育(469)
• 数学(159)
• 数式(16)
• 文化(183)
• 文字(25)
• 文学(142)
• 文房具(29)
• 文系(14)
• 文部科学省(47)
• 料理(46)
• 新型コロナウイルス(125)
• 新幹線(31)
• 新聞(29)
• 旅行(128)
• 日本(540)
• 日本人(15)
• 日本語(47)
• 早稲田大学(14)
• 映画(198)
• 昭和(15)
• 時計(23)
• 時間(16)
• 暗号(48)
• 暴力(16)
• 書店(19)
• 書籍(16)
• 書評(284)
• 月(17)
• 朝日新聞(47)
• 未来(14)
• 本(956)
• 村上春樹(39)
• 東京(39)
• 東京大学(61)
• 東京都(48)
• 東北地方太平洋沖地震(50)
• 東日本大震災(24)
• 東芝(23)
• 格差(31)
• 桜(16)
• 梅田望夫(28)
• 検索(72)
• 機械(15)
• 歴史(309)
• 死(43)
• 死刑(14)
• 死去(136)
• 母(26)
• 比較(18)
• 民主主義(14)
• 民主党(60)
• 民進党(14)
• 気候(32)
• 水(20)
• 汚染(21)
• 沖縄(33)
• 治療(15)
• 法王(63)
• 浮世絵(13)
• 海外(30)
• 消費(13)
• 温暖化(32)
• 漢字(17)
• 漫画(188)
• 災害(65)
• 父(16)
• 特許(21)
• 犬(33)
• 犯罪(75)
• 猫(63)
• 猫猫先生(14)
• 理化学研究所(66)
• 理系(15)
• 環境(124)
• 生活(65)
• 生物(16)
• 生産性(16)
• 産業(23)
• 画像(57)
• 発見(17)
• 盗難(16)
• 相撲(16)
• 真性引き篭もり(24)
• 石川県(33)
• 研究(550)
• 研究者(31)
• 破産(13)
• 破綻(16)
• 社会(303)
• 神(19)
• 祭(19)
• 福島(27)
• 科学(194)
• 移民(24)
• 筒井康隆(14)
• 管理(25)
• 紙(14)
• 経営(46)
• 経済(325)
• 結婚(52)
• 統計(19)
• 羽生善治(13)
• 習近平(24)
• 翻訳(16)
• 老い(13)
• 老人(29)
• 考古学(20)
• 聖書(69)
• 脳(36)
• 自動車(27)
• 自殺(28)
• 自民党(42)
• 自然(22)
• 自由(14)
• 航空機(15)
• 芥川龍之介(18)
• 若者(45)
• 英語(83)
• 著作権(60)
• 親(40)
• 観光(14)
• 言葉(19)
• 言語(17)
• 評価(13)
• 詩(30)
• 認知症(44)
• 読書(24)
• 論文(135)
• 講義(26)
• 貧困(21)
• 買収(18)
• 購入予定(19)
• 購入済(32)
• 車(78)
• 選挙(85)
• 酒(32)
• 野球(19)
• 鉄道(91)
• 銀行(22)
• 開発(26)
• 雇用(40)
• 離婚(13)
• 雪(13)
• 電子書籍(13)
• 韓国(117)
• 音楽(154)
• 飛行機(51)
• 高校(36)
• 高齢化(19)
• 高齢者(41)
• 人生(1129)
• 本(956)
• ネタ(919)
• photos(667)
• 中国(654)
• 大学(646)
• アメリカ(625)
• 研究(550)
• 日本(540)
• finalvent(506)

タグをすべて表示

関連タグで絞り込む (3)

• Lean
• 望月新一
• 証明

タグの絞り込みを解除

数学とABC予想に関するmshkhのブックマーク (2)

• ABC予想証明の正否、コンピューターで決着か　望月氏が打開策示す：朝日新聞

  • 153 users
  • www.asahi.com
  • 世の中

  数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授（56）も、この試みに肯定的だ。証明が正しいかど…

  
  

  mshkh2025/12/06

  Leanを使うと。形式的手法はちゃんと勉強してないのだが、がぜん勉強する気が出てきた

  • 望月新一
  • 数学
  • ABC予想
  • 証明
  • Lean

  リンク

• （取材考記）膠着状態　「ＡＢＣ予想」証明、議論再開を　石倉徹也：朝日新聞

  • 34 users
  • www.asahi.com
  • 世の中

  これほど称賛され、恐れられ、無視されている論文も珍しい。京都大学数理解析研究所の望月新一教授（５５）が発表した「宇宙際（うちゅうさい）タイヒミュラー理論」。専門家による検証を経て、超難問「ＡＢＣ予想…

  
  

  mshkh2024/04/16

  ほんとになあ。発表からもう10年以上になるんだが。〇〇を証明した！、いや間違ってました、あるいは別のやり方で証明されました、とかは山のようにあるからな。できればちゃんと結論を出してほしいもんだわ

  • 数学
  • ABC予想

  リンク
• 1

• 総合
• 一般
• 世の中
• 政治と経済
• 暮らし
• 学び

• テクノロジー
• エンタメ
• アニメとゲーム
• おもしろ

• アプリ・拡張機能
• 開発ブログ
• ヘルプ
• お問い合わせ
• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• 公式アカウント
• ホットエントリー