Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

soukouki

soukouki
2 Stars

Decks

自作Cコンパイラ 8時間の奮闘
soukouki
0
1.3k
定理証明支援系Coq(セキュリティキャンプLT会)
soukouki
1
160
Coqで選択公理を形式化してみた
soukouki
0
340
「プログラミング」と「数学」の関係 〜カリー・ハワード同系対応と定理証明支援系Coq〜
soukouki
1
210
型クラスと依存型のカルパッチョ、代数的構造を添えて
soukouki
2
540
Coqのコントリビューターになった話
soukouki
0
190
次に流行る※プログラミング言語「Lean」
soukouki
3
1.8k
証明しながらプログラミング！ - タクティックによるCoqプログラミング
soukouki
0
300
帰納型とパターンマッチングの紹介
soukouki
0
170
ステータスバーに歌詞を表示させてみた！
soukouki
0
180
プログラムを書いて証明しよう！ -- Coqを用いた形式証明の解説 --
soukouki
0
230
友人にElmを布教してみた
soukouki
0
230
言語を自作する勉強会を開いてみた
soukouki
0
170
セーブデータをGitで管理しよう！！
soukouki
0
540
関数型プログラミングの考え方について / Scheme入門
soukouki
0
680
自作言語のすすめ(OSC21Aizu版)
soukouki
0
620
自作言語のすすめ - シン・プログラミング自作版 -
soukouki
0
440
純粋関数型言語 Elm のすすめ ～ Elmはとてもいい言語なのでみんな使ってみましょう！ ～
soukouki
0
390

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade