Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Yoriyuki Yamagata
yoriyukiprf
20 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Individual-based epidemiological model of COVID19 using location data
yoriyukiprf
0
63
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
86
On proving consistency of equational theories in bounded arithmetic
yoriyukiprf
0
96
個人レベルの位置情報を使ったCOVID19の感染モデル
yoriyukiprf
0
96
人流データを用いた人流制限解除後のCOVID-19感染状況の推定
yoriyukiprf
0
120
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
yoriyukiprf
0
120
引用の記述説の擁護
yoriyukiprf
0
130
Consistency proof of fragments of equational systems with substitution in bounded arithmetic
yoriyukiprf
0
82
Concepts on AI Fairness
yoriyukiprf
0
78
Falsification of Cyber Physical System Using Deep Reinforcement Learning
yoriyukiprf
1
120
Metamorphic testing vs property based testing
yoriyukiprf
0
270
On a proof theoretical semantics for bilateral classical logic
yoriyukiprf
0
76
Separation of Bounded Arithmetic using a consistency statement
yoriyukiprf
0
58
Separation of bounded arithmetics using a consistency statement
yoriyukiprf
1
70
A defense of the description theory of quotation
yoriyukiprf
0
62
強化学習による制御システムの自動反例生成
yoriyukiprf
0
2.6k
中山道 - 新しいオープンソースかな漢字変換エンジンを目指して
yoriyukiprf
0
90
Validity of bilateral classical logic and its application
yoriyukiprf
0
63
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade