数学得意な人は、演繹法で数学的な証明で説明するじゃん？＞＜(で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 https://ja.wikipedia.org/wiki/%E7%94%B0%E5%B3%B6%E9%BA%BB%E8%A1%A3%E5%AD%90
"青山学院大学国際政治経済学部卒業
オックスフォード大学大学院修士課程修了"
orange
さんがブースト
中学入試の問題で何点かとれないと国会議員になれないようにしたほうがいいと重う気がする。
https://www.j-cast.com/2023/06/02462673.html
ていうか、農業用というかガーデニング用の温室目的の半透明カラーコーンってあっても良さそう＞＜
そういうのの記事見つけたけど、記事にはそこまで見事なのはないっぽさ＞＜
小さな地球を見た〜カラーコーンの中で育つ植物コレクション〜 :: デイリーポータルZ https://dailyportalz.jp/kiji/color-corn-no-naka-syokubutu
orange
さんがブースト
温室みたいになってたんだろうか
orange
さんがブースト
おもしろい＞＜＞＜
[B! インタビュー] 1991年の山下達郎インタビューに見る根深い孤立感と不信感 - YAMDAS現更新履歴 https://b.hatena.ne.jp/entry/s/yamdas.hatenablog.com/entry/20230602/tatsuro-yamashita
どっちかというとHAL9000？＞＜；
AI搭載ドローンが標的破壊作戦のシミュレーションで自分のオペレーターを殺害 - GIGAZINE https://gigazine.net/news/20230602-ai-enabled-drone-test-operation/
GLaDOSっぽさ＞＜
技術面の話は省いたけど、技術面でのルート選定の考え方は、九州新幹線筑紫トンネルのルート選定をした方が書いた記事を読むと参考になるよ＞＜
応用地質/45 巻 (2004-2005) 4 号
私のトンネル路線選定秘伝
大島 洋志https://www.jstage.jst.go.jp/article/jjseg1960/45/4/45_4_197/_article/-char/ja
地下水学会誌/50 巻 (2008) 2 号
地下水を語る -山岳トンネルの地下水問題を主対象とした-
私の地質工学への実学的挑戦
大島 洋志https://www.jstage.jst.go.jp/article/jagh1987/50/2/50_89/_article/-char/ja
これに限らず、公共事業等や何らかの大規模事業を行うのであれば、「事業を進めたい」のか「事業が進められない事を地元のせいにして言い訳にしたい」のか、何がしたいのかよく考えるべき＞＜
教訓を活かせず長年拗れたのが成田空港問題＞＜
そして、成田空港関係者や土木業界はそれを理解して方向を変えたけど、皮肉な事に、わりと大多数の日本国民の方々は「あんなやつらに譲歩する必要なんて無い」って思ってるでしょ？＞＜
だから他の似たような事業が進まないんだよ＞＜
上流下流の意識共有であれば、目屋ダムの事例が大いに参考になる＞＜
下流の人々が上流の人々に寄り添った考えを持てていなかったら目屋ダムは出来ていない＞＜
専門家であるはずだろうし本当に勉強してほしいからこそ言うけど、土木や公共事業等の推進の話を地元感情の面で語るのなら、主にダム建設の歴史で何度も起きてきた、（川の）上流下流の対立や補償の問題の歴史（一例をあげるなら「蜂の巣城」等）に目を向けて、それをふまえた上で願望を書いてほしい＞＜
それ無しじゃ我田引水のわがままと何にも変わらない＞＜
土木は技術と犠牲者への補償の上に成り立つものであって、下流（比喩、受益者のこと）だけの都合で出来るものではない＞＜
orange
さんがブースト
川勝まじで何なの。東美濃各自治体に喧嘩売ってるの？ こっちがどれほど必死になって協力してリニア駅・車両区誘致したと思ってるの？
中津川～飯田間の軌道系交通は中津川線以来、いや、中山道鉄道計画以来からの宿願なんだぞ。ほんとまじふざけんな。
orange
さんがブースト
【経済インサイド】川勝知事がリニア開業１０年以上遅れる案、非公式打診 品川－名古屋間の先行開業断念、静岡県内通らないルートも https://www.sankei.com/article/20230602-GIVW3HLOPNJULICS56KFYBWOXI/
まーた周回遅れなルートを提示しやがって……。その議論は15年近く前に通過したってのに。
- ＠orange_in_space
2017年 4月に登録
