文献

J-GLOBAL ID：202002242569984909   整理番号：20A1607756

派生研究を支援する再構成容易な実験数学環境

A Mathematical Experiment Environment that Supports Derivative Researches

著者 (8件)： 横山重俊 (群馬大) ,  横山重俊 (国立情報学研) ,  浜元信州 (群馬大) ,  長久勝 (ライフマティックス) ,  藤原一毅 (国立情報学研) ,  政谷好伸 (国立情報学研) ,  竹房あつ子 (国立情報学研) ,  合田憲人 (国立情報学研)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2020  号： IOT-50  ページ： Vol.2020-IOT-50,No.1,1-8 (WEB ONLY)  発行年： 2020年07月03日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： データ駆動型科学研究分野で研究データの再利用を進めるためには,研究データの公開だけではなく,論文成果につながる実験結果にたどり着くまでの実験プロセス(実験手順や実験環境構築手順)を公開し共有する必要がある.これらが揃うことで,第三者である別の研究者がいつでも研究データを再利用し,研究の再現検証が可能となる.さらに,そのオリジナル研究に加えて自らの研究を派生させることがスムーズにできるようになる.本稿では,特に数学分野に焦点をあて,その派生研究の支援として,派生研究のために再構成容易な実験数学環境の実装方法と具体的な派生研究例への適用について報告する.(著者抄録)

シソーラス用語： *数学 ,  *研究 ,  *再構成 ,  環境 ,  研究開発 ,  *計算機シミュレーション ,  計算機利用 ,  ネットワーク ,  計算機網
準シソーラス用語： *実験数学 ,  科学研究 ,  *データ駆動型科学研究 ,  研究環境 ,  *研究環境再構成 ,  *計算機実験 ,  クラウドコンピューティング ,  派生研究

分類 (4件)： 計算機シミュレーション  (JE11000H) ,  研究開発  (JA01040I) ,  数値計算  (JE02000J) ,  計算機網  (JC03000K)

引用文献 (32件)：

• Isak, C.: Datability, https://techacute.com/datability/ (accessed on 06-01-2020).
• 山本芳彦: 実験数学入門,岩波書店 (2000).
• 佐藤幹夫: 私の数学 (数論へ - ラマヌジャン予想),佐藤幹夫の数学, 日本評論社,pp. 46-48 (2007).
• 難波完爾: 佐藤 sin²-予想の話,佐藤幹夫の数学, 日本評論社,pp. 344-367 (2007).
• 加藤和也,斎藤 毅,黒川信重: 数論 I Fermatの夢と類体論,岩波書店 (2005).

タイトルに関連する用語 (6件)： 研究 ,  支援 ,  再構成 ,  実験 ,  数学 ,  環境