解の個数を数えよう

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

Naoya Umezaki

May 12, 2018

More Decks by Naoya Umezaki

See All by Naoya Umezaki

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

2

3.9k

ミケル点とべズーの定理

0

1.1k

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

0

790

合同式と幾何学

0

2.3k

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

0

960

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

1

660

関数等式と双対性

1

860

直交多項式と表現論

0

980

導来代数幾何入門

0

1.2k

Other Decks in Science

See All in Science

データベース03: 関係データモデル

PRO

1

500

なぜエネルギーは保存する？〜自由落下でわかる“対称性”とネーターの定理〜

syotasasaki593876

0

140

次代のデータサイエンティストへ～スキルチェックリスト、タスクリスト更新～

datascientistsociety

PRO

3

40k

【RSJ2025】PAMIQ Core: リアルタイム継続学習のための⾮同期推論・学習フレームワーク

0

840

(2025) Balade en cyclotomie

0

560

コミュニティサイエンスの実践@日本認知科学会2025

0

150

やるべきときにMLをやる AIエージェント開発

2

1.4k

AkarengaLT vol.41

1

140

Non-Gaussian, nonlinear causal discovery with hidden variables and application

0

120

機械学習 - 決定木からはじめる機械学習

PRO

0

1.4k

中央大学AI・データサイエンスセンター　2025年第6回イブニングセミナー　『知能とはなにか　ヒトとAIのあいだ』

PRO

0

150

Deep Space Network (abreviated)

0

140

Featured

See All Featured

Fight the Zombie Pattern Library - RWD Summit 2016

234

17k

jQuery: Nuts, Bolts and Bling

66

8.4k

Darren the Foodie - Storyboard

PRO

3

3.3k

Digital Ethics as a Driver of Design Innovation

PRO

1

280

svc-hook: hooking system calls on ARM64 by binary rewriting

2

250

What does AI have to do with Human Rights?

PRO

1

2.1k

A brief & incomplete history of  UX Design for the World Wide Web: 1989–2019

2

370

Paper Plane (Part 1)

PRO

0

7.6k

30 Presentation Tips

PRO

1

290

Stewardship and Sustainability of Urban and Community Forests

0

200

XXLCSS - How to scale CSS and keep your sanity

250

1.3M

SEO Brein meetup: CTRL+C is not how to scale international SEO

1

2.6k

Transcript