Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

rayfiyo (@rayfiyo)

2 Follows

View profile

kitamu_mu

kitamu_mu

2 followers 3 decks

押しつけアジャイルは「ダメ。ゼッタイ。」

0

1.6k

デイリースクラムいらなくなくなくなーい！？

30

26k

y_taka_23

ytaka23

著名ねこみみエンジニア

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

36 followers 67 decks

形式手法特論：SMT ソルバで解く認可ポリシの静的解析 #kernelvm / Kernel VM Study Tsukuba No3

1

570

形式手法特論：コンパイラの「正しさ」は証明できるか？ #burikaigi / BuriKaigi 2026

17

7.2k