orange @[email protected]

偶然にもオレンジがの話題の関連する話題＞＜；

固定長の配列の長さを双方向(←説明難しい＞＜；)に型として扱えるような言語ってあったらいいのに＞＜(みたいな発想も厳密な数学方面の型とは別のものっぽい？＞＜)

「Haskellとか型ありきとか言うけど全然そうじゃないじゃん？＞＜ Adaみたいなのこそ型ありきじゃん＞＜」みたいな齟齬？ってつまりこういう事なのかも？＞＜
-- “型”を語る際の7つの重大な誤り | POSTD https://postd.cc/7-deadly-sins-of-talking-about-types/
オレンジが言う方の型(＝だいたいAdaの発想)ってなんて言えばいいんだろ？＞＜

「型」の定義に挑む | POSTD https://postd.cc/against-the-definition-of-types/

⛄
"30 26 26 28 27 25 29"
気象庁 | 週間天気予報： 埼玉県 http://www.jma.go.jp/jp/week/317.html

吾妻小富士、もう一回登ってみたい＞＜(知識無い時にわけもわからず登ったから、後になって「もっとちゃんと観察すればよかった＞＜；」って後悔してる＞＜；)

福島と山形にまたがる吾妻山で火山性地震が増加 | NHKニュース https://www3.nhk.or.jp/news/html/20180909/k10011620691000.html

スパゲティを重曹でアルカリ麺で中華麺だから、中華麺を酸性の物で茹でるとなるのかも？＞＜；(酸っぱくなっちゃう？＞＜；)

宿題が残ってた＞＜
"スパゲティを重曹でゆでるとラーメンになるけどそうめんでも出来るのかな？＞＜" https://twitter.com/orange_in_space/status/112711171898998785

スパゲティ重曹ラーメン、実際に作ったことあるけどちゃんとラーメンだったよ＞＜

包丁猫の手トントンとか出来ないし、オムレツ空中回転エクストリームスポーツとかも出来ない＞＜(猫の手トントンすべきサイズの物は果物ナイフ(ジャガイモナイフ)で切るし、オムレツとかはフライ返しでひっくり返せばおk)

オレンジは料理の基本動作みたいなのは、(行き当たりばったり自己流も多いけど)一時期料理番組見まくって、雑に理解した＞＜(真面目に覚えるんじゃなくレシピも全く覚えず「こうすると」→「こうなる」「こういうときは」→「こうすればいい」みたいなのをボケッと見てた＞＜)

教訓としては「(これはこれで十分美味しいけど、キャベツはあった方がいいかもしれない・・・＞＜； キャベツがないと甘味が＞＜；)」

ちなみにフライパンで菜箸で作りました＞＜(全部やいてからお皿にもって食べる方式)