解の個数を数えよう

数理空間topos@mspacetopos
https://twitter.com/mspacetopos

Naoya Umezaki

May 12, 2018

More Decks by Naoya Umezaki

See All by Naoya Umezaki

証明支援系LEANに入門しよう

2

5.3k

ミケル点とべズーの定理

0

1.2k

すうがく徒のつどい＠オンライン「ラマヌジャンのデルタ」

0

850

合同式と幾何学

0

2.3k

すうがく徒のつどい＠オンライン「ヴェイユ予想とl進層のフーリエ変換」

0

1k

Egisonパターンマッチによる彩色

1

700

関数等式と双対性

1

910

直交多項式と表現論

0

1k

導来代数幾何入門

0

1.4k

Other Decks in Science

See All in Science

20260820_アウトカムが二値のデータに対するCausal Impact@LINEヤフー Data Science Share #2 / Causal Impact for Binary Outcomes

3

1.5k

Cross-Media Technologies, Information Science and Human-Information Interaction

PRO

3

33k

How a camera trap data standard enabled an ecosystem of interoperable tools

0

140

データベース05: SQL(2/3) 結合質問

PRO

0

1.4k

機械学習 - pandas入門

PRO

0

780

CVPR2026_VGGTとその仲間たち

0

1.2k

生成AI時代のインタラクションサイエンス（招待講演）/interaction-science

0

110

医療 LLM ベンチマークの現在地：多面的評価と日本ローカライズ

1

740

O(log n)-Approximation Algorithms for Bipartiteness Ratio

0

260

データベース12: 正規化(2/2) - データ従属性に基づく正規化

PRO

0

1.8k

AI(人工知能）の過去・現在・未来　～AIは人類を越えるのか～

PRO

0

170

データベース15: ビッグデータ時代のデータベース

PRO

1

600

Featured

See All Featured

Making Projects Easy

120

6.8k

Chrome DevTools: State of the Union 2024 - Debugging React & Beyond

10

1.4k

What the history of the web can teach us about the future of AI

PRO

2

740

Jess Joyce - The Pitfalls of Following Frameworks

PRO

1

440

Faster Mobile Websites

310

32k

A Soul's Torment

8

3.7k

Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs

PRO

0

700

Ruling the World: When Life Gets Gamed

0

400

Tell your own story through comics

1

1.1k

Building a Modern Day  E-commerce SEO Strategy

45

9.2k

Amusing Abliteration

1

340

Ethics towards AI in product and experience design

2

430

Transcript