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

Starred by kobaryo

artoy
View profile
形式手法特論：Hyperproperty とモデル検査 #kernelvm / Kernel VM Study Tokyo 19th
Avatar for y_taka_23 ytaka23
1
980
ソフトウェアエンジニアリング入門
Avatar for ymty ymty
95
53k
女性エンジニアをなぜ増やすのか？
Avatar for Yu Kamiya fuzzy31u
8
9k
TypeScript 関数型スタイルでバックエンド開発のリアル
Avatar for Naoya Ito naoya
77
38k
Go を書きながら定理を書く安心開発スタイル【DeNA TechCon 2021】/techcon2021-13
Avatar for DeNA_Tech dena_tech
4
1.7k
Infer入門
Avatar for r1ru riru
5
2.1k
形式手法特論：CEGAR を用いたモデル検査の状態空間削減 #kernelvm / Kernel VM Study Hokuriku Part 8
Avatar for y_taka_23 ytaka23
3
920
AIプロダクトの品質をどう守る？
Avatar for matsu802 matsu802
8
8.6k
漸進的過負荷の原則
Avatar for SansanTech sansantech
PRO
4
810
クレジットカードの不正を防止する技術
Avatar for Yuta Horii yutadayo
17
12k
[mercari GEARS 2025] Leveraging LLMs in Mercari Hallo
Avatar for mercari mercari
PRO
1
360
クレジットカードを製造する技術
Avatar for Yuta Horii yutadayo
115
80k
コード生成なしでモック処理を実現！ ovenchkin-dm/mockio,go-dynoで学ぶメタプログラミング
Avatar for karamaru karamaru
6
3.8k
Go Conference 2025: GoのinterfaceとGenericsの内部構造と進化 / Go type system internals
Avatar for turbofish ryokotmng
3
5k
私達はmodernize packageに夢を見るか feat. go/analysis, go/ast / Go Conference 2025
Avatar for m_t_tion1 kaorumuta
2
1.8k
encoding/json/v2で何が変わるか
Avatar for glassmonenkey nagano
14
5.7k
encoding/json/v2で何が変わるか
Avatar for glassmonenkey nagano
14
5.7k
seccamp2025_LT_デコンパイラ研究最前線
Avatar for KikyoNanakusa kikyonanakusa
7
3k