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

tanimon (@tanimon)

3 Follows
View profile
Avatar for y_taka_23

y_taka_23

ytaka23

著名ねこみみエンジニア

Twitter: https://twitter.com/y_taka_23
GitHub: https://github.com/y-taka-23

36 followers 66 decks
形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026
17
7.2k
形式手法特論：CEGAR を用いたモデル検査の状態空間削減 #kernelvm / Kernel VM Study Hokuriku Part 8
2
730
Avatar for Sho Kusano

Sho Kusano

rosylilly

ego cogito, ergo sum

5 followers 16 decks
ISUCON 反省会
1
330
ISUCON 夏祭り 2023 ハンズオン資料
1
6.6k
Avatar for Yasunobu Kawaguchi

Yasunobu Kawaguchi

PRO kawaguti

YesNoBut / CEO
agilergo consulting / Senior Agile Coach

162 followers 148 decks
Scrum Fest Morioka 2026
2
820
Claude Code for NOT Programming
2
390