SSSSLIDE
Kiwamu Okabe さんの SlideShare でのスライド
1/5 ページ (全 70 件)
出典:
http://www.slideshare.net/master_q
An OCaml newbie meets Camlp4 parser
24日前 by
Kiwamu Okabe
ATS2 updates 2017
9ヶ月前 by
Kiwamu Okabe
お米大好きな組み込みエンジニアが半年で10kg限量した話
10ヶ月前 by
Kiwamu Okabe
RTOS application verified by VeriFast, and future plan
11ヶ月前 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 language
2年弱前 by
Kiwamu Okabe
Functional IoT: Introduction
約2年前 by
Kiwamu Okabe
Functional IoT: Hardware and Platform
約2年前 by
Kiwamu Okabe
Embedded application designed by ATS language
2年以上前 by
Kiwamu Okabe
Safer IoT using functional language
2年以上前 by
Kiwamu Okabe
Smart.js: JavaScript engine running on tiny MCU
2年以上前 by
Kiwamu Okabe
Kick-R: Get your own R instance with 36 cores on AWS
2年以上前 by
Kiwamu Okabe
ATS programming on ESP8266
2年以上前 by
Kiwamu Okabe
1
2
3
4
…
次へ»