数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
三菱UFJ銀行など3社 法令に反し共有の顧客情報 10件以上か | NHK
顧客企業の非公開情報を無断で共有していたとして、証券取引等監視委員会が三菱UFJフィナンシャル・グループ傘下の銀行と証券会社あわせて3社に行政処分を行うよう勧告する方向で検討している問題で、法令に反して共有されていた顧客情報が複数企業の10件以上にのぼるとみられることが関係者への取材でわかりました。 証券会社とやりとりする中で顧客企業が情報が漏れていることに気づき、指摘したケースもあったということです。 同じグループの銀行と証券会社の間では、顧客企業の利益などを守るため、法令によって情報共有の制限がありますが、関係者によりますと「三菱UFJフィナンシャル・グループ」の三菱UFJ銀行と、三菱UFJモルガン・スタンレー証券、モルガン・スタンレーMUFG証券は、企業の経営戦略に関わる非公開情報を顧客企業に無断で共有していたとみられています。 この問題で、法令に反して共有されていた顧客企業の非公開
ガイナックス破産で、庵野氏が代表務めるカラーがコメント発表 「残念でなりません」
「新世紀エヴァンゲリオン」などを世に送り出した、アニメーション制作会社「ガイナックス」の破産手続きについて、庵野秀明氏が代表を務めるカラーが6月7日、コメントを発表した。「40年弱の歴史を持つアニメーションスタジオがこのような最後を迎えてしまい、残念でなりません」としている。 もともとガイナックスは、「王立宇宙軍 オネアミスの翼」（1987年公開）の制作を目的に設立されたもので、庵野氏は同社の立ち上げに参加。「トップをねらえ！」や「ふしぎの海のナディア」「新世紀エヴァンゲリオン」などの作品を生み出してきた。同氏は2006年にカラーを設立後、07年にガイナックスを退職。その後はガイナックスの株主となっている。 カラーは、ガイナックスについて「かねてより経営不振及び負債の存在を確認しておりましたため、経営に対し、庵野より懸念を申し上げたり、経営改善に向けた提案をしておりましたが長きにわたり受け
期限の制約なく無料で提供される「Free Tier」クラウドサービスまとめ、主要クラウド/PaaS編（2024年版）
期限の制約なく無料で提供される「Free Tier」クラウドサービスまとめ、主要クラウド/PaaS編（2024年版） いくつかのクラウドサービスでは、新規ユーザーに対する1年程度の無料トライアルや一定額のクーポンなどの提供だけでなく、期限の制約なくずっと無料で提供される、いわゆる「Free Tier」や「Always Free」と呼ばれるサービスが提供されています。 こうしたサービスは評価や一時的なテスト環境、あるいはホビー用途などに適しています。 本記事では期限の制約なく無料で提供されている主なクラウドサービスを、2024年版としてまとめました。（有料サービスの追加機能として無料で提供されているものは除外しています）。 ただしこれらの無料のサービスは、提供側の都合により一時的に申し込みや利用が制限されたり、提供が終了することがあります。提供側の都合に留意しつつ、良心的な範囲でご利用いただ
Open WebUI (Formerly Ollama WebUI) がすごい - Qiita
Open WebUIを使ってみました。 https://openwebui.com/ 当初は「Ollama WebUI」という名前だったようですが、今はOpen WebUIという名前に変わっています。Ollama専用じゃなくなったということでしょう。OpenAIに対応済みです。 早速使ってみました。もちろんBedrockで。 6/11 続編を書きました。 環境構築 Dockerですんなり構築です。Bedrockに対応はしてないので、「LiteLLM」を使って対応させます。 環境変数でこのあたりを指定 Ollamaを無効化 LiteLLMのエンドポイントをOpenAIのエンドポイントとして登録 APIキーを登録（LiteLLMとの通信には不要ですが、未指定だとOpen WebUIが正しく動作しませんでした） services: open-webui: image: ghcr.io/open-
新紙幣、津田梅子の写真反転か ５千円札の肖像画、津田塾大指摘 | 西日本新聞me
財務省が９日に発表した新紙幣の５千円札に使われる津田梅子の肖像に関し、津田塾大が提供し、新紙幣と酷似している３６歳ごろの写真と顔の向きが逆になっていると指摘されていることが１６日、分かった。津田塾大の広報担当者は「写真が反転されて肖像画に使われたと考えている」としている。財務省は「写真をそのまま写すものではなく、反転などの加工は問題ない」としてそのまま発行作業を進める考えを明らかにした。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
