C++相談室 part152
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2020/07/12(日) 13:42:20.13ID:TX1mpKr6243デフォルトの名無しさん
2020/09/08(火) 00:30:42.07ID:h4K4tlm9 誰がプログラマって言ったよ?
理屈しか通じないんだろ?
頭悪そう
理屈しか通じないんだろ?
頭悪そう
244デフォルトの名無しさん
2020/09/08(火) 00:32:32.14ID:h4K4tlm9 自分で言ってることに矛盾してる時点で才能ないよ君
245デフォルトの名無しさん
2020/09/08(火) 16:47:11.08ID:FxZYRSTV is_integralみたいな型判定をメタ関数に渡すとこを書いてて思ったんだが
変数テンプレートをテンプレート・テンプレートパラメータとして渡せるようにはなってないんだよなぁ
ということは、と思ってコンセプトの予定されてる内容調べたら、コンセプトも同様なんだな・・残念
変数テンプレートをテンプレート・テンプレートパラメータとして渡せるようにはなってないんだよなぁ
ということは、と思ってコンセプトの予定されてる内容調べたら、コンセプトも同様なんだな・・残念
246デフォルトの名無しさん
2020/09/10(木) 08:49:56.48ID:ke8OXyHN C++でもNPMみたいなパッケージマネージャ使いたい
ヘッダと実装別で書かなきゃいけないのも無駄
このへん解決したAlterC++みたいなの作って
ヘッダと実装別で書かなきゃいけないのも無駄
このへん解決したAlterC++みたいなの作って
247デフォルトの名無しさん
2020/09/10(木) 09:32:44.42ID:xgcscVfX248はちみつ餃子 ◆8X2XSCHEME
2020/09/10(木) 09:34:27.99ID:LwYTdpan >>246
ヘッダファイルを実装とは別に用意する仕組みは効率よく差分ビルドするための仕組みとして機能していたんだけど、
テンプレートが登場してからは足を引っ張るようになってるとは思う。
まあ単純に面倒くさいってのもわかる。
パッケージマネージャはディストリビューションに乗ってるものを使いたまえよ。
実行環境の管理と開発環境の管理は要求されるものが本来は違うのだけど、
C/C++ は特権階級的な立場だから実行環境を開発環境として使えるようになってることが多い。
あえて分離したいなら CONAN が有名かなぁ……。 使ったことないけど。
https://conan.io/
ヘッダファイルを実装とは別に用意する仕組みは効率よく差分ビルドするための仕組みとして機能していたんだけど、
テンプレートが登場してからは足を引っ張るようになってるとは思う。
まあ単純に面倒くさいってのもわかる。
パッケージマネージャはディストリビューションに乗ってるものを使いたまえよ。
実行環境の管理と開発環境の管理は要求されるものが本来は違うのだけど、
C/C++ は特権階級的な立場だから実行環境を開発環境として使えるようになってることが多い。
あえて分離したいなら CONAN が有名かなぁ……。 使ったことないけど。
https://conan.io/
249デフォルトの名無しさん
2020/09/10(木) 13:27:37.52ID:ke8OXyHN >実行環境を開発環境として使えるようになってることが多い
これは古い慣習でそうなってるだけで実は分けたほうが便利な気がする
システム汚さないし、依存関係の解決も楽
そもそも実行環境に不要なはずのものがいることがおかしい
ConanもC++20のModuleも良さそうだけど結局バベルの塔だからなぁ
これは古い慣習でそうなってるだけで実は分けたほうが便利な気がする
システム汚さないし、依存関係の解決も楽
そもそも実行環境に不要なはずのものがいることがおかしい
ConanもC++20のModuleも良さそうだけど結局バベルの塔だからなぁ
250デフォルトの名無しさん
2020/09/10(木) 13:37:57.10ID:wdhKSMlq251デフォルトの名無しさん
2020/09/10(木) 13:58:43.59ID:h1ZKqHov >>246
VCPKGがあるじゃないか。
VCPKGがあるじゃないか。
252はちみつ餃子 ◆8X2XSCHEME
2020/09/10(木) 15:13:20.95ID:LwYTdpan253デフォルトの名無しさん
2020/09/10(木) 16:03:33.34ID:wdhKSMlq 変になるって、具体的に何?
254デフォルトの名無しさん
2020/09/10(木) 18:50:19.73ID:6Z343NeL255デフォルトの名無しさん
2020/09/10(木) 18:55:15.35ID:h1ZKqHov VSがクロス一番楽。
256デフォルトの名無しさん
2020/09/10(木) 18:56:59.66ID:h1ZKqHov C/C++はコンパイラメーカーがローダーを用意していない。
これに尽きる。
これに尽きる。
257デフォルトの名無しさん
2020/09/10(木) 19:04:13.58ID:wOYL1pS0 最近は何でもdockerに突っ込んでいる。
vscode + remote containerで開発環境の構築も楽になったし。
vscode + remote containerで開発環境の構築も楽になったし。
258デフォルトの名無しさん
2020/09/10(木) 19:05:01.58ID:ke8OXyHN C++ moduleってテンプレート使ったクラスをモジュール化したとき
プリコンパイルヘッダと原理的に同じで機械語じゃなくて中間表現に
変換されるらしいんだけど、これってコンパイル速度が大幅に改善することはない
ってことだよね?
プリコンパイルヘッダと原理的に同じで機械語じゃなくて中間表現に
変換されるらしいんだけど、これってコンパイル速度が大幅に改善することはない
ってことだよね?
259デフォルトの名無しさん
2020/09/10(木) 19:13:48.12ID:6Z343NeL よく考えたインクルードでpch併用してるプロジェクトなら、普段のビルド大して変わらんかもだけど
pchが依存するヘッダを書き換えた場合のフルビルドみたいなのは避けやすくなるぽい??
pchが依存するヘッダを書き換えた場合のフルビルドみたいなのは避けやすくなるぽい??
260デフォルトの名無しさん
2020/09/10(木) 19:13:59.29ID:ke8OXyHN プリコンパイルヘッダを試しに生成するのと
普通にコンパイルするのと試したら2割程度しか時間短縮できなかった
普通にコンパイルするのと試したら2割程度しか時間短縮できなかった
261はちみつ餃子 ◆8X2XSCHEME
2020/09/10(木) 21:58:54.33ID:LwYTdpan262デフォルトの名無しさん
2020/09/10(木) 22:37:36.67ID:ke8OXyHN うーん まぁチリツモと考えるとでかいか
夢見過ぎだったか
夢見過ぎだったか
263はちみつ餃子 ◆8X2XSCHEME
2020/09/10(木) 23:28:14.82ID:LwYTdpan264デフォルトの名無しさん
2020/09/10(木) 23:45:25.82ID:EIogAYj0 質問ですが
double x = 0.3333;
printf("x=%f\n", x); // 期待する表示: x=0.3333
みたいなBCD風表記→IEEE 754→再びBCD風表記
としたときに、元の表記と結果の表記が一致することは
保証されてますん?
double x = 0.3333;
printf("x=%f\n", x); // 期待する表示: x=0.3333
みたいなBCD風表記→IEEE 754→再びBCD風表記
としたときに、元の表記と結果の表記が一致することは
保証されてますん?
265はちみつ餃子 ◆8X2XSCHEME
2020/09/11(金) 00:13:13.30ID:iGbGHAE2266デフォルトの名無しさん
2020/09/11(金) 00:15:27.86ID:ajBE7peV されてない
267デフォルトの名無しさん
2020/09/11(金) 00:22:49.83ID:WOjxtKnw 不可逆変換
268デフォルトの名無しさん
2020/09/11(金) 00:27:13.22ID:1mBomO61 何がしたいんだろな。
269デフォルトの名無しさん
2020/09/11(金) 00:31:20.53ID:hb2JlHSF ちょっソ───スコ───ドに0.3333と書いたのに
0.33331とかに解釈になったらスゲーまずくね??
0.33331とかに解釈になったらスゲーまずくね??
270デフォルトの名無しさん
2020/09/11(金) 00:38:43.10ID:ajBE7peV 初心者スレは別にあるだろ
271デフォルトの名無しさん
2020/09/11(金) 00:40:37.59ID:OVJtRCSC さすがにもう少し精度が高くて、doubleなら
0.3333000000000001 くらいの誤差じゃない?(適当)
0.3333000000000001 くらいの誤差じゃない?(適当)
272デフォルトの名無しさん
2020/09/11(金) 00:41:20.87ID:hb2JlHSF 何がしたいのかというと実行時計算ができる有理数クラスを書いたんじゃが
ソース値がソースコードに浮動小数点で書かれていた場合は当たり障りのない有理数にしたいわけで、
たとえば
Rational x = 0.11;
と書けば済むところはそのまんま
x.m_num == 11LL // 分子
x.m_den == 100LL // 分母
とかになってホスイ
(必ずいちいちRational x = Rational(11, 100);と書かなければならないことはユーザー(≒漏れ自身)に強制したくない
ソース値がソースコードに浮動小数点で書かれていた場合は当たり障りのない有理数にしたいわけで、
たとえば
Rational x = 0.11;
と書けば済むところはそのまんま
x.m_num == 11LL // 分子
x.m_den == 100LL // 分母
とかになってホスイ
(必ずいちいちRational x = Rational(11, 100);と書かなければならないことはユーザー(≒漏れ自身)に強制したくない
273デフォルトの名無しさん
2020/09/11(金) 00:43:42.19ID:hb2JlHSF つかソースコードに書かれた浮動小数点数を文字列化して元に戻せることの重要性を
書いたコンパイラの教科書はマイナーかもしれんが実在したで(記憶モード
そのやり方こそ今思い出すべきなのだが手元に無いから質問すた、
書いたコンパイラの教科書はマイナーかもしれんが実在したで(記憶モード
そのやり方こそ今思い出すべきなのだが手元に無いから質問すた、
274デフォルトの名無しさん
2020/09/11(金) 00:44:51.33ID:ajBE7peV >>272
ユーザ定義リテラルでも作れば?
ユーザ定義リテラルでも作れば?
275デフォルトの名無しさん
2020/09/11(金) 00:45:17.34ID:OVJtRCSC 固定小数点?
276デフォルトの名無しさん
2020/09/11(金) 00:50:39.51ID:hb2JlHSF >>274
やだ
数値的にやるとしたらここ↓のalmost_equal<T>()でも使ってゴニョれば良いんかのう…
https://en.cppreference.com/w/cpp/types/numeric_limits/epsilon
しかし件の本にはこれと似たような演算を書いてあったような気がしないOTL
やだ
数値的にやるとしたらここ↓のalmost_equal<T>()でも使ってゴニョれば良いんかのう…
https://en.cppreference.com/w/cpp/types/numeric_limits/epsilon
しかし件の本にはこれと似たような演算を書いてあったような気がしないOTL
277デフォルトの名無しさん
2020/09/11(金) 00:54:13.41ID:ajBE7peV278デフォルトの名無しさん
2020/09/11(金) 00:59:52.73ID:ajBE7peV279デフォルトの名無しさん
2020/09/11(金) 01:08:43.17ID:hb2JlHSF >>278
しらそん
桁の十分不十分は応用にもよるし
足りないとわかったらRationalの方を多数桁対応させるは
とにかくRationalは見かけをdouble型と同様に扱えるように仕上げ鯛、
なぜなら真に走らせたいアルゴリズムはdoubleをtypedefして作ってあって、
それをRationalに差し替えるだけ!と思ってたら
単体テストが10億行ぐらい浮動小数点で書いてあったので…
しらそん
桁の十分不十分は応用にもよるし
足りないとわかったらRationalの方を多数桁対応させるは
とにかくRationalは見かけをdouble型と同様に扱えるように仕上げ鯛、
なぜなら真に走らせたいアルゴリズムはdoubleをtypedefして作ってあって、
それをRationalに差し替えるだけ!と思ってたら
単体テストが10億行ぐらい浮動小数点で書いてあったので…
280デフォルトの名無しさん
2020/09/11(金) 01:27:41.74ID:ajBE7peV281デフォルトの名無しさん
2020/09/11(金) 01:52:30.29ID:tAPrmVM5 文字列受け取るコンストラクタ書くだけだろ
282デフォルトの名無しさん
2020/09/11(金) 03:35:25.76ID:iBiKDQ69 char配列に変換して8バイト読み書きするだけのこと
文字列に変換することは忘れろ
文字列に変換することは忘れろ
283デフォルトの名無しさん
2020/09/11(金) 12:52:59.43ID:WJYUzgW7 そもそも0と0.0を区別する方法がないのにどこまで意味のある事なのか
284デフォルトの名無しさん
2020/09/11(金) 15:59:42.05ID:Cxw4gZ+X > (必ずいちいちRational x = Rational(11, 100);と書かなければならないことはユーザー(≒漏れ自身)に強制したくない
無理だろ
Rational x = 0.1;
こんなの、どうすんだよ?
double型の0.1は1/10じゃねえぞ
無理だろ
Rational x = 0.1;
こんなの、どうすんだよ?
double型の0.1は1/10じゃねえぞ
285デフォルトの名無しさん
2020/09/11(金) 16:00:39.94ID:Cxw4gZ+X denが必ず10のべき、みたいなことにして
誤差が最小になるように頑張るならともかく
誤差が最小になるように頑張るならともかく
286デフォルトの名無しさん
2020/09/11(金) 16:17:57.96ID:FpD9K4HS >>272
Rational x = "0.11"; を許せばいい
Rational x = "0.11"; を許せばいい
287デフォルトの名無しさん
2020/09/11(金) 16:29:19.36ID:6r5prnWG >>279
仮にテストコードに 0.333333333333333 って書いてあったとしても
それは 0.3333333333333329818 のことだから、
0.333333333333333として受け取ってしまうと逆にテストに失敗するのでは?
仮にテストコードに 0.333333333333333 って書いてあったとしても
それは 0.3333333333333329818 のことだから、
0.333333333333333として受け取ってしまうと逆にテストに失敗するのでは?
288デフォルトの名無しさん
2020/09/11(金) 16:36:45.19ID:G2VX17rJ 10億行ぐらい既存テストコードがあるとのことなので文字列とか全面書き換えになる案はNGなんでしょう
でもいい案はなさげ
一旦浮動小数になったら元のリテラルの復元はできないだろうな
でもいい案はなさげ
一旦浮動小数になったら元のリテラルの復元はできないだろうな
289デフォルトの名無しさん
2020/09/11(金) 16:39:43.52ID:su+TWEMf >文字列とか全面書き換え
Rational にする書き換えはOKなんだろ
Rational にする書き換えはOKなんだろ
290デフォルトの名無しさん
2020/09/11(金) 16:43:40.92ID:G2VX17rJ そりゃクラスの差し替えは局所的な置き換えで済むんじゃないの
浮動小数のリテラルを全部文字列に置き換えることに比べたら楽でしょ
まぁ本人が答えるべきだが状況はなんとなく推測できる
浮動小数のリテラルを全部文字列に置き換えることに比べたら楽でしょ
まぁ本人が答えるべきだが状況はなんとなく推測できる
291デフォルトの名無しさん
2020/09/11(金) 20:04:14.01ID:ua52u3Jr そのくらい正規表現で置換すればいいだろ。
だいたい10億行のテストコードが仮に本当なら100%手書きじゃないから一つずつ確認しながら置換するなんてアホなことはしない。
有理数クラスなんて普通は枯れたライブラリ拾って来るけどな
だいたい10億行のテストコードが仮に本当なら100%手書きじゃないから一つずつ確認しながら置換するなんてアホなことはしない。
有理数クラスなんて普通は枯れたライブラリ拾って来るけどな
292デフォルトの名無しさん
2020/09/11(金) 20:18:44.50ID:G2VX17rJ だからさ、そこは本人の希望なんだからあれこれ言ってもしかたないじゃん
正規表現で機械的に置き換えたらまずいものもあるかもしれないし
浮動小数と有理数で切り替えたいって言ってるからそのメンテコストもあるだろ
正規表現で機械的に置き換えたらまずいものもあるかもしれないし
浮動小数と有理数で切り替えたいって言ってるからそのメンテコストもあるだろ
293デフォルトの名無しさん
2020/09/11(金) 21:28:10.16ID:opulvzCM ユーザー定義リテラルとか使ってboost::rationalでも生成したら?
やったことないからできるか知らんが。
やったことないからできるか知らんが。
294デフォルトの名無しさん
2020/09/11(金) 21:35:23.73ID:em6XQ5sn 何にせよdoubleになった時点でリテラル表記の情報は失われるんだから、何がしかの書き換えをするしかない
それがイヤだ絶対やらんと言うなら、じゃあ不可能だよという答えにしかならない
それがイヤだ絶対やらんと言うなら、じゃあ不可能だよという答えにしかならない
295デフォルトの名無しさん
2020/09/11(金) 21:51:53.86ID:aT3N5bZo プリプロセッサを書けばどうだろう
296デフォルトの名無しさん
2020/09/11(金) 22:53:08.79ID:3mrNom4D Rational に double の数値が直代入されてるところだけ文字列代入にするための
プリプロセッサ描けば良い話
プリプロセッサ描けば良い話
297デフォルトの名無しさん
2020/09/12(土) 05:53:05.89ID:2ljmp3qW 結論から言うと、
IEEE 754の値x → 10進数文字列 s→ IEEE 754の値x'
という変換を行った場合、x == x'となるかどうかはx次第であって一般に保証されないが、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
という変換は、sが非正規化数だったりIEEE 754の仮数部で表現可能な桁数を超えない限り -- (1)
s == s'を保証可能
なぜなら、(1)の条件を満たすsとそのIEEE 754への変換結果xの食い違う条件は
sを2進数に変換したとき循環小数になる場合に限られるが(もとの10進数のsはもちろん循環小数ではない
この食い違いは±DBL_MINを超えないから以下略
(結局x→s'変換はalmost_equal<T>()的な処理が必要にはなるが、適切にやれば
sの整数部の文字列化 ==> x -= (xの整数部) ==> x *= 10、
の反復を何時やめればよいか確定する
IEEE 754の値x → 10進数文字列 s→ IEEE 754の値x'
という変換を行った場合、x == x'となるかどうかはx次第であって一般に保証されないが、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
という変換は、sが非正規化数だったりIEEE 754の仮数部で表現可能な桁数を超えない限り -- (1)
s == s'を保証可能
なぜなら、(1)の条件を満たすsとそのIEEE 754への変換結果xの食い違う条件は
sを2進数に変換したとき循環小数になる場合に限られるが(もとの10進数のsはもちろん循環小数ではない
この食い違いは±DBL_MINを超えないから以下略
(結局x→s'変換はalmost_equal<T>()的な処理が必要にはなるが、適切にやれば
sの整数部の文字列化 ==> x -= (xの整数部) ==> x *= 10、
の反復を何時やめればよいか確定する
298デフォルトの名無しさん
2020/09/12(土) 05:55:29.22ID:2ljmp3qW299デフォルトの名無しさん
2020/09/12(土) 08:39:01.67ID:U5yMllJ4 sagemathで
a=0.11
QQ(a)
とすると
11/100
が得られる
aの実体はMPFRのオブジェクト
まーsagemathのソースでも見とけば
a=0.11
QQ(a)
とすると
11/100
が得られる
aの実体はMPFRのオブジェクト
まーsagemathのソースでも見とけば
300デフォルトの名無しさん
2020/09/12(土) 15:38:22.68ID:cDX1Q2rT >>297
的外れ
的外れ
301デフォルトの名無しさん
2020/09/12(土) 15:47:40.14ID:JdE/Bv85 >>297
その前にリテラル表現→double値(お前が言うところのIEEE754の値)
という変換が入って、それが不可逆だから書き換えなしじゃ無理だっつってんだよ
Hoge(0.0)とHoge(0.00)に表現に応じた別の処理させるのはC++の範囲では不可能だ
その前にリテラル表現→double値(お前が言うところのIEEE754の値)
という変換が入って、それが不可逆だから書き換えなしじゃ無理だっつってんだよ
Hoge(0.0)とHoge(0.00)に表現に応じた別の処理させるのはC++の範囲では不可能だ
302デフォルトの名無しさん
2020/09/12(土) 15:50:40.29ID:cDX1Q2rT プリプロセッサなら可能
Cの仕様
Cの仕様
303デフォルトの名無しさん
2020/09/12(土) 15:54:45.19ID:JdE/Bv85 ああ、#で文字列化できるからこの場合はできるのか忘れてた
まあ対象の浮動小数を全部マクロで括らないといけないからどっちみち書き換えは発生するけどな
まあ対象の浮動小数を全部マクロで括らないといけないからどっちみち書き換えは発生するけどな
304デフォルトの名無しさん
2020/09/12(土) 15:56:41.81ID:cDX1Q2rT おまえプリプロセッサが何か判ってないだろ
305デフォルトの名無しさん
2020/09/12(土) 15:59:56.68ID:JdE/Bv85 ん?シンボルを文字列化する#演算子はプリプロセッサディレクティブの一つだぞ
何か間違ってるか?
何か間違ってるか?
306デフォルトの名無しさん
2020/09/12(土) 16:08:00.10ID:idwadC/M 問題はそこじゃない
307デフォルトの名無しさん
2020/09/12(土) 16:17:43.12ID:JdE/Bv85 絡んでくるだけで具体的な問題を指摘できないカスは置いといて
プリプロセッサフェーズの後で0.0と0.00を区別する方法はないから279君の望みは叶わないでFA
プリプロでもdouble x = 0.00;とかを自動で書き換えるの無理でしょ
プリプロセッサフェーズの後で0.0と0.00を区別する方法はないから279君の望みは叶わないでFA
プリプロでもdouble x = 0.00;とかを自動で書き換えるの無理でしょ
308デフォルトの名無しさん
2020/09/12(土) 16:19:33.34ID:idwadC/M プリプロセッサを書けと言っている
309デフォルトの名無しさん
2020/09/12(土) 16:28:52.93ID:erdZI+Jx >>299
有理数の分母が10の冪という前提ならある程度の精度で出来そうだな。
有理数の分母が10の冪という前提ならある程度の精度で出来そうだな。
310デフォルトの名無しさん
2020/09/12(土) 17:27:31.95ID:JdE/Bv85 分母仮定せずに普通にディオファントス近似した方が誤差小さくなると思うんだけど
311デフォルトの名無しさん
2020/09/12(土) 17:57:13.06ID:erdZI+Jx 10進リテラルで渡す前提なら分母が10の冪になってしまったら逆に誤差が大きいことになると思うが。
#約分とかは別として。
まぁ、1.0/3.0みたいなものも渡せるようにということなら確かにそうかも。
#約分とかは別として。
まぁ、1.0/3.0みたいなものも渡せるようにということなら確かにそうかも。
312デフォルトの名無しさん
2020/09/12(土) 20:28:37.72ID:2ljmp3qW とりあえずここまではできた;;
x=0.1: rt=1/10
x=0.11: rt=11/100
x=0.111: rt=111/1000
x=0.1111: rt=1111/10000
x=0.9: rt=9/10
x=0.99: rt=99/100
x=0.999: rt=999/1000
x=0.9999: rt=9999/10000
x=0.33333: rt=33333/100000
x=123.34567: rt=1233456699999999/10000000000000 // NG
x=123.345678: rt=123345678/1000000
x=123.3456789: rt=1233456788999999/10000000000000 // NG
x=12.34567: rt=1234567/100000
x=12: rt=12/1
x=123E-5: rt=123/100000
x=0.1: rt=1/10
x=0.11: rt=11/100
x=0.111: rt=111/1000
x=0.1111: rt=1111/10000
x=0.9: rt=9/10
x=0.99: rt=99/100
x=0.999: rt=999/1000
x=0.9999: rt=9999/10000
x=0.33333: rt=33333/100000
x=123.34567: rt=1233456699999999/10000000000000 // NG
x=123.345678: rt=123345678/1000000
x=123.3456789: rt=1233456788999999/10000000000000 // NG
x=12.34567: rt=1234567/100000
x=12: rt=12/1
x=123E-5: rt=123/100000
313デフォルトの名無しさん
2020/09/12(土) 20:35:15.16ID:2ljmp3qW わかったことは、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
において、s→xのところで仮数部最小桁で丸めがおきたのかどうかの情報が無いと
xからsの復元が難しいケースがあるというこっちゃorz
コンパイラならs→xをやるのは自分自身なので、x→s'を行うライブラリと手を握ってうまいことやれる可能性があるが
xを与えられるだけのユーザープログラムではこれは対処が難しい
Ad-hocに.999999 = 1とみなす系のAd-hocな処置が必要かも試練、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
において、s→xのところで仮数部最小桁で丸めがおきたのかどうかの情報が無いと
xからsの復元が難しいケースがあるというこっちゃorz
コンパイラならs→xをやるのは自分自身なので、x→s'を行うライブラリと手を握ってうまいことやれる可能性があるが
xを与えられるだけのユーザープログラムではこれは対処が難しい
Ad-hocに.999999 = 1とみなす系のAd-hocな処置が必要かも試練、
314デフォルトの名無しさん
2020/09/12(土) 20:45:44.57ID:JdE/Bv85 だからさ
例えばそれでrt=1233456699999999/10000000000000になったとして
どうやって元の表現が123.34567だったって判断するのさ
本当に123.345699999999って書かれてた場合と区別できるわけないんだけどどうするの?
123.34567を123.345699999999に間違えるのはダメだけど逆は許されるの?どうして?どういう仮定置いてるの?
その辺を何一つハッキリさせないまま勝手にやられても
何がしたいのか全くわからない
例えばそれでrt=1233456699999999/10000000000000になったとして
どうやって元の表現が123.34567だったって判断するのさ
本当に123.345699999999って書かれてた場合と区別できるわけないんだけどどうするの?
123.34567を123.345699999999に間違えるのはダメだけど逆は許されるの?どうして?どういう仮定置いてるの?
その辺を何一つハッキリさせないまま勝手にやられても
何がしたいのか全くわからない
315デフォルトの名無しさん
2020/09/12(土) 20:52:26.12ID:EJqlmNG1 まぁそんな追い込まんでも
自分で手を動かしてダメっぽいことい気づいたのは立派だよ
自分で手を動かしてダメっぽいことい気づいたのは立派だよ
316デフォルトの名無しさん
2020/09/12(土) 20:53:34.39ID:U5yMllJ4317デフォルトの名無しさん
2020/09/12(土) 20:54:09.24ID:2ljmp3qW >>314
>本当に123.345699999999って書かれてた場合と区別できるわけない
思い込みが激しいお人じゃ…
123.345699999999はギリ仮数部で表現可能な桁数に収まっているから
これは123.34569とは明確に区別可能
ていうか実際のところできたわ;;
x=0.1: rt=1/10
x=0.11: rt=11/100
x=0.111: rt=111/1000
x=0.1111: rt=1111/10000
x=0.9: rt=9/10
x=0.99: rt=99/100
x=0.999: rt=999/1000
x=0.9999: rt=9999/10000
x=0.33333: rt=33333/100000
x=123.34567: rt=12334567/100000
x=123.345678: rt=123345678/1000000
x=123.3456789: rt=1233456789/10000000
x=123.345699999999: rt=123345699999999/1000000000000
x=12.34567: rt=1234567/100000
x=12: rt=12/1
x=123E-5: rt=123/100000
>本当に123.345699999999って書かれてた場合と区別できるわけない
思い込みが激しいお人じゃ…
123.345699999999はギリ仮数部で表現可能な桁数に収まっているから
これは123.34569とは明確に区別可能
ていうか実際のところできたわ;;
x=0.1: rt=1/10
x=0.11: rt=11/100
x=0.111: rt=111/1000
x=0.1111: rt=1111/10000
x=0.9: rt=9/10
x=0.99: rt=99/100
x=0.999: rt=999/1000
x=0.9999: rt=9999/10000
x=0.33333: rt=33333/100000
x=123.34567: rt=12334567/100000
x=123.345678: rt=123345678/1000000
x=123.3456789: rt=1233456789/10000000
x=123.345699999999: rt=123345699999999/1000000000000
x=12.34567: rt=1234567/100000
x=12: rt=12/1
x=123E-5: rt=123/100000
318デフォルトの名無しさん
2020/09/12(土) 20:59:43.51ID:JdE/Bv85 そりゃ0.00002も差があれば区別できるに決まってるわな
いやまあ自分が書き間違えたのが悪いんだけど結局何が問題だか全く理解してないのね
いやまあ自分が書き間違えたのが悪いんだけど結局何が問題だか全く理解してないのね
319デフォルトの名無しさん
2020/09/12(土) 21:00:56.75ID:2ljmp3qW320デフォルトの名無しさん
2020/09/12(土) 21:08:30.19ID:EJqlmNG1 0.500000000000000166533453693773481063544750213623046875
これできる?
これできる?
321デフォルトの名無しさん
2020/09/12(土) 21:09:20.40ID:JdE/Bv85 別のリテラル表現が同じdouble値(IEEE754の値)を示す時に何をもって正しいとするかという
お前の勝手な俺様基準を何も説明しないまま公衆の面前でガチャガチャやってることが問題なんだよ
わかれ
お前の勝手な俺様基準を何も説明しないまま公衆の面前でガチャガチャやってることが問題なんだよ
わかれ
322デフォルトの名無しさん
2020/09/12(土) 21:18:05.26ID:2ljmp3qW323デフォルトの名無しさん
2020/09/12(土) 21:22:42.84ID:EJqlmNG1 いやいやそれでどやられてもw
> 10進数文字列s → IEEE 754の値x → 10進数文字列s'
> という変換は、sが非正規化数だったりIEEE 754の仮数部で表現可能な桁数を超えない限り -- (1)
> s == s'を保証可能
仮数部で表現可能かどうかってどうやって判定するわけ?
> 10進数文字列s → IEEE 754の値x → 10進数文字列s'
> という変換は、sが非正規化数だったりIEEE 754の仮数部で表現可能な桁数を超えない限り -- (1)
> s == s'を保証可能
仮数部で表現可能かどうかってどうやって判定するわけ?
324デフォルトの名無しさん
2020/09/12(土) 21:30:02.39ID:2ljmp3qW うれしげにコード貼る、
https://ideone.com/EKHKWG
実行結果は>>317と同じ
>>313の問題があるから
0.999999(9の循環小数)を1.0と見なす処置を入れた結果、考えていたテストケースは全部通った。
結局、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
でs'が厳密なsの復元にならないケースがあるはずだがまだ見つかっていない。
ま、あったとしても有理数として解釈する上では数値としての大差は無いので問題ないはず、、、
https://ideone.com/EKHKWG
実行結果は>>317と同じ
>>313の問題があるから
0.999999(9の循環小数)を1.0と見なす処置を入れた結果、考えていたテストケースは全部通った。
結局、
10進数文字列s → IEEE 754の値x → 10進数文字列s'
でs'が厳密なsの復元にならないケースがあるはずだがまだ見つかっていない。
ま、あったとしても有理数として解釈する上では数値としての大差は無いので問題ないはず、、、
325デフォルトの名無しさん
2020/09/12(土) 21:33:35.13ID:2ljmp3qW >>323
入力となる浮動小数点数を文字列として書いた時点でワカル
52 bitでまったく表現しきれない桁数なら(1)を満たさない
そうでなく、かつ(xE+s表記で与えたとして)指数sが極端に小さくなければ(xの桁数+sが-1022以上なら)(1)を満たす
入力となる浮動小数点数を文字列として書いた時点でワカル
52 bitでまったく表現しきれない桁数なら(1)を満たさない
そうでなく、かつ(xE+s表記で与えたとして)指数sが極端に小さくなければ(xの桁数+sが-1022以上なら)(1)を満たす
326デフォルトの名無しさん
2020/09/12(土) 21:40:34.66ID:JdE/Bv85 >>325
なんだ、仮数部で表現可能かのチェックのために結局20億行テストコードを文字列として解析する必要があるわけね
じゃあその時に文字列として扱うようにコード直せよ
どうせそういうスクリプトが必要なんだからついでにやればいいね、よかったこれで解決だ
あほくさ
なんだ、仮数部で表現可能かのチェックのために結局20億行テストコードを文字列として解析する必要があるわけね
じゃあその時に文字列として扱うようにコード直せよ
どうせそういうスクリプトが必要なんだからついでにやればいいね、よかったこれで解決だ
あほくさ
327デフォルトの名無しさん
2020/09/12(土) 21:43:09.42ID:EJqlmNG1 >>325
は?書く?
10億行のテストコードあんだろ?
それが(1)を満たすかどうか確認する必要があるんだろ?
だいたい仮数におさまってたら大丈夫ってそりゃそうだろよ
誤差が問題なのにそれを考えなくていいケースなんだもの
は?書く?
10億行のテストコードあんだろ?
それが(1)を満たすかどうか確認する必要があるんだろ?
だいたい仮数におさまってたら大丈夫ってそりゃそうだろよ
誤差が問題なのにそれを考えなくていいケースなんだもの
328デフォルトの名無しさん
2020/09/12(土) 21:47:15.04ID:2ljmp3qW329デフォルトの名無しさん
2020/09/12(土) 21:52:28.75ID:GweMiOHC >ま、あったとしても有理数として解釈する上では数値としての大差は無いので問題ないはず、、、
ならRationalなんていらないね(´・ω・`)
ならRationalなんていらないね(´・ω・`)
330デフォルトの名無しさん
2020/09/12(土) 21:58:02.93ID:JdE/Bv85331デフォルトの名無しさん
2020/09/12(土) 22:03:02.47ID:2ljmp3qW332デフォルトの名無しさん
2020/09/12(土) 22:04:39.19ID:JdE/Bv85 あっはいどうでもいいです
(仮数部)/2^52に一番近い10^nを分母とする分数を探す簡単なさんすうの問題を解くだけの話だったんですね
がんばって
(仮数部)/2^52に一番近い10^nを分母とする分数を探す簡単なさんすうの問題を解くだけの話だったんですね
がんばって
333デフォルトの名無しさん
2020/09/12(土) 22:17:12.69ID:EJqlmNG1 手入力だから大丈夫ってのはお前しか判断できないよね?
成り立たない数字あげてもそれは手入力しないと言われるわけでしょ?
おれもあほくさくなった
成り立たない数字あげてもそれは手入力しないと言われるわけでしょ?
おれもあほくさくなった
334デフォルトの名無しさん
2020/09/12(土) 22:28:23.42ID:MEMmSzVD 俺ぐらいの達人になると、もう初期段階で
「あ、これさわったらアカン人や・・」って雰囲気でわかるようになる
「あ、これさわったらアカン人や・・」って雰囲気でわかるようになる
335デフォルトの名無しさん
2020/09/12(土) 22:31:11.00ID:GweMiOHC 10億行手入力したとか言い放つキチガイ相手にするの馬鹿らしくない?
1行/秒でも1700人月よ
1行/秒でも1700人月よ
336デフォルトの名無しさん
2020/09/12(土) 22:45:00.53ID:SzTm78BI 浮動小数点型としてメモリに載せた時点でアウト
文字列とかでやるしかなくね
文字列とかでやるしかなくね
337285
2020/09/13(日) 06:06:47.90ID:2wZmRDXk 俺の予言当たってやんのw
338デフォルトの名無しさん
2020/09/13(日) 08:25:17.62ID:Xp7zp8nz 単に誤差最小のものを選ぶだけだと>>314みたいになるから、1ULPか2ULPの誤差範囲内で
冪数が最小になるものを選ぶのがいいかな。
冪数が最小になるものを選ぶのがいいかな。
339デフォルトの名無しさん
2020/09/13(日) 12:55:10.97ID:P44KoBmR 連分数展開でディオファントス近似する方法なんてその辺にいくらでも転がってるのに
340デフォルトの名無しさん
2020/09/13(日) 18:33:50.24ID:LIu3OWuw ./hello > hello.txt
ってやったときhelloのprintfが無限ループだったら無限にhello.txtを上書きし続けますか?
ってやったときhelloのprintfが無限ループだったら無限にhello.txtを上書きし続けますか?
341デフォルトの名無しさん
2020/09/13(日) 19:12:18.99ID:eePcELKn >>340
上書きしません、追記し続けます。
上書きしません、追記し続けます。
342デフォルトの名無しさん
2020/09/13(日) 19:39:02.91ID:cE5a2Csh■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 自民・麻生太郎 副総裁 石破政権の1年は「どよーん」 高市政権の発足で「何となく明るくなった」「世の中のことが決まり動いている」 [Hitzeschleier★]
- JA全農が「新おこめ券」…来年9月末の有効期限を新設、必要経費のみ上乗せ [蚤の市★]
- 1人3千円の食品高騰対策、何に使える? あいまいなまま衆院通過 [蚤の市★]
- 【おこめ券】鈴木憲和農相 小泉前農相の備蓄米放出を“反省”「備蓄の円滑な運営を図ってまいります」 [Hitzeschleier★]
- ゆたぼん 二重手術を報告「めちゃくちゃ気に入っています」 [muffin★]
- 「働いて働いて」の流行語大賞に懸念 「言葉が独り歩き」 過労自殺遺族 [尺アジ★]
- 【実況】博衣こよりのえちえちダンガンロンパ2🧪★3
- 官僚「台湾有事についての質問か、『政府として逐一答えない』と…(カタカタカタ)」高市「私1人で答弁できるわよ!」 [972432215]
- 【安倍晋三】クマ駆除で誤射した猟友会隊員に町が1663万円請求【山形】 [452056903]
- 雑談した~い!
- 【悲報】高市早苗、被災民に対し「自分の命くらいは自分で守ってくださいね」と切り捨てし大炎上 [339712612]
- 史上最も「タイトル回収までの流れがアツい作品」www たれそうぞうした? [916950698]
