解の個数を数えよう

May 12, 2018

Science

4.6k

解の個数を数えよう

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

Naoya Umezaki

May 12, 2018

Tweet

More Decks by Naoya Umezaki

See All by Naoya Umezaki

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

2

3.2k

ミケル点とべズーの定理

0

1.1k

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

0

760

合同式と幾何学

0

2.3k

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

0

940

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

1

650

関数等式と双対性

1

850

直交多項式と表現論

0

960

導来代数幾何入門

0

1.2k

Other Decks in Science

See All in Science

Text-to-SQLの既存の評価指標を問い直す

1

180

アクシズを探せ！各勢力の位置関係についての考察

PRO

1

110

PPIのみを用いたAIによる薬剤–遺伝子–疾患相互作用の同定

PRO

0

190

力学系から見た現代的な機械学習

3

4k

Lean4による汎化誤差評価の形式化

1

450

Agent開発フレームワークのOverviewとW&B Weaveとのインテグレーション

0

430

Rashomon at the Sound: Reconstructing all possible paleoearthquake histories in the Puget Lowland through topological search

0

620

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

datascientistsociety

PRO

3

30k

データマイニング - グラフ埋め込み入門

PRO

1

180

Algorithmic Aspects of Quiver Representations

0

220

生成検索エンジン最適化に関する研究の紹介

2

2k

データマイニング - グラフデータと経路

PRO

1

300

Featured

See All Featured

Mobile First: as difficult as doing things right

225

10k

Primal Persuasion: How to Engage the Brain for Learning That Lasts

0

280

The agentic SEO stack - context over prompts

0

680

Exploring anti-patterns in Rails

2

280

So, you think you're a good person

PRO

2

1.9k

The Curious Case for Waylosing

0

260

Practical Orchestrator

191

11k

Save Time (by Creating Custom Rails Generators)

PRO

32

2.4k

GraphQLとの向き合い方2022年版

50

14k

Art, The Web, and Tiny UX

304

21k

New Earth Scene 8

1

1.7k

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

10

1.1k

Transcript