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
soukouki
soukouki
18 Decks
1 Following
0 Followers
1 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
定理証明支援系Coq(セキュリティキャンプLT会)
soukouki
1
100
Coqで選択公理を形式化してみた
soukouki
0
150
「プログラミング」と「数学」の関係 〜カリー・ハワード同系対応と定理証明支援系Coq〜
soukouki
1
60
型クラスと依存型のカルパッチョ、代数的構造を添えて
soukouki
2
450
Coqのコントリビューターになった話
soukouki
0
130
次に流行る※プログラミング言語「Lean」
soukouki
2
1.2k
証明しながらプログラミング! - タクティックによるCoqプログラミング
soukouki
0
200
帰納型とパターンマッチングの紹介
soukouki
0
110
ステータスバーに歌詞を表示させてみた!
soukouki
0
91
プログラムを書いて証明しよう! -- Coqを用いた形式証明の解説 --
soukouki
0
130
友人にElmを布教してみた
soukouki
0
220
言語を自作する勉強会を開いてみた
soukouki
0
150
セーブデータをGitで管理しよう!!
soukouki
0
400
関数型プログラミングの考え方について / Scheme入門
soukouki
0
540
自作言語のすすめ(OSC21Aizu版)
soukouki
0
570
自作言語のすすめ - シン・プログラミング自作版 -
soukouki
0
380
純粋関数型言語 Elm のすすめ ~ Elmはとてもいい言語なのでみんな使ってみましょう! ~
soukouki
0
250
3つの言語 3つの世界
soukouki
0
65
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade