計算機で実数を厳密に比較したい

みんな先駆者さまの動画を見ようね (こんな雑語りのダシにしてゴメンナサイ) sm42587207 “【数学】0-認識問題【第2回ソフトウェアトーク理工サイド交流祭】”VOICEVOX:雨晴はう https://amehau.com/ バグ修正・多項式時間 → 決定性多項式時間 です・0:27 の有理数の比較は乗算2回・比較1回の O(N log N)で済みますね多分・1:13 の説明は「数字列出力のコストの話はオラクルに追い出して実関数のコストにフォーカスしよう」とすべきでした検索用キーワード: 計算可能実数 計算可能解析学 精度保証付き数値計算

http://www.nicovideo.jp/watch/sm43481094