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