@MISC{NDIFF_3.MIZ,
  AUTHOR = {Okazaki, Hiroyuki and Endou, Noboru and Narita, Keiko and Shidama, Yasunari},
  TITLE = {Differentiable Functions into Real Normed Spaces},
  DAY = {13},
  MONTH = {October},
  YEAR = {2010},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  ADDRESS2 = {Nagano National College of Technology, Nagano, Japan},
  ADDRESS3 = {Hirosaki-city, Aomori, Japan},
  ADDRESS4 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In this article, we formalize the differentiability
  of functions from
  the set of real numbers into a normed vector space \cite{CA}.},
  ACKNOWLEDGEMENT = {This work was supported by JSPS KAKENHI 22300285.}}

@ARTICLE(CA,
      AUTHOR  = {Laurent Schwartz},
      TITLE   = {Cours d'analyse, Vol. 1},
      JOURNAL = {Hermann Paris},
      YEAR    = 1967.)
