Business social network with 4M professionals
ウォンテッドリー株式会社 / エンジニア
Available to logged-in users only
MLのサブセット(λ計算をletと参照で拡張したもので,let多相と単純な値制約をサポートする静的型付き言語)の型安全性と,その型推論器の健全性・完全性の,Coqを用いた形式的検証
三年次編入学
高専時代に学んだことは情報系より電気系の方が多かったのですが、高専ロボコンで組み込み開発を行ううちに情報系への興味が出てきたため、情報系の学科に編入学する事にしました
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