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
140
Reduceを使った定理証明 〜 グレブナー基底を添えて 〜
主専攻実習,定理証明グループ最終発表スライド.Reduceを使った定理証明の解説を,グレブナー基底から,具体的な定理で証明するまで.
Qiushi Pan
December 10, 2018
Tweet
Share
More Decks by Qiushi Pan
See All by Qiushi Pan
応答例を見ながらの キャラ性格チューニング
qqpann
0
66
[ICCE2021] Prior Knowledge on the Dynamics of Skill Acquisition Improves Deep Knowledge Tracing
qqpann
1
59
卒業研究最終発表
qqpann
1
53
[卒論中間発表] Encoder-Decoder DKTと中間表現の分析
qqpann
0
66
[卒論着手発表] Autoencoderによる半教師あり学習と中間表現の分析
qqpann
1
330
Other Decks in Science
See All in Science
Cross-Media Information Spaces and Architectures (CISA)
signer
PRO
3
26k
Reaping the Benefits of Ritual and Routine
arthurdoler
PRO
0
110
Direct Preference Optimization
zchenry
0
210
最新のAI技術を使った材料シミュレーションで材料研究現場に変革を
matlantis
0
600
研究・教育・産学連携の循環の実践
sshimizu2006
0
270
【論文紹介】DocTr_ Document Transformer for Structured Information Extraction in Documents / iccv2023-doctr
yuya4
3
650
ABEMAの効果検証事例〜効果の異質性を考える〜
s1ok69oo
4
1.7k
第4回ナレッジグラフ勉強会 Knowledge Graph Embedding
maruru0090
0
130
マルチモーダルモデルと自動運転 車載モデルのコスト・スループット・レイテンシ / LLM in Production Meetup #2 20231023
yuyamaguchi
1
1.2k
Running llama.cpp on the CPU
ianozsvald
0
280
Pandas 2 vs Polars vs Dask (PyDataGlobal 2023 December)
ianozsvald
0
620
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
tagtag
0
130
Featured
See All Featured
Design by the Numbers
sachag
277
18k
Atom: Resistance is Futile
akmur
260
25k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
9
330
Intergalactic Javascript Robots from Outer Space
tanoku
266
26k
The Language of Interfaces
destraynor
151
23k
Making Projects Easy
brettharned
110
5.6k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
31
1.8k
Testing 201, or: Great Expectations
jmmastey
32
6.8k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
34
6.3k
The Invisible Customer
myddelton
115
13k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
42
4.7k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
244
1.2M
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ϓϩάϥϜ࣮ߦ݁Ռ