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
160
Reduceを使った定理証明 〜 グレブナー基底を添えて 〜
主専攻実習,定理証明グループ最終発表スライド.Reduceを使った定理証明の解説を,グレブナー基底から,具体的な定理で証明するまで.
Qiushi Pan
December 10, 2018
Tweet
Share
More Decks by Qiushi Pan
See All by Qiushi Pan
応答例を見ながらの キャラ性格チューニング
qqpann
0
120
[ICCE2021] Prior Knowledge on the Dynamics of Skill Acquisition Improves Deep Knowledge Tracing
qqpann
1
75
卒業研究最終発表
qqpann
1
69
[卒論中間発表] Encoder-Decoder DKTと中間表現の分析
qqpann
0
81
[卒論着手発表] Autoencoderによる半教師あり学習と中間表現の分析
qqpann
1
410
Other Decks in Science
See All in Science
機械学習 - 授業概要
trycycle
PRO
0
230
データベース05: SQL(2/3) 結合質問
trycycle
PRO
0
790
Explanatory material
yuki1986
0
390
05_山中真也_室蘭工業大学大学院工学研究科教授_だてプロの挑戦.pdf
sip3ristex
0
610
Accelerated Computing for Climate forecast
inureyes
PRO
0
120
機械学習 - 決定木からはじめる機械学習
trycycle
PRO
0
1k
深層学習を用いた根菜類の個数カウントによる収量推定法の開発
kentaitakura
0
180
MCMCのR-hatは分散分析である
moricup
0
430
データベース11: 正規化(1/2) - 望ましくない関係スキーマ
trycycle
PRO
0
930
研究って何だっけ / What is Research?
ks91
PRO
1
110
ランサムウェア対策にも考慮したVMware、Hyper-V、Azure、AWS間のリアルタイムレプリケーション「Zerto」を徹底解説
climbteam
0
100
ttl2html (RDF/Turtle to HTML)
masao
0
100
Featured
See All Featured
Agile that works and the tools we love
rasmusluckow
329
21k
Art, The Web, and Tiny UX
lynnandtonic
302
21k
Done Done
chrislema
185
16k
Docker and Python
trallard
45
3.5k
The Invisible Side of Design
smashingmag
301
51k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
1.4k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
8
890
Automating Front-end Workflow
addyosmani
1370
200k
Writing Fast Ruby
sferik
628
62k
[RailsConf 2023] Rails as a piece of cake
palkan
56
5.8k
Site-Speed That Sticks
csswizardry
10
780
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ϓϩάϥϜ࣮ߦ݁Ռ