高橋 和音

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

  Kazune Takahashi

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

  Kazune Takahashi

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