宇都宮ＬＲＴ、開業７か月の純利益は計画の３倍に…外出・観光で「定着しつつある」
【読売新聞】 ＬＲＴ（次世代型路面電車）「ライトライン」を運営する「宇都宮ライトレール」は、２０２３年度の決算概要を発表した。同年８月２６日の開業からの約７か月間で、最終的なもうけを示す当期純利益は５６９７万円と、当初計画で見込んだ
数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
トヨタは法人税を５年も払わず、巨額の消費税還付の恩恵を受け、アベノミクスと円安で巨額の利益をあげ、恩返しとして自民党へ5000万円献金。・・・たしかに企業献金は政治を歪めて国民に不利益をもたらしている。