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
90
[ICCE2021] Prior Knowledge on the Dynamics of Skill Acquisition Improves Deep Knowledge Tracing
qqpann
1
62
卒業研究最終発表
qqpann
1
56
[卒論中間発表] Encoder-Decoder DKTと中間表現の分析
qqpann
0
71
[卒論着手発表] Autoencoderによる半教師あり学習と中間表現の分析
qqpann
1
350
Other Decks in Science
See All in Science
General Parasitology
uni_of_nomi
0
120
Science of Scienceおよび科学計量学に関する研究論文の俯瞰可視化_ポスター版
hayataka88
0
120
ECUACIÓN DE ESTADO DEL VIRIAL
borischicoma
0
160
学術講演会中央大学学員会八王子支部
tagtag
0
220
AI科学の何が“哲学”の問題になるのか ~問いマッピングの試み~
rmaruy
1
2.2k
Snowflakeによる統合バイオインフォマティクス
ktatsuya
0
470
20240420 Global Azure 2024 | Azure Migrate でデータセンターのサーバーを評価&移行してみる
olivia_0707
2
880
科学で迫る勝敗の法則(名城大学公開講座.2024年10月) / The principle of victory discovered by science (Open lecture in Meijo Univ. 2024)
konakalab
0
190
Improving Search @scale with efficient query experimentation @BerlinBuzzwords 2024
searchhub
0
240
重複排除・高速バックアップ・ランサムウェア対策 三拍子そろったExaGrid × Veeam連携セミナー
climbteam
0
100
位相的データ解析とその応用例
brainpadpr
1
550
As We May Interact: Challenges and Opportunities for Next-Generation Human-Information Interaction
signer
PRO
0
130
Featured
See All Featured
Practical Orchestrator
shlominoach
186
10k
A designer walks into a library…
pauljervisheath
202
24k
Build your cross-platform service in a week with App Engine
jlugia
229
18k
Docker and Python
trallard
40
3.1k
Build The Right Thing And Hit Your Dates
maggiecrowley
32
2.4k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
4
290
Thoughts on Productivity
jonyablonski
67
4.3k
How To Stay Up To Date on Web Technology
chriscoyier
788
250k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
7
150
KATA
mclloyd
29
13k
Building an army of robots
kneath
302
42k
How to Think Like a Performance Engineer
csswizardry
19
1.1k
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ϓϩάϥϜ࣮ߦ݁Ռ