@ravenYomu Profile picture

サファイア妖夢(雨宮怜奈)@C1052日目タ61b

@ravenYomu

鶏鳴会主宰。なりきりではありません。アイコンはにむ様(@nimu_u)のものです。うちのこ:https://t.co/oui4u5BhhQ ディスコ:ravenLunasa Note:https://t.co/iikQiTqLA1

Similar User
囃ちづる photo

@net0sut0kier0

とくあき photo

@infoforjoin

らね(如月) photo

@2rane29

はるか@ボドゲ垢 photo

@sashi_na

狂戦士@3/31名華 photo

@ritu_namine2

みつお@禾火イ列一般参加 photo

@AnaberaI_Kana

せいろべあるびー@SLB photo

@sayilovebeer

おくら(和え物) photo

@31aLifeS

ナカダ(over-calo-works?) photo

@overcalomel

ひなぽお photo

@80000Neko

狐代@紅楼夢 藍/オペサス photo

@foxykodai

𝗦𝗵𝗶𝗺𝗶𝘇𝘂𝗦𝗮𝗻.𝗝𝗣 photo

@ShimizuSan_JP

まあや photo

@maaya801

赤埜/真・孕ませ小僧の姦太郎〈極〉 photo

@akano0g

しょ418 photo

@sy040418

Pinned

コミケットのお品書きです。

Tweet Image 1

無理数って扱いにくい数だよね。人間も扱えるようになるまでに2000年はかかっているところだってあるし(古代ギリシャでは扱っていたけど、中世は扱っていたっけ?


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

福島5R 2歳新馬。 1着でゴール入線後にウインファヴォリに振り落とされたドイル姐さん😂


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

『「近似」を「正しい」』と主張しておいて 『「計算可能」を『できないと断言する』」とは何事だ、という主張であれば、そこには同意。


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

「動的無限による無理数」と「無限集合論的無理数」の差。「無理数判定関数はない」けれど、無理数は扱える。 「理想」と「現実」の差。 私はある意味で「どちらの言い分もわかる」。

数学科卒のプログラマーとして、これははっきりと否定させてもらいます。代数的数は計算機上で比較演算を含めて正確に扱えますし、比較が停止しなくて良いなら計算可能実数として扱うこともできます。浮動小数点数が全てだと思わないでください。



サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

数値解でしか扱えない具象性の足下に解析解の求まる抽象がびっしり敷き詰められてる印象。更に上にはモデルとか概念があり、逆に更に下にはプログラムの扱えない数学的厳密性がある感じ。数学はそのどちらも堅い物差しで線を引いてくれると思ってる。

数学科卒のプログラマーとして、これははっきりと否定させてもらいます。代数的数は計算機上で比較演算を含めて正確に扱えますし、比較が停止しなくて良いなら計算可能実数として扱うこともできます。浮動小数点数が全てだと思わないでください。



サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

数学科卒のプログラマーとして、これははっきりと否定させてもらいます。代数的数は計算機上で比較演算を含めて正確に扱えますし、比較が停止しなくて良いなら計算可能実数として扱うこともできます。浮動小数点数が全てだと思わないでください。

数学とプログラミングは違いますね。コンピュータープログラムでは無理数を扱えない。



サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

競馬……?はて……🤔


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

未央「全然違うじゃん!」 武内P「……」 未央「言ったよね!?『マイルCSのソウルラッシュは地雷!G1では善戦マン!雨も降らなかったし要らない!』って!この結果は何?」 武内P「昨年のこのレースは勝ちに等しい2着…団野騎手の完璧な騎乗なら当然の結果です」 未央「もういいよ!私競馬辞める!」

Tweet Image 1

妖夢ちゃんになって幽々子様に仕えたい。


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

青ダヌキAI、ネズミ関係なくても結構喧嘩っ早い。

Tweet Image 1
Tweet Image 2
Tweet Image 3

核兵器の使用判断を任せたタヌキ型AI

Tweet Image 1


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

誠実な企業と顧客を舐めてる企業の違い

Tweet Image 1

サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted
Tweet Image 1

サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

「東海」の範囲が場所によって全然違う問題…

Tweet Image 1

冬コミの本は当落発表日に印刷所に投げました。


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

出張に後ろ向きの理由 ❌気疲れ・ストレス ⭕報告書・自腹お土産文化・不在間も仕事溜まる・ホテル代高騰

20代の4割、出張に後ろ向き 「気疲れ」「ストレス」 nikkei.com/article/DGXZQO…



AIに任せると核戦争に至る道をたどることになる実例。

Tweet Image 1

【速報】米中首脳は、AIに核兵器使用の判断を任せないことを確認した jiji.com/jc/article?k=2…



サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

核兵器の使用判断を任せたタヌキ型AI

Tweet Image 1

【速報】米中首脳は、AIに核兵器使用の判断を任せないことを確認した jiji.com/jc/article?k=2…



サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

もろただぎゃ!!!!!これはヒャクパーもろたぎゃ!!!!!これで名古屋城に付いてる金の鯱買うわ!!!!!ブハ!!ブハハハ!! ブハハハハハハハハハハハハハハハハハ!!!!!!!!!!


サファイア妖夢(雨宮怜奈)@C1052日目タ61b Reposted

マイルチャンピオンシップ!!!!!!!

Tweet Image 1

Loading...

Something went wrong.


Something went wrong.