解の個数を数えよう

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

Naoya Umezaki

May 12, 2018

More Decks by Naoya Umezaki

See All by Naoya Umezaki

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

2

4.5k

ミケル点とべズーの定理

0

1.1k

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

0

810

合同式と幾何学

0

2.3k

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

0

980

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

1

680

関数等式と双対性

1

880

直交多項式と表現論

0

1k

導来代数幾何入門

0

1.2k

Other Decks in Science

See All in Science

(2025) Balade en cyclotomie

0

640

【論文紹介】Is CLIP ideal? No. Can we fix it?Yes! 第65回コンピュータビジョン勉強会＠関東

5

2.5k

因果推論と機械学習

1

1.2k

検索と推論タスクに関する論文の紹介

1

250

機械学習 - pandas入門

PRO

0

660

HajimetenoLT vol.17

1

240

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

PRO

0

1.3k

俺たちは本当に分かり合えるのか？～ PdMとスクラムチームの “ずれ” を科学する

2

2.5k

生成AIと司法書士の未来.pdf

PRO

0

140

データベース02: データベースの概念

PRO

2

1.2k

CVPR2026_VGGTとその仲間たち

0

980

水耕栽培：古代の知恵から宇宙農業まで

grow_design_lab

0

160

Featured

See All Featured

Believing is Seeing

1

170

New Earth Scene 8

3

2.4k

エンジニアに許された特別な時間の終わり

108

250k

Testing 201, or: Great Expectations

46

8.2k

Heart Work Chapter 1 - Part 1

PRO

8

36k

Git: the NoSQL Database

PRO

432

67k

Applied NLP in the Age of Generative AI

PRO

4

2.4k

ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020

128

56k

The SEO identity crisis: Don't let AI make you average

0

510

Noah Learner - AI + Me: how we built a GSC Bulk Export data pipeline

PRO

0

220

Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth

0

180

Sam Torres - BigQuery for SEOs

PRO

0

300

Transcript