SSSSLIDE

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…次へ»

SSSSLIDE

© 2012-2018 milk1000cc

スライドの著作権は、各スライド作成者に所属します。

  • スライド一覧
  • ブックマークレット
  • Twitter
  • お問い合わせ