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

1/5 ページ (全 70 件)

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

An OCaml newbie meets Camlp4 parser11ヶ月前 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 state2年弱前 by Kiwamu Okabe
Hands-on VeriFast with STM32 microcontroller約2年前 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: Introduction約3年前 by Kiwamu Okabe

Functional IoT: Hardware and Platform約3年前 by Kiwamu Okabe
Embedded application designed by ATS language約3年前 by Kiwamu Okabe
Safer IoT using functional language約3年前 by Kiwamu Okabe

Smart.js: JavaScript engine running on tiny MCU約3年前 by Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS約3年前 by Kiwamu Okabe
ATS programming on ESP82663年以上前 by Kiwamu Okabe

1234…次へ»