新しいものを表示

現実のルールでも同じだよね><
「クルマ運転していいよ」
+「やっぱ下手だと危ないから免許がいるよ!」
+「酔っぱらってると危ないからお酒飲んでたらダメだよ!」
+「速度だしすぎだと危ないから制限速度以下じゃないとダメだよ!」

あり得そうだけど、オレンジの発想では、未実装な必要条件が全て揃うまでは結局変わらないので、実際には無意味かもって発想になった><
「条件A,B,C,Dを満たせば」のつもりだったとして、「A,B,Cだけ実装した場合」でも、「ひとつも実装してない場合」でも、「条件Dを満たさなくてもtrueになっちゃう」のは変わらない><
って考えに至って「なるほど!><;」になった><

orange さんがブースト

all([]) 

all([]) = false が嬉しい話、これとか? (説得力は微妙だが理解はできる、くらいのものだが) twitter.com/lo48576/status/166

数学得意な人は、演繹法で数学的な証明で説明するじゃん?><(でtrueだって話になってる)
オレンジは帰納法的アプローチで考えるじゃん?><(で、オレンジも結果的に「trueかもたしかに><;」)になった><
帰納法的アプローチで「falseだ」って言ってる人は居ないの?><
(オレンジと同じような発想で考えて逆の結論になった人と議論したら楽しそうかもって><;)

(本題)
falseだよって人で「falseじゃないとバグが増える具体的な例」を出してる人っているんだろうか?><

(前置き)
これ、オレンジは数学的な発想をせずに、最初まず条件を勘違いしてひとつでも含まれてたらと思い込んで、事例ベースで考えて「falseじゃね?><」って考えて、そのあと勘違いを指摘されて、正しい問いに対してfalseになる事例を思いつけなくて「trueだ!><;」になったけど、

orange さんがブースト

「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的証明 https://zenn.dev/wsuzume/articles/c4f85df441def6#fnref-b945-9

流行ってるの、これかぁ。元の問題を論理学っていうか数学っていうかの言葉に置き換えて考えて定義を与える人的には当然 True 返すやろみたいな話だし、OCaml の List.fold_left みたいな関数で実装することを考えると true 返すのが楽やろみたいな話もあるが、職業プログラマとしては給料を渡す人間が false にしろといえば false にするという話なのかなぁ。知らんけど。

VTuberにはちゃんと漢字読めない人はたくさんいるけど、手当を読み間違えたVTuberはオレンジには記憶無い><(探せば居そうだけど)

不思議・・・><

田島麻衣子 - Wikipedia ja.wikipedia.org/wiki/%E7%94%B

"青山学院大学国際政治経済学部卒業
オックスフォード大学大学院修士課程修了"

orange さんがブースト

中学入試の問題で何点かとれないと国会議員になれないようにしたほうがいいと重う気がする。
j-cast.com/2023/06/02462673.ht

ていうか、農業用というかガーデニング用の温室目的の半透明カラーコーンってあっても良さそう><

そういうのの記事見つけたけど、記事にはそこまで見事なのはないっぽさ><

小さな地球を見た〜カラーコーンの中で育つ植物コレクション〜 :: デイリーポータルZ dailyportalz.jp/kiji/color-cor

orange さんがブースト

温室みたいになってたんだろうか

orange さんがブースト

台風前に飛散防止で避難させようとカラーコーン取ったら中で元気なカラーコーン育ってて草‪🌱‬‪🌱‬‪🌱

おもしろい><><

[B! インタビュー] 1991年の山下達郎インタビューに見る根深い孤立感と不信感 - YAMDAS現更新履歴 b.hatena.ne.jp/entry/s/yamdas.

どっちかというとHAL9000?><;

AI搭載ドローンが標的破壊作戦のシミュレーションで自分のオペレーターを殺害 - GIGAZINE gigazine.net/news/20230602-ai-

GLaDOSっぽさ><

技術面の話は省いたけど、技術面でのルート選定の考え方は、九州新幹線筑紫トンネルのルート選定をした方が書いた記事を読むと参考になるよ><

応用地質/45 巻 (2004-2005) 4 号
私のトンネル路線選定秘伝
大島 洋志jstage.jst.go.jp/article/jjseg

地下水学会誌/50 巻 (2008) 2 号
地下水を語る -山岳トンネルの地下水問題を主対象とした-
私の地質工学への実学的挑戦
大島 洋志jstage.jst.go.jp/article/jagh1

これに限らず、公共事業等や何らかの大規模事業を行うのであれば、「事業を進めたい」のか「事業が進められない事を地元のせいにして言い訳にしたい」のか、何がしたいのかよく考えるべき><
教訓を活かせず長年拗れたのが成田空港問題><
そして、成田空港関係者や土木業界はそれを理解して方向を変えたけど、皮肉な事に、わりと大多数の日本国民の方々は「あんなやつらに譲歩する必要なんて無い」って思ってるでしょ?><
だから他の似たような事業が進まないんだよ><

上流下流の意識共有であれば、目屋ダムの事例が大いに参考になる><
下流の人々が上流の人々に寄り添った考えを持てていなかったら目屋ダムは出来ていない><

古いものを表示
:realtek:

思考の /dev/null