orange @[email protected]

ここ＞＜
https://maps.app.goo.gl/7hVBRdazunNsbrLR9

【動画】都バス運転手、自転車を轢きそうになる。警察に行くが「運転手さんは表彰されるくらいの人だってさ。だけど全く覚えてないんだって」 - posfie
https://posfie.com/@yonepo665/p/G7c3hxx

少なくとも「浮動小数点数を2個受け取る関数で1個がゼロか判別するコードなんてどうせゼロ除算回避だろ！？」くらいはAIさんでも一瞬でわかる21世紀＞＜

IntelliCodeさんは、まだ中身すら書いてないのに、書こうとしてる内容を推測してコメントをつけようとしてくる＞＜；

ていうか、VS2022のIntelliCodeさんが提案しまくってくるコメントも、わりと意図を読み取って意図が書かれてる気がするし、LLMって、少なくともミクロな範囲のコードであれば、コードから意図を読むのが実は人間よりも既に得意なのかも？＞＜；

前にGPT-4o？でやった↓にわざとバグを足したうえで命名変えて何する関数か当ててもらうやつ、

閏年を論理演算じゃなく判定するやつ！＞＜
https://gist.github.com/orange-in-space/b3ba7c5161f2f0089b922b57ddb9be51

を、o4-miniでやったら完璧（？）に言い当てた上にオレンジよりも賢かったっぽい・・・？＞＜
https://chatgpt.com/share/68429beb-f5e4-800d-a4fd-264469cb7efd

低レベルで見れば論理的思考能力はないはずなのに、オレンジが書いたパズルみたいなコードを見せても、なんでそうなってるのかを推測できちゃうし、LLMってほんと不思議＞＜

AIはわりとそこそこ賢いので、今でもそれほど長くないのであれば「この部分は何でこうなってるの？＞＜」って聞けば「たぶんこういう理由なんじゃないのかな？」って推測してくれるし、将来もっと賢くなったら、もっと大規模な範囲のコードを読んでも「こういう理由でこういう風に書いたんじゃね？」って答えてくれそう＞＜

なんかo4-miniに聞いたら「Round infinity"なんて表現はほとんど使われなくてあくまでこの図のための表現なんでは？」的な事を言ってた＞＜；
wikipediaでも、本文では"「round toward +∞」「round toward −∞」"みたいに書いてるでしょって＞＜

Round Up（天井関数）→切り上げ？
Round Down（床関数）→切り下げ？
Round Zero（整数部）→整数部？＞＜；
Round Infinity（？＞＜；）→？＞＜；

Rounding - Wikipedia
https://en.wikipedia.org/wiki/Rounding

英語だと、Round Up/Down/Zero/Infinityらしい・・・？＞＜

Geminiの発言でアレだけど＞＜
"床関数はカール・フリードリヒ・ガウスが1808年に表記 [x] を導入するなど、古くからその概念自体は存在していました。しかし、この [x] という表記は、文脈によっては「0への切り捨て」など、他の意味で使われることもあり、曖昧さがありました。"
https://g.co/gemini/share/286d4fd9b2b8

クヌースのお釈迦様感＞＜（？）

「この主張は正しい？＞＜」って聞いた時に「現在の床関数と天井関数は、ケネス・E・アイバーソンが作り出して、クヌースがThe Art of Computer Programmingで広めた概念だよ」（意訳）ってGeminiが言ってた＞＜

ということで歴史的経緯でも、主にプログラミングのために普及した概念といっても差し支えないかもしれない？＞＜（いまGeminiに聞いたら完全に同意された）
ので、床関数と天井関数を『標準的な数学ではメジャーではないけどプログラミングに必要な知識』として教える必要が実はあるのかも・・・？＞＜

そもそも床関数とか天井関数って20世紀に入ってからの比較的新しい概念なので、それ以前は用語が統一されてなかったらしい・・・？＞＜