「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的証明 https://zenn.dev/wsuzume/articles/c4f85df441def6#fnref-b945-9
流行ってるの、これかぁ。元の問題を論理学っていうか数学っていうかの言葉に置き換えて考えて定義を与える人的には当然 True 返すやろみたいな話だし、OCaml の List.fold_left みたいな関数で実装することを考えると true 返すのが楽やろみたいな話もあるが、職業プログラマとしては給料を渡す人間が false にしろといえば false にするという話なのかなぁ。知らんけど。
不思議・・・><
田島麻衣子 - Wikipedia https://ja.wikipedia.org/wiki/%E7%94%B0%E5%B3%B6%E9%BA%BB%E8%A1%A3%E5%AD%90
"青山学院大学国際政治経済学部卒業
オックスフォード大学大学院修士課程修了"
中学入試の問題で何点かとれないと国会議員になれないようにしたほうがいいと重う気がする。
https://www.j-cast.com/2023/06/02462673.html
そういうのの記事見つけたけど、記事にはそこまで見事なのはないっぽさ><
小さな地球を見た〜カラーコーンの中で育つ植物コレクション〜 :: デイリーポータルZ https://dailyportalz.jp/kiji/color-corn-no-naka-syokubutu
おもしろい><><
[B! インタビュー] 1991年の山下達郎インタビューに見る根深い孤立感と不信感 - YAMDAS現更新履歴 https://b.hatena.ne.jp/entry/s/yamdas.hatenablog.com/entry/20230602/tatsuro-yamashita
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
川勝まじで何なの。東美濃各自治体に喧嘩売ってるの? こっちがどれほど必死になって協力してリニア駅・車両区誘致したと思ってるの?
中津川~飯田間の軌道系交通は中津川線以来、いや、中山道鉄道計画以来からの宿願なんだぞ。ほんとまじふざけんな。
【経済インサイド】川勝知事がリニア開業10年以上遅れる案、非公式打診 品川-名古屋間の先行開業断念、静岡県内通らないルートも https://www.sankei.com/article/20230602-GIVW3HLOPNJULICS56KFYBWOXI/
まーた周回遅れなルートを提示しやがって……。その議論は15年近く前に通過したってのに。
日本飛行機の方は、一応ちゃんと部品作ってるので、飛行機作ってると言えなくも無さそう><
日本飛行機株式会社 https://www.nippi.co.jp/index.html
昭和飛行機ももう飛行機作ってないっぽい><(部品というか部材しか作ってないっぽい><)
事業案内 | 昭和飛行機工業株式会社 https://www.showa-aircraft.co.jp/business/
クラレ - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%83%AC
"1970年(昭和45年)6月24日 - 創立45周年を機に商号を「株式会社クラレ」に変更"
"2001年(平成13年) - レーヨン事業から撤退。"