いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu
カーブミラー倒れ小学生の頭を直撃 よく見ると支柱が加工され…市は黙認「地域の行事の事情」祭りの通行のために加工か（あいテレビ） - Yahoo!ニュース
先月、愛媛県新居浜市内でカーブミラーが倒れ、小学生がけがをした事故。 その後の市の調査で、このカーブミラーは取り外しができるよう加工されていたことが分かりました。 【詳しく見る】カーブミラーが折れた瞬間をよく見ると…支柱に違和感が… 新居浜市内には同様のカーブミラーが多数あるとみられ、市は安全性に問題があると見て交換や撤去などを進める方針です。 それにしても、何のために加工されたのでしょうかでしょうか。 5月5日、新居浜市の市道でカーブミラーが倒れ、小学6年生の男の子の頭にぶつかりました。 男の子は救急車で病院に運ばれ、頭に軽いけがをしました。腐食していた支柱が強風によって折れたと見られています。 映像を詳しく見ると、支柱に金属製の丸い板が取りつけられていて、そのすぐ下の付近が折れたことが確認できます。 （新居浜市道路課・亀井英明課長） 「倒壊するまでは、このミラーについては、加工された物
医学誌「BMJ」に掲載された論文によると、硬膜外麻酔による無痛分娩で、出産による重い合併症にかかる割合が著しく減るという。（PHOTOGRAPH BY CASARSAGURU, GETTY IMAGES） 出産は世界の多くの地域で主な死亡原因であることから、妊婦たちは長い間、お産に伴う恐怖や不快感を和らげようとしてきた。歴史上、出産の痛みの緩和には、催眠術やアヘン、水中分娩、ハーブ療法のほか、ありとあらゆる手段が用いられてきた。 現在、出産の痛みを和らげる方法としては、背中や腰から麻酔薬を注入する「硬膜外麻酔法」による無痛分娩が最も一般的だ。しかし新たな研究により、この方法には痛みの緩和以上の効果があるとわかった。硬膜外麻酔を受けた場合、出産から6週間後までの間に重い合併症にかかるリスクが35％も下がることが示されたのだ。英グラスゴー大学と英ブリストル大学の研究者による論文は、2024年5
GPT-4などの大規模言語モデルは非常に高い性能を有していますが、各モデルがどのような思考を経て応答を出力しているのかは開発者ですら把握できていません。新たに、OpenAIが大規模言語モデルの思考を読み取る手法を開発し、GPT-4の思考を1600万個の解釈可能なパターンに分解できたことを発表しました。 Extracting Concepts from GPT-4 | OpenAI https://openai.com/index/extracting-concepts-from-gpt-4/ Scaling and evaluating sparse autoencoders https://cdn.openai.com/papers/sparse-autoencoders.pdf 一般的なソフトウェアは人間の設計に基づいて開発されているため、各機能の仕組みを理解した上で機能を修正したり安
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
いつも時間に追われている、仕事漬けなのに成果が伴わない、プライベートを楽しむ暇がない……こんな悩みを抱えている人も多いのではないでしょうか。『結果を出してサクッと帰る 神速時短』の発売を記念して開催された本イベントでは、著者であり国際エグゼクティブコーチ／企業研修講師のヴィランティ牧野祝子氏が登壇。本記事では、世界10ヶ国で20年以上会社員をしてきた牧野氏が、幸せな人生を送るための時間の使い方についてお伝えします。 前回の記事はこちら 自分の中のモヤモヤを言語化してアウトプットする ヴィランティ牧野祝子氏：ここからは、みなさまのアウトプットの時間にしたいと思います。チャットに書いていただいても、1人で考えていただいても大丈夫です。みなさま、今何かモヤモヤがある方、いらっしゃいませんか。朝、パートナーと揉めてモヤモヤしたとか、お子さまに対してのモヤモヤでも、会社の中でもなんでもいいです。 「
米政府は、カスペルスキー社製のサイバーセキュリティおよびアンチウィルスソフトウェアが米国の国家安全保障および米国人の安全保障にもたらす過度かつ容認しがたいリスクに寄与しているとして、国内販売を禁止する通達を発表しました。 カスペルスキー社はロシアの管轄下にある 米商務省は通達の中で、カスペルスキー社は米国が指定する国外の敵対者であるロシア連邦の管轄下にあり、ロシアの司法権に服する企業としてロシア政府からの援助や情報提供の要請に応じなければならないことを理由として挙げました。 そしてそのことが、米国の国家安全保障および米国人の安全保障と安全に対して容認できないリスクをもたらすとしています。 The Department finds that Kaspersky’s provision of cybersecurity and anti-virus software to U.S. perso
2028年までに全個体電池を量産すると発表している日産。しかし、日産は世界的な電気自動車の市場争いで後れを取っているうえ、世界で競争するための規模も不足していていて、危険な賭けにでていると英紙は指摘する。 全固体電池をめぐる日本と中国勢の見解はわかれている 日産は2028年までに全固体電池を量産すると明言している。その一方で、全固体電池の技術はまだ黎明期にあるとの声もあがる。日産の幹部は2024年4月半ばに、その全固体電池を製造する工場内で、懐疑論を唱える企業は過去にしがみついているだけだと反論した。 「電池メーカーはどこも、現在使われている液体電池でずっと儲けていきたいと考えているのです。すでに多額を投資していますから、CATLのみならず、電池メーカーはどこも、全固体電池にあまり前向きではありません」。その幹部は工場見学の最中にそう語った。 幹部がそのように言うのは、電気自動車（EV）の
サイバー攻撃を受けてサービスを停止しているニコニコは6月11日、月に1度の「月刊ニコニコインフォ」をYouTubeに場所を移して生配信した。事前に「障害に関する新情報はない」と告知したにも関わらず、視聴者は一時1万1000人を超え、応援のスパチャが飛び交う状態になった。 ニコニコの栗田穣崇代表は「非常時ではありますが、ニコニコユーザーが集まれる場を作りたいので、プラットフォームを変えて配信します」とあいさつ。ユーザーに不便と心配をかけていることを謝罪し、10日に公表した情報をもとに状況を説明した。 栗田氏によると、ニコニコは8日未明から11日夜にかけて「ずっと攻撃を受けている」という。このため現在は、安全な別の場所にシステムを移して再構築を進めている状況だ。 また停止期間中のプレミアム会員費やタイムシフト期限などユーザーが気になる点については「全体の影響を調査中のため、具体的なことは分から
僧 清虚の像：感動の物語＃北九州市門司区大字白野江 新シリーズ北九州探訪ここがおもしろい第一弾です。 北九州市の門司港地区といえば門司港駅前のレトロ地区やめかり公園がとても有名な観光名所です。 北九州市民でも意外と知らない観光名所がこの「僧 清虚の像」ではないでしょうか？ ニューヨークにも似たような像がありますね（笑）。 こちらは「自由のおじさん」ですかね！？ 実在した、伝説のお坊さんのようです。 僧 清虚の像：感動の物語＃北九州市門司区大字白野江 新シリーズ北九州探訪ここがおもしろい第一弾です。 青浜海岸という美しい海岸です。 僧 清虚の伝説 清虚の火焚場 僧 清虚となったきっかけは？ 部崎灯台（へさきとうだい） 青浜海岸という美しい海岸です。 向こう岸に見えるのは山口県ですね。 僧 清虚の伝説 天保7年（1836）大分県国見町出身の僧 「清虚」は、高野山へ修道に向かう船中、部埼周辺の海
22、23日実施の毎日新聞世論調査で、「次の首相にふさわしい人」を自民党の国会議員8人の中から選んでもらった。最も多かったのは石破茂元幹事長の20％。2位は高市早苗経済安全保障担当相の9％、3位は上川陽子外相の8％で、「この中にはいない」も39％に上った。 4位は小泉進次郎元環境相の7％。5位は菅義偉前首相の6％、6位は河野太郎デジタル相、岸田文雄首相の各5％だった。8位は茂木敏充幹事長の1％。 2月にほぼ同様の質問をした際は1位石破氏▽2位上川氏▽3位高市氏――で、上川氏と高市氏の順位が入れ替わった。高市氏は男性、上川氏は女性の支持が多い傾向が続いている。 自民党支持層に限ってみると1位は岸田氏。2位は石破氏で、3位小泉、高市両氏▽5位上川氏▽6位河野氏▽7位菅氏▽8位茂木氏――だった。【村尾哲】
複数のセキュリティ分析ツールがあるように見せかけてマルウェアのインストールを回避させるソフトウェア「Scarecrow」
PCを使用するにあたって、ノートンやウイルスバスターといったセキュリティソフトをインストールしている人は多いはず。イギリスに拠点を置くサイバーセキュリティ研究者グループが作成した「Scarecrow」はセキュリティソフトとは異なりますが、実行すると、マルウェアが起動をためらうようなセキュリティ分析ツールが存在するように見せかける効果があります。 Cyber Scarecrow https://www.cyberscarecrow.com/ ハッカーがユーザーのPCに悪意のあるソフトウェアをインストールする場合、ハッカーはまず、そのソフトウェアが安全に実行できることを確認します。その際に、セキュリティ分析ツールやマルウェア対策ツールが搭載されていることを確認した場合、悪意のあるソフトウェアのインストールを避ける傾向にあるそうです。 そこで、サイバーセキュリティ研究者グループはハッカーがマルウ
PTA広報は昨年度の長田前校長先生インタビューに続き、今年度赴任された堀越校長先生にインタビューさせていただきました。麹町中学校（以下、「麹中」という）は「自律・尊重・創造」を教育目標に掲げ、単元テストなど他校にない独自の制度を持ち、学校行事等の活動でも生徒の主体性を重視するという特徴があります。コロナ禍を乗り越え、改めてコロナ後の教育の在り方が問われている今、麹中の魅力と課題は？そして、これからどんな学校を目指すのでしょうか？（インタビューは2023年７月25日に実施しました） ーーまずは、堀越校長先生ご自身について教えてください。 生まれは東京の下町です。大学から千葉県に移りましたが、小・中・高と東京の公立校で過ごしました。趣味は…広く浅く多趣味なんですが、今は登山とサッカー観戦かな。夫婦で毎月低山に登ったり、サッカーはJリーグのサポーターなので毎月応援に行きます。 ーーどんな中学生で
ラファ難民キャンプ空爆は「虐殺」、国際社会から非難相次ぐ
（ＣＮＮ） イスラエルがパレスチナ自治区ガザ地区南部ラファの難民キャンプを空爆し、少なくとも４５人が死亡、２００人が負傷者したことをめぐり、国際社会から非難の声が高まっている。犠牲者の多くは女性と子どもだった。 イスラエルのネタニヤフ首相は空爆を「悲劇的な過ち」と呼び、イスラエルが事件を調査していると述べた。 ＣＮＮが入手した映像では、キャンプが炎に包まれ、大勢の男女や子どもたちが夜間の襲撃から身を隠そうと必死になっている様子が映し出されていた。子どもたちのものも含む焼死体が救助隊によって残骸から引きずり出されるのが見えた。 この攻撃の数日前には、国際司法裁判所（ＩＣＪ）がイスラエルに攻撃停止を命じていた。複数の人道支援団体は国連安全保障理事会に対し「即時の行動が必要だ」と訴え、裁判所の命令を執行するよう求めている。 国連のグテーレス事務総長は「ガザに安全な場所はない。この恐怖は止めなけれ
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
業者の杜撰さ明らかに…名古屋市立小学校の部活動民間委託「来るはずの指導者が来ない」保護者等から苦情殺到（東海テレビ） - Yahoo!ニュース
名古屋市立小学校の部活動で、指導を委託した業者が研修を受けていない指導員を派遣するなど、ずさんな対応をしていたことが明らかになりました。 【動画で見る】業者の杜撰さ明らかに…名古屋市立小学校の部活動民間委託「来るはずの指導者が来ない」保護者等から苦情殺到 名古屋市立小学校では、部活動の指導の民間委託が2020年から導入されていて、教員の働き方改革につながると期待されスタートした事業ですが、2024年4月以降、市に苦情が相次いでいます。 ＜保護者＞ 「来るはずの指導者が来ない！」 「研修を受けていない人が指導をしている！」 保護者などから市に寄せられた苦情は、多い日で1日に100件以上あり、あまりの多さにコールセンターまで増設したといいます。なぜこのような事態になってしまったのでしょうか。 名古屋市では4月から名東区や天白区など8つの区で、部活動の委託先の業者を変更しました。新たに委託先とな
【全文】「いち警察官として許せなかった」前鹿児島県警生活安全部長は勾留理由開示請求で何を語ったか（鹿児島ニュースＫＴＳ） - Yahoo!ニュース
鹿児島県警本部の生活安全部長だった本田尚志容疑者（６０）が警察の内部資料漏えいの疑いで５月３１日に逮捕されました。この事件をめぐり５日、弁護士が勾留理由の開示を求める手続きが鹿児島簡易裁判所で開かれ、本田容疑者は「県警職員が行った犯罪行為を県警本部長が隠ぺいしようとしたことが許せなかった」と語りました。本田容疑者の意見陳述（弁護士提供）は以下の通りです。 今回、職務上知り得た情報が書かれた書面を、とある記者の方にお送りしたことは間違いありません。 私がこのような行動をしたのは、鹿児島県警職員が行った犯罪行為を、野川明輝(のがわあきてる)本部長が隠蔽しようとしたことがあり、そのことが、いち警察官としてどうしても許せなかったからです。 野川本部長は、令和4年に赴任されました。 野川本部長は、独断ですべてを決められる方で、我々の考えを本部長に提案しても、本部長の一存で否定されることが多く、多くの
世界保健機関(WHO)は2023年に、身近な人工甘味料であるアスパルテームに発がん性がある可能性を警告しました。さらに、虫歯予防効果があることからガムなどによく使われる甘味料のキシリトールの摂取量が多いと、心臓発作や脳卒中などの心血管疾患のリスクが増加することが、新しい研究で判明しました。 Xylitol is prothrombotic and associated with cardiovascular risk | European Heart Journal | Oxford Academic https://academic.oup.com/eurheartj/advance-article-abstract/doi/10.1093/eurheartj/ehae244/7683453 Cleveland clinic-led study links sugar substi |
「上司にしたくない女性政治家」ランキング…辻元氏、小池氏を大きく引き離した1位は（SmartFLASH） - Yahoo!ニュース
7月におこなわれる東京都知事選に、立憲民主党の蓮舫参院議員が出馬を表明。現職の小池百合子都知事との「日本を代表する女性政治家の激突」だと注目を集めている。 【アンケート結果】「上司にしたくない女性政治家」ランキング1位～13位 そこで本誌はアンケート調査を実施。「上司になって欲しくない女性政治家」は誰？を、全国の30代から60代の男女500人にきいた。対象としたのは、著名な女性政治家13人だ。 では「上司にしたくない」女性政治家、トップ5からみていこう。 【第5位】36票 高市早苗（自民・経済安全保障担当大臣） 「気が強そうで、部下の進言にあまり耳を傾けそうな感じがしない」（40代男性・会社員） 「裏と表がありそうで怖いです」（50代女性・パート） 2023年3月の「行政文書」をめぐる問題では、文書を「捏造」だと一刀両断。立憲民主党議員らの追及に一歩も引かなかった。 【第4位】48票 片山
今月11日、広島県廿日市市の中学校で生徒が野球部の練習中に頭を打ち、その後死亡した事故がありました。市の教育委員会は22日の記者会見で安全配慮と事故後の対応が不十分だったとして、専門家による調査委員会を設置し、検証することを明らかにしました。 廿日市市の教育委員会によりますと、今月11日、市立大野東中学校の軟式野球部で、部活動の指導員が指導していた際、2年生の男子生徒（14）がバッティング練習中に飛んできたボールを追い、別の部員と衝突して頭を打ちました。 生徒はぶつかったあと起き上がることができて、問いかけにも応じていたということです。 その後、学校が生徒の保護者に連絡して医療機関で受診し、CT画像も撮影して帰宅したということです。 夜になっておう吐するなどしたため、別の医療機関に救急搬送されて手術が行われましたが、意識が戻らないまま今月17日に死亡しました。 市の教育委員会は今回の事故に
北朝鮮の金与正（キムヨジョン）朝鮮労働党副部長は29日、北朝鮮が韓国に向けて風船で飛ばした汚物について、「『誠意の贈り物』として引き続き拾い続けなければならないだろう」とする談話を発表した。同日、国営の朝鮮中央通信が伝えた。今後、韓国が北朝鮮に対して行うビラまきの「数十倍」の量で対応していくという。 【写真まとめ】北朝鮮が飛ばしたとみられる汚物やごみ 韓国軍合同参謀本部は同日、北朝鮮が28日から韓国に向けて汚物やごみなどが入った袋をぶら下げた風船を大量に飛ばしたと発表。「国際法に明白に違反し、韓国国民の安全を深刻に脅かす行為だ」と中止を求めていた。 金与正氏は談話で、風船を飛ばしたのは韓国の団体が北朝鮮の体制を批判するビラを北朝鮮に向けて風船でまき続けてきたことが原因だと指摘。「（韓国と）同じことを少ししてみただけなのに、なぜ火が付いたように怒るのか。韓国の目には北に飛んで行く風船は見えず
Honoを使い倒したい2024
はじめに こんにちは、AI Shift バックエンドエンジニアの@sugar235711です。 この記事では、Honoの使い方をおさらいし、API開発を通じてHonoの実際の開発で役立つTipsを紹介します。 Honoの基本的なコンセプトや網羅的な実装例については、公式ドキュメントを参照してください。 基本編 この章では、Honoの基本的な使い方を紹介します。 App/Contextオブジェクトの使い方 Honoでは、プライマリオブジェクトであるHonoインスタンスを生成し、そのインスタンスをもとにAPIのエンドポイントを定義します。 import { Hono } from 'hono' const app = new Hono() app.get('/', (c) => c.text('Hono!')) export default app Honoにはリクエスト/レスポンスを扱いやす
主要なJavaScriptエンジンのTest262を毎日実行して結果を載せているtest262.fyiというサイトがあります。 （Test262とは最新のECMAScriptを実装できているかどうかのテストです。） このサイトの、2024/6/5現在の実装率ランキングはこちらです。 test262.fyiの画面キャプチャ（2024/6/5） V8(ChromeやNode.js、Deno等)、JavaScriptCore（SafariやBun等）、SpiderMonkey（Firefox等）という、大手エンジンとほぼ横並びで4位に食い込んでいるBoaとは何者でしょうか。 Boaは公式曰く『Rustで書かれた実験的なJavascriptのレキサー、パーサー、コンパイラー』です。これだけ揃えば、JavaScriptエンジンと言って差し支えないと思います。RustアプリケーションにJavaScri
ドイツとの安全保障分野での協力を強化するため、自衛隊とドイツ軍の間で食料や燃料などを相互に提供できるようにする協定が、12日の参議院本会議で賛成多数で可決され、承認されました。 日本とドイツのACSA＝「物品役務相互提供協定」は、自衛隊とドイツ軍が訓練や大規模災害時などに食料や燃料、弾薬といった物品や輸送などの役務を互いに提供しあうことができるよう手続きを定めたものです。 ことし1月に上川外務大臣とドイツのゲッツェ駐日大使が署名し、今の国会で協定の承認に向けた審議が行われてきました。 そして、12日の参議院本会議で採決が行われ、自民・公明両党や日本維新の会などの賛成多数で可決され、承認されました。 立憲民主党と共産党、れいわ新選組などは反対しました。 外務省は、早期の発効に向けて事務的な調整を進めることにしています。 日本はこれまで、同様の協定をアメリカやオーストラリア、インドなど6か国と
UFOなど“異常現象”対応する専門機関を求める議員連盟が発足 石破氏や進次郎氏など「ポスト岸田」候補揃い（TBS NEWS DIG Powered by JNN） - Yahoo!ニュース
UFO=未確認飛行物体を含む「異常現象」に対応するため、政府に対し専門機関の設置を求める議員連盟がきょう発足しました。 【画像】“UFO議連”発足 議員の顔ぶれ 浜田靖一会長の発言 UFO議連 浜田靖一 会長 「世の中、わからないことがいっぱいあるが、わからないことを解明していく」 発起人には、「ポスト岸田」候補ともされる石破茂元幹事長や小泉進次郎元環境大臣が名を連ね、超党派の国会議員およそ80名が入会予定だということです。 UFOを含む正体不明の異常現象などをさす「UAP」をめぐっては、近年、日本上空でも多数目撃されていて、防衛省は2019年に鹿児島県、2020年に仙台市で確認された気球について、「中国の無人偵察気球と強く推定される」と発表しています。 議連では「UAPが他国の最新鋭の秘密兵器などであれば、日本の安全保障にとって大きな脅威となり得る」と指摘し、アメリカでは日本の防衛省にあ
こんにちは。メルカリのQAエンジニアリングマネージャーの@____rina____ です。今回は、連載『Mercari Hallo, World! -メルカリ ハロ 開発の裏側-』の第4回を担当します。 本記事では、メルカリ ハロのサービスローンチまでのQAプロセスを通じて、私たちはどのようにして安心・安全なプロダクトを迅速にリリースするための戦略を実行したか、具体的な方法とともに詳述しています。 この記事を通じて、以下の点についての理解を深めていただけることを目指しています： QAの役割とプロジェクト概要 効率的なQAアサイン戦略 成果物の透明性と管理ツールの効果的な活用方法 また、この記事を書くにあたり、私自身が学んだことや得た教訓についても触れています。これらの経験は、今後のプロジェクトにおいて更なる品質向上と効率化を目指す上で非常に貴重なものとなりました。 プロジェクト概要とQAの
登山地図GPSアプリ「YAMAP」を運営する株式会社ヤマップ（福岡市、代表取締役CEO 春山慶彦、以下ヤマップ）は、新たに「日本一道迷いしやすい登山道 2024」を発表します。安全登山を推進するヤマッ...
FabyΔ @FABYMETAL4 メタラー兼業投資家。2013年にNVIDIA $NVDA に150万円投資し10年間ガチホ中。2024年、生成AIの登場によるNVIDIA GPU需要増で 150万円→4億円 (280倍) を達成。米国企業分析、決算分析、AIトレンド、特にNVIDIAに関する情報発信をしています。たまにメタル界隈にPOPします🤘 FabyΔ @FABYMETAL4 本日、ガチホ10年目のNVIDIAが150万円→4億円(280倍)を達成しました。NVIDIAには感謝の一言に尽きます。ありがとう $NVDA pic.twitter.com/WEnJm1Ks8K x.com/fabymetal4/sta… 2024-06-06 05:46:25 FabyΔ @FABYMETAL4 本日、保有10年目のNVIDIAが 円換算で150万円→3億円(200倍)となりました。 先
【読売新聞】 日本航空で安全上のトラブルが５件相次いだとして、国土交通省は２７日、日航に対して行政指導にあたる厳重注意を行い、来月１１日までに再発防止策を提出するよう求めた。 国交省を訪れた鳥取三津子社長に対し、平岡成哲・航空局長
【速報】万博への子ども招待「中止」求める申し立て 大阪府の教職員組合「子どもの命は何より重要」 メタンガス爆発事故・下見できず医療体制にも懸念（読売テレビ） - Yahoo!ニュース
大阪府が2025年の大阪・関西万博に小・中学校の子どもたちなどを招待する事業について、大阪府の教職員組合が5日、府や教育委員会に対し、事業の「中止」を求める申し立てを行いました。 【動画で見る】吉村知事「学校の判断を尊重する」万博招待事業に大阪府内7割の学校が「参加希望」調査方法に疑問の声も 大阪府は、府内に住む4歳から高校生までを無料で万博に招待することにしていて、各学校に対して校外学習など学校単位で参加するかどうかの意向を回答するよう求め、5月末の期限までに約1740校から回答があり、全体の約7割にあたる約1390校が「希望する」と回答していました。 これに対し、府内の教職員でつくる3つの組合は5日午後2時から会見を開き、「誰も（メタンガスの）爆発事故が起こらない、安全だという方はいない。遠足に引率する立場として何よりも重要なのは子どもの命、安全が保障されていない」と語りました。
AIモデルに「キルスイッチ」を義務付けるカリフォルニア州のAI安全法案はAIスタートアップの撤退を余儀なくするだけでなくオープンソースモデルなどに損害を与えるとして非難が集まる
シリコンバレーのベンチャーキャピタリストやテクノロジー業界で働く人々は、カリフォルニア州議会で審議中の「AI安全法案」が大手AI企業の一部に事業方法の変更を迫る可能性があるとして、警鐘を鳴らしています。 Silicon Valley in uproar over Californian AI safety bill https://www.ft.com/content/eee08381-962f-4bdf-b000-eeff42234ee0 Tech Companies Challenge California AI Safety Legislation - WinBuzzer https://winbuzzer.com/2024/06/08/tech-companies-challenge-california-ai-safety-legislation-xcxwbn/ Silicon
燃料高騰リスクに警鐘 円安で国富流出―エネルギー白書 時事通信 編集局2024年06月04日09時15分配信 政府は４日の閣議で、２０２３年度版のエネルギー白書を決定した。液化天然ガス（ＬＮＧ）などの価格高騰や、円安進行に伴って燃料の輸入金額が増加し、「国富」の海外流出が拡大していると指摘。「国際情勢によっては、より一層の価格高騰に陥ってしまうリスクや、エネルギーの安定供給に大きな支障が出るリスクも十分に考えられる」と警鐘を鳴らした。 日本海に「大量の石油ガス」 尹大統領が発表、試掘着手へ―韓国 ２０年に１１．３兆円だった化石燃料の輸入金額は、２２年には３３．７兆円と約３倍に急増。２３年も２７．３兆円と高止まりした。輸入量に大きな変動はなく、ロシアのウクライナ侵攻に伴う資源価格高騰や円の下落基調が直撃した形となっている。 また白書は、世界各地で相次ぐ紛争や災害により、エネルギー安全保障が脅
15日午前、さいたま市大宮区の大宮車両所でJR貨物が開催した車両部品の販売イベントで、複数の客が抽選の列に割り込み、整列用のパイロンが壊れるなど混乱があった。安全性が確保できないとして、イベントを一部中止した。 【写真】自転車より遅いＪＲ路線は１００円稼ぐのに１万５５１６円の費用がかかる超赤字 残すべき？廃止？ 同社によると、イベントでは車両の銘板や警報機、標識灯などを販売。先着50人に限り、優先的に部品購入の抽選に参加できる仕組みだった。午前9時半の開場時間ごろ、50人に入れなかった一部の客が列に割り込みトラブルが生じたという。 会場にいた人が「客が口論している」と110番した。県警大宮署によると、警察官が出動し、けが人はいない。
仕事でAI利用する8割が、個人のAIツール持ち込み「Bring Your Own AI」 Microsoftが警鐘
米MicrosoftとLinkedInが発表した、職場でのAI活用の実態調査の結果によると、職場でAIを使っている日本のユーザーのうち78％が自前のAIツールを職場に持ち込んでいた。同社は、「日本の職場でも今後“Bring Your Own AI”が増加すると考えられる」とし、企業データを安全に活用するための環境整備が必要だと訴えている。 2024年2月から3月にかけ、日米を含む世界31の市場で、各1000人のフルタイムの従業員と自営業のナレッジワーカーを対象にオンラインで実施。平均値を算出した。 対象者の75％が仕事にAIを活用しており、うち46％が半年以内に使い始めていた。 地域別で見ると、生成AIを仕事で使っている人は北米で66％、アジア太平洋地域で83％、欧州で65％、日本では32％と日本は相対的に低かった。 世界でAIを使っている人の78％が自前のAIツールを職場に持ち込んでおり
特化型モデルが日本の生成AI開発の勝ち筋
こんにちは、シバタアキラです。5月は皆様にとってもイベントの多い月間だと思いますが、私も日韓のAI Expoに出展、各所での講演、そして今週は日本人工知能学会の大会にて論文の発表も控えております。イベント参加は時間も取られますが、生の情報に触れるいい機会でもあり、今回は直近のAI業界の状況について私が学んだことを中心にご共有します。 出口の見えない日本のLLM開発に光？ 昨年末MetaとIBMが手を組んでアナウンスされたThe AI Alliance は、「オープンAI開発を推進する」と大義を謳ってLinux Foundationとも手を組み、今月日本でカンファレンス及びディナーがありました。これまであまり話題になってこなかった団体という印象を持っていましたが、ビッグネームなメンバー企業・団体が着実に増えており、かなりモメンタムが増している印象を受けました。 私も東工大の岡崎先生と、NII
AIは国家間のパワーバランスや軍事をどう変えるのか──『AI覇権 4つの戦場』 - 基本読書
ＡＩ覇権 ４つの戦場 作者:ポール シャーレ早川書房Amazonこの『AI覇権 4つの戦場』は、無人兵器についてのノンフィクションで本邦でも高く評価された『無人の兵団』著者の最新作で、タイトルの通りAIをめぐる国家間の争い、その行方について主に4つの視点から考察していく一冊になる。 AIの時代にどの国が軍事、経済、政治力で強みを握るかをもっと理解するには、データ、計算、人材、機構という四つの重要な領域をさらに深く掘り下げる必要がある。 著者はもともと米海軍のレインジャー部隊員としてイラクとアフガニスタンに出征。狙撃兵などとして活躍した後、2008〜13年まで米国防総省(ペンタゴン)で自律型兵器に関する法的・倫理的課題と政策を研究していた人物だ。ようは軍事と国防関連の知識が豊富な軍事アナリストで、本書にはその知識や経験が存分に活かされている。 近年生成系AIは飛躍的な進歩を遂げ、GPT-4だ
イスラエル首相、ラファ空爆は「悲劇的な過ち」
２７日、パレスチナ自治区ガザ地区南部ラファの難民キャンプに対し空爆があり、多数の死者が出た/Abed Rahim Khatib/picture alliance/Getty Images パレスチナ自治区ガザ地区ラファ／エルサレム（ＣＮＮ） イスラエルのネタニヤフ首相は２７日、パレスチナ自治区ガザ地区南部ラファの難民キャンプに対する空爆で多数の死者が出たことについて、「悲劇的な過ち」と述べた。 ネタニヤフ氏は国会での演説で、「関係ない人々に危害を加えないよう最大限の努力を行ったにもかかわらず、残念ながら昨夜、悲劇的な過ちが起きた」と述べた。今回の事案については調査が行われているという。 ガザの保健省などによれば、空爆の後に火災が発生し、少なくとも４５人が死亡したほか、２００人余りが負傷した。犠牲者の多くは女性や子どもだった。保健省によれば、これだけの犠牲者を受け入れられる病院はラファにはな
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
オランダ国防省のウェブサイトは7日、中国軍機2機が同日未明、東シナ海の国際空域で国連任務中のオランダ軍艦の周囲を何度も旋回して威嚇し、同艦の海上攻撃ヘリコプターに接近したと発表しました。中国軍の行動は「潜在的に危険な状況を引き起こした」と指摘しました。 米国議会の出資によって設立された短波ラジオ放送局の自由亜州電台の記事より。 オランダのフリゲート艦「HNLMSトロンプ」 オランダ国防省によると、中国軍の戦闘機2機がフリゲート艦「HNLSトロンプ」に対して複数回の旋回飛行を行ったほか、パトロール中のヘリコプターも中国軍機2機に「接近」されました。 声明によると、事件は国際空域で起きました。オランダ海軍艦艇「HNLSトロンプ」は、安保理決議に基づく北朝鮮に対する海上制裁の実施を監視する国連多国籍軍を支援するためのパトロール中でした。 オランダ国防省によれば、「HNLSトロンプ」は予定通
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
無痛分娩で母親の重い合併症も顕著に減ると判明、命を救うかも
OpenAIがGPT-4の思考を1600万個の解釈可能なパターンに分解できたと発表
意地悪な「排除ベンチ」撤去 取り組んだ市議が考える公共空間の意味：朝日新聞デジタル
仕事を自分でやるか相手に任せるか、優先順位付けができるマトリクス タスクを抱え込んでしまう人が、幸せに働くための時間の使い方
米政府、カスペルスキー社製ソフトウェアの国内販売を禁止へ
全固体電池へ過剰に依存する日産は「危険な賭け」をしている | 「日産はとにかく、大きな変化を起こしません」
ニコニコ、情報番組を“YouTube”で生配信 「非常時でも集まれる場を作りたい」と栗田代表
感動物語：伝説のお坊さん 僧 清虚の像 #観光名所 - にゃおタビ
「次の首相にふさわしい人」 石破氏20％、高市氏9％ 世論調査 | 毎日新聞
堀越校長先生にインタビュー！ – 麹町中学校PTAホームページ
今野智博元衆院議員を逮捕 弁護士名義を貸して法律事務させた疑い：朝日新聞デジタル
キシリトールの摂取量が多い人は脳卒中や心臓発作のリスクが2倍になることが判明
中学生野球部員 練習中頭打ちその後死亡 市教委が調査委設置へ | NHK
金与正氏、韓国への汚物風船は「誠意の贈り物」 ビラまきに反撃（毎日新聞） - Yahoo!ニュース
Rust製JavaScriptエンジン『Boa JS』を試してみた
自衛隊とドイツ軍の「物品役務相互提供協定」 参院で可決 | NHK
メルカリ ハロ リリースのQA戦略 | メルカリエンジニアリング
株式会社ヤマップ / YAMAP | 日本一道迷いしやすい登山道 2024
10年前、150万円で買ったNVIDIA株が4億円になった人の話→「私なら10倍くらいで手放してしまう…」
トラブル相次ぐ日本航空、鳥取三津子社長「深くおわびする」…国交省が厳重注意
燃料高騰リスクに警鐘 円安で国富流出―エネルギー白書：時事ドットコム
JR販売会で混乱、一部中止 埼玉・大宮車両所、客トラブル（共同通信） - Yahoo!ニュース
「恒心教」の元大学院生に懲役3年の有罪判決 爆破予告など繰り返す：朝日新聞デジタル
オランダが中国非難、中国軍機が東シナ海でオランダ艦船に危険な接近 - 黄大仙の blog
「生きててごめん」ゼミの後、うつ病に 22歳で命を絶った大学院生：朝日新聞デジタル