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...
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)J’aime
(18)暗号文のままで計算しよう - 準同型暗号入門 -
MITSUNARI Shigeo
•
il y a 8 ans
ARM Trusted FirmwareのBL31を単体で使う!
Mr. Vengineer
•
il y a 7 ans
SFO15-503: Secure storage in OP-TEE
Linaro
•
il y a 8 ans
LCU14-103: How to create and run Trusted Applications on OP-TEE
Linaro
•
il y a 9 ans
FreeBSD on Mac
Yuichiro Naito
•
il y a 8 ans
SmartNews TechNight Vol5 : SmartNews AdServer 解体新書 / ポストモーテム
SmartNews, Inc.
•
il y a 8 ans
線形型のある言語でLEDを光らせる
啓 小笠原
•
il y a 9 ans
技適なBluetooth GNSS/GPSレシーバーをRaspberryPiで作りたい
Kenichiro MATOHARA
•
il y a 9 ans
Alloy analyzer
啓 小笠原
•
il y a 9 ans
Alloy Analyzer LT
啓 小笠原
•
il y a 9 ans
Bitcoinを技術的に理解する
Kenji Urushima
•
il y a 9 ans
FPGAのトレンドをまとめてみた
Takefumi MIYOSHI
•
il y a 9 ans
違法駐輪対策のプレゼンテーション
Filament Inc
•
il y a 10 ans
Introduction to workqueue
yshigeru
•
il y a 10 ans
数学プログラムを Haskell で書くべき 6 の理由
Hiromi Ishii
•
il y a 10 ans
目grep入門 +解説
murachue
•
il y a 12 ans
研究動向から考えるx86/x64最適化手法
Takeshi Yamamuro
•
il y a 12 ans
Programming Haskell Chapter8
Kousuke Ruichi
•
il y a 12 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...
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