orange @[email protected]

PascalとかAdaの部分範囲型、他の環境に無いの単にPascal好きとして「あれあると便利なのに＞＜；」って前は思ってただけだけど、今は「真に型安全な環境を構築する為には必須の機能だし、これがない環境で『失敗すると人が死ぬ』分野のソフトウェアが書かれているなんて信じられない！＞＜ そういうソフトウェアはAdaで書かれるべきだ！＞＜」みたいな原理主義者になったけどAda一回も使ったこと無い・・・＞＜

ていうか救援車で「デワ」って結構ある気がしなくもない＞＜；

スーパーレールカーゴはコンテナ＞＜

知らなかった(/////

相当する構造の車両、おそらく使い道的に荷物輸送になっちゃうからクモニとかデニになってしまう＞＜(ただし荷物輸送じゃなく貨物ではありえないか？というとあり得るからあり得たかも＞＜ キワ90もあるし＞＜)

逆に(？)、この「くもわ」とかいうの
もちゃんと体系化すれば、実用的(使いやすいという意味ではない)な型システムになりそう＞＜ 平仮名一文字じゃなんだかわからないしオレンジはこんなの覚えられないけど＞＜

型システムが無い＝現実の問題との繋がりの表現(情報)が無い・・・し、現実との繋がりの情報がないという事は繋がりの情報がツリー状になっていない(そもそも無いんだし)ので、結局(この「くもわ」等々への批判の言葉を借りると)各個撃破のようになってる
という風にオレンジからは数学(のサブセット)は見える＞＜

これ知らなかったし、順番おかしいとか、そもそも比べる量とかいう表現意味不明という点は置いておくと、オレンジにはむしろ『自称数学好きが言う数学』(数学のサブセットであり型システムが無い(型システムはほんとに無いっぽいけど型理論は(以下説明略)))って、この「くもわ」みたいなものに見えるんだけど＞＜
-- 小学算数教育の中では当たり前になってきつつある「くもわ、はじき」という表は子どもをダメにする？ - Togetter https://togetter.com/li/1207824

公園とか動物園とかも楽しいのかも・・・？＞＜（でも見て回るのに時間かかるだろうし＞＜）

主にNHK BSの海外のおもしろい場所を紹介する番組（世界まち歩き とか 2度目の～ とか 世界入りにくい居酒屋 とか）よく見るけど、（逆に？＞＜）いざ海外から日本へ来たって時にどこをおすすめするかと考えるとわりと難しい・・・・＞＜（という事にチーズくんが来て気づいた・・・＞＜）

静岡空港、新幹線の駅作らないのって静岡県よりもJR東海がアレだト思う＞＜ 空港経由で新幹線へ客を奪うって発想内のすごくアレかも＞＜

頭痛が悪化してきた＞＜；

アイコンが・・・・＞＜

久しぶりにトップバリュウィスキーちょっと味見で飲んでみたけど、香りがエタノール＞＜； 味は一応ウィスキーと言えなくも無い・・・？＞＜； 「禁酒法時代の蜜地蔵主ってこんな感じだったのかな？＞＜ でも、だったらもっととうもろこしの味がしそうだけど、これはとうもろこしの甘みもない・・・＞＜」みたいな味＞＜