解の個数を数えよう

May 12, 2018

Science

4.2k

解の個数を数えよう

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

Naoya Umezaki

May 12, 2018

Tweet

More Decks by Naoya Umezaki

See All by Naoya Umezaki

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

0

630

ミケル点とべズーの定理

0

860

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

0

640

合同式と幾何学

0

2.2k

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

0

830

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

1

580

関数等式と双対性

1

760

直交多項式と表現論

0

860

導来代数幾何入門

0

950

Other Decks in Science

See All in Science

ICRA2024 速報

3

5.9k

インフラだけではない MLOps の話 @事例でわかるMLOps 機械学習の成果をスケールさせる処方箋発売記念

2

710

The Incredible Machine: Developer Productivity and the Impact of AI

0

530

白金鉱業Meetup Vol.15 DMLによる条件付処置効果の推定_sotaroIZUMI_20240919

2

680

Planted Clique Conjectures are Equivalent

0

110

Valuable Lessons Learned on Kaggle’s ARC AGI LLM Challenge (PyDataGlobal 2024)

0

210

Celebrate UTIG: Staff and Student Awards 2024

0

580

Online Feedback Optimization

floriandoerfler

0

900

理論計算機科学における数学の応用: 擬似ランダムネス

1

400

多次元展開法を用いた多値バイクラスタリングモデルの提案

0

230

240510 COGNAC LabChat

0

180

いまAI組織が求める企画開発エンジニアとは？

2

1.4k

Featured

See All Featured

34

3.2k

Refactoring Trust on Your Teams (GOTO; Chicago 2020)

33

2.8k

How GitHub (no longer) Works

314

140k

The Cult of Friendly URLs

78

6.2k

A Tale of Four Properties

158

23k

The Success of Rails: Ensuring Growth for the Next 100 Years

44

7k

Product Roadmaps are Hard

50

11k

Documentation Writing (for coders)

67

4.6k

Git: the NoSQL Database

427

64k

452

42k

Designing for humans not robots

250

25k

RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub

133

33k

Transcript