これの理由2のコードの
let square x = x * x
とか、何も検査してないので実行時にコケる可能性あるじゃん？＞＜
実行時にコケ無いように制限を書くことを必須にしてない事がムカつく＞＜
D言語くん(D2)さん・・・・＞＜；
だからこそAda/SPARKの思想が好き＞＜ 失敗したら人が死ぬ分野の発想大好き・・・だけど、Adaはオブジェクト指向追加部分が後付け感がすごくてSIMULAにあんまり似てないとか、微妙すぎる部分もあちこちあるので、Delphi/SPARKみたいな環境があったらいいのに・・・・＞＜
（オブジェクト指向部分がDelphi風で、それ以外がAdaで、形式検証が強制の言語が欲しい・・・＞＜）
[B! F#] 静的型付け関数型プログラミング言語を使わない10の理由
https://b.hatena.ne.jp/entry/s/matarillo.github.io/fsharp_for_fun_and_profit-ja/posts/ten-reasons-not-to-use-a-functional-programming-language.html
F# ユーザーによる、C# disな皮肉らしいけど、
『理由3：波かっこが大好き』（begin...endでも可＞＜）、『理由4：明示的な型を見るのが好き』、『理由8：nullチェックが好き』（当然ながらnullableな型の場合）
辺りは、皮肉じゃなくガチでそうだし、むしろそれを嫌う方がオレンジには馬鹿に見える＞＜
あと当時、そのあたりの通りの名前が他の州の名前ばっかりだったので、ChatGPTに「なんで他の州の名前の通りがアメリカには多いの？＞＜」って聞いた記憶ある＞＜
なんでそんな場所を記憶してたかというと、廃線も含めた貨物線の雰囲気が素晴らしかったから＞＜
https://maps.app.goo.gl/Zb9Xb4MMADm9on7y6
交差点がここで、
https://maps.app.goo.gl/E2UPRed1Duj9wZkXA
写真の場所がここ＞＜（ストリートビュー）
https://maps.app.goo.gl/Cqw7T6xt6ayArVXDA
この場所、この動画の最後の交差点を右折せずに左折したすぐの場所じゃん！＞＜
BigRigTravels LIVE: Memphis TN area (Aug 19, 6:04 PM) - YouTube
https://www.youtube.com/watch?v=VDh5X4WA3x8
BigRigTravelsの人がたまに荷物運んでる荷主であるHersheyのMemphis工場のすぐ近く＞＜
orange
さんがブースト
数学のセミナーで発表者が『これをフエンすると…』と板書していたので『フエンって何ですか？』→『漢字が書けないので…』→調べたらその読めなさに驚いた - Togetter [トゥギャッター]
https://togetter.com/li/2608880
知らんかった＞＜；
（「（なんだろうこの、『しきぎょう？』みたいな言葉＞＜ まあいいや続きを読もう・・・＞＜）」でスルーし続けてたのかもしれない＞＜；）
Xの代替として期待されたThreadsだが、すでにX以上の魔境と化して、修羅場らしい「なぜだ。あそこはInstagramからやってきた、もっとキラキラした人の集まりではなかったのか」 - posfie
https://posfie.com/@taimport/p/qVwrKv9
トートロジーだけど、表面だけキラキラで馬鹿でも許される空間と、馬鹿だとすぐに袋叩きにあうだったら、袋叩きにあう空間の方が馬鹿な発言は許されず、結果的に馬鹿が開き直りづらいだろうし、
そう考えればキラキラ空間の方が野放しな馬鹿による魔境化が起きやすいんでは？＞＜
そういえば、フランス語の文章や、英語圏でもちょっと意識高い系の記事でよく見る、同じ表現を避けて毎回変わるやつ、
例えば「大統領は」って文が何度も出ないように「宮殿の主は」「現政権の代表は」（？）みたいにどんどん変えていくやつも換喩・・・？＞＜
こういう風に疑問を持ったら毎回調べてれば、次にこのような換喩を使った表現に「おかしい」って文句を言うやつが現れた時に「換喩って言葉も知らねーのかよ！＞＜； 無知にもほどがあるだろ＞＜；」って言える＞＜
（オレンジもついさっきまでなんて言うかまでは知りませんでした＞＜；）
そもそもとして、もしかして『無言の帰宅』って換喩の一例かも？＞＜ と思ってGeminiに聞いてみたら、
https://g.co/gemini/share/5fde229dae96
この場合は無言の部分が換喩かもって、なるほど＞＜
死んだら起きる変化の一つである『無言』を表現として使うことで、その集合である『死』を表現してるので換喩って考えればなるほど換喩かも＞＜
授業に潜入！おもしろ学問 言語認知論 谷口一美教授 - 京都大学広報誌『紅萠』
https://www.kyoto-u.ac.jp/kurenai/202103/gakumon/index.html
ていうか、"知識を浪費"という表現に文句言うの、『無言の帰宅』を「そんなのわかるわけないじゃん」やら「そんな表現は使われて無い」的に言ってるのと、本質的になんも変わらんじゃんね＞＜
ちなみに修辞学的な要素は、高校教育では最近の学習指導要領での国語改革で、必修の『現代の国語』に移されたっぽいけど、それまでは古文とかそっち系くっつけてたっぽいので、国語教育改革以前に高校教育を受けた人は、ちゃんと習ってる率低いっぽい＞＜
https://notestock.osa-p.net/@orange_in[email protected]/20240421/view#note_3fbdf1370cbd4d0f4cb77a36d0e69e2b
これもメタでおもしろいよね＞＜
換喩という修辞技法を知らない人が「そんな表現はおかしい」と文句つけてる＞＜
オレンジはGeminiに聞いて勉強になった（後でさらに調べるけど＞＜；）ので別にいいけど、ある意味これも、換喩を知らない無知なやつ（オレンジも用語までは知らんかったけど）の頓珍漢なツッコミによる"知識を浪費"じゃんね＞＜
『他人の知識を浪費させるのは失礼な行為であり、他人の知識に敬意を払えないのはなお失礼だ』ってことはもっと教育で仕込んだほうがいいのでは？という話 - Togetter [トゥギャッター]
https://togetter.com/li/2608851
これで、"知識を浪費"という表現に引っかかってる人（文句言ってる人）が複数発生してるけど、こういうのはちゃんと修辞学的な表現でちゃんとあるじゃんね？＞＜ ・・・なんて言うかは知らんけど＞＜；
なのでGemini 2.5 Proに聞いたら "換喩" というらしい・・・＞＜
https://g.co/gemini/share/90d982017f5f
- ＠orange_in_space
2017年 4月に登録
