このアイテムのアクセス数: 253
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| B54-06.pdf | 2.05 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
| DCフィールド | 値 | 言語 |
|---|---|---|
| dc.contributor.author | Yamanaka, Naoya | en |
| dc.contributor.author | Oishi, Shin'ichi | en |
| dc.contributor.alternative | ヤマナカ, ナオヤ | ja |
| dc.contributor.alternative | オオイシ, シンイチ | ja |
| dc.contributor.transcription | ヤマナカ, ナオヤ | ja-Kana |
| dc.contributor.transcription | オオイシ, シンイチ | ja-Kana |
| dc.date.accessioned | 2019-05-13T07:50:17Z | - |
| dc.date.available | 2019-05-13T07:50:17Z | - |
| dc.date.issued | 2015-10 | - |
| dc.identifier.issn | 1881-6193 | - |
| dc.identifier.uri | http://hdl.handle.net/2433/241301 | - |
| dc.description | "Topology optimization theory and applications toward wide fields of natural sciences". May 7～9, 2014. edited by Takashi Nakazawa. The papers presented in this volume of RIMS Kôkyûroku Bessatsu are in final form and refereed. | en |
| dc.description.abstract | A calculation method that derives mathematically correct results through numerical calculation, considering all the possible errors such as rounding errors and truncation errors, is called verified numerical computation . Recently, as a wide range of research activities on the verified numerical computation for various problems have been promoted by research groups in Japan such as those in Kyushu University and Waseda University, the calculation method has been widely acknowledged. This article describes specific implementation methods and notes on them, regarding the calculation methods in the interval operations, which are both the basis and basic operations of verified numerical computation. | en |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | eng | - |
| dc.publisher | Research Institute for Mathematical Sciences, Kyoto University | en |
| dc.publisher.alternative | 京都大学数理解析研究所 | ja |
| dc.rights | © 2015 by the Research Institute for Mathematical Sciences, Kyoto University. All rights reserved. | en |
| dc.subject | interval arithmetic | en |
| dc.subject | verified numerical computation | en |
| dc.subject.ndc | 410 | - |
| dc.title | Interval Arithmetic and Its Implementations (Topology optimization theory and applications toward wide fields of natural sciences) | en |
| dc.type | departmental bulletin paper | - |
| dc.type.niitype | Departmental Bulletin Paper | - |
| dc.identifier.ncid | AA12196120 | - |
| dc.identifier.jtitle | 数理解析研究所講究録別冊 | ja |
| dc.identifier.volume | B54 | - |
| dc.identifier.spage | 71 | - |
| dc.identifier.epage | 98 | - |
| dc.textversion | publisher | - |
| dc.sortkey | 06 | - |
| dc.address | Teikyo Heisei University・CREST, JST | en |
| dc.address | Waseda University・CREST, JST | en |
| dcterms.accessRights | open access | - |
| datacite.awardNumber | 24700015 | - |
| dc.identifier.pissn | 1881-6193 | - |
| dc.identifier.jtitle-alternative | RIMS Kokyuroku Bessatsu | en |
| jpcoar.funderName | 日本学術振興会 | ja |
| jpcoar.funderName.alternative | Japan Society for the Promotion of Science (JSPS) | en |
| 出現コレクション: | B54 Topology optimization theory and applications toward wide fields of natural sciences | |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。