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

We've updated our privacy policy. Click here to review the details. Tap here to review the details.

×
×
×
×
×
×
Kiwamu Okabe

Kiwamu Okabe

337 Followers
88 SlideShares 0 Clipboards 337 Followers 320 Followings
  • Unblock User Block User
88 SlideShares 0 Clipboards 337 Followers 320 Followings

Personal Information
Organization / Workplace
Yokohama, Kanagawa, Japan Japan
Occupation
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...
Contact Details
Tags
haskell ats ajhc jhc netbsd arduino stm32 metasepi verifast mbed c chibiosrt lineartype arm cortex-m3 os kernel language avr dependenttype cortex-m carettah functional esp8266 proof ats2 android debian verify seplog coq iot type rust ocaml ghc javascript mcu travis ci osc kyoto libreoffice readghc linux parser camlp4 osaka z3 smt matsuya diet habitica clang nagoya rtos state generate fpga emacs hdl icestorm verilog lattice infer dbc linear types type system sel4 isabelle msp430 freertos memory aws r sml slick play2-auth scala play dependehaskell serial gcc gdb snatch thread mac os x compiler embedded system omake ruby pdf tex review latex posix unoconv readpfds pfds hoogle web emacs haskell gloss gettext po4a haskell ghc ocaml pfds readpfds flickr gtk cairo gtk2hs git qpstudy kernelvm
See more
Presentations (88)
See all
NetBSD manを翻訳しよう!
12 years ago • 1073 Views
Wiki設置するならgitit!
12 years ago • 1979 Views
わかった気になるgitit-0.8
11 years ago • 1961 Views
CairoでほっかりGUIプログラミング
11 years ago • 941 Views
Gyazoっぽい何か
11 years ago • 908 Views
readpfds1
11 years ago • 851 Views
HaskellとDebianの辛くて甘い関係
11 years ago • 5381 Views
carettah usage
11 years ago • 1326 Views
Debian Loves Haskell
11 years ago • 5529 Views
Haskell Packageのdeb化
11 years ago • 1768 Views
PFDS 4章をOCamlに翻訳
11 years ago • 944 Views
プログラミングHaskell 13章 問題7
11 years ago • 792 Views
GHCソースコード読みのススメ
11 years ago • 1490 Views
NetBSD manを翻訳しよう! (OSC2012版)
11 years ago • 2643 Views
ミラクルはすける勉強会#0
11 years ago • 1682 Views
readpfds_6.3.2
11 years ago • 780 Views
EmacsとGlossでお絵描きしてみるよ
11 years ago • 2516 Views
みんなでWAIWAI Webアプリ
10 years ago • 1005 Views
Dive into RTS - another side
10 years ago • 1403 Views
Offline Hoogleで何処でもはすはす
10 years ago • 1935 Views
#readghc なう
10 years ago • 944 Views
PFDS 10.1.1 多相再帰
10 years ago • 1004 Views
C83 λカ娘の販促にやってきました
10 years ago • 1447 Views
How do you like jhc?
10 years ago • 1067 Views
What is Metasepi?
10 years ago • 1980 Views
コマンドライン使いもLibreOffice
10 years ago • 3221 Views
スタート低レイヤー #0
10 years ago • 3132 Views
HaskellではじめるCortex-M3組込みプログラミング
10 years ago • 2789 Views
Ajhcコンパイラの押売りに来ました
10 years ago • 2656 Views
Debianを用いたCortex-M3マイコン開発事例のご紹介
9 years ago • 1480 Views
Likes (18)
See all
暗号文のままで計算しよう - 準同型暗号入門 -
MITSUNARI Shigeo • 7 years ago
ARM Trusted FirmwareのBL31を単体で使う!
Mr. Vengineer • 6 years ago
SFO15-503: Secure storage in OP-TEE
Linaro • 7 years ago
LCU14-103: How to create and run Trusted Applications on OP-TEE
Linaro • 8 years ago
FreeBSD on Mac
Yuichiro Naito • 7 years ago
SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム
SmartNews, Inc. • 7 years ago
線形型のある言語でLEDを光らせる
啓 小笠原 • 8 years ago
技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい
Kenichiro MATOHARA • 8 years ago
Alloy analyzer
啓 小笠原 • 8 years ago
Alloy Analyzer LT
啓 小笠原 • 8 years ago
Bitcoinを技術的に理解する
Kenji Urushima • 8 years ago
FPGAのトレンドをまとめてみた
Takefumi MIYOSHI • 9 years ago
違法駐輪対策のプレゼンテーション
Filament Inc • 9 years ago
Introduction to workqueue
yshigeru • 9 years ago
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii • 9 years ago
目grep入門 +解説
murachue • 12 years ago
研究動向から考えるx86/x64最適化手法
Takeshi Yamamuro • 11 years ago
Programming Haskell Chapter8
Kousuke Ruichi • 11 years ago
  • Activity
  • About

Presentations (88)
See all
NetBSD manを翻訳しよう!
12 years ago • 1073 Views
Wiki設置するならgitit!
12 years ago • 1979 Views
わかった気になるgitit-0.8
11 years ago • 1961 Views
CairoでほっかりGUIプログラミング
11 years ago • 941 Views
Gyazoっぽい何か
11 years ago • 908 Views
readpfds1
11 years ago • 851 Views
HaskellとDebianの辛くて甘い関係
11 years ago • 5381 Views
carettah usage
11 years ago • 1326 Views
Debian Loves Haskell
11 years ago • 5529 Views
Haskell Packageのdeb化
11 years ago • 1768 Views
PFDS 4章をOCamlに翻訳
11 years ago • 944 Views
プログラミングHaskell 13章 問題7
11 years ago • 792 Views
GHCソースコード読みのススメ
11 years ago • 1490 Views
NetBSD manを翻訳しよう! (OSC2012版)
11 years ago • 2643 Views
ミラクルはすける勉強会#0
11 years ago • 1682 Views
readpfds_6.3.2
11 years ago • 780 Views
EmacsとGlossでお絵描きしてみるよ
11 years ago • 2516 Views
みんなでWAIWAI Webアプリ
10 years ago • 1005 Views
Dive into RTS - another side
10 years ago • 1403 Views
Offline Hoogleで何処でもはすはす
10 years ago • 1935 Views
#readghc なう
10 years ago • 944 Views
PFDS 10.1.1 多相再帰
10 years ago • 1004 Views
C83 λカ娘の販促にやってきました
10 years ago • 1447 Views
How do you like jhc?
10 years ago • 1067 Views
What is Metasepi?
10 years ago • 1980 Views
コマンドライン使いもLibreOffice
10 years ago • 3221 Views
スタート低レイヤー #0
10 years ago • 3132 Views
HaskellではじめるCortex-M3組込みプログラミング
10 years ago • 2789 Views
Ajhcコンパイラの押売りに来ました
10 years ago • 2656 Views
Debianを用いたCortex-M3マイコン開発事例のご紹介
9 years ago • 1480 Views
Likes (18)
See all
暗号文のままで計算しよう - 準同型暗号入門 -
MITSUNARI Shigeo • 7 years ago
ARM Trusted FirmwareのBL31を単体で使う!
Mr. Vengineer • 6 years ago
SFO15-503: Secure storage in OP-TEE
Linaro • 7 years ago
LCU14-103: How to create and run Trusted Applications on OP-TEE
Linaro • 8 years ago
FreeBSD on Mac
Yuichiro Naito • 7 years ago
SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム
SmartNews, Inc. • 7 years ago
線形型のある言語でLEDを光らせる
啓 小笠原 • 8 years ago
技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい
Kenichiro MATOHARA • 8 years ago
Alloy analyzer
啓 小笠原 • 8 years ago
Alloy Analyzer LT
啓 小笠原 • 8 years ago
Bitcoinを技術的に理解する
Kenji Urushima • 8 years ago
FPGAのトレンドをまとめてみた
Takefumi MIYOSHI • 9 years ago
違法駐輪対策のプレゼンテーション
Filament Inc • 9 years ago
Introduction to workqueue
yshigeru • 9 years ago
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii • 9 years ago
目grep入門 +解説
murachue • 12 years ago
研究動向から考えるx86/x64最適化手法
Takeshi Yamamuro • 11 years ago
Programming Haskell Chapter8
Kousuke Ruichi • 11 years ago
Personal Information
Organization / Workplace
Yokohama, Kanagawa, Japan Japan
Occupation
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...
Tags
haskell ats ajhc jhc netbsd arduino stm32 metasepi verifast mbed c chibiosrt lineartype arm cortex-m3 os kernel language avr dependenttype cortex-m carettah functional esp8266 proof ats2 android debian verify seplog coq iot type rust ocaml ghc javascript mcu travis ci osc kyoto libreoffice readghc linux parser camlp4 osaka z3 smt matsuya diet habitica clang nagoya rtos state generate fpga emacs hdl icestorm verilog lattice infer dbc linear types type system sel4 isabelle msp430 freertos memory aws r sml slick play2-auth scala play dependehaskell serial gcc gdb snatch thread mac os x compiler embedded system omake ruby pdf tex review latex posix unoconv readpfds pfds hoogle web emacs haskell gloss gettext po4a haskell ghc ocaml pfds readpfds flickr gtk cairo gtk2hs git qpstudy kernelvm
See more

Modal header

  • About
  • Support
  • Terms
  • Privacy
  • Copyright
  • Cookie Preferences
  • Do not sell or share my personal information
English
Current Language: English
Español
Português
Français
Deutsch

© 2023 SlideShare from Scribd

We've updated our privacy policy.

We’ve updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.

You can read the details below. By accepting, you agree to the updated privacy policy.

Thank you!

View updated privacy policy
We've encountered a problem, please try again.