南條 陽史

茨城県

南條 陽史

茨城県

This user is using the new profile.

Join our Beta test to try out our new profile.

Join

少年

プログラム検証の研究をしている2020年修了予定の筑波大学大学院生 (M1) です. http://logic.cs.tsukuba.ac.jp/~nanjo/

In the future

Ambition

In the future

確率的プログラムや量子プログラム,なんらかのDSLに対する静的検証器の実装 プログラム検証の技術を実際に利用されているプロダクトに適用して生産性を上げる VR開発

Mar 2020

筑波大学

情報工学系

Mar 2020

phylan

phylan

wast-game

wast-game

ysd

ysd

ML Day #2 発表

ML (Meta Language) についての勉強会で循環証明という証明体系について発表しました

ML Day #2 発表

ML (Meta Language) についての勉強会で循環証明という証明体系について発表しました

Aug 2018
-
Sept 2018

Intern

Aug 2018 - Sept 2018

機械学習に関する研究開発


Skills and qualities

C++

0

OCaml

0

Rust

0

型理論

0

プログラム検証

0

Accomplishments/Portfolio

ML Day #2 発表

ysd

wast-game

phylan


Languages

Japanese - Native, English - Conversational, Other - Conversational