Coq のカリー・ハワード同型周辺についてlikers
- 真空@metastable-void
森 祐佳。一般社団法人生活情報基盤研究機構 (Menhera.org) 代表理事。自称情報基盤活動家兼アーティスト。興味は哲学と医学。
- @i15fujimura1s
プログラミングが好きだけど、向いてはいない。
- @luma
ぽよん
- Ryuta Kambe@veqcc
東大 工 B3 計算論とかコンパイラとか勉強中
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.