SlideShare une entreprise Scribd logo
  • Mettre en ligne
  • Accueil
  • Explorer
  • S’identifier
  • S’inscrire
SlideShare une entreprise Scribd logo
  • Accueil
  • Explorer
  • Mettre en ligne
  • S’identifier
  • S’inscrire

Nous avons mis à jour notre politique de confidentialité. Cliquez ici pour consulter les détails. Cliquez ici pour consulter les détails.

×
×
×
×
×
×
Kiwamu Okabe

Kiwamu Okabe

337 Abonné
88 SlideShares 0 Clipboards 337 Abonné 320 Suivis
  • Débloquer l’utilisateur Bloquer l’utilisateur
88 SlideShares 0 Clipboards 337 Abonné 320 Suivis

Personal Information
Entreprise/Lieu de travail
Yokohama, Kanagawa, Japan Japan
Profession
Software Engineer at SELTECH CORPORATION
Site Web
masterq.metasepi-design.com/
À propos
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...
Coordonnées
Mots-clés
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
Tout plus
Présentations (88)
Tout voir
NetBSD manを翻訳しよう!
il y a 11 ans • 1071 Vues
Wiki設置するならgitit!
il y a 11 ans • 1971 Vues
わかった気になるgitit-0.8
il y a 11 ans • 1960 Vues
CairoでほっかりGUIプログラミング
il y a 11 ans • 941 Vues
Gyazoっぽい何か
il y a 11 ans • 908 Vues
readpfds1
il y a 11 ans • 851 Vues
HaskellとDebianの辛くて甘い関係
il y a 11 ans • 5380 Vues
carettah usage
il y a 11 ans • 1325 Vues
Debian Loves Haskell
il y a 11 ans • 5529 Vues
Haskell Packageのdeb化
il y a 11 ans • 1767 Vues
PFDS 4章をOCamlに翻訳
il y a 11 ans • 943 Vues
プログラミングHaskell 13章 問題7
il y a 11 ans • 792 Vues
GHCソースコード読みのススメ
il y a 10 ans • 1489 Vues
NetBSD manを翻訳しよう! (OSC2012版)
il y a 10 ans • 2640 Vues
ミラクルはすける勉強会#0
il y a 10 ans • 1682 Vues
readpfds_6.3.2
il y a 10 ans • 780 Vues
EmacsとGlossでお絵描きしてみるよ
il y a 10 ans • 2515 Vues
みんなでWAIWAI Webアプリ
il y a 10 ans • 1003 Vues
Dive into RTS - another side
il y a 10 ans • 1402 Vues
Offline Hoogleで何処でもはすはす
il y a 10 ans • 1929 Vues
#readghc なう
il y a 10 ans • 943 Vues
PFDS 10.1.1 多相再帰
il y a 10 ans • 1003 Vues
C83 λカ娘の販促にやってきました
il y a 10 ans • 1444 Vues
How do you like jhc?
il y a 10 ans • 1066 Vues
What is Metasepi?
il y a 10 ans • 1977 Vues
コマンドライン使いもLibreOffice
il y a 10 ans • 3210 Vues
スタート低レイヤー #0
il y a 9 ans • 3127 Vues
HaskellではじめるCortex-M3組込みプログラミング
il y a 9 ans • 2777 Vues
Ajhcコンパイラの押売りに来ました
il y a 9 ans • 2655 Vues
Debianを用いたCortex-M3マイコン開発事例のご紹介
il y a 9 ans • 1478 Vues
J’aime (19)
Tout voir
暗号文のままで計算しよう - 準同型暗号入門 -
MITSUNARI Shigeo • il y a 6 ans
ARM Trusted FirmwareのBL31を単体で使う!
Mr. Vengineer • il y a 6 ans
SFO15-503: Secure storage in OP-TEE
Linaro • il y a 7 ans
LCU14-103: How to create and run Trusted Applications on OP-TEE
Linaro • il y a 8 ans
FreeBSD on Mac
Yuichiro Naito • il y a 7 ans
SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム
SmartNews, Inc. • il y a 7 ans
線形型のある言語でLEDを光らせる
啓 小笠原 • il y a 8 ans
技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい
Kenichiro MATOHARA • il y a 8 ans
Alloy analyzer
啓 小笠原 • il y a 8 ans
レイトン教授で始める Alloy Analyzer入門
啓 小笠原 • il y a 11 ans
Alloy Analyzer LT
啓 小笠原 • il y a 8 ans
Bitcoinを技術的に理解する
Kenji Urushima • il y a 8 ans
FPGAのトレンドをまとめてみた
Takefumi MIYOSHI • il y a 8 ans
違法駐輪対策のプレゼンテーション
Filament Inc • il y a 8 ans
Introduction to workqueue
yshigeru • il y a 8 ans
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii • il y a 8 ans
目grep入門 +解説
murachue • il y a 11 ans
研究動向から考えるx86/x64最適化手法
Takeshi Yamamuro • il y a 11 ans
Programming Haskell Chapter8
Kousuke Ruichi • il y a 11 ans
  • Activité
  • À propos

Présentations (88)
Tout voir
NetBSD manを翻訳しよう!
il y a 11 ans • 1071 Vues
Wiki設置するならgitit!
il y a 11 ans • 1971 Vues
わかった気になるgitit-0.8
il y a 11 ans • 1960 Vues
CairoでほっかりGUIプログラミング
il y a 11 ans • 941 Vues
Gyazoっぽい何か
il y a 11 ans • 908 Vues
readpfds1
il y a 11 ans • 851 Vues
HaskellとDebianの辛くて甘い関係
il y a 11 ans • 5380 Vues
carettah usage
il y a 11 ans • 1325 Vues
Debian Loves Haskell
il y a 11 ans • 5529 Vues
Haskell Packageのdeb化
il y a 11 ans • 1767 Vues
PFDS 4章をOCamlに翻訳
il y a 11 ans • 943 Vues
プログラミングHaskell 13章 問題7
il y a 11 ans • 792 Vues
GHCソースコード読みのススメ
il y a 10 ans • 1489 Vues
NetBSD manを翻訳しよう! (OSC2012版)
il y a 10 ans • 2640 Vues
ミラクルはすける勉強会#0
il y a 10 ans • 1682 Vues
readpfds_6.3.2
il y a 10 ans • 780 Vues
EmacsとGlossでお絵描きしてみるよ
il y a 10 ans • 2515 Vues
みんなでWAIWAI Webアプリ
il y a 10 ans • 1003 Vues
Dive into RTS - another side
il y a 10 ans • 1402 Vues
Offline Hoogleで何処でもはすはす
il y a 10 ans • 1929 Vues
#readghc なう
il y a 10 ans • 943 Vues
PFDS 10.1.1 多相再帰
il y a 10 ans • 1003 Vues
C83 λカ娘の販促にやってきました
il y a 10 ans • 1444 Vues
How do you like jhc?
il y a 10 ans • 1066 Vues
What is Metasepi?
il y a 10 ans • 1977 Vues
コマンドライン使いもLibreOffice
il y a 10 ans • 3210 Vues
スタート低レイヤー #0
il y a 9 ans • 3127 Vues
HaskellではじめるCortex-M3組込みプログラミング
il y a 9 ans • 2777 Vues
Ajhcコンパイラの押売りに来ました
il y a 9 ans • 2655 Vues
Debianを用いたCortex-M3マイコン開発事例のご紹介
il y a 9 ans • 1478 Vues
J’aime (19)
Tout voir
暗号文のままで計算しよう - 準同型暗号入門 -
MITSUNARI Shigeo • il y a 6 ans
ARM Trusted FirmwareのBL31を単体で使う!
Mr. Vengineer • il y a 6 ans
SFO15-503: Secure storage in OP-TEE
Linaro • il y a 7 ans
LCU14-103: How to create and run Trusted Applications on OP-TEE
Linaro • il y a 8 ans
FreeBSD on Mac
Yuichiro Naito • il y a 7 ans
SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム
SmartNews, Inc. • il y a 7 ans
線形型のある言語でLEDを光らせる
啓 小笠原 • il y a 8 ans
技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい
Kenichiro MATOHARA • il y a 8 ans
Alloy analyzer
啓 小笠原 • il y a 8 ans
レイトン教授で始める Alloy Analyzer入門
啓 小笠原 • il y a 11 ans
Alloy Analyzer LT
啓 小笠原 • il y a 8 ans
Bitcoinを技術的に理解する
Kenji Urushima • il y a 8 ans
FPGAのトレンドをまとめてみた
Takefumi MIYOSHI • il y a 8 ans
違法駐輪対策のプレゼンテーション
Filament Inc • il y a 8 ans
Introduction to workqueue
yshigeru • il y a 8 ans
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii • il y a 8 ans
目grep入門 +解説
murachue • il y a 11 ans
研究動向から考えるx86/x64最適化手法
Takeshi Yamamuro • il y a 11 ans
Programming Haskell Chapter8
Kousuke Ruichi • il y a 11 ans
Personal Information
Entreprise/Lieu de travail
Yokohama, Kanagawa, Japan Japan
Profession
Software Engineer at SELTECH CORPORATION
Site Web
masterq.metasepi-design.com/
À propos
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...
Coordonnées
Mots-clés
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
Tout plus

Modal header

  • À propos
  • Assistance clientèle
  • Conditions générales
  • Confidentialité
  • Droits d’auteur
  • Préférences en matière de cookies
  • Ne pas vendre ou partager mes informations personnelles
Français
English
Español
Português
Langue courante: Français
Deutsch

© 2023 SlideShare from Scribd

Nous avons mis à jour notre politique de confidentialité.

Nous avons mis à jour notre politique de confidentialité pour nous conformer à l'évolution des réglementations mondiales en matière de confidentialité et pour vous informer de la manière dont nous utilisons vos données de façon limitée.

Vous pouvez consulter les détails ci-dessous. En cliquant sur Accepter, vous acceptez la politique de confidentialité mise à jour.

Merci!

Afficher la politique de confidentialité mise à jour
Nous avons rencontré un problème, veuillez réessayer.