Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for soukouki

soukouki

soukouki
3 Stars

Decks

ローカルLLMバイブコーディングのすすめ
Avatar for soukouki soukouki
0
130
ゲーム画面をブラウザから見られるサイトを作った話
Avatar for soukouki soukouki
0
99
Simutrans CityView (English)
Avatar for soukouki soukouki
0
120
Simutrans CityView (日本語版)
Avatar for soukouki soukouki
0
150
10分で学ぶ すてきなモナド
Avatar for soukouki soukouki
1
210
Misskey自鯖を建ててみた
Avatar for soukouki soukouki
1
120
1年前の日記を要約するツールをローカルLLM&自作MCPサーバーで作った話
Avatar for soukouki soukouki
0
570
自作Cコンパイラ 8時間の奮闘
Avatar for soukouki soukouki
0
1.9k
定理証明支援系Coq(セキュリティキャンプLT会)
Avatar for soukouki soukouki
1
280
Coqで選択公理を形式化してみた
Avatar for soukouki soukouki
0
550
「プログラミング」と「数学」の関係 〜カリー・ハワード同系対応と定理証明支援系Coq〜
Avatar for soukouki soukouki
1
390
型クラスと依存型のカルパッチョ、代数的構造を添えて
Avatar for soukouki soukouki
2
660
Coqのコントリビューターになった話
Avatar for soukouki soukouki
0
270
次に流行る※プログラミング言語「Lean」
Avatar for soukouki soukouki
4
5.4k
証明しながらプログラミング！ - タクティックによるCoqプログラミング
Avatar for soukouki soukouki
0
410
帰納型とパターンマッチングの紹介
Avatar for soukouki soukouki
0
300
ステータスバーに歌詞を表示させてみた！
Avatar for soukouki soukouki
0
280
プログラムを書いて証明しよう！ -- Coqを用いた形式証明の解説 --
Avatar for soukouki soukouki
0
460

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