Haruka Matsumoto
Asai Laboratory, Ochanomizu University
1st year graduate student in Asai labratory (
Kenichi Asai
),
Ochanomizu University
Contact
Interests
Project
Education
Others
Contact
github:
https://github.com/harukamm
mail: harukam0416 at gmail.com
Interests
User interface (especially JavaScript)
Datatype-generic programming
Project
OCaml Blockly
- Visual Programming in OCaml based on
Google Blockly
Miki Beta
- library to generate GUI for proof trees
Education
MS in Information Science, expected March 2019 Ochanomizu University, Tokyo, JP
BS in Information Science, March 2017 Ochanomizu University, Tokyo, JP
Others
My Favorite programming language: JavaScript
My Favorite Editor: Vim
Seminar documents:
TAPL
, Haskell Programming
chap.8
/
chap.13
