SlideShare a Scribd company
  • Home
  • Explore
  • Upload
  • Login
  • Signup
SlideShare a Scribd company
  • Upload
  • Home
  • Explore
  • Login
  • Signup
×
×
×
×
×
×

Kiwamu Okabe

Kiwamu Okabe
  • Following Follow   Processing…
  • 88 SlideShares
  • 337 Followers
  • 0 Clipboards

Modal header

One fine body…

    • Yokohama, Kanagawa, Japan, Japan
  • Work Software Engineer at SELTECH CORPORATION
  • Website masterq.metasepi-design.com/
  • About I launched my career on developing embedded devices at Ricoh Company, Ltd.[0], and also learned application design using functional language such like Haskell[1]. I found Metasepi project[2] what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc[3], and published some research papers[4]. Today, I choose ATS[5] language as embedded functional language, and found Japan ATS User Group[6] what holds Japanese translations about the language. And I'm implementing these technology on tiny MCU[7] such like ARM Cortex-M series[8] and 8bit AVR[9] for practical use. Metasepi is very experimental and ambitious proje...
TwitterFacebookLinkedInGoogle+
Followers (337)
  • yugoosano
  • tkd fujitsu
  • home
  • Takayuki Goto
  • satosi2
  • CTIS
Following (320)
  • Yahoo!デベロッパーネットワーク
  • l_b__
  • Ken SASAKI
  • Tomohiro Hirano
  • home

View all Likes (19)

  • 暗号文のままで計算しよう - 準同型暗号入門 - 暗号文のままで計算しよう - 準同型暗号入門 - by herumi 6 years ago
  • ARM Trusted FirmwareのBL31を単体で使う! ARM Trusted FirmwareのBL31を単体で使う! by ssuser479fa3 5 years ago
  • SFO15-503: Secure storage in OP-TEE SFO15-503: Secure storage in ... by linaroorg 6 years ago
  • LCU14-103: How to create and run Trusted Applications on OP-TEE LCU14-103: How to create and ... by linaroorg 7 years ago
  • FreeBSD on Mac FreeBSD on Mac by YuichiroNaito 6 years ago
  • SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム SmartNews TechNight Vol5 : Sm... by smartnews 6 years ago
  • 線形型のある言語でLEDを光らせる 線形型のある言語でLEDを光らせる by osiire 7 years ago
  • 技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい 技適なBluetooth GNSS/GPSレシーバーをRa... by matoken 7 years ago
  • About
  • Support
  • Terms
  • Privacy
  • Copyright

© 2022 SlideShare from Scribd
  • English
  • Español
  • Português
  • Français
  • Deutsch