吉祥寺北口システムが気になった記事をクリップしています。タイトルから元記事にリンクしています。タグは記事タイトルを形態素分析しています。たまにコメントをつけています。

定理

• Isabelle/HOL: Nitro Isolation Engine を支える定理証明支援系 | Amazon Web Services ブログ
  • Amazon(9591)
  • Engine(276)
  • HOL(1)
  • Isabelle(1)
  • Isolation(23)
  • NiTRo(19)
  • Services(7631)
  • Web(10593)
  • ブログ(9054)
  • 定理(4)
  • 支援(5137)
  • 証明(200)
• 英DeepMindと数学者ら、AI利用で新たな数学の定理を発見へ | スラド サイエンス
  • ai(6994)
  • DeepMind(17)
  • サイエンス(4300)
  • 利用(5467)
  • 定理(4)
  • 数学(24)
  • 数学者(7)
  • 発見(795)
• フェルマーの最終定理、IUT理論による証明が行われる | スラド サイエンス
  • IUT(1)
  • サイエンス(4300)
  • フェルマー(1)
  • 定理(4)
  • 最終(306)
  • 理論(46)
  • 証明(200)
• 【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com
  • Com(1608)
  • プレスリリース(19523)
  • 三角形(3)
  • 世界(2149)
  • 定理(4)
  • 成功(1301)
  • 抽象(5)
  • 数学(24)
  • 日本(6311)
  • 現代(80)
  • 研究(2321)
  • 素朴(2)
  • 証明(200)
  • 駆使(43)