| 講演名 | 2020-01-24 エルニーニョのモデルとなる非線形微分差分方程式の周期解の存在の計算機援用証明 大石 進一(早大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | エルニーニョの簡単なモデルとなる非線形微分差分方程式に対する周期解の存在を精度保証付き数値計算に基づいた計算機援用証明法によって示す。関連する数理的に重要な課題についても提案する。 |
| 抄録(英) | |
| キーワード(和) | エルニーニョ / 非線形微分差分方程式 / 周期解 / 計算機援用証明 |
| キーワード(英) | |
| 資料番号 | NLP2019-97 |
| 発行日 | 2020-01-16 (NLP) |
| 研究会情報 | |
| 研究会 | NLP / NC |
|---|---|
| 開催期間 | 2020/1/23(から3日開催) |
| 開催地（和） | 宮古島マリンターミナル |
| 開催地（英） | Miyakojima Marine Terminal |
| テーマ（和） | NC, NLP, 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 黒川 弘章(東京工科大) / 庄野 逸(電通大) |
| 委員長氏名（英） | Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Hayaru Shouno(UEC) |
| 副委員長氏名（和） | 夏目 季代久(九工大) / 鮫島 和行(玉川大) |
| 副委員長氏名（英） | Kiyohisa Natsume(Kyushu Inst. of Tech.) / Kazuyuki Samejima(Tamagawa Univ) |
| 幹事氏名（和） | 木村 貴幸(日本工大) / 立野 勝巳(九工大) / 吉本 潤一郎(奈良先端大) / 安部川 直稔(NTT) |
| 幹事氏名（英） | Takayuki Kimura(Nippon Inst. of Tech.) / Katsumi Tateno(Kyushu Inst. of Tech.) / Junichiro Yoshimoto(NAIST) / Naotoshi Abekawa(NTT) |
| 幹事補佐氏名（和） | 島田 裕(埼玉大) / 佐村 俊和(山口大) / 篠崎 隆志(NICT) / 瀧山 健(東京農工大) |
| 幹事補佐氏名（英） | Yutaka Shimada(Saitama Univ.) / Toshikaza Samura(Yamaguchi Univ.) / Takashi Shinozaki(NICT) / Ken Takiyama(TUAT) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Nonlinear Problems / Technical Committee on Neurocomputing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | エルニーニョのモデルとなる非線形微分差分方程式の周期解の存在の計算機援用証明 |
| サブタイトル（和） | |
| タイトル（英） | Computer assisted proof of existence of periodic solutions for a differential-differece equation of a model of El Ni?o phenomenon |
| サブタイトル（和） | |
| キーワード(1)（和/英） | エルニーニョ |
| キーワード(2)（和/英） | 非線形微分差分方程式 |
| キーワード(3)（和/英） | 周期解 |
| キーワード(4)（和/英） | 計算機援用証明 |
| 第 1 著者 氏名（和/英） | 大石 進一 / Shin'ichi Oishi |
| 第 1 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 発表年月日 | 2020-01-24 |
| 資料番号 | NLP2019-97 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | NLP-381 |
| ページ範囲 | pp.63-66(NLP), |
| ページ数 | 4 |
| 発行日 | 2020-01-16 (NLP) |