Authors: Nakasho, Kazuhisa, Shidama, Yasunari

Subject Terms: implicit function theorem, inverse function theorem, continuously differentiable function

File Description: application/pdf

Relation: Formalized Mathematics, Volume 30, Issue 3, Pages 159-168; http://hdl.handle.net/11320/14667; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2022-0012
http://hdl.handle.net/11320/14667

Authors: Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari

Subject Terms: continuous function space, compact topological space, Banach space

File Description: application/pdf

Relation: Formalized Mathematics, Volume 29, Issue 1, Pages 49-62; http://hdl.handle.net/11320/11411; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2021-0005
http://hdl.handle.net/11320/11411

Authors: Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari

Subject Terms: real vector space, topological space, normed spaces

File Description: application/pdf

Relation: Formalized Mathematics, Volume 29, Issue 3, Pages 117-127; 1426–2630; http://hdl.handle.net/11320/12388; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2021-0012
http://hdl.handle.net/11320/12388

Authors: Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari

Subject Terms: real vector space, topological space, normed spaces, L1-norm, maximum norm, linear isometry, proper metric space

File Description: application/pdf

Relation: Formalized Mathematics, Volume 29, Issue 4, Pages 175-184; http://hdl.handle.net/11320/13658; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2021-0017
http://hdl.handle.net/11320/13658

Authors: Yamazaki, Hiroshi, Miyajima, Keiichi, Shidama, Yasunari

Subject Terms: Ascoli-Arzela’s theorem, equicontinuousness of continuous functions, equiboundedness of continuous functions

File Description: application/pdf

Relation: Formalized Mathematics, Volume 29, Issue 2, Pages 87-94; http://hdl.handle.net/11320/12390; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2021-0009
http://hdl.handle.net/11320/12390

Authors: Nakasho, Kazuhisa^Aff9, Shidama, Yasunari^Aff9

Contributors: Goebel, Randy, Series editor^Aff1, Tanaka, Yuzuru, Series editor^Aff2, Wahlster, Wolfgang, Series editor^Aff3, Kerber, Manfred, editor^Aff4, Carette, Jacques, editor^Aff5, Kaliszyk, Cezary, editor^Aff6, Rabe, Florian, editor^Aff7, Sorge, Volker, editor^Aff8

Superior Title: Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. 9150:343-347

Authors: Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari

Subject Terms: elliptic curve, commutative operation

File Description: application/pdf

Relation: Formalized Mathematics, Volume 27, Issue 3, Pages 315–320; http://hdl.handle.net/11320/9017; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2019-0026
http://hdl.handle.net/11320/9017

Authors: Nakasho, Kazuhisa, Shidama, Yasunari

Superior Title: Formalized Mathematics ; volume 27, issue 2, page 117-131 ; ISSN 1898-9934 1426-2630

Subject Terms: Applied Mathematics, Computational Mathematics

Availability: https://doi.org/10.2478/forma-2019-0013
http://content.sciendo.com/view/journals/forma/27/2/article-p117.xml

Authors: Nakasho, Kazuhisa, Shidama, Yasunari

Superior Title: Formalized Mathematics ; volume 27, issue 1, page 61-65 ; ISSN 1898-9934 1426-2630

Subject Terms: Applied Mathematics, Computational Mathematics

Availability: https://doi.org/10.2478/forma-2019-0006
http://content.sciendo.com/view/journals/forma/27/1/article-p61.xml

Authors: Mitsuishi, Takashi^Aff20, Terashima, Takanori^Aff21, Saigusa, Koji^Aff22, Shimada, Nami^Aff20, Homma, Toshimichi^Aff23, Sawada, Kiyoshi^Aff20, Shidama, Yasunari^Aff24

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Loo, Chu Kiong, editor^Aff15, Yap, Keem Siah, editor^Aff16, Wong, Kok Wai, editor^Aff17, Teoh, Andrew, editor^Aff18, Huang, Kaizhu, editor^Aff19

Superior Title: Neural Information Processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II. 8835:462-469

Authors: Endou, Noboru, Shidama, Yasunari

Superior Title: Formalized Mathematics; September 2023, Vol. 31 Issue: 1 p181-192, 12p

Authors: Endou, Noboru, Shidama, Yasunari

Superior Title: Formalized Mathematics; September 2023, Vol. 31 Issue: 1 p309-324, 16p

Authors: Mitsuishi, Takashi^Aff22, Terashima, Takanori^Aff23, Shimada, Nami^Aff22, Homma, Toshimichi^Aff24, Sawada, Kiyoshi^Aff22, Shidama, Yasunari^Aff25

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Huang, Runhe, editor^Aff16, Ghorbani, Ali A., editor^Aff17, Pasi, Gabriella, editor^Aff18, Yamaguchi, Takahira, editor^Aff19, Yen, Neil Y., editor^Aff20, Jin, Beijing, editor^Aff21

Superior Title: Active Media Technology : 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012. Proceedings. 7669:73-81

Authors: Mitsuishi, Takashi^Aff20, Terashima, Takanori^Aff21, Shidama, Yasunari^Aff22

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Huang, Tingwen, editor^Aff16, Zeng, Zhigang, editor^Aff17, Li, Chuandong, editor^Aff18, Leung, Chi Sing, editor^Aff19

Superior Title: Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II. 7664:108-116

Authors: Mitsuishi, Takashi^Aff19, Shidama, Yasunari^Aff20

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Honkela, Timo, editor^Aff16, Duch, Włodzisław, editor^Aff17, Girolami, Mark, editor^Aff18, Kaski, Samuel, editor^Aff16

Superior Title: Artificial Neural Networks and Machine Learning – ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part II. 6792:237-244

Authors: Mitsuishi, Takashi^Aff23, Kawakatsu, Hidefumi^Aff23, Shidama, Yasunari^Aff24

Contributors: Hutchison, David^Aff1, Kanade, Takeo^Aff2, Kittler, Josef^Aff3, Kleinberg, Jon M.^Aff4, Mattern, Friedemann^Aff5, Mitchell, John C.^Aff6, Naor, Moni^Aff7, Nierstrasz, Oscar^Aff8, Pandu Rangan, C.^Aff9, Steffen, Bernhard^Aff10, Sudan, Madhu^Aff11, Terzopoulos, Demetri^Aff12, Tygar, Doug^Aff13, Vardi, Moshe Y.^Aff14, Weikum, Gerhard^Aff15, Goebel, Randy^Aff16, Siekmann, Jörg^Aff17, Wahlster, Wolfgang^Aff18, Setchi, Rossitza, editor^Aff19, Jordanov, Ivan, editor^Aff20, Howlett, Robert J., editor^Aff21, Jain, Lakhmi C., editor^Aff22

Superior Title: Knowledge-Based and Intelligent Information and Engineering Systems : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III. 6278:281-289

Authors: Mitsuishi, Takashi^Aff24, Shidama, Yasunari^Aff25

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Rutkowski, Leszek, editor^Aff19, Scherer, Rafał, editor^Aff20, Tadeusiewicz, Ryszard, editor^Aff21, Zadeh, Lotfi A., editor^Aff22, Zurada, Jacek M., editor^Aff23

Superior Title: Artificial Intelligence and Soft Computing : 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I. 6113:144-151

Authors: Mitsuishi, Takashi^Aff22, Shidama, Yasunari^Aff23

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Velásquez, Juan D., editor^Aff19, Ríos, Sebastián A., editor^Aff19, Howlett, Robert J., editor^Aff20, Jain, Lakhmi C., editor^Aff21

Superior Title: Knowledge-Based and Intelligent Information and Engineering Systems : 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II. 5712:236-243

Authors: Mitsuishi, Takashi^Aff18, Shidama, Yasunari^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Alippi, Cesare, editor^Aff16, Polycarpou, Marios, editor^Aff17, Panayiotou, Christos, editor^Aff17, Ellinas, Georgios, editor^Aff17

Superior Title: Artificial Neural Networks – ICANN 2009 : 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I. 5768:598-607

Authors: Mitsuishi, Takashi^Aff1, Shidama, Yasunari^Aff2

Contributors: Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Nguyen, Ngoc Thanh, editor, Borzemski, Leszek, editor, Grzech, Adam, editor, Ali, Moonis, editor

Superior Title: New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings. 5027:62-71