orange @[email protected]

“ChatGPT一強”終わる　1年でシェア22ポイント減、Gemini猛追　Webトラフィック調査 - ITmedia AI＋
https://www.itmedia.co.jp/aiplus/articles/2601/16/news067.html

人々が求めてたのは、「4oみたいな感じだけど、賢くてハルシネーションが少ないやつ」だったっぽいのに、それを実現したのがGeminiで、
ChatGPTは、5系になったら「謎の頓珍漢なツッコミをしてくる、なんかかつてのGemini以上に厳しいだけで下手すると4系より間違えまくるやつ」になっちゃって、どうしてそうなっただしシェア落ちるの当然かも＞＜；

形式手法の静的検査って具体的にどうやってるかをGeminiに教えてもらおうとして、「Z3とかを実際に弄るともっとわかりやすいかも」って話になって、オンラインで遊べるサイト探して弄ってすごいになった＞＜（語彙力）

Z3 Playground
https://jfmc.github.io/z3-play/

この代表者が（主に伊勢に）旅行に行って、いろいろな成果を持ち帰る（物だけじゃなく例えば道中の村で行われていた画期的な農法とか工芸品の作り方みたいな技術も）って話、歴史教養番組の定番ネタで、たぶん3回くらい見たことある＞＜

[B!] BuriKaigi 2026 で Lean によるコンパイラの証明について話してきました - チェシャ猫の消滅定理
https://b.hatena.ne.jp/entry/s/ccvanishing.hateblo.jp/entry/2026/01/16/003718

これ一週間くらい前にスライドだけ見て「なんもわからん＞＜」になったのの記事だ＞＜

バージョンによって違うのかもだけど、使ってるセンサがこれらしく
SHT40 - ±1.8% / 最大±3.5% RH デジタル温湿度センサー
https://sensirion.com/jp/products/catalog/SHT40
で、データシートのサンプルコードを見ると
rh_pRH = -6 + 125 * rh_ticks/65535
って書いてあるから、最大119％になると思うんだけど・・・＞＜
（という事はセンサが違うのかな？＞＜）

使ってるらしい湿度センサのデータシートを見ると、なんでこういう数値になるのか謎・・・＞＜

応用でもっととんでもない方法を思いついちゃった＞＜；

ついでにFCOMのコクピットドアのページ見たけど、ジャーマンウィングス事件の時に気づいたけど、やっぱ外から無理やり開ける方法あると思うんだけど＞＜；
とある道具を機内持ち込みできちゃったら出来ると思うんだけど、それも考えて表面加工とかしてるんだろうか？＞＜

エアバスのコクピットのデジタル時計（APE5110）の取説見つけた＞＜；
このA330のFCOMの1778ページから＞＜

https://www.scribd.com/document/631072327/A330-Flight-Crew-Operating-Manual-Effective-16-Jun-2022