Nakazawa, Koji; Nagai, Tomoharu Reduction system for extensional lambda-mu calculus. (English) Zbl 1417.03133 Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 349-363 (2014). MSC: 03B40 68Q05 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{T. Nagai}, Lect. Notes Comput. Sci. 8560, 349--363 (2014; Zbl 1417.03133) Full Text: DOI
Abe, J.; Nagai, T.; Kamiya, N.; Kita, E. Computer aided minimum weight design using BEM. (English) Zbl 0729.65090 Adv. Eng. Softw. Workstn. 13, No. 2, 68-72 (1991). Reviewer: H.Guggenheimer (West Hempstead) MSC: 65N38 74S15 PDF BibTeX XML Cite \textit{J. Abe} et al., Adv. Eng. Softw. Workstn. 13, No. 2, 68--72 (1991; Zbl 0729.65090) Full Text: DOI
Kamiya, N.; Nagai, T. Geometrical shape of optimization by boundary elements. (English) Zbl 0672.73075 Theory and applications of boundary element methods, Proc. 1st Jap.-China Symp., Karuizawa/Jap. 1987, 337-345 (1987). MSC: 74S30 74P99 PDF BibTeX XML
Nagai, T. On an interpolation problem for a certain random field. (English) Zbl 0343.60032 Theory Probab. Appl. 20, 418-419 (1975); reprint from Teor. Veroyatn. Primen. 20, 430-431 (1975). MSC: 60G25 60G20 PDF BibTeX XML Cite \textit{T. Nagai}, Theory Probab. Appl. 20, 418--419 (1975; Zbl 0343.60032) Full Text: DOI