orange @[email protected]

[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

ものすごく当たり前だけど、Windowsのシステム側でNTP時計合わせをしたら、NTPクライアントとの時差がすごく小さくなった＞＜

航空機で使用されるフォント(書体)には規格があるのか？｜Kaede
https://note.com/kaede_9596/n/n2a757e66479c

試してないけど、GitHub Copilotにログイン状態のVisual Studioで、コメントに
//NTP Client
って書いたらたぶん勝手にIDEが補完で実装しそう＞＜；
21世紀のAIが後ろで動くIDEすごい＞＜；

GUI側も、IDEの補完で「そうですそれが書きたかったんです＞＜；」でTABキーを押す作業がほとんどだった＞＜；

NTPクライアントできた＞＜
9割AIが作った＞＜；
（ネットワーク処理部分はGoogleAI検索の提示コードそのままで動いた＞＜；）

エアバスのコクピットの時計を模した腕時計なら、一応実用的に使えそう＞＜；

エアバスのは、ちゃんとノブで時間をセット出来たり、elapsed timeとchronograph（ストップウォッチ）の表示エリアが独立してたりで、デジタル腕時計程度には使いやすそう＞＜

AIRBUS COCKPIT CLOCK : HOW TO USE AND SET AIRBUS COCKPIT CLOCK?? - YouTube
https://www.youtube.com/watch?v=xczl6YiLRl0

パイロットウォッチじゃなくてコクピットウオッチってあったらおもしろいのにと思って、そういえば777の時計ってどんな感じだったっけと思って使い方解説動画を見たら、あまりにも使いにくすぎてロマンしかない＞＜；

Boeing 777 Cbt #36 Standby Flight Instruments And Clocks - YouTube
https://www.youtube.com/watch?v=p2tgkc-f86U

弘前のスナックみたいなホテルの電車みたいな部屋に泊まってみた (1/2) :: デイリーポータルZ https://dailyportalz.jp/kiji/hirosaki-snack-mitaina-hotel-densya-mitaina-heya

E6Bフライトコンピューター - Wikipedia https://ja.wikipedia.org/wiki/E6B%E3%83%95%E3%83%A9%E3%82%A4%E3%83%88%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%BC

一時期使い方勉強したけど、フライトシムで遊ばなくなったら使い方完全に忘れた＞＜

「腕時計は一生Apple Watchでいいや」と思ってたけど100万円のロレックス1本買って長く使った方がコスパがいい？→機械式は維持費が高いし比較しにくい - Togetter https://togetter.com/li/2652358

ロレックスとかは馬鹿に見える(＞＜；)けど、お値段無視でどの時計が欲しいかで言えば、ブライトリングのクオーツモデルのガチのパイロット向けの計算尺を内蔵してるやつ欲しい＞＜；
燃料の計算とか出来るやつ＞＜；

オレンジには、ヘイヴェルとヘイヴィルの中間みたいな発音に聞こえる＞＜