Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Reduceを使った定理証明 〜 グレブナー基底を添えて 〜
Search
Qiushi Pan
December 10, 2018
Science
0
150
Reduceを使った定理証明 〜 グレブナー基底を添えて 〜
主専攻実習,定理証明グループ最終発表スライド.Reduceを使った定理証明の解説を,グレブナー基底から,具体的な定理で証明するまで.
Qiushi Pan
December 10, 2018
Tweet
Share
More Decks by Qiushi Pan
See All by Qiushi Pan
応答例を見ながらの キャラ性格チューニング
qqpann
0
110
[ICCE2021] Prior Knowledge on the Dynamics of Skill Acquisition Improves Deep Knowledge Tracing
qqpann
1
69
卒業研究最終発表
qqpann
1
64
[卒論中間発表] Encoder-Decoder DKTと中間表現の分析
qqpann
0
73
[卒論着手発表] Autoencoderによる半教師あり学習と中間表現の分析
qqpann
1
380
Other Decks in Science
See All in Science
ACL読み会2024@名大 REANO: Optimising Retrieval-Augmented Reader Models through Knowledge Graph Generation
takuma_matsubara
0
150
拡散モデルの原理紹介
brainpadpr
3
6k
マテリアルズ・インフォマティクスの先端で起きていること / What's Happening at the Cutting Edge of Materials Informatics
snhryt
1
190
学術講演会中央大学学員会八王子支部
tagtag
0
280
2024-06-16-pydata_london
sofievl
0
610
サメのはなし / How Sharks are born
naospon
0
2.5k
観察研究における因果推論
nearme_tech
PRO
1
160
統計的因果探索: 背景知識とデータにより因果仮説を探索する
sshimizu2006
3
690
統計学入門講座 第1回スライド
techmathproject
0
240
Healthcare Innovation through Business Entrepreneurship
clintwinters
0
200
Analysis-Ready Cloud-Optimized Data for your community and the entire world with Pangeo-Forge
jbusecke
0
130
Factorized Diffusion: Perceptual Illusions by Noise Decomposition
tomoaki0705
0
340
Featured
See All Featured
KATA
mclloyd
29
14k
A Tale of Four Properties
chriscoyier
158
23k
Thoughts on Productivity
jonyablonski
69
4.5k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
27
1.6k
Why Our Code Smells
bkeepers
PRO
336
57k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
7
650
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
4
380
Raft: Consensus for Rubyists
vanstee
137
6.8k
Adopting Sorbet at Scale
ufuk
75
9.2k
The Power of CSS Pseudo Elements
geoffreycrofte
75
5.5k
The MySQL Ecosystem @ GitHub 2015
samlambert
250
12k
Fontdeck: Realign not Redesign
paulrobertlloyd
83
5.4k
Transcript
ఆཧূ໌άϧʔϓ 5IFPSFN1SPWJOH1SBDUJDF !RRIBOO
શମઆ໌
ϓϩάϥϜͰఆཧূ໌ʁ w ͦΕͬͯͲ͏Δͷʁ͓͍͍͠ͷʁ w ԾఆΛஔ͍ͨ࣌ʹɼ͕݁ਖ਼͍͜͠ͱΛࣔͤΕྑ͍ɽ
४උάϨϒφʔجఈ w ํఔࣜ !" , … , !% → άϨϒφʔجఈ
'" , … , '( w ํఔࣜΛղ͖͍͢ܗʹมͨ͠ͷ w ଟมଟ߲ࣜͷআࢉ ֤εςοϓΛ؆ͱΈͳ͢ ʢ.؆ SFEVDJUPO PG.VMUJQMFTʣ
४උΠσΞϧ w ՄRͷΠσΞϧI Rؚ͕ΉIͰҎԼΛຬͨ͢ͷ i) %, ' ∈ ) ⟹
% ± ' ∈ ) ii) % ∈ ), , ∈ - ⟹ %, ∈ ) w ྫɿ R = ℤ, I={3} 3) 34 ± 35 = 3 4 ± 5 33) 34 5 = 3(45)
w ΠσΞϧ ͷഒ Λ 3 ͱॻ͘ɽ 9 ∈ (3) 8
∉ 3 9 ÷ 3 = 3 ⋯ 0 ͷഒ 8 ÷ 3 = 2 ⋯ 2 ͷഒͰͳ͍ w Ծఆ-. , … , -1 ݁ 2 2 34,…,35 0 ͳΒ 2 ∈ -. , … , -1 Γཱͭอূ͕ͳ͍㱺άϨϒφʔجఈ ℎ. , … , ℎ7 ʹ࡞ Γม͑Δ 2 84,…,89 0 ͳΒ 2 ∈ -. , … , -1 ఆཧΛࣔ͢खॱ
ఆཧূ໌ ʰϞϊάϥϑ زԿֶʱ ݈ଠɼਗ਼ٶढ़༤ɽ Qͷఆཧ
ʮఆཧ ਖ਼ํܗ"#$%ͷล$%্ͷΛ&ͱ͢Δɽ&͔Β "$ʹԼΖͨ͠ਨઢͷΛ1ͱ͠ɼ$͔Β"&ʹԼΖͨ͠ ਨઢͷΛ2ͱ͢Δͱɼ# 1 2ઢ্ʹ͋Δʯ
w ʮఆཧ ਖ਼ํܗ"#$%ͷล$%্ͷΛ&ͱ͢Δɽ&͔Β "$ʹԼΖͨ͠ਨઢͷΛ1ͱ͠ɼ$͔Β"&ʹԼΖͨ͠ ਨઢͷΛ2ͱ͢Δͱɼ# 1 2ઢ্ʹ͋Δʯ w Ծఆ ☐ABCD
C−D−E AC ⊥ EP A−C−P AE ⊥ CQ A−E−Q ݁ B−P−Q
w Ծఆ ☐ABCD C−D−E AC ⊥ EP A−C−P AE ⊥
CQ A−E−Q ݁ B−P−Q w *+ ࣗ༝ͳ ,+ ଞͷʹਵ ܾͯ͠·Δ (0, 0) (*1 , 0) (0, −*1 ) (*1 , −*1 ) (*1 , *2 ) (,3 , ,4 ) (,1 , ,2 )
w Ծఆ ☐ABCDʜࣗ໌ C−D−Eʜࣗ໌ AC ⊥ EP ʜ)* A−C−P ʜ)+
AE ⊥ CQ ʜ)- A−E−Q ʜ). ݁ B−P−Q ʜ/ 3FEVDFϓϩάϥϜ
! "#,…,"& 0 ͱͳͬͨɽ Αͬͯ ! ∈ )* , …
, )+ ఆཧূ໌͞Εͨɽ 3FEVDFϓϩάϥϜ࣮ߦ݁Ռ