電子計算機の数学研究への応用 denshi keisanki no sugaku kenkyu eno oyo

この論文をさがす

著者

    • 井戸川, 知之 イドガワ, トモユキ

書誌事項

タイトル

電子計算機の数学研究への応用

タイトル別名

denshi keisanki no sugaku kenkyu eno oyo

著者名

井戸川, 知之

著者別名

イドガワ, トモユキ

学位授与大学

早稲田大学

取得学位

博士 (理学)

学位授与番号

甲第1106号

学位授与年月日

1996-02-08

注記・抄録

博士論文

制度:新 ; 文部省報告番号:甲1106号 ; 学位の種類:博士(理学) ; 授与年月日:1996-02-08 ; 早大学位記番号:新2261 ; 理工学図書館請求番号:1933

目次

  1. 目次 / p1 (0003.jp2)
  2. 1 はじめに / p1 (0006.jp2)
  3. 2 不等式を扱う数式処理システムの研究 / p10 (0015.jp2)
  4. 2.1 背景 / p10 (0015.jp2)
  5. 2.2 論理式の内部表現 / p11 (0016.jp2)
  6. 2.3 符号条件式の生成 / p18 (0023.jp2)
  7. 2.4 簡約化アルゴリズム / p23 (0028.jp2)
  8. 2.5 数式実験結果 / p26 (0031.jp2)
  9. 2.6 まとめ / p28 (0033.jp2)
  10. 3 ある非線形常微分方程式の二点境界値問題の実解析性 / p30 (0035.jp2)
  11. 3.1 手計算による結果 / p30 (0035.jp2)
  12. 3.2 電子計算機の活用 / p39 (0044.jp2)
  13. 3.3 まとめ / p48 (0053.jp2)
  14. 4 エジプト分数表現に関連した問題 / p49 (0054.jp2)
  15. 4.1 エジプト分数 / p49 (0054.jp2)
  16. 4.2 Erdös-Strausの予想に対する数値実験 / p52 (0057.jp2)
  17. 4.3 エジプト分数表現の長さについて / p63 (0068.jp2)
  18. 4.4 エジプト分数表現の重複項除去とその応用 / p66 (0071.jp2)
  19. 4.5 まとめ / p77 (0082.jp2)
  20. 5 一般化された曲線短縮方程式の数値解析 / p78 (0083.jp2)
  21. 5.1 一般化された曲線短縮方程式 / p78 (0083.jp2)
  22. 5.2 数値解析 / p82 (0087.jp2)
  23. 5.3 まとめ / p99 (0104.jp2)
  24. 6 おわりに / p101 (0106.jp2)
  25. 謝辞 / p103 (0108.jp2)
  26. 参考文献 / p105 (0110.jp2)
  27. 関連業績 / p110 (0115.jp2)
3アクセス

各種コード

  • NII論文ID(NAID)
    500000132384
  • NII著者ID(NRID)
    • 8000000967000
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000296698
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ