高橋 和音

Application of SAT-solver for AI on SamurAI Coding 2016-17 

2017年2月

Semilinear elliptic equations with critical Sobolev exponent and non-homogeneous term (RIMS Kôkyûroku) 

RIMS Kôkyûroku (2006) 1 - 11 2016年11月  招待有り