タグ

nekolunaのブックマーク (27,792)

  • 数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」


    このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア﹁Seamless﹂︵シームレス︶を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。X‥ ＠shiropen2 英インペリアル・カレッジ・ロンドン︵ICL︶の教授であり、数学者のケビン・バザードさんの単著論文﹁Grothendieck’s use of equality﹂は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは﹁現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明︵形式化︶においてその曖昧さが障害になっている﹂と指摘する。 ﹁＝﹂︵等号︶にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
    数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」
    nekoluna
    nekoluna 2024/06/10
    そんな定義、高校くらいのときにちょっと習ったなあ。
    リンク

  • 鈴木宗男議員、「ゼレンスキー大統領がロシアを挑発しなければ、ウクライナ戦争は起きなかった」G7サミットを前に持論（中日スポーツ） - Yahoo!ニュース


    鈴木宗男参院議員が、9日までに自身のブログを更新。G7サミットで予定されている岸田文雄首相とゼレンスキー大統領の会談などにふれたうえで、﹁ゼレンスキー大統領がロシアを挑発しなければ、ウクライナ戦争は起きなかった﹂と主張した。 ◆鈴木宗男参院議員とロシア外務次官との会談写真︻写真︼ 鈴木議員は、ウクライナ側に対し岸田総理が裂帛(れっぱく)の気合で﹁停戦、和平﹂を言うべきだとし、﹁ロシアの侵略とか国際法違反と言うが、ならばゼレンスキー大統領が自爆ドローンでロシア人を殺そうとした行為やブタベスト覚書の再協議、核を戻せと言う話がウクライナ戦争の発端ではないか﹂として、ゼレンスキー大統領の態度について批判した。さらに、﹁プーチン大統領は自制していたが、ロシア人を守るために、特別軍事作戦を行なったのである﹂などと持論を展開した。 ブログには6日の法務委員会での岸田総理とのやりとりの議事録が掲載され、鈴
    鈴木宗男議員、「ゼレンスキー大統領がロシアを挑発しなければ、ウクライナ戦争は起きなかった」G7サミットを前に持論（中日スポーツ） - Yahoo!ニュース
    nekoluna
    nekoluna 2024/06/10
    クリミア侵攻→NATO加盟主張しないと選挙に勝てない。対立候補も加盟を主張。ドンバスは親ロシア票田で選挙でNATO加盟阻止できるとロシアは考えていたが無理に→ドンバス侵攻で票田失っても結果変わらんな！となる
    リンク

  • 【JS研究所】2024年春！JSの推しアニメランキング！！ - ちゃおプラス


    推している理由の1位は﹁絵が好き﹂♡アニメ作品にはみんなそれぞれの推しキャラクターがいるから、好きなタイプの絵にハマるのも納得！！2位は﹁原作のまんがや小説が好き﹂。今のアニメはまんがや小説原作が多いから、好きな作品がアニメ化されると、原作とは違った楽しみ方もできるよね♪3位は﹁ストーリーがおもしろい﹂。ハラハラドキドキしたり、キュン♡ってなったり、意外な展開で﹁そうきたか！﹂と感心したり、やっぱりストーリーは重要！ ちゃおっ娘が選んだ推しランキングベスト5は﹁絵が好き﹂﹁原作が好き﹂﹁ストーリーがおもしろい﹂の3要素がすべてつまった作品だったよ☆1位☆﹃︻推しの子︼﹄ メインの登場人物がアイドル、タレント、俳優として活動する高校生たちということで、ちゃおっ娘世代に近いことから共感できるのかも！！かわいらしいビジュアルとはウラハラに、業界の裏側を暴く！みたいなハラハラなストーリーがみ
    【JS研究所】2024年春！JSの推しアニメランキング！！ - ちゃおプラス
    nekoluna
    nekoluna 2024/06/09
    リンク

  • ふるさと納税1兆円、膨らむ経費　消える税収5000億円　Inside Out - 日本経済新聞

    【この記事のポイント】・寄付額とともに経費も年々増加・大都市は毎年、数十億円の税収減に・現行ルール5年、見直しの声も寄付額が1兆円規模に拡大したふるさと納税のゆがみが大きくなっている。自治体間の返礼品競争激化で経費は5000億円近くに膨らみ、寄付の半分相当が消失。税収が流出した自治体への財源補塡も増え、大都市中心に制度見直しを訴える声もある。国に抜本対策の機運は乏しく、いびつな自治体競争に終わり

    ふるさと納税1兆円、膨らむ経費　消える税収5000億円　Inside Out - 日本経済新聞
    nekoluna
    nekoluna 2024/06/09
    公費支出による地域産業育成・地域景気刺激であって、単なる公的支出ではなくまがりなりにも競争原理が働いているので効率性が期待できる。よくわからん補助金よりは多少ましかもしれない。
    リンク

  • 「金本位制」復活へ向かう世界　兆しはすでに存在している | Forbes JAPAN 公式サイト（フォーブス ジャパン）


    にわかには信じがたいことだが、世界は金本位制へと回帰し始めている。かつて廃止された金本位制が、経済学者や金融関係者からほぼ例外なく軽蔑されているにもかかわらず、である。 無知に基づく数々の俗説に反して、在りし日の金本位制は機能していた。米国は1970年代初頭までの180年間、金本位制を採用していた。米ドルの価値が金︵ゴールド︶と結びついていた時代にはインフレは起こらず、米国は人類史上最長の経済成長を遂げた。 米ドルの金兌換性が失われて以来、長期経済成長率の平均値は約3分の1に低下した。金本位制時代の成長パターンを米国が維持していたならば、今日の世帯所得の中央値は少なくとも4万ドル︵約620万円︶は上昇していたはずだ。 こうした事実にもかかわらず、金を基軸とする通貨制度に対する軽蔑と侮蔑はあまねく広がっている。 とはいえ、思いもよらないことが思わぬかたちで検討の最前線に急浮上し、現実化するの
    「金本位制」復活へ向かう世界　兆しはすでに存在している | Forbes JAPAN 公式サイト（フォーブス ジャパン）
    nekoluna
    nekoluna 2024/06/09
     そうは言うても金価格は上昇している。ロシアもウクライナとの戦争で金を放出するのかなと思っていたら、なんと買い増ししている。金本位制までいかなくても、外貨準備としての金保有量が、貨幣価値を担保している。  

    リンク

  • 東京女子大学の品性を疑う広告が中央線を中心に展開される

    いしかわ@FSM司祭 @u1ro_ishikawa 「ルワンダの話書いてるだろ」って指摘が増えてていや知っとるがなだからスクショに入れてるだろと思ってたんけど、俺の『歴史的背景知ってたら』って言葉が「知らんのか」って意味にとられてるのか。やっとわかった。「ルワンダの背景知っててジェンダーとか呑気タレてんじゃねえ」て意味ですスマンス 2024-06-07 02:12:24

    東京女子大学の品性を疑う広告が中央線を中心に展開される
    nekoluna
    nekoluna 2024/06/09
    ルワンダ・・　 ジェノサイドなどによって男性は殺され女性比率が7割にもなったから。女性無しにまわらないようになった時点でいったんリセットされてる。。性差より民族が重要だから。クオータ制。
    リンク

  • 率の平均を求めてはいけない/Do_Not_Average_Rates

    [Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails

    率の平均を求めてはいけない/Do_Not_Average_Rates
    nekoluna
    nekoluna 2024/06/09
    そう、そんな率の平均を使っちゃうと、なんと、シンプソンのパラドックスが発生しなくなるのです。
    リンク

  • 古代ローマにおいて、奴隷は資産なので子供が生まれるのは資産が増える事を意味し、歓迎されたという話をきいて、現代の社畜は奴隷以下かもしんねぇと思うなど

    吉村英崇🎂8/28が誕生日と覚えなくて良いのよ_(: 3 」∠ )_ @Count_Down_000 古代ローマにおいて、 ●奴隷は良くも悪くも資産だったため、生かさず殺さず ●というか、ヘイトが溜まると主人が物理的に殺される ●奴隷は資産なので、子供が生まれるのは資産が増える事を意味し、歓迎された という話をきいて、現代の社畜はローマの奴隷以下かもしんねぇ……と思うなど 2024-06-08 17:06:42 吉村英崇🎂8/28が誕生日と覚えなくて良いのよ_(: 3 」∠ )_ @Count_Down_000 企業の奴隷•社畜という言葉あるけど，仮にそういう扱いしてるにしても、落第点とマジでおもうw 人をモノというか、資産として扱うならば上手く運用すべき 『何もしないのに壊れた』なんて奴隷を使う主人としてあってはならんと思いますわw x.com/mocuvbuq0eepsy… 202

    古代ローマにおいて、奴隷は資産なので子供が生まれるのは資産が増える事を意味し、歓迎されたという話をきいて、現代の社畜は奴隷以下かもしんねぇと思うなど
    nekoluna
    nekoluna 2024/06/09
    神聖ローマ皇帝フリードリヒ2世は　ユダヤ人は皇帝の財産（皇帝奴隷）だから傷つけてはいけない、という理由で差別を逆手に血の中傷からユダヤ人を守った。
    リンク

  • 匿名系VTuber「増田あのに」ちゃん作った/配布したよ


    https://www.youtube.com/live/BS60Cd_cfX4お披露目配信もしました。この動画の説明欄のところに配布用URLを載せています。 配布しているのはVTuberとして使うことができるようなLive2Dモデルです。PC・ウェブカメラorスマホのカメラ・マイクがあればVTubeStudioを導入の上VTuberごっこができますよというものです。 見た目については配信に載せていますのでよければご覧ください。はてなのユーザーの人が見たらちょっとだけニヤっとできるような意匠にしたつもりです。 ときどきあったじゃないですか、増田発VTuberいたらどんなのかみたいな大喜利。そのVTuberを実際に作ってみた感じのやつです。 名前は増田あのんちゃんであったり増田あのにちゃんであったり色々でしたけど私は﹁増田あのに﹂ちゃんとしました。 匿名の人には誰もがなれる訳で、むしろ誰で
    匿名系VTuber「増田あのに」ちゃん作った/配布したよ
    nekoluna
    nekoluna 2024/06/09
    リンク

  • 「表現の自由」の名のもとに誰かの表現が抑圧されるなら、それは「自由な表現環境」と言えるのだろうか | p2ptk[.]org

    以下の文章は、電子フロンティア財団の「Speaking Freely: Ethan Zuckerman」という記事を翻訳したものである。 Electronic Frontier Foundation インタビュアー：ジリアン・ヨーク イーサン・ザッカーマンはマサチューセッツ大学アマースト校の教授で、公共政策、コミュニケーション、情報学を担当している。彼は現在、Institute for Digital Public Infrastructureという新しい研究センターの立ち上げを進めている。長年にわたり、彼はテックスタートアップ（Tripod.com）や非営利団体の創設者（Geekcorps.org）、共同創設者（Globalvoices.org）として活動し、その間一貫してブロガーでもあった。 ※ このインタビューは、長さと明瞭さのために編集された。 ヨーク：あなたにとって、表現の自由や

    「表現の自由」の名のもとに誰かの表現が抑圧されるなら、それは「自由な表現環境」と言えるのだろうか | p2ptk[.]org
    nekoluna
    nekoluna 2024/06/08
    "みんな知っているように、白人の中年男性がオンラインの対話で発言権を持つことはほとんどありません。"
    リンク

  • 「横転して園田爆破します」とSNSに投稿して逮捕されるの怖過ぎない？スラングってわかるでしょ？→様々な反応が集まる

    銃口から生まれた権力太郎 @iskr97 供述内容が不自然すぎて調書作文って感じ(この投稿、どう見てもオタクの誇大表現であって「レースをさせないように投稿した」と本当に供述するとは思えない) x.com/ats43/status/1… 2024-06-07 11:32:22

    「横転して園田爆破します」とSNSに投稿して逮捕されるの怖過ぎない？スラングってわかるでしょ？→様々な反応が集まる
    nekoluna
    nekoluna 2024/06/08
    小女子
    リンク

  • 日本で女に生まれるということ｜吉川ばんび


    女に生まれて後悔している。そんなことを言うと﹁男だって生きづらい﹂と反論がありそうなものだが、とにかく私が女であることに嫌気が差しているのは本当のことだ。 どんなに小さな子どもであっても女が常に﹁性の対象﹂として見られながら生きていることを、多くの男性たちは知らないかもしれない。保育園や幼稚園のお昼寝の時間になると、布団の中に男の子が入ってきてパンツの中に手を入れられたり、性器をいじられたりする。信じられないような話だが、実際にこうした被害に遭ったことのある女性は多く存在していて、大人になった今でも心に傷を負っている。助けを求めたくても、大人は﹁子どものすることだから﹂と被害を重く受け止めず、被害者に我慢を強いてきた。 小さな女の子を性的対象として見ているのは男児だけではない。保育士や教師のほか、街中を歩いている無関係の成人男性の中にも、加害の機会を伺っている人間は常に存在する。小学生の頃
    日本で女に生まれるということ｜吉川ばんび
    nekoluna
    nekoluna 2024/06/08
    人は女に生まれるのではない、女になるのだ (ボーボワール) / え？もちろんボーボワールを下敷きにしたタイトルでしょ？
    リンク

  • “ミャンマー軍が利用も”日本サッカー協会に協定破棄申し入れ | NHK


    3年前のクーデター以降、軍が実権を握るミャンマーのサッカー連盟と日本サッカー協会が協力協定を結んだことについて、在日ミャンマー人の有志らが﹁軍の宣伝に手を貸し弾圧を後押しする結果となりかねない﹂として、協定の破棄や停止を求める申し入れを行いました。 ワールドカップアジア2次予選のミャンマー戦を前に、日本サッカー協会は、5月にミャンマーサッカー連盟と若手の育成や指導者の養成などで協力を行う協定を締結しました。 この協定について5月31日、在日ミャンマー人の有志が都内の日本サッカー協会を訪れ﹁軍の宣伝に手を貸し、弾圧を後押しする結果となりかねない﹂として、協定の破棄や停止を求める申し入れを行いました。 ミャンマーサッカー連盟の会長は、建設会社や銀行などからなる財閥を率い、2019年に国連人権理事会がミャンマー軍の経済利権についてまとめた報告書では、軍に対し多額の寄付をしたと指摘されています。
    “ミャンマー軍が利用も”日本サッカー協会に協定破棄申し入れ | NHK
    nekoluna
    nekoluna 2024/06/08
    2021年のクーデター以降、人道支援は別として、日本政府としてもODAを停止している状態ですしおすし / 日本は金をもらって、ミャンマー選手等が日本の育成・指導を受けるということ。親日にしちゃえば良いのでは？
    リンク

  • ダンジョン飯 第23話「グリフィンのスープ/ダンプリング１」

    ダンジョン飯 第23話「グリフィンのスープ/ダンプリング１」 [アニメ] センシはなぜ迷宮で暮らし、魔物食を研究しているのか――。その過去が明らかになる。かつて坑夫団に...

    ダンジョン飯 第23話「グリフィンのスープ/ダンプリング１」
    nekoluna
    nekoluna 2024/06/08
    ウミガメのスープ
    リンク

  • 今日のお弁当やばい…5倍役満の何切る問題来た→「こんなワクワクする弁当初めてみた」果たして結果は…？

    空 @cMN6rnHe0FU9LgY @asagirirann これはただの運試しって事じゃないの？白切るか中切るかの(2の弁当に中か白の牌が入ってて運が良ければツモれるって感じの) 2024-06-07 16:16:39

    今日のお弁当やばい…5倍役満の何切る問題来た→「こんなワクワクする弁当初めてみた」果たして結果は…？
    nekoluna
    nekoluna 2024/06/08
    私なら中の表面を削り取って天和も複合と言い張りますね。/ 東風荘で大四喜字一色あがったことあるけど、トリプル役満扱いだった。珍しいのでその卓の対戦相手とそのままわちゃわちゃチャットやってた。
    リンク

  • 【再追記】留置場から出て来たよ

    こんにちは、留置場から出て来た増田です 留置場でどう過ごしてたか書いていくよ あと、どう過ごしたらいいかも共有するね ～経緯について～割愛するよ ちなみに人は傷付けてないよ 無罪を主張したかったけど、 無罪を主張すると公開裁判（一般人に裁判を見られるし、その場で増田の名前や住所などの個人情報を口頭で言われる）になるし、 増田は精神的に消耗しきっていて限界で、 一刻も早くここから出たいと思い、 諦めて罰金払ったよ 罰金払えない場合は、1日5000円で罰金分労働することになるよ ～捕まってすぐ～留置所に入所する前～捕まってから13時間くらい色々な所を連れまわされたよ 具体的には病院とか、取り調べとかだよ 刑事さんは激務で、取り調べをしてくれた人はお昼ご飯おにぎり二個しか食べれてなかったよ 激務で疲労した刑事さんと増田とで取り調べされるよ ちなみに、取り調べは「調べ」と呼ばれるよ よくニュースで

    【再追記】留置場から出て来たよ
    nekoluna
    nekoluna 2024/06/08
    リンク

  • 大正時代の旧制高校の学生は、「飲酒喫煙も暗黙の了解」で、人の狂気やダークな部分に対して若いうちに耐性をつけておけというライフハック的な話「大正時代エリート高校の寮生活」

    みっほん @RhJpRmNfhj7SBlv 人の狂気やダークな部分に対して若いうちに耐性をつけておけ、というライフハックかと思う。純粋培養でいいところだけを見せられ続けたひとは、闇堕ちすることもあるからなぁ。 x.com/sazamegoto/sta… 2024-06-06 17:26:57

    大正時代の旧制高校の学生は、「飲酒喫煙も暗黙の了解」で、人の狂気やダークな部分に対して若いうちに耐性をつけておけというライフハック的な話「大正時代エリート高校の寮生活」
    nekoluna
    nekoluna 2024/06/07
    そもそも20歳未満の飲酒が禁止されたのは大正11年。大正時代というなら少なくとも大正11-15年の話であるし、飲酒禁止も浸透に相当時間がかかるだろう。
    リンク

  • 九州沖縄農業研究センター:スクミリンゴガイ | 農研機構


    スクミリンゴガイの分布地域では、この貝を水田雑草の除草に用いる農家が増えています。この貝の除草効果はかなり高く、ほとんどすべての雑草を食べてしまうので、スクミがいれば除草剤を全く用いなくてよいという農家もあります。 すでにスクミが分布している場所で、除草のためにこの貝を活用することには、除草剤の削減という大きなメリットがあります。しかし、何といってもこの貝は、稲やレンコンなど農作物を食い荒らす有害動物です。未発生地の水田に貝を放すと、それらの貝が近くの水田や水路に広がることは必至ですし、水管理がうまく行かない水田では稲に被害を及ぼす可能性があります。また、貝防除のための農薬散布による環境負荷や希少な水生生物への影響も計り知れないものがあります。こういった影響は貝を根絶しない限り続きますが、現状では広まってしまった貝を根絶することはほぼ不可能です。新たな場所に貝を放すことは、絶対に止めて下さ
    nekoluna
    nekoluna 2024/06/06
    ジャンボタニシ除草
    リンク

  • 誰だよロシア崩壊ｗｗｗとか言ってた奴ら

    ロシア軍の再建スピードは予想以上、NATOの残された時間は2年～3年 https://grandfleet.info/european-region/russias-military-is-rebuilding-faster-than-expected-nato-has-only-two-to-three-years-left/ 米欧州軍司令官のカボリ陸軍大将 「ロシア軍の再編スピードは予想を上回る」、「戦力規模は侵攻前よりも15％ほど大きくなっている」 ドイツのピストリウス国防相 「ロシアの生産能力はウクライナでのニーズを上回り備蓄が積み上がっている」、「備蓄に振り向けられた武器･弾薬はウクライナの次に備えたものだ」 Defense Newsの取材に応じた欧米の国防当局者やロシア軍関連の専門家 「予想よりも早くロシア軍が再建されている」 「ロシアのGDPは縮小すると予測されていたにも関わ

    誰だよロシア崩壊ｗｗｗとか言ってた奴ら
    nekoluna
    nekoluna 2024/06/06
     日清・日露戦争や満州国建設、日中戦争などの間、日本も好景気だったし。太平洋戦争中でさえGDPは落ちて無い。ただし敗戦後は死んだ。/ ロシアのGDP成長率3%は名目じゃなくて実質成長率なのでインフレ率引いてるで  

    リンク

  • 小林製薬 紅麹問題 原料製造の大阪工場 6か所で青カビ検出 | NHK


    大阪市に本社がある小林製薬の﹁紅麹﹂の成分を含むサプリメントを摂取した人が腎臓の病気などを発症した問題で、大阪市は29日、問題となった製品の原料を製造していた大阪工場で、紅麹製造室の﹁培養室﹂など6か所から﹁プベルル酸﹂を生成する青カビを検出したことを公表しました。 この問題では、原因物質の特定を進めている厚生労働省と国の研究所は28日、途中経過を公表し、小林製薬の大阪工場と和歌山にある子会社の工場の両方に青カビが存在していたことが確認されたとしたうえで、﹁工場内の青カビが培養段階で混入して、﹃プベルル酸﹄などの化合物がつくられたと推定される﹂と公表しました。 これを受けて、大阪市は29日、市役所で3回目の対策本部会議を開き、市などが行っている調査の進捗︵しんちょく︶を報告しました。 それによりますと、問題となった製品の原料を製造していた大阪工場で、市などが紅麹製造室のカビとみられる汚れの
    小林製薬 紅麹問題 原料製造の大阪工場 6か所で青カビ検出 | NHK
    nekoluna
    nekoluna 2024/06/05
    家屋やら工場やら、何なら酒蔵などにもそこに住み着いてる微生物が居てな。それほど不思議ではないけれど、コンタミするほどの量だったら気づかないかなあ？
    リンク
  • 前のページ 1 2 3 4 5 6 7 8 9 10 次のページ

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.