Kiwamu Okabe さんの SlideShare でのスライド

1/5 ページ (全 70 件)

出典: http://www.slideshare.net/master_q

An OCaml newbie meets Camlp4 parser24日前 by Kiwamu Okabe
ATS2 updates 20179ヶ月前 by Kiwamu Okabe
お米大好きな組み込みエンジニアが半年で10kg限量した話10ヶ月前 by Kiwamu Okabe

RTOS application verified by VeriFast, and future plan11ヶ月前 by Kiwamu Okabe
Poster: Comparing ATS and VeriFast on RTOS system state約1年前 by Kiwamu Okabe
Hands-on VeriFast with STM32 microcontroller約1年前 by Kiwamu Okabe

Does Infer dream of design by contract?1年以上前 by Kiwamu Okabe
Real-time OS system state captured by ATS language2年弱前 by Kiwamu Okabe
Functional IoT: Introduction約2年前 by Kiwamu Okabe

Functional IoT: Hardware and Platform約2年前 by Kiwamu Okabe
Embedded application designed by ATS language2年以上前 by Kiwamu Okabe
Safer IoT using functional language2年以上前 by Kiwamu Okabe

Smart.js: JavaScript engine running on tiny MCU2年以上前 by Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS2年以上前 by Kiwamu Okabe
ATS programming on ESP82662年以上前 by Kiwamu Okabe

1234…次へ»