Birdwatch Note
2024-11-18 19:58:04 UTC - MISINFORMED_OR_POTENTIALLY_MISLEADING
間違いです。 コンピュータープログラムでは無理数を含む無限桁の計算可能実数を扱えます。 計算可能実数はそれに実効的に収束する有理数列で表現できます。 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/96269/1/Tronso_35_17.pdf このような計算可能実数は無限リストを扱えて遅延評価のあるプログラミング言語Haskellを用いて実装できます。 http://guppy.eng.kagawa-u.ac.jp/~kagawa/2019/AdvProg/Text/Haskell.pdf
Written by 39FA87B948931264B6E619F58FCFDB75B004E83E19BEC9D843E66FA0F1008D03
Participant Details
Original Tweet
Tweet embedding is no longer reliably available, due to the platform's instability (in terms of both technology and policy). If the Tweet still exists, you can view it here: https://twitter.com/foo_bar/status/1857693734646985104
Please note, though, that you may need to have your own Twitter account to access that page. I am currently exploring options for archiving Tweet data in a post-API context.
All Information
- ID - 1858600581902069907
- noteId - 1858600581902069907
- participantId -
- noteAuthorParticipantId - 39FA87B948931264B6E619F58FCFDB75B004E83E19BEC9D843E66FA0F1008D03 Participant Details
- createdAtMillis - 1731959884511
- tweetId - 1857693734646985104
- classification - MISINFORMED_OR_POTENTIALLY_MISLEADING
- believable -
- harmful -
- validationDifficulty -
- misleadingOther - 0
- misleadingFactualError - 1
- misleadingManipulatedMedia - 0
- misleadingOutdatedInformation - 0
- misleadingMissingImportantContext - 0
- misleadingUnverifiedClaimAsFact - 0
- misleadingSatire - 0
- notMisleadingOther - 0
- notMisleadingFactuallyCorrect - 0
- notMisleadingOutdatedButNotWhenWritten - 0
- notMisleadingClearlySatire - 0
- notMisleadingPersonalOpinion - 0
- trustworthySources - 1
- summary
- 間違いです。 コンピュータープログラムでは無理数を含む無限桁の計算可能実数を扱えます。 計算可能実数はそれに実効的に収束する有理数列で表現できます。 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/96269/1/Tronso_35_17.pdf このような計算可能実数は無限リストを扱えて遅延評価のあるプログラミング言語Haskellを用いて実装できます。 http://guppy.eng.kagawa-u.ac.jp/~kagawa/2019/AdvProg/Text/Haskell.pdf
Note Ratings
rated at | rated by | |
2024-11-18 18:54:15 -0600 | Rating Details | |
2024-11-18 18:26:54 -0600 | Rating Details | |
2024-11-18 18:18:10 -0600 | Rating Details | |
2024-11-18 17:25:30 -0600 | Rating Details | |
2024-11-18 16:14:46 -0600 | Rating Details | |
2024-11-18 15:36:28 -0600 | Rating Details | |
2024-11-18 14:45:24 -0600 | Rating Details | |
2024-11-19 02:05:22 -0600 | Rating Details | |
2024-11-19 00:55:07 -0600 | Rating Details | |
2024-11-19 01:25:02 -0600 | Rating Details | |
2024-11-18 17:45:17 -0600 | Rating Details |