Yukihiro0036
(Yukihiro0036)

利用開始日: 03/07/2019

SOKENDAI 1st year, NII.
I am intersted in Logic, Mathematics, Informatics, Philosophy, Physics and so on.
I study Separation Logic for Software verification.

Your Groups

ブックマークはありません。