こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ (DJ Monad) (@fumieval) 2023年5月29日 つまりScalaで言うと次のようなコードが何になるか、というものである。 val xs = Seq.empty[Int] xs.forall(_ == 42) 結論から言うと、このような関数は常にtrueを返す。 なぜだろう？その理由をこれから説明する。 ちなみに他に以下のような意見があった: 仕様による 例外を投げるべき いずれもまぁありえなくはないが、やめておいたほうが良いと思う。もし仮にfalseを返すような仕様があった場合、それは数学から乖離しているのでいずれ仕様内部で矛盾する可能性が高いし*1、最終的に

エネルギーがマイナス価格に転じたフィンランドでは、再生可能エネルギー戦略が功を奏している。新しい原子炉、そして予期せぬ洪水がクリーンエネルギーの供給過剰を招いている。ロシアとの関係を断ったフィンランド国民が使用量を大幅に減らしていた2022年と比べると驚くほど状況は変わっている。2023年5月24日、フィンランドは異常な問題に対処していた。クリーンな電力があまりに豊富になってしまったため、エネルギー価格がマイナスに転じたのだ。 ヨーロッパの多くの国がエネルギー危機に直面する中、この北欧の国は5月24日の正午前にエネルギーのスポット価格がゼロ以下になったことを報告した。 フィンランドの送電網運営会社フィングリッド（Fingrid）のユッカ・ルースネン（Jukka Ruusunen）CEOがフィンランド国営放送（Yleisradio Oy：Yle）に語ったところによると、1日の平均エネルギー価

為替相場ではドルがまた少し上がっている。最近は著名投資家のインタビューの紹介に時間を取られていたが、ここで一度ドル円の現状を整理しておこう。 ドル円の上昇 ドル円が上がっている。日銀が金融引き締めに動くのではないかという期待と、アメリカでインフレ率が下がっていることもあり、一時期は130円前後まで落ちていたドル円だが、現在は140円前後で推移している。チャートは次のようになっている。 ではまず何故ドル円は上がっているのだろうか。為替相場を中期的に動かす一番の要因は、まず金利差である。日本の金利は日銀の金利操作でほとんど動かないから、基本的にはアメリカの金利が重要になるが、為替相場を考える上で見なければならないのはインフレを差し引いた実質金利である。 金利が高いと高金利に惹かれてその通貨に投資家が集まってくるが、インフレで紙幣の価値が落ちていては意味がないので、名目金利からインフレ率を差し引

引き続き、ジョージ・ソロス氏とともにクォンタムファンドを創業したことで有名なジム・ロジャーズ氏の、World Scholars Academyによるインタビューである。今回は優れた投資家になるために必要なメンタリティについて語っている部分を紹介したい。 優れた投資家になるための素質 優れた投資家になるためにはどういう素質が必要だろうか。それは生まれ持ったものだろうか。習得できるものだろうか。 ロジャーズ氏は、優れた投資家になるための素質について聞かれ、次のように答えている。 好奇心、そして疑う心だ。 好奇心は当然必要である。AIなど新しい技術に投資をしたければ、新しい技術に興味を持ってそれを調べる必要がある。 では疑う心とは何だろうか？　ロジャーズ氏は次のように説明している。 耳にしたことや読んだことをすべてそのまま信じてはならない。自分で調べること。自分で確かめること。誰もが空は青いと言

中高生の頃、テレビ放送されているアニメ（しかし地方在住だったので本数は限られる）は全て見ていた。 カラオケでアニソンばかり歌っていた。 月に数冊は漫画を買っていたし、時々ラノベも読んでいた。 おかげで現在にいたるまで、友人はオタクばかりとなった。 だいたいの話にはついていける。声優の話もわかる。 しかし私には、友人たちとは決定的に違う部分がある。 それは、推しキャラがいないということだ。 好きなキャラクターはいるにはいる。だが、推しと呼ぶほどではなく、グッズも持っていない。（しかも全員同性） 好きな声優さんもいるにはいる。しかしこれまた同性の方。おまけに声優としてというより、アーティストとして好きなので根本的に違うのかもしれない。 友人たちには皆、「推し」がいて、そのキャラクターへの愛がすごい。 グッズを買ったり、イベント参加のために遠征したり。 すごいなぁと思う。と同時に、自分はオタクで

【フランクフルト=林英樹】世界の自動車大手20社の電気自動車（EV）シフトに対する評価で、トヨタ自動車やホンダなど日本車5社が最低の「出遅れ」に位置づけられた。米研究機関「国際クリーン交通委員会（ICCT）」が5月31日に公表した報告書で明らかになった。特にEVの市場ポジションと、脱炭素に向けた戦略ビジョンで評価が低く、改めて電動化に消極的な姿勢が浮き彫りになった。ICCTはドイツ・フォルクス

「選挙人は、その選択に関し公的にも私的にも責任を問われない」って憲法に書いてるのに、何とも思ってないネトウヨなのかな？