新しいものを表示
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

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

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

専門家であるはずだろうし本当に勉強してほしいからこそ言うけど、土木や公共事業等の推進の話を地元感情の面で語るのなら、主にダム建設の歴史で何度も起きてきた、(川の)上流下流の対立や補償の問題の歴史(一例をあげるなら「蜂の巣城」等)に目を向けて、それをふまえた上で願望を書いてほしい><
それ無しじゃ我田引水のわがままと何にも変わらない><
土木は技術と犠牲者への補償の上に成り立つものであって、下流(比喩、受益者のこと)だけの都合で出来るものではない><

orange さんがブースト

川勝まじで何なの。東美濃各自治体に喧嘩売ってるの? こっちがどれほど必死になって協力してリニア駅・車両区誘致したと思ってるの?
中津川~飯田間の軌道系交通は中津川線以来、いや、中山道鉄道計画以来からの宿願なんだぞ。ほんとまじふざけんな。

スレッドを表示
orange さんがブースト

【経済インサイド】川勝知事がリニア開業10年以上遅れる案、非公式打診 品川-名古屋間の先行開業断念、静岡県内通らないルートも sankei.com/article/20230602-GI

まーた周回遅れなルートを提示しやがって……。その議論は15年近く前に通過したってのに。

日本飛行機の方は、一応ちゃんと部品作ってるので、飛行機作ってると言えなくも無さそう><
日本飛行機株式会社 nippi.co.jp/index.html

昭和飛行機ももう飛行機作ってないっぽい><(部品というか部材しか作ってないっぽい><)

事業案内 | 昭和飛行機工業株式会社 showa-aircraft.co.jp/business/

クラレ - Wikipedia ja.wikipedia.org/wiki/%E3%82%A
"1970年(昭和45年)6月24日 - 創立45周年を機に商号を「株式会社クラレ」に変更"
"2001年(平成13年) - レーヨン事業から撤退。"

古いものを表示
:realtek:

思考の /dev/null