Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.

Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.

    SlideShare
  • Slideshare-64x64 Home
  • Explore
  • Search
    • You
  • Upload
  • Login
  • Signup
  • Home
  • Explore
×
×
×
×
×
×

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 5 years ago
  • ARM Trusted FirmwareのBL31を単体で使う! ARM Trusted FirmwareのBL31を単体で使う! by ssuser479fa3 4 years ago
  • SFO15-503: Secure storage in OP-TEE SFO15-503: Secure storage in ... by linaroorg 5 years ago
  • LCU14-103: How to create and run Trusted Applications on OP-TEE LCU14-103: How to create and ... by linaroorg 6 years ago
  • FreeBSD on Mac FreeBSD on Mac by YuichiroNaito 5 years ago
  • SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム SmartNews TechNight Vol5 : Sm... by smartnews 5 years ago
  • 線形型のある言語でLEDを光らせる 線形型のある言語でLEDを光らせる by osiire 6 years ago
  • 技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい 技適なBluetooth GNSS/GPSレシーバーをRa... by matoken 6 years ago
  • English
  • Español
  • Português
  • Français
  • Deutsch
  • About
  • Developers & API
  • Blog
  • Terms
  • Privacy
  • Copyright
  • Support
RSS Feeds