##master-page:HomepageTemplate
#acl YusukeShinyama:admin,read,write,revert All:read
#format wiki
#language en
== YusukeShinyama ==

Name:
Yusuke Shinyama (新山 祐介)

Interests:
 * Software verification
 * Education of programming

----
CategoryHomepage