例えば関東平野の東京からある程度離れてる地域の人ならわりと多くの人が「(関東平野の任意の場所)にお店とかあんまり無くて東京まで買い物にいってる」って聞いて驚く場面ってあんまり無い気がする＞＜
東北地方スケールだとさらに「近い距離」が大きくなって・・・・みたいな＞＜
例えば関東平野の東京からある程度離れてる地域の人ならわりと多くの人が「(関東平野の任意の場所)にお店とかあんまり無くて東京まで買い物にいってる」って聞いて驚く場面ってあんまり無い気がする＞＜
東北地方スケールだとさらに「近い距離」が大きくなって・・・・みたいな＞＜
これ、逆に山陰地方の人の距離感覚の狭さ＆中国山地の険しさみたいなのが感じられて、同じ距離を東日本に置いたら「・・・・たいした距離じゃなくね？＞＜」みたいな感覚と、地図で見ると東北地方って(スケールが大きいので)基本的に都会？＞＜ みたいな・・・＞＜
This account is not set to public on notestock.
続編あった＞＜； こっちは中が破壊されても回してる＞＜；
67,000rpm TOY JET Engine Explosion - FIRE - YouTube https://www.youtube.com/watch?v=ZRwRPLAvBSg
ていうか、プラもだからほんとにまわるのかそもそも謎だからあれだけど、低速タービンの方をぶん回すって使い方おかしい＞＜；
お馬鹿な動画見つけた＞＜＞＜＞＜
これ壊れたのはファンだけっぽくてコンプレッサーとかタービンはまだ壊れてないっぽいのもったいない＞＜
KaaBOOM!! Plastic Toy Jet Engine VS FIRE @ 50,000rpm - Catastrophic Failure - YouTube https://www.youtube.com/watch?v=FBr_5REcPL0
いつかお庭でGE90-115Bを最大推力で回す酔狂な人が現れて欲しい・・・＞＜（お庭吹き飛びそう）
GE90-115B MAX THRUST TEST - YouTube https://www.youtube.com/watch?v=9W4Rl_u6lqs&t=168
お庭で3軸ターボファンエンジン＞＜
Rolls Royce RB211 Spring Crank Up Tristar L1011 - YouTube https://www.youtube.com/watch?v=TXqW9TXCExI
デンジャラスすぎる趣味だけど、ガスタービン自作と言う趣味も＞＜；
＞＜
https://youtu.be/u42QrTqmYwg
JETCATジェットキャット ジェットエンジン http://www.jetsetj.com/inc/turbine/jetcat/index.php
私はスロットル開けられりゃなんでもいいしエンジンなりモーターなりが自分が動かしたように唸ってりゃ満足するしカーじゃなくてもなんでもいいとかそういうのはあるんだろうな 自分で動かしたい欲というかそういうのがあるのかもしれない
ありな気がする＞＜って書いてからぐぐったら普通にメジャーな事だった＞＜；（本日2回目）
おうちで2柱リフトはお値段高いけど、田舎とかで土地がある人なら穴掘ってほんとにピットってありな気がする＞＜（？）
おふとんまで充電ケーブルとどかないから、バッテリー尽きたらあきらめて起きてる＞＜
ハイゼットデッキバン→屋根にテント（昨日）
＋
最近KSPまたやり始めた
→ボスホート2号のインフレータブルエアロック（→東京ドーム）
＋
さっきのガレージの話題
という複合的な・・・＞＜
アリエクでも売ってた・・・＞＜
￥ 176912.0 |Alibaba グループ | AliExpress.comの おもちゃのテント からの 送料無料9 × 4 × 3メートル光silgver色携帯インフレータブルガレージワークショップランプエピスタ... https://ja.aliexpress.com/item/Toy-tents-type-mobile-inflatable-garage-workshop-booth-tent-for-sale/32778515132.html
inflatable garageでぐぐったら一瞬で出てきた＞＜； 既にたくさんあった＞＜；
突然思いついたけど、ラリーとか用のインフレータブルガレージ（？）って無いのかな？＞＜
あの、イベント会場とかで、空気で膨らませるお城みたいな形とかのテントで中をボールいっぱいにして子ども遊ばせとくみたいなやつのガレージと言うか車用の屋根みたいな・・・＞＜
よくわかんないままこれ見つけて弄ってみて、わかんないながらも「なんでこれできるように作ってないの？＞＜」って思ったから、わかんないけどたぶんC# にもあると便利？＞＜（？）
polymorphism - Existential types in C#? - Stack Overflow https://stackoverflow.com/questions/32486531/existential-types-in-c
たとえば E が existential type で D が動的ディスパッチする系の型だとして、 Vec<E> だとベクタの要素は同じ型 (同じ内部表現の値) であることがたぶん確信できるけど、 Vec<D> だと要素の型は実はバラバラかもしれない、みたいな。
とはいえ、そういった内部表現を隠蔽するのが目的で existential type や動的ディスパッチを使うなら、それ自体は問題にならなくて、結局は動的であることのオーバーヘッドが気になるというだけの話になりそう
https://mastodon.cardina1.red/@lo48576/101920508524525423
この説明はちょっと違ったかも、存在型はたとえば「ユーザが指定した Interface を実装する何らかの型」とかであって、ポインタ+仮想関数テーブルとはまた別の意味になっているので
めっっっっちゃ雑に言うなら、存在型は「引数の型としては型パラメータとして振る舞い、戻り値の型としては『コンパイラにしか指定できない内部的な名前』として振る舞う」みたいなｲﾒｯｼﾞでとりあえず困らないかも
たとえば C++ のクロージャは型名を指定できないので、 auto で雑に受けるか std::function で受けるわけですが、前者では関数であると縛りをつけられないし、後者だと実行時オーバーヘッドがあります。
Rust で同じことをすると let による型指定なしの束縛と Box<dyn Fn()> などが相当するわけですが、これ以外にも impl Fn() という指定もできます。
たとえばクロージャを返す
fn f() -> impl Fn() {
|| println!("hello")
}
は、「何度でも呼べる関数として振る舞う何かを返す」ということは述べるけど、 std::function のようなオーバーヘッドはない (わざと付けることもできるけど)
引数の位置での存在型は、 Interface や基底クラスと関数テーブルのようなものとかなり近く見えますね。
対して戻り値の位置では、 interface そのものを返すことはできない(と思う)し、基底クラスのポインタを返すにせよ「基底クラスのポインタである」という具体的な内部実装は漏れるわけです。
加えて、こういった実行時の多相だとオーバーヘッドが出てしまうけど、存在型ならユーザが名前を示せないだけでコンパイラは具体的な型を知っているので、実行時オーバーヘッドがない
典型的には「この関数は i64 のイテレータであるような何らかの型を返すことは保証するけど、それが具体的にどのような型であるかは教えたくないよ (i64 のイテレータであること以外の一切の保証を与えたくないよ)」というケースなどで有用。ある種のカプセル化、内部表現の隠蔽ですね
これ読みながら思ったのは、C# Delphi(?)/Java(?)で言う所のInterface・・・？＞＜（ぜんぜん違う？＞＜；）
型システムの理論からみるSwiftの存在型(Existential Type) - Qiita https://qiita.com/ukitaka/items/a993b5d7ed5ae84b1b52
「具体的に何であるかはユーザに教えたくないが、とにかく何らかの特徴を持つ何らかの型」という型指定を可能にするのが existential type (存在型) で、これは通常の generics における「どのような型についても○○」という全称型と対照的なものとされている
existential type、ぐぐったけどさっぱりわからんになった・・・＞＜
そういえば最近気づいたけど、これDelphiっぽさ＞＜
WebRequest.Create Method (System.Net) | Microsoft Docs https://docs.microsoft.com/en-us/dotnet/api/system.net.webrequest.create?view=netframework-4.7.2
単語の短縮形、リーダブルコードとかではどの程度なら許容されてるのか謎＞＜
（例えばさっき話題になったRustのfnも、Pascal脳なので「functionって書けばいいじゃん！？＞＜」って思う＞＜（Pascal一族も短縮形使う部分それなりにあるけど＞＜；））
長すぎる名前のクラス、長すぎる名前のジェネリクスなクラスとの組み合わせになるとさらにとんでもない事になる＞＜；（なってる＞＜；）
最近、型安全に頼って安全にしようとして、名前だけでもミスに気づけるようにしようとした結果、ハンガリアン記法っぽい＆Objective-Cみたいなすごく長い名前になっちゃっててどうしようになっちゃってる＞＜
This account is not set to public on notestock.
エラーに気づけるのはなるべく早いほうがいいし、実行時までわからないよりはコンパイルするときにわかる方がいいし、出来ることなら書いてる途中で既にわかる方がいい＞＜
This account is not set to public on notestock.
最近の風潮＞＜
var hoge = 1.0;
オレンジ＞＜
double hoge = 1.0d;
（省略可能なのにヒューマンエラー検出用につけてるサフィックスはdoubleとfloatの時だけ＞＜）
狭いスコープの範囲（？）、C# では（極限られた部分で＞＜；）varって書いて、 IDE0008 で明示的な型に一括置換させるようになったから、オレンジのコードからvarが消えた＞＜
This account is not set to public on notestock.
結局実際にコードに型が書いてなかったら人間から見たら同じじゃんってなる＞＜
（人間が型を推論しなきゃいけない状況が発生するのがすごくむかつく＞＜）
△型推論が多用されてると
○動的型つけじゃない事を売り文句にしてるのに型推論が多用されてると
プログラミング言語、Rubyに似てるとかPythonに似てるって言われると、オレンジの場合それだけでかなり試す気が減る＞＜
あと、（最近の言語だいたいそうだけど）型推論が多用されてると「・・・・・・・＞＜」ってなる＞＜
"And if ever comes a day
When you should turn and walk away.... oh no
I can't live without you"
なんて母国語じゃなくてもおもしろすぎるのに邦楽だったらドン引きかも＞＜；
参考＞＜
気まぐれ洋楽和訳 - Caught Up In You / 想い焦がれて(38 Special / 38スペシャル) 1982 http://ogataro.blog.fc2.com/blog-entry-36.html
Bananarama - Love In The First Degree : 生活の雑記帳 https://ikkokukan.exblog.jp/12244348/
歌詞がおバカすぎるラブソングこの辺＞＜
38 Special - Caught Up In You - YouTube https://www.youtube.com/watch?v=zg21Rkew874
Bananarama - Love In The First Degree (OFFICIAL MUSIC VIDEO) - YouTube https://www.youtube.com/watch?v=prGhk_Gvzwo
歌詞、お馬鹿なラブソングすごく好きだけど、たぶん母国語じゃないから聴けるのであって、日本語だったらドン引きしそう＞＜
ノコギリ波たっぷりな80sディスコポップス or 70sソフトロック（？）のフォーマットで10代の人が共感するような「世の中よくわかんないです」系の歌詞をつけたら売れるんじゃないの？＞＜って気がしてる＞＜（老害的発想）
日本人にウケる音楽、結局の所大部分は1980年代の（主にイギリス系の）ポップスの、主にディスコの影響が大きいもののスタイルなんじゃないの説＞＜（典型例が1990年代のJ-POP）
あと、1970年代後半のソフトロック（？）が変化したもの系統＞＜
アメリカ（ヒップホップ以外）もかもだけど＞＜；
例えば去年ヒットしたらしい「U.S.A.」って曲、ザクさん経由で聞いた時に「なんでイタロディスコ（ユロビ）なのにUSA？＞＜；」ってツッコミ入れたりしつつ2018年のヒット曲ってあとから知ってびっくりしたけど、さらにぐぐったら1992年の曲のカバーって知って「やっぱ古いんじゃん！？＞＜」ってなった＞＜
若い人に売りたいのならそれはそうだけど、音楽に限って言うならば、音楽のジャンル流行り廃りとか傾向とか、別に最新なら売れてるわけじゃなくどうしようもなく古いスタイルのものが売れてて「！？＞＜；」ってなったりするし、一方でCMとかでは古い洋楽が多用されてたりするし・・・難しい・・・＞＜
This account is not set to public on notestock.
元の話わかんないけど、オレンジの場合10代どころか一桁でもある意味老害的というか、我が道を行ってた＞＜
代わりにものすごく深く調べて補うみたいなアレかも＞＜
（まとめると、どうしようもないオタク）
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
C# とPascalがあればだいたいあんまり困らない範囲の事しかしないからそれ以外の出番が無い・・・＞＜
Rust、一度使おうとして使い所がわからないになった＞＜（興味を持っただいたいの言語がそう＞＜；）
RubyとHaskell、Scalaが混ざった感じ--「Rust」を学ぶべき7つの理由 - ZDNet Japan
https://japan.zdnet.com/article/35135701/
Rust はいいぞ
根拠のひとつと言うか、想定してる一要因＞＜
（赤旗以外有料記事だったので赤旗＞＜；）
年金運用 １５兆円損失/１８年１０～１２月 赤字額 過去最大 https://www.jcp.or.jp/akahata/aik18/2019-02-02/2019020201_02_1.html
ていうか、今でも日本人の風潮的に確実ではない投資は色々な意味で悪者扱いでは感＞＜
そりゃあれだけバブル期に失敗したのを1990年代に10年くらいかけて叩かれ続けたら貸しちゃ駄目投資しちゃ駄目って風潮になるのもそりゃあれかも＞＜
This account is not set to public on notestock.
だって今の銀行はお金貸さないし。
株とか手数料とかだけで食ってるので。存在価値がもはや…
三菱UFJ銀行なんかみたら分かるけど、ATMの脇にサラ金の契約機コーナー置いてありますぜ。銀行は貸さないから金は子会社のサラ金で借りろってことですな。
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
