Submit Search
Upload
計算可能実数とは
•
0 likes
•
4,044 views
Yoshihiro Mizoguchi
Follow
九州大学理学部数学科新入生九重合宿研修(2006年5月20日〜21日)スライド資料を抜粋したもの
Read less
Read more
Education
Report
Share
Report
Share
1 of 15
Download now
Download to read offline
Recommended
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装 (2)
Yoshihiro Mizoguchi
計算機を用いて数学の問題を解くということ
計算機を用いて数学の問題を解くということ
Yoshihiro Mizoguchi
Homebrewによるソフトウェアの実装(1)
Homebrewによるソフトウェアの実装(1)
Yoshihiro Mizoguchi
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
バンディット問題について
バンディット問題について
jkomiyama
PostgreSQL 15 開発最新情報
PostgreSQL 15 開発最新情報
Masahiko Sawada
1070: CUDA プログラミング入門
1070: CUDA プログラミング入門
NVIDIA Japan
Recommended
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装 (2)
Yoshihiro Mizoguchi
計算機を用いて数学の問題を解くということ
計算機を用いて数学の問題を解くということ
Yoshihiro Mizoguchi
Homebrewによるソフトウェアの実装(1)
Homebrewによるソフトウェアの実装(1)
Yoshihiro Mizoguchi
NAND Flash から InnoDB にかけての話(仮)
NAND Flash から InnoDB にかけての話(仮)
Takanori Sejima
充足可能性問題のいろいろ
充足可能性問題のいろいろ
Hiroshi Yamashita
バンディット問題について
バンディット問題について
jkomiyama
PostgreSQL 15 開発最新情報
PostgreSQL 15 開発最新情報
Masahiko Sawada
1070: CUDA プログラミング入門
1070: CUDA プログラミング入門
NVIDIA Japan
ビッグデータ処理データベースの全体像と使い分け
ビッグデータ処理データベースの全体像と使い分け
Recruit Technologies
最適化計算の概要まとめ
最適化計算の概要まとめ
Yuichiro MInato
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
Takateru Yamagishi
コンテナにおけるパフォーマンス調査でハマった話
コンテナにおけるパフォーマンス調査でハマった話
Yuta Shimada
ブースティング入門
ブースティング入門
Retrieva inc.
何もないところから数を作る
何もないところから数を作る
Taketo Sano
強化学習 DQNからPPOまで
強化学習 DQNからPPOまで
harmonylab
SpectreBustersあるいはLinuxにおけるSpectre対策
SpectreBustersあるいはLinuxにおけるSpectre対策
Masami Hiramatsu
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
NTT DATA Technology & Innovation
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
Tokoroten Nakayama
使ってみませんか?pg_hint_plan
使ってみませんか?pg_hint_plan
NTT DATA OSS Professional Services
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Rustで楽しむ競技プログラミング
Rustで楽しむ競技プログラミング
yoshrc
VIOPS10: SSDの基本技術と最新動向
VIOPS10: SSDの基本技術と最新動向
VIOPS Virtualized Infrastructure Operators group ARCHIVES
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
CODE BLUE
Hopper アーキテクチャで、変わること、変わらないこと
Hopper アーキテクチャで、変わること、変わらないこと
NVIDIA Japan
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
Fixstars Corporation
DockerコンテナでGitを使う
DockerコンテナでGitを使う
Kazuhiro Suga
Deep Learningによる超解像の進歩
Deep Learningによる超解像の進歩
Hiroto Honda
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
「3.1.2最小二乗法の幾何学」PRML勉強会4 @筑波大学 #prml学ぼう
Junpei Tsuji
パターン認識第9章 学習ベクトル量子化
パターン認識第9章 学習ベクトル量子化
Miyoshi Yuya
More Related Content
What's hot
ビッグデータ処理データベースの全体像と使い分け
ビッグデータ処理データベースの全体像と使い分け
Recruit Technologies
最適化計算の概要まとめ
最適化計算の概要まとめ
Yuichiro MInato
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
Takateru Yamagishi
コンテナにおけるパフォーマンス調査でハマった話
コンテナにおけるパフォーマンス調査でハマった話
Yuta Shimada
ブースティング入門
ブースティング入門
Retrieva inc.
何もないところから数を作る
何もないところから数を作る
Taketo Sano
強化学習 DQNからPPOまで
強化学習 DQNからPPOまで
harmonylab
SpectreBustersあるいはLinuxにおけるSpectre対策
SpectreBustersあるいはLinuxにおけるSpectre対策
Masami Hiramatsu
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
NTT DATA Technology & Innovation
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
Tokoroten Nakayama
使ってみませんか?pg_hint_plan
使ってみませんか?pg_hint_plan
NTT DATA OSS Professional Services
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Rustで楽しむ競技プログラミング
Rustで楽しむ競技プログラミング
yoshrc
VIOPS10: SSDの基本技術と最新動向
VIOPS10: SSDの基本技術と最新動向
VIOPS Virtualized Infrastructure Operators group ARCHIVES
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
CODE BLUE
Hopper アーキテクチャで、変わること、変わらないこと
Hopper アーキテクチャで、変わること、変わらないこと
NVIDIA Japan
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
Fixstars Corporation
DockerコンテナでGitを使う
DockerコンテナでGitを使う
Kazuhiro Suga
Deep Learningによる超解像の進歩
Deep Learningによる超解像の進歩
Hiroto Honda
What's hot
(20)
ビッグデータ処理データベースの全体像と使い分け
ビッグデータ処理データベースの全体像と使い分け
最適化計算の概要まとめ
最適化計算の概要まとめ
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
CUDAのアセンブリ言語基礎のまとめ PTXとSASSの概説
コンテナにおけるパフォーマンス調査でハマった話
コンテナにおけるパフォーマンス調査でハマった話
ブースティング入門
ブースティング入門
何もないところから数を作る
何もないところから数を作る
強化学習 DQNからPPOまで
強化学習 DQNからPPOまで
SpectreBustersあるいはLinuxにおけるSpectre対策
SpectreBustersあるいはLinuxにおけるSpectre対策
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
押さえておきたい、PostgreSQL 13 の新機能!! (PostgreSQL Conference Japan 2020講演資料)
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
レベルを上げて物理で殴れ、Fuzzing入門 #pyfes
使ってみませんか?pg_hint_plan
使ってみませんか?pg_hint_plan
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Rustで楽しむ競技プログラミング
Rustで楽しむ競技プログラミング
VIOPS10: SSDの基本技術と最新動向
VIOPS10: SSDの基本技術と最新動向
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
Firefoxの倒し方 by 西村 宗晃 (にしむねあ)
Hopper アーキテクチャで、変わること、変わらないこと
Hopper アーキテクチャで、変わること、変わらないこと
いまさら聞けない!CUDA高速化入門
いまさら聞けない!CUDA高速化入門
DockerコンテナでGitを使う
DockerコンテナでGitを使う
Deep Learningによる超解像の進歩
Deep Learningによる超解像の進歩
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によるソフトウェアの実装 (3)
Homebrewによるソフトウェアの実装 (3)
Yoshihiro Mizoguchi
Overleafを使った文書作成
Overleafを使った文書作成
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
数式処理ソフトMathematicaで数学の問題を解く
数式処理ソフトMathematicaで数学の問題を解く
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
More from Yoshihiro Mizoguchi
(20)
DockerでAlmaLinux(web, php, pukiwiki)環境構築
DockerでAlmaLinux(web, php, pukiwiki)環境構築
DockerでCoq インストール
DockerでCoq インストール
Homebrewによるソフトウェアの実装 (3)
Homebrewによるソフトウェアの実装 (3)
Overleafを使った文書作成
Overleafを使った文書作成
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
数式処理ソフトMathematicaで数学の問題を解く
数式処理ソフトMathematicaで数学の問題を解く
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のモナド
Recently uploaded
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
Ken Fukui
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
Ken Fukui
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
Ken Fukui
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
Ken Fukui
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
Ken Fukui
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
yukisuga3
Recently uploaded
(8)
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
計算可能実数とは
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