粉山葵 @[email protected]

鉄道の信号システムって、線路配置が先に決まってから連動条件を後付けで設計するんだろうか。
連動条件を決めておいて、それに線路配置を拘束するのが考慮漏れを出しにくい気もする

これか
https://www.nidec-instruments.com/og/jp/

Nidec??
https://youtu.be/wrqVxUW--AE?si=aZ35y5DvGfzmqSha

因果関係が逆かも

肌寒さと金木犀の香りがトリガーになってる

気が落ちている

これを見てクラリネットは音域によって音色が大きく変わることを知った
https://youtu.be/8IjSMrkOltw?si=hXX3cOSs4KpHh-hs

尾上の松↔️藤の牛島

力行1ノッチで引っ張るとこうなる？
https://x.com/JpSagarail/status/1975818046460862513

不調

剰余を余剰といつも間違える

RSA暗号の講義をとった時出てきた中国人剰余定理ってすごい名前だなと思う。

現実のシステムを機械が理解できる形式に人間が落とし込む時点でなにか無理がある気がする

これをやらかしたようで自己嫌悪
https://minkara.carview.co.jp/userid/3462760/car/3299384/7811476/note.aspx

機械系全般に言えることかもしれない

連動装置のバグ取りって最終的には人間の注意力によるんだろうか。
形式手法的なやり方はまだ難しい？

なるほど
https://x.com/haisennet/status/1975516433510695298

上り線側に接触限界標識が見えない気がするけど、実際どうだったのか

今時国際電話でかけてくるのか