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

1/5 ページ (全 70 件)

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

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

RTOS application verified by VeriFast, and future plan1年以上前 by Kiwamu Okabe
Poster: Comparing ATS and VeriFast on RTOS system state1年以上前 by Kiwamu Okabe
Hands-on VeriFast with STM32 microcontroller1年以上前 by Kiwamu Okabe

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

Functional IoT: Hardware and Platform2年以上前 by Kiwamu Okabe
Embedded application designed by ATS language3年弱前 by Kiwamu Okabe
Safer IoT using functional language3年弱前 by Kiwamu Okabe

Smart.js: JavaScript engine running on tiny MCU3年弱前 by Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS3年弱前 by Kiwamu Okabe
ATS programming on ESP82663年弱前 by Kiwamu Okabe

1234…次へ»