Notices by orange (orangeinspace@mstdn.nere9.help@mstdn.nere9.help), page 22

鉄博がきっかけで、我も我もと大きな鉄道博物館が複数出来たのはいいけど、それ以外の交通の博物館は置いてけぼり・・・＞＜ 特に船の科学館の放置具合ひど過ぎるし、船舶振興会とか言いながら船舶よりもオリンピックの方が大事なんかい的な・・・＞＜

これ国立で作って欲しい＞＜；

"オレンジがとんでもなく権力がある政治家だったら、『交通運輸と産業の博物館』って作って、産業ゾーンと交通運輸ゾーンって真っ二つに分けて、国交省管轄系は交通運輸ゾーン、それ以外は産業ゾーンって縦割りにしつつ、お互いの展示がリンクしてるみたいな物を、寝る時に妄想したりしてる・・・＞＜"
https://twitter.com/orange_in_space/status/582025931297923072
https://twitter.com/orange_in_space/status/582027446871924736

まともな公営の産業博物館が無いし、理解が少ないのかも・・・・＞＜

キハ391のなぜか前頭部を保存したのよりはマシとはいえ、見た目だけ保存しても（鉄道の歴史の保存にはなるかもしれないけど）産業遺産の保存にはならないちゃんと考えて欲しい感＞＜；

もちろん先頭の形状も技術的マイルストーンだけど＞＜； でも、電装もかなりあれかも＞＜

M車を保存して欲しい＞＜；

E4系、ある意味技術的マイルストーンだし、少なくとも1両は産業遺産として保存すべきかもだし、電装品一式どうにか保存して欲しいとも思うけど難しいのかな？＞＜；

船舶よくわかんないから、小さい離島に興味持つ前は「港ってどこでも作れるんじゃないの？＞＜」って思ってたけど、青ヶ島とか大東島地方とか見てると「なるほど＞＜； 地形が函館みたいになってないと、波がヤバすぎるし防波堤作るの大変すぎて無理ゲー＞＜；」って＞＜；

同じように地形的に港作るならここしかないでしょって地形で一番近いのは室蘭？＞＜

函館は何よりもあの自然に堤防があるみたいな地形のおかげで近所に他に無い良港かも＞＜

九州は水戸岡さんが全部書き換えちゃって壊滅したかも？＞＜；

もしかしてその二つだけだったりする？＞＜； しかも185系もうすぐいなくなるからそうしたら「やくも」だけ？＞＜；

「やくも」のヘッドマークは昔のまま？＞＜

北斗、ほぼ同じだけど「HOKUTO」ってローマ字表記になっちゃったっぽい＞＜

全部もう走ってない？＞＜； そういえば国鉄からヘッドマーク維持してる列車って残ってるのかな？＞＜

オレンジ的にはツッコミが飛んできて欲しい(＝考えをデバッグしたいし、出来るだけ多くの視点を追加したい)からこそオープンに書いてるから、ツッコミ飛んでくること自体を嫌いまくってる人って謎＞＜

ツッコミ嫌う人だと、これ↓向いてそうだけど、オレンジ的にはフィードバックの仕組み無しにオープンな場に書く方が恐怖だからあんまり使う気になれない＞＜

無料で話題ごとに活動記録やコメントを書き留めてTwitterよりもゆるやかな交流が可能なSNSアプリ「Trickle」 - GIGAZINE https://gigazine.net/news/20181113-trickle/

菜食主義って多種多彩だけど、特にそういう感じのって、ベースが「キリスト教的 人間だけ別物世界観」(人間は動物というカテゴリに含まないって発想)の影響が大きいんだった気が＞＜

型定義しまくるのめんどくさいはわかる＞＜
けど、一方で ergonomicというかhuman factor？＞＜；的には、Adaって、人間がミスしないようにそういう頭固い冗長な仕様になって、実際に失敗したら人が死ぬ分野専用のプログラミング言語の代表になったわけだし、あれかも＞＜
（快適では無いかもしれないけど、失敗が許されない場面で予め失敗を検出できる事を重視するとそうなる的な＞＜（アントニー・ホーアを筆頭に批判もあったらしいけど、実際にそういう分野で使われている（いた）という意味で十分実績があるし＞＜））

INTRODUCTIONをグーグル翻訳で斜め読みしただけだからよくわかんないけど（＞＜；）、Ada的発想で言うなら基本型（？ 組み込み型？）であるString型そのまま使うんじゃなく型作れ！＞＜ってなるんでは？＞＜（それじゃだめなの？＞＜）

(PDF) Detecting argument selection defects
ANDREW RICE, University of Cambridge, England and Google Inc., USA
EDWARD AFTANDILIAN, CIERA JASPAN, and EMILY JOHNSTON, Google Inc., USA
MICHAEL PRADEL, TU Darmstadt, Germany
YULISSA ARROYO-PAREDES, Barnard College of Columbia University, USA
https://www.researchgate.net/publication/320388080_Detecting_argument_selection_defects