Submit Search
Upload
計算可能実数とは
•
0 likes
•
4,046 views
Yoshihiro Mizoguchi
Follow
九州大学理学部数学科新入生九重合宿研修(2006年5月20日〜21日)スライド資料を抜粋したもの
Read less
Read more
Education
Slideshow view
Report
Share
Slideshow view
Report
Share
1 of 15
Download now
Download to read offline
Recommended
TeX言語の展開制御による文書の構造化(TeXユーザの集い2014)
TeX言語の展開制御による文書の構造化(TeXユーザの集い2014)
T. Suwa
数式処理ソフトMathematicaで数学の問題を解く
数式処理ソフトMathematicaで数学の問題を解く
Yoshihiro Mizoguchi
大規模グラフアルゴリズムの最先端
大規模グラフアルゴリズムの最先端
Takuya Akiba
べき乗則・パレート分布・ジップの法則
べき乗則・パレート分布・ジップの法則
Hiroyuki Kuromiya
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
学習時に使ってはいないデータの混入「リーケージを避ける」
学習時に使ってはいないデータの混入「リーケージを避ける」
西岡 賢一郎
正規表現に潜む対称性 〜等式公理による等価性判定〜
正規表現に潜む対称性 〜等式公理による等価性判定〜
Ryoma Sin'ya
Overleafを使った文書作成
Overleafを使った文書作成
Yoshihiro Mizoguchi
Recommended
TeX言語の展開制御による文書の構造化(TeXユーザの集い2014)
TeX言語の展開制御による文書の構造化(TeXユーザの集い2014)
T. Suwa
数式処理ソフトMathematicaで数学の問題を解く
数式処理ソフトMathematicaで数学の問題を解く
Yoshihiro Mizoguchi
大規模グラフアルゴリズムの最先端
大規模グラフアルゴリズムの最先端
Takuya Akiba
べき乗則・パレート分布・ジップの法則
べき乗則・パレート分布・ジップの法則
Hiroyuki Kuromiya
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
学習時に使ってはいないデータの混入「リーケージを避ける」
学習時に使ってはいないデータの混入「リーケージを避ける」
西岡 賢一郎
正規表現に潜む対称性 〜等式公理による等価性判定〜
正規表現に潜む対称性 〜等式公理による等価性判定〜
Ryoma Sin'ya
Overleafを使った文書作成
Overleafを使った文書作成
Yoshihiro Mizoguchi
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
Ryoma Sin'ya
ChatGPT は高階層の意味理解にはほど遠い?
ChatGPT は高階層の意味理解にはほど遠い?
Hide Koba
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
NTT DATA Technology & Innovation
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
Naoto Tamiya
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
強化学習その1
強化学習その1
nishio
システムダウンのひみつ
システムダウンのひみつ
Yoshitaka Kawashima
文字列アルゴリズム
文字列アルゴリズム
HCPC: 北海道大学競技プログラミングサークル
ARC#003D
ARC#003D
nullmineral
道路網における経路探索のための前処理データ構造
道路網における経路探索のための前処理データ構造
Atsushi Koike
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
虎の穴 開発室
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
NTT DATA Technology & Innovation
Python入門
Python入門
Shohei Okada
Homebrewによるソフトウェアの実装 (3)
Homebrewによるソフトウェアの実装 (3)
Yoshihiro Mizoguchi
ひたすら楽してスライド作成
ひたすら楽してスライド作成
Masanori Morise
[ICML2019読み会in京都] Agnostic Federated Learning
[ICML2019読み会in京都] Agnostic Federated Learning
Yamato OKAMOTO
グラフニューラルネットワーク入門
グラフニューラルネットワーク入門
ryosuke-kojima
星野「調査観察データの統計科学」第1&2章
星野「調査観察データの統計科学」第1&2章
Shuyo Nakatani
計算機を用いて数学の問題を解くということ
計算機を用いて数学の問題を解くということ
Yoshihiro Mizoguchi
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Takuya Akiba
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
Junpei Tsuji
パターン認識第9章 学習ベクトル量子化
パターン認識第9章 学習ベクトル量子化
Miyoshi Yuya
More Related Content
What's hot
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
Ryoma Sin'ya
ChatGPT は高階層の意味理解にはほど遠い?
ChatGPT は高階層の意味理解にはほど遠い?
Hide Koba
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
NTT DATA Technology & Innovation
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
Naoto Tamiya
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
強化学習その1
強化学習その1
nishio
システムダウンのひみつ
システムダウンのひみつ
Yoshitaka Kawashima
文字列アルゴリズム
文字列アルゴリズム
HCPC: 北海道大学競技プログラミングサークル
ARC#003D
ARC#003D
nullmineral
道路網における経路探索のための前処理データ構造
道路網における経路探索のための前処理データ構造
Atsushi Koike
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
虎の穴 開発室
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
NTT DATA Technology & Innovation
Python入門
Python入門
Shohei Okada
Homebrewによるソフトウェアの実装 (3)
Homebrewによるソフトウェアの実装 (3)
Yoshihiro Mizoguchi
ひたすら楽してスライド作成
ひたすら楽してスライド作成
Masanori Morise
[ICML2019読み会in京都] Agnostic Federated Learning
[ICML2019読み会in京都] Agnostic Federated Learning
Yamato OKAMOTO
グラフニューラルネットワーク入門
グラフニューラルネットワーク入門
ryosuke-kojima
星野「調査観察データの統計科学」第1&2章
星野「調査観察データの統計科学」第1&2章
Shuyo Nakatani
計算機を用いて数学の問題を解くということ
計算機を用いて数学の問題を解くということ
Yoshihiro Mizoguchi
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Takuya Akiba
What's hot
(20)
正規表現入門 星の高さを求めて
正規表現入門 星の高さを求めて
ChatGPT は高階層の意味理解にはほど遠い?
ChatGPT は高階層の意味理解にはほど遠い?
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
pgvectorを使ってChatGPTとPostgreSQLを連携してみよう!(PostgreSQL Conference Japan 2023 発表資料)
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
セグメント?クラスタリング? ユーザーを分類し、サービスの改善に活かすポイント
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
強化学習その1
強化学習その1
システムダウンのひみつ
システムダウンのひみつ
文字列アルゴリズム
文字列アルゴリズム
ARC#003D
ARC#003D
道路網における経路探索のための前処理データ構造
道路網における経路探索のための前処理データ構造
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
Rust製の全文検索エンジンライブラリ(tantivy bayard)を試してみた
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
今こそ知りたいSpring Web(Spring Fest 2020講演資料)
Python入門
Python入門
Homebrewによるソフトウェアの実装 (3)
Homebrewによるソフトウェアの実装 (3)
ひたすら楽してスライド作成
ひたすら楽してスライド作成
[ICML2019読み会in京都] Agnostic Federated Learning
[ICML2019読み会in京都] Agnostic Federated Learning
グラフニューラルネットワーク入門
グラフニューラルネットワーク入門
星野「調査観察データの統計科学」第1&2章
星野「調査観察データの統計科学」第1&2章
計算機を用いて数学の問題を解くということ
計算機を用いて数学の問題を解くということ
勉強か?趣味か?人生か?―プログラミングコンテストとは
勉強か?趣味か?人生か?―プログラミングコンテストとは
Similar to 計算可能実数とは
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
Junpei Tsuji
パターン認識第9章 学習ベクトル量子化
パターン認識第9章 学習ベクトル量子化
Miyoshi Yuya
2022年度秋学期 応用数学(解析) 第6回 変数分離形の変形 (2022. 10. 27)
2022年度秋学期 応用数学(解析) 第6回 変数分離形の変形 (2022. 10. 27)
Akira Asano
2018年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 第5回 微分方程式とは・変数分離形 (2018. 10. 23)
2018年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 第5回 微分方程式とは・変数分離形 (2018. 10. 23)
Akira Asano
公開鍵暗号2: NP困難性
公開鍵暗号2: NP困難性
Joe Suzuki
2022年度秋学期 応用数学(解析) 第5回 微分方程式とは・変数分離形 (2022. 10. 20)
2022年度秋学期 応用数学(解析) 第5回 微分方程式とは・変数分離形 (2022. 10. 20)
Akira Asano
Similar to 計算可能実数とは
(6)
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
パターン認識第9章 学習ベクトル量子化
パターン認識第9章 学習ベクトル量子化
2022年度秋学期 応用数学(解析) 第6回 変数分離形の変形 (2022. 10. 27)
2022年度秋学期 応用数学(解析) 第6回 変数分離形の変形 (2022. 10. 27)
2018年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 第5回 微分方程式とは・変数分離形 (2018. 10. 23)
2018年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 第5回 微分方程式とは・変数分離形 (2018. 10. 23)
公開鍵暗号2: NP困難性
公開鍵暗号2: NP困難性
2022年度秋学期 応用数学(解析) 第5回 微分方程式とは・変数分離形 (2022. 10. 20)
2022年度秋学期 応用数学(解析) 第5回 微分方程式とは・変数分離形 (2022. 10. 20)
More from Yoshihiro Mizoguchi
DockerでAlmaLinux(web, php, pukiwiki)環境構築
DockerでAlmaLinux(web, php, pukiwiki)環境構築
Yoshihiro Mizoguchi
DockerでCoq インストール
DockerでCoq インストール
Yoshihiro Mizoguchi
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装 (2)
Yoshihiro Mizoguchi
Homebrewによるソフトウェアの実装(1)
Homebrewによるソフトウェアの実装(1)
Yoshihiro Mizoguchi
Amazon AWSの使い方
Amazon AWSの使い方
Yoshihiro Mizoguchi
ShareLaTeXの使い方
ShareLaTeXの使い方
Yoshihiro Mizoguchi
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional O...
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional O...
Yoshihiro Mizoguchi
Theory of Relational Calculus and its Formalization
Theory of Relational Calculus and its Formalization
Yoshihiro Mizoguchi
Verification of a brick wang tiling algorithm
Verification of a brick wang tiling algorithm
Yoshihiro Mizoguchi
A Coq Library for the Theory of Relational Calculus
A Coq Library for the Theory of Relational Calculus
Yoshihiro Mizoguchi
Algebras for programming languages
Algebras for programming languages
Yoshihiro Mizoguchi
定理証明支援系Coqについて
定理証明支援系Coqについて
Yoshihiro Mizoguchi
Coq関係計算ライブラリの開発と写像の性質の証明
Coq関係計算ライブラリの開発と写像の性質の証明
Yoshihiro Mizoguchi
Coqチュートリアル
Coqチュートリアル
Yoshihiro Mizoguchi
Mac bookでwebサーバーを起動する方法
Mac bookでwebサーバーを起動する方法
Yoshihiro Mizoguchi
有限オートマトンとスティッカー系に関するCoqによる形式証明について
有限オートマトンとスティッカー系に関するCoqによる形式証明について
Yoshihiro Mizoguchi
複素数・四元数と図形の回転
複素数・四元数と図形の回転
Yoshihiro Mizoguchi
グラフデータ構造と5色定理
グラフデータ構造と5色定理
Yoshihiro Mizoguchi
圏論のモナドとHaskellのモナド
圏論のモナドとHaskellのモナド
Yoshihiro Mizoguchi
Graph partitioning and characteristic polynomials of Laplacian matrics of Roa...
Graph partitioning and characteristic polynomials of Laplacian matrics of Roa...
Yoshihiro Mizoguchi
More from Yoshihiro Mizoguchi
(20)
DockerでAlmaLinux(web, php, pukiwiki)環境構築
DockerでAlmaLinux(web, php, pukiwiki)環境構築
DockerでCoq インストール
DockerでCoq インストール
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装(1)
Homebrewによるソフトウェアの実装(1)
Amazon AWSの使い方
Amazon AWSの使い方
ShareLaTeXの使い方
ShareLaTeXの使い方
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional O...
Symbolic Computations in Conformal Geometric Algebra for Three Dimensional O...
Theory of Relational Calculus and its Formalization
Theory of Relational Calculus and its Formalization
Verification of a brick wang tiling algorithm
Verification of a brick wang tiling algorithm
A Coq Library for the Theory of Relational Calculus
A Coq Library for the Theory of Relational Calculus
Algebras for programming languages
Algebras for programming languages
定理証明支援系Coqについて
定理証明支援系Coqについて
Coq関係計算ライブラリの開発と写像の性質の証明
Coq関係計算ライブラリの開発と写像の性質の証明
Coqチュートリアル
Coqチュートリアル
Mac bookでwebサーバーを起動する方法
Mac bookでwebサーバーを起動する方法
有限オートマトンとスティッカー系に関するCoqによる形式証明について
有限オートマトンとスティッカー系に関するCoqによる形式証明について
複素数・四元数と図形の回転
複素数・四元数と図形の回転
グラフデータ構造と5色定理
グラフデータ構造と5色定理
圏論のモナドとHaskellのモナド
圏論のモナドとHaskellのモナド
Graph partitioning and characteristic polynomials of Laplacian matrics of Roa...
Graph partitioning and characteristic polynomials of Laplacian matrics of Roa...
Recently uploaded
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
Tokyo Institute of Technology
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ssusere0a682
次世代機の製品コンセプトを描く ~未来の機械を創造してみよう~
次世代機の製品コンセプトを描く ~未来の機械を創造してみよう~
Kochi Eng Camp
Recently uploaded
(7)
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
2024年度 東京工業大学 工学院 機械系 大学院 修士課程 入試 説明会 資料
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
次世代機の製品コンセプトを描く ~未来の機械を創造してみよう~
次世代機の製品コンセプトを描く ~未来の機械を創造してみよう~
計算可能実数とは
1.
九州大学理学部数学科 新入生九重合宿研修 2006年5月20日~21日 「計算可能実数とは?」 コンピュータで近似値でなく 厳密な実数値を扱えるのか? 溝 口 佳 寛 (みぞぐち よしひろ) ym@math.kyushu-u.ac.jp
2.
3.
4.
soln1=NDSolve[{ x‘[t]=-3 (x[t]-y[t]), y‘[t]=-x[t]z[t]+26.5 x[t]-y[t], z‘[t]=x[t]
y[t]-z[t], x[0]=z[0]=0.506127, y[0]=1 },{x,y,z},{t,0,20},MaxSteps->3000]; plot1=ParametricPlot3D[Evaluate[{x[t],y[ t],z[t],Red}/.soln1],{t,0,20}]; soln2=NDSolve[{ x‘[t]=-3 (x[t]-y[t]), y‘[t]=-x[t]z[t]+26.5 x[t]-y[t], z‘[t]=x[t] y[t]-z[t], x[0]=z[0]=0.5, y[0]=1 },{x,y,z},{t,0,20},MaxSteps->3000]; plot2=ParametricPlot3D[Evaluate[{x[t],y[ t],z[t],Green}/.soln2],{t,0,20},PlotPoints>1000]; Show[plot1,plot2];
5.
Nature (Vol.406) 31
August 2000 Warwick Tucker, Dept. Math. Cornell Univ., (C. R. Acad. Sci. Vol.328, 1197-1202, 1999.)
6.
x2 -6.13995 x
+ 3π=0 は実数解を持つか? Plot[3π-6.13995x + x2, {x,1,5}, PlotStyle->Red]; 判別式 D=b2-4*a*c を π=3.14 で計算すると正 6.139952-4*3*3.14 = 0.018986 6.139952-4*3*3.14159 = -0.0000939975
7.
数の集合 R: 実数 Q: 有理数 Z:
整数 π 2/3 √2 -3 N: 自然数 0, 1, 2, 3, … 計算可能実数
8.
可算集合と非可算集合 • 可算(無限)集合 (数えられる無限 =
Nと1対1対応が存在する) N={0,1,2,3,…..} Z={0,1,-1,2,-2,3,-3,4,-4,….} Q={0,1,-1,1/2,2,-2,-1/2,1/3,2/3,3,-2/3,-1/3,…} Z×Z={(x,y) | x ∈Z, y∈Z} {0,1}*={w | wは0と1の有限長の文字列} ={ε(空列), 0, 1, 00, 01, 10, 11, 000, 001, …} 計算可能実数= あとで定義します! (πも√2も含む!) • 非可算集合 (数えられない無限 = Nと1対1対応が存在しない) R={π,√2, …} 2N={X| XはNの部分集合} ={φ, {0}, {1}, {0,1}, {1,0}, {0,1,2}, ….}
9.
計算可能実数(1) コンピュータ 出力 3.14159265…… 命令= プログラム メモ帳 入力 6.2831852…… (記憶領域) • 入力は無限長の文字列(厳密には,
Nから文字集合(有限集合とする)への関数) • 出力も無限長の文字列 • コンピュータへの命令は有限の文字列(プログラム)で事前に与えておく. • コンピュータ中のメモ帳は無限長だが一時に蓄えられる量は常に有限 • コンピュータは命令とメモ帳と入力の最初の文字だけを読んで動作する. • コンピュータは一度出力した数を書き換えられない.
10.
計算可能実数(2) コンピュータ 出力 入力 命令= プログラム 3.14159265…… メモ帳 ε(空列) (記憶領域) あるプログラムに対して, 空の入力に対して出力される数を計算可能実数という • 有理数は出力可能 1/3
= 0.333333…… • π=3.1415… を出力するプログラムを作ることが出来る. π= 4 – 4/3 + 4/5 – 4/7 + 4/9 - …… と無限級数で表されるので十分先の項まで計算して, 上の桁に影響がなくなったところで, その桁を出力すれば良い. • √2 =1.4142… を出力するプログラムを作ることが出来る. プログラムは有限の文字列なので, プログラム全体は可算集合である, 従って, 計算可能実数の全体も可算集合である.
11.
計算可能実数(3) 1が出れば f(x)=0 の解が存在, 正ならば1,
負なら0を 出力するプログラム 0が出れば f(x)=0 の解は存在しない. X 6.139952 を出力する プログラム X -Y を計算するプログラム Y 4*3 倍する πを出力する プログラム プログラム 先の例の判別式 D=6.139952-4*3*π > 0 を 厳密に判定できるプログラムを作ることが出来る. (近似計算ではない!) 早く答えがでるか、遅いかは、プログラマー(数学者?)の腕次第!!
12.
計算可能実数(4) コンピュータ 出力 3倍するプログラム 1.000…? メモ帳 0.999…? 入力 0.333….. (記憶領域) 10進数表現で定義した計算可能実数は掛け算に対して閉じていない。 すなわち, 計算可能実数の積を計算できない!
13.
区間表現と区間演算 実数を10進表現ではなく, 表現する実数を含む有理数の区間の縮小列で,表現することを考える. 有理数は, 整数の対(分数)で表現する. [31/10,
32/10][314/100, 315/100][3141/1000, 3142/1000]…… π∈[31/10, 32/10], π∈[314/100, 315/100], π∈[3141/1000, 3142/1000], …. 31/10 ≦ 314/100 ≦ 3141/100 ≦ → π 32/10 ≧ 315/100 ≧ 3142/100 ≧ → π • 有理数については区間を1つ出力すれば良い • πについて, このような列を出力するプログラムを作ることが出来る • √2について, このような列を出力するプログラムを作ることが出来る • 区間列の加減乗除算をするプログラムを作ることが出来る. [a, b] + [c, d] = [a+c, b+d] [a, b] – [c, d] = [a-d, b-c] [a, b] * [c, d] = [min{a*c, a*d, b*c, b*d}, max{a*c, a*d, b*c, b*d}] [a, b] / [c, d] = [min{a/c, a/d, b/c, b/d}, max{a/c, a/d, b/c, b/d}] ※ 区間表現で定義された計算可能実数は四則演算について閉じている!
14.
計算結果の区間を小さくする工夫 区間[a,b]に対して, 区間f([a,b])を計算したいとき, f(x)の定義式の通りに区間演算を行うと区間が 大きくなってしまうことがある. f(x)の定義通りの区間計算をf([a,b])と書くことにする. (例) f(x)
= x – x とするとき, f([a,b])=[a,b] – [a,b] = [a-b, b-a] f(x)が(数式処理で)微分可能なとき, F([a,b])=f([c,c])+f’([a,b])([a,b]-[c,c]) c = (a+b)/2 とすると平均値の定理より, f([a,b]) ⊆F([a,b]) であり, 多くの場合, F([a,b])⊆f([a,b]) である. ※ f のプログラムを作るより, F のプログラムを作った方が収束が早く効率が良い!
15.
まとめ • コンピュータが扱える厳密な実数を計算可能実数という. • 計算可能実数は可算集合であり,
実数全体よりは遥かに小さ いが, 物理や工学の方程式の係数に出てくる数で計算可能実 数でないものは知られていない. • 計算可能実数を使うことでプログラムにより解の存在証明をす ることが出来る. • 方程式の解が計算可能実数であれば任意精度の解を得るプロ グラムを構築出来る. • 多くの場合, 解の存在証明のプログラムそのものが解を任意精 度で与えるプログラムとなる. • プログラムが早く答えを出すか否かはプログラマー(数学者?)の 腕次第である. – 誤差が大きくならない等価な式が必要. – 収束の早い計算式が必要!
Download now