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
- Presentations
- Documents
- Infographics