粉山葵 @[email protected]

不調

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

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

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

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

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

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

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

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

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

入管から電話が来た！

うーん

https://news.yahoo.co.jp/articles/81f554c4bfca4976a2a1a98bf97a56036b008323

ボスニア・ヘルツェゴビナの炭鉱鉄道では蒸気機関車が現役？
入換専用のようだけど
https://youtu.be/2ORNSkeiPgw?si=WyuOrnz6JQ9Fj4yl

二週間ぐらい北日本を彷徨いたい

車両が映る時間が短めなのがいい
https://www.nicovideo.jp/watch/sm7832269

NHKの解説は綱島先生だったのか
https://x.com/mr_southern_189/status/1975146260056391858

最寄りの山岡家、片道10kmなので一度行ったきりになってる

電気車の科学1959年12月号には締切電磁弁しきと思しき記述があるけど、中継弁があるかどうかは記述がない。　
https://dl.ndl.go.jp/pid/2326071/1/16

遠鉄30系初期車のブレーキ装置がAMM表記なの、この辺をどう対処してたのか気になる。