自己紹介下書き2><
超多趣味で、興味がある分野は、
航空(※1)宇宙開発鉄道物流都市計画都市緑化自動車(※2)送電線 南の島の電柱 クレーン橋梁トンネルダム廃道酷道 土木と公共事業と地域問題 土砂災害電子計算機 ヒューマンセンタードデザイン 建築地理地域ネタ 世界のローカルフード マイナードリンク郷土史冷戦史 虐殺問題と国連の役割 人種差別問題セクシャルマイノリティ差別問題 東欧の民主化 報道とその役割 放送局用機器シンセサイザーポピュラー音楽制作背景史アメリカ文化 アメリカのトラック輸送 大規模農業大型農業機械垂直農業農産物の安全保障紛争鉱物問題
かも><
(※1 ジャーマンウィングス事故で世界で最初に、管制との最後の交信内容を言い当てた><)
(※2 免許は無い><)
ワードサラダ並み感><;
誤差5%の抵抗の作り方:Signal Integrity - EDN Japan
https://edn.itmedia.co.jp/edn/articles/1010/01/news120.html
その話題については、この記事とかを読むとしっくりくると思う
“ChatGPT一強”終わる 1年でシェア22ポイント減、Gemini猛追 Webトラフィック調査 - ITmedia AI+
https://www.itmedia.co.jp/aiplus/articles/2601/16/news067.html
人々が求めてたのは、「4oみたいな感じだけど、賢くてハルシネーションが少ないやつ」だったっぽいのに、それを実現したのがGeminiで、
ChatGPTは、5系になったら「謎の頓珍漢なツッコミをしてくる、なんかかつてのGemini以上に厳しいだけで下手すると4系より間違えまくるやつ」になっちゃって、どうしてそうなっただしシェア落ちるの当然かも><;
“ChatGPT一強”終わる 1年でシェア22ポイント減、Gemini猛追 Webトラフィック調査 - ITmedia AI+
https://www.itmedia.co.jp/aiplus/articles/2601/16/news067.html
まあ、だから私はOpenAIを応援してるわけですが……
形式手法の静的検査って具体的にどうやってるかをGeminiに教えてもらおうとして、「Z3とかを実際に弄るともっとわかりやすいかも」って話になって、オンラインで遊べるサイト探して弄ってすごいになった><(語彙力)
Z3 Playground
https://jfmc.github.io/z3-play/
お土産の発祥は江戸時代にまで遡る!? 限られた人しか行けなかった“当時の旅行” - レタスクラブ https://www.lettuceclub.net/news/article/185451/
「土産」と「手土産」の違い、分かりますか? 区別がつかない先は…:朝日新聞 https://www.asahi.com/articles/ASR4K3H73R4GUPQJ00D.html
「わたしは行けないのでお前に任せた。あとで話聞かせて」みたいな。
[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%になると思うんだけど・・・><
(という事はセンサが違うのかな?><)
エアバスのコクピットのデジタル時計(APE5110)の取説見つけた><;
このA330のFCOMの1778ページから><
https://www.scribd.com/document/631072327/A330-Flight-Crew-Operating-Manual-Effective-16-Jun-2022
航空機で使用されるフォント(書体)には規格があるのか?|Kaede
https://note.com/kaede_9596/n/n2a757e66479c