Mizuno Masayuki
ウォンテッドリー株式会社 / エンジニア東京
Discover companies you will love
Mizuno Masayuki
ウォンテッドリー株式会社 / エンジニア
Self Introduction
Available to logged-in users only
/assets/images/7052304/original/49100b17-5866-4cec-b50b-a37ea73565e9?1638782149){kind=avatar}
ウォンテッドリー株式会社4 years
エンジニアPresent
- Present
- Omotesando.rb #91 登壇
https://www.wantedly.com/companies/wantedly/post_articles/548481 について発表
wantedly.com
wantedly.com東北大学
大学院情報科学研究科
-
- 型推論器の形式的検証
MLのサブセット（λ計算をletと参照で拡張したもので，let多相と単純な値制約をサポートする静的型付き言語）の型安全性と，その型推論器の健全性・完全性の，Coqを用いた形式的検証
fetburner.hatenablog.com
doi.org
fetburner.hatenablog.com大学院情報科学研究科
doi.org日本学術振興会1 year
特別研究員DC2
-
研究 https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19J11926/
東北大学
工学部情報知能システム総合学科
三年次編入学
香川高専高松キャンパス
電気情報工学科
Hidden: Education and Experience
View Mizuno Masayuki's
Full Profile
This information is visible only to Wantedly users or the user’s connections
View past posts
View mutual connections
View Mizuno Masayuki's full profile
Skills
Ruby
3Recommended by Yoshinori Kawasaki and 2 more
TypeScript
2Recommended by Sohei Takeno, Takuma Shiotsu
OCaml
1Recommended by Yoshinori Kawasaki
Coq
1Recommended by Yoshinori Kawasaki
Publications
Accomplishments / Portfolio
Awards and Certifications
言語
- Japanese - Native
