2021年7月16日のブックマーク (26件)

  • ラッセルのパラドックス - Wikipedia

    ラッセルのパラドックス(英: Russell's paradox)とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基法則』における矛盾を指摘する記述に現れ[1]、1903年出版のフレーゲの『算術の基法則』第II巻(独: Grundgesetze der Arithmetik II)の後書きに収録された[2]。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトやフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている[3][4]。 ラッセルの型理論(階型理論)の目的のひとつは、このパラドックスを解消することにあった[5]。 「それ自身を要素として含まない集合」を「M 集合」とし

    t_f_m
    t_f_m 2021/07/16
  • HTMLFormElement.submit は validation を無視するし submit イベントを発火しない - 平常運転

    日記です。タイトルでほぼすべてがオチてしまった。 const form = document.querySelector('form#ultra-form'); form.submit(); みたいな感じで、 <form> を JavaScript から submit することができるんだけど、この HTMLFormElement.submitHTML Living Standard ではこう定義されている: Submits the form, bypassing interactive constraint validation and without firing a submit event. https://html.spec.whatwg.org/multipage/forms.html#htmlformelement つまり、例えば下のような HTML form の場合、

    HTMLFormElement.submit は validation を無視するし submit イベントを発火しない - 平常運転
    t_f_m
    t_f_m 2021/07/16
  • VTuberも対象 SHOWROOMが家賃全額負担の「ライバーズマンション」入居者を募集 | PANORA

    SHOWROOMは7月16日、夢に向かって頑張る人を応援する取り組みとして「SHOWROOMライバーズマンションプロジェクトを開始したと発表した。現在、同物件の入居者を募集している。 同プロジェクトは、シーラが運営する「利回りくん」との共同運営。「利回りくん」は、「応援を新しいカタチで」をコンセプトに、一口1万円から、社会貢献や地域創世、誰かの夢や挑戦につながる不動産へ応援投資ができる「応援型不動産クラウドファンディングプラットフォーム」だ。今回の「ライバーズマンション」も、1万円から誰でも不動産オーナーになることができる。「利回りくん」の詳細はこちらの公式ページより確認できる。 マンションには、防音室を完備、楽器演奏も可、昼夜問わず好きなタイミングで配信OK、場所は関東圏内、家賃はSHOWROOMが全額負担と、配信者に向けたさまざまなメリットを用意している。 募集対象は、「SHOWRO

    VTuberも対象 SHOWROOMが家賃全額負担の「ライバーズマンション」入居者を募集 | PANORA
    t_f_m
    t_f_m 2021/07/16
  • Site Error

    © Valve Corporation. All rights reserved. All trademarks are property of their respective owners in the US and other countries. Privacy Policy |  Legal |  Steam Subscriber Agreement |  Refunds

    Site Error
    t_f_m
    t_f_m 2021/07/16
  • 安倍首相 新型コロナワクチン開発などに8億ドル超の支援表明 | NHKニュース

    新型コロナウイルスの感染拡大をめぐり、安倍総理大臣は、4日夜、EUなどが行ったワクチン開発の資金集めを目的としたイベントにビデオメッセージを寄せ、国内外に8億ドルを超える支援を行うと表明しました。 そのうえで、ワクチン開発のための世界的な連携機構、CEPI=感染症流行対策イノベーション連合などを通じて新規に拠出するおよそ2億3400万ドルを含め治療薬やワクチンの開発などのため、8億ドルを超える支援を行うと表明しました。 また、新型コロナウイルスの治療薬として効果が期待される「アビガン」をおよそ80か国に提供する方向で調整するほか、途上国に向けて、総額15億4000万ドルを超える支援を決めたと説明しました。 そして、「感染症に国境はない。国際社会が一致団結して、この危機を乗り切ろう」と、結束を呼びかけました。

    安倍首相 新型コロナワクチン開発などに8億ドル超の支援表明 | NHKニュース
    t_f_m
    t_f_m 2021/07/16
    2020年5月の記事
  • ファームウェアエンジニアのお仕事 - Nature Engineering Blog

    Nature株式会社ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) です。今回は、Natureのファームウェアエンジニアの業務内容を紹介し、その魅力をお伝えします! NatureはスマートリモコンNature Remo1/スマートエナジーハブNature Remo E2を製品として展開しています。ファームウェアエンジニアはこれら製品のファームウェア開発を主に担当しますが、それだけに留まらず多岐にわたる業務を遂行しています。 現在ファームウェアエンジニアとして携わっている業務としては、次のものがあります。 Nature Remoの企画/開発 toB向け新規事業の立ち上げ Remoの改善 カスタマーサポートの技術調査 ファームウェア開発プロセスの改善活動 開発補助ツールの作成 Nature Remoの企画/開発 スマートリモコンというジャンルも認知度が上が

    ファームウェアエンジニアのお仕事 - Nature Engineering Blog
    t_f_m
    t_f_m 2021/07/16
  • 10年以上交換不要な原子力電池を自作して携帯ゲーム機に組み込んだ猛者が登場

    ゲームボーイなどの携帯ゲーム機はいつでもどこでも遊べるのが利点ですが、乾電池や充電池で動作するため、定期的に電池の交換や充電をしなければいけないという問題がつきまといます。そこで、半減期12年以上のトリチウム(三重水素)を使った自作原子力電池を携帯ゲーム機に組み込む実験を、エンジニアYouTuberのイアン・チャーナス氏がムービーで公開しています。 Building A Nuclear Powered Gameboy (Lasts 100 Years!) - YouTube 「原子力で発電する」というと、一般的にイメージするのは原子力発電所。 原子力発電所のシステムは「原子炉内で核分裂を起こし、その熱で水を沸かし、水蒸気でタービンを回して発電する」というのが基です。 しかし、小型の原子力電池で原子炉を用意することはできません。そこで、用意するのがトリチウムを封入した蛍光カプセルです。 ト

    10年以上交換不要な原子力電池を自作して携帯ゲーム機に組み込んだ猛者が登場
    t_f_m
    t_f_m 2021/07/16
  • Cloudflareのcdnjsにおける任意コード実行

    はじめに(English version is also available.) cdnjsの運営元であるCloudflareは、HackerOne上で脆弱性開示制度(Vulnerability Disclosure Program)を設けており、脆弱性の診断行為を許可しています。 記事は、当該制度を通して報告された脆弱性をCloudflareセキュリティチームの許可を得た上で公開しているものであり、無許可の脆弱性診断行為を推奨することを意図したものではありません。 Cloudflareが提供する製品に脆弱性を発見した場合は、Cloudflareの脆弱性開示制度へ報告してください。 要約cdnjsのライブラリ更新用サーバーに任意のコードを実行することが可能な脆弱性が存在し、結果としてcdnjsを完全に侵害することが出来る状態だった。 これにより、インターネット上のウェブサイトの内12.7

    Cloudflareのcdnjsにおける任意コード実行
    t_f_m
    t_f_m 2021/07/16
  • モルック ルールと遊び方 | モルック日本総代理店

    TACTIC モルック 日オフィシャルサイト OHSサプライは日で唯一のTACTIC社モルックの正規代理店です。 大会等では正規品の使用が推奨されております。 ​ モルックはお年寄りからお子様まで誰もが 楽しめるフィンランド・TACTIC社の ユニバーサルスポーツです。 ​ モルック日総代理店 OHS サプライ合同会社

    モルック ルールと遊び方 | モルック日本総代理店
    t_f_m
    t_f_m 2021/07/16
  • PHPバージョンアップけもの道

    at "PHPバージョンアップ kickoff" 2021/07/15 https://breaktimes.connpass.com/event/218221/

    PHPバージョンアップけもの道
    t_f_m
    t_f_m 2021/07/16
  • 第1話脚本 テレビアニメ『バトルアスリーテス大運動会 ReSTART!』 - ウルフズベイン公式ショップ - BOOTH

    2021年4月~6月にかけて放送したテレビアニメ『バトルアスリーテス大運動会 ReSTART!』第1話の脚です。 1st Run「オン ユア マーク!」 太陽系の各地から様々な少女たちが集まり、スポーツでナンバーワンを決める神(しん)・大運動会。その頂点に立つ者は宇宙撫子(コスモビューティー)と呼ばれ、女王として君臨することになる。幼い頃に交わした約束を果たすため、宇宙撫子を目指す明星かなたは、地球代表を決める予選で見事に勝利する。 商品はPDFファイルをダウンロードして頂く形になります。(第1話のみ期間限定で無料) アニメを違った角度から楽しみたい方、脚に御興味ある方などにおすすめです。 ©AICライツ/太陽系管理委員会

    第1話脚本 テレビアニメ『バトルアスリーテス大運動会 ReSTART!』 - ウルフズベイン公式ショップ - BOOTH
    t_f_m
    t_f_m 2021/07/16
    脚本を一般に売るって斬新だな…… / "商品はPDFファイルをダウンロードして頂く形になります。(第1話のみ期間限定で無料)"
  • 小田急百貨店 新宿本館、22年9月に営業終了

    小田急百貨店 新宿本館、22年9月に営業終了
    t_f_m
    t_f_m 2021/07/16
  • ホレンテ島の魔法使い / 谷津

    再生(累計) 108082 コメント(累計) 2236 お気に入り 2154 ランキング(カテゴリ別) 過去最高: 14 位 [2021年02月20日] 前日: -- 大昔いたという魔法使いの伝説を観光資源にしているホレンテ島。 魔法使いが飲んだと"言われている"タピオカ店、"萌え萌えキュンの"魔法をかけるレストラン。 この島の魔法は全て作り物…のはずが、超能力のような力を使える人々が現れー…? 魔法使いを追う一人の少女を中心に、ホレンテ島の謎が解き明かされる! 観光地で巻き起こる、伝承ファンタジー!

    ホレンテ島の魔法使い / 谷津
    t_f_m
    t_f_m 2021/07/16
  • 君は #にじストV部 を見たか - 詩になるもの

    はじめに そんなわけで。 バーチャルライバーグループ・にじさんじにおいて、現在とある一つのムーブメントが起こっている。 格闘ゲーム略して格ゲー、中でも最もメジャーな2D格ゲーと言っていい「ストリートファイター」シリーズ、その最新作「ストリートファイターV」(以下スト5)をプレイする有志たちの活動、その名も「#にじストV部」である。 にじストV部 - にじさんじ Wiki* 概要はにじさんじWiki等で掴んでもらうとして、ここではにじさんじ勢かつスト5勢の自分が#にじストV部を観てどのへんを楽しめたか、を中心に書いていこうと思う。 ちょっと長くなるのでスト5界隈、にじさんじ界隈に伝えたいことだけ先に記しておくと、 ・にじさんじ勢はせっかくなんでこれを機にスト5や格ゲーを触ってみてくれーい ・スト5勢はビギナーのにじさんじ勢を温かく見守ってくれーい ・にじさんじmeetsスト5の機会を作ってく

    君は #にじストV部 を見たか - 詩になるもの
    t_f_m
    t_f_m 2021/07/16
  • 狐穴と寒施行 : まち・文化 : DADA Journal - 滋賀県湖東・湖北の地域情報誌 [ダダ・ジャーナル]

    「彦根ゴーストツアー」が、2月17日・18日にあった。このツアーは「見えないモノ」を「ゴースト」と位置づけ、現世(うつしよ)と幽世(かくりよ)の狭間、未評価の文化資源を巡る。今回は「妖怪探訪の章」だった。僕も参加したが最も刺激的であり感動したのが豊勝稲荷の「狐穴」と「寒施行」だった。 豊勝稲荷は中山道高宮宿、犬上川沿いにある宿場町の稲荷だ。11月と2月の第一日曜日に大祭が行われている。明治初期、個人の家で祀っていた稲荷を「門口」の字の人々でお世話をするようになった。連なる稲荷の鳥居と立派な社があり、この稲荷を個人宅で祀っていたのだから、高宮の繁栄ぶりがうかがわれるというものだ。 この豊勝稲荷には、「せんぎょう」或いは「せんぎょ」と呼ばれるお供えの風習がある。多賀町猿木の堤防沿いの森と甲良町小川原の小川原神社に、油揚げの上に赤飯のおにぎりをのせたお供えを持って行く。昔は子どもたちの役目で、豊

    t_f_m
    t_f_m 2021/07/16
  • ワクチン接種に関する誤情報の拡散は「緊急の公衆衛生上の脅威」、医務総監がメディアに対策を求める

    アメリカでは2020年12月から新型コロナウイルス感染症(COVID-19)のワクチン接種が行われていますが、2021年7月16日の時点で2回のワクチン接種を完了した割合は47.88%にとどまっており、接種ペースの鈍化が指摘されています。そんな中、アメリカ公衆衛生局士官部隊の長であるビベック・マーシー医務総監が、「ワクチン接種に関する誤情報と戦うための大きな措置を講ずるように」と、ソーシャルメディアやニュース組織に呼びかけました。 We all have the power and responsibility to confront health misinformation. That’s why we included recommendations for individuals, educators, researchers, health professionals, tech

    ワクチン接種に関する誤情報の拡散は「緊急の公衆衛生上の脅威」、医務総監がメディアに対策を求める
    t_f_m
    t_f_m 2021/07/16
  • フロントエンド開発にtextlintを導入して運用している話

    フロントエンド開発にtextlintを導入して運用している話 2021.07.13 Tue. SaaSプロダクトのフロントエンド最前線@オンライン 近藤 大介 @diescake SmartHR プロダクトエンジニア /年末調整チーム/主にWebフロントエンドReact + TypeScr…

    フロントエンド開発にtextlintを導入して運用している話
    t_f_m
    t_f_m 2021/07/16
  • Steam Deck

    256GB NVMe SSD 1280x800 オプティカルボンディングLCDディスプレイ 7インチ(対角)のディスプレイサイズ 最大60Hzのリフレッシュレート 7nm APU Wi-Fi 5 40Whrバッテリー;2~8時間のゲームプレイ(コンテンツによって異なります) 45W電源(1.5mケーブル付属) キャリングケース Steamプロフィールバンドル

    Steam Deck
    t_f_m
    t_f_m 2021/07/16
  • アリグモはアリに似すぎたせいで獲物を捕まえるのが難しい――兵庫県立大学・人と自然の博物館

    兵庫県立大学をはじめとする研究者らはこのほど、アリそっくりに擬態したアリグモが、擬態によって跳躍力や獲物の捕獲能力を低下させていることを明らかにしました。 アリそっくりなアリグモ アリグモはハエトリグモ科に属する徘徊性のクモ類で、日で6種、東南アジアの熱帯地域で約120種、世界中では200種以上が確認されています。 アリグモはその名が示す通りアリそっくりに擬態しています。アリ類は強力な大アゴや毒針を持ち、敵に対して集団で攻撃行動をとるため生まれつきアリを嫌うような生き物も多く、アリグモはアリに姿を似せることで捕者などから身を守っていると考えられています。 実際に、カマキリはガラス板越しにアリのシルエットを見せただけで逃げ出すことが確認されています。 昆虫とクモ類では体のつくりが全く異なっていますが、アリグモではアリによく似せるために、頭部・胸部・腹部の区別がはっきり分かるように”くびれ

    アリグモはアリに似すぎたせいで獲物を捕まえるのが難しい――兵庫県立大学・人と自然の博物館
    t_f_m
    t_f_m 2021/07/16
    この記事だけだと理解の前提がひとつ抜けてて、アリグモ属はハエトリグモの仲間(ハエトリグモ科アリグモ属)
  • 20年以上も存在だけが確認されていた謎の生物「ラピモナズ」の正体が明らかに――京都大学ら

    筑波大学、京都大学、東北大学の研究者らはこのほど、約20年前に存在だけが確認されていた謎の生物の正体を突き止めることに成功しました。 どのような生物がどれくらい存在するのかは、直接生物を見つけなくても土や海水からDNAを抽出することで調べることができます。これを環境DNA解析といいます。 研究者らがさまざまな海水の環境DNA解析を進めていくなかで、1998年にこれまで知られているどの生物にも分類されない謎のDNAが発見されました。 「ラピモナズ(Rappemonads)」と名付けられたこのDNAの持ち主は、どうやら大西洋を中心に分布しており、ハプト藻やクリプト藻と呼ばれる藻類の仲間に近縁であることは分かっていましたが、20年以上もの間謎に包まれていました。 今回、京都大学をはじめとする研究チームは、大分県沿岸の海で採集された微生物のなかから2のべん毛と角のような突起を持つ未知の藻類を発見

    20年以上も存在だけが確認されていた謎の生物「ラピモナズ」の正体が明らかに――京都大学ら
    t_f_m
    t_f_m 2021/07/16
  • カイコは「二段階認証」でクワの葉だけを選んで食べる、東京大学・東京農工大学

    世界中で読まれているエリック=カールの『はらぺこあおむし』では、主人公のあおむしがリンゴやナシなどさまざまなものをべますが、実際にはカイコならクワの葉、ナミアゲハならミカンの葉・・・というように、ほとんどの昆虫でべるものは決まっています。 昆虫たちはどのようにしてべることのできる特定の葉を見極めているのでしょうか。実は、その詳しいメカニズムはよく分かっていませんでした。 Leaf Veins flickr photo by michaelroper shared under a Creative Commons (BY-SA) license 東京大学と東京農工大学の研究者らが、カイコを使って観察および実験を行った結果、”二段階認証”でクワの葉を認識していることを明らかにしました。 カイコはまず、口の近くにある小顋肢(しょうさいし)と呼ばれる突起状の特殊な味覚器官を葉に押し当てて触診

    カイコは「二段階認証」でクワの葉だけを選んで食べる、東京大学・東京農工大学
    t_f_m
    t_f_m 2021/07/16
  • 蚊は血を吸い過ぎて爆発はしないが、お腹の神経索を切断すると血を吸い続けて破裂する(閲覧注意)

    蚊が血を吸っているときに筋肉に力を入れると蚊が爆発するという都市伝説が知られていますが、研究のために10年以上も蚊に血を吸わせてきたオーストラリア・メルボルン大学の研究者Perran Ross氏によると、そのようなことは無いといいます。 ただし蚊を破裂する方法は実際に存在しており、今から約50年前の1969年に生物学者のRobert Gwadz氏は、蚊の腹側の神経索を切断すると蚊は吸血を停止する信号が遮断され、自身が「満腹」であるかどうか分からず体重の4倍以上もの血を吸って破裂してしまうことを発見しました。 ▽施術を行った蚊の実験映像。腹が破れて血が出るため、苦手な方の閲覧にはご注意ください。 By popular demand, here's a shorter version of the exploding mosquitoes video pic.twitter.com/nRMiy

    蚊は血を吸い過ぎて爆発はしないが、お腹の神経索を切断すると血を吸い続けて破裂する(閲覧注意)
    t_f_m
    t_f_m 2021/07/16
  • TAKU INOUE×星街すいせい「3時12分」インタビュー|職人的トラックメイカーがVSingerに託した“門出の1曲” - 音楽ナタリー 特集・インタビュー

    イノタクさんの新曲=「勝ちだ!」 ──今作のリリースをもってソロプロジェクトが始動するわけですが、TAKUさんは2018年のバンダイナムコスタジオの退社後、ソロのアーティストとしてどういうビジョンを持ってここまで歩んできたんでしょうか? TAKU INOUE もともとソロ活動に対するビジョンというのは全然なくて、TOY'S FACTORYと契約したのも、これまでと同じく作家的な働き方でいろんなところと仕事ができそうだなと思ったからなんです。実際それで3年くらい忙しくやらせてもらったんですが、今年の春先に一瞬だけ仕事の谷間があって、そのときふと「10年後の俺は何してるんだろう」みたいな未来のことについて考え始めたら、ちょっとビビっちゃって。今は仕事があるからいいけど、これがなくなったらどうなっちゃうのか不安になって、「そろそろ自分の曲を出してみようかな」と小声で言ったら、周りの人たちがすごい

    TAKU INOUE×星街すいせい「3時12分」インタビュー|職人的トラックメイカーがVSingerに託した“門出の1曲” - 音楽ナタリー 特集・インタビュー
    t_f_m
    t_f_m 2021/07/16
  • はてなインターネット文学賞の参考作品に関して - カクヨムからのお知らせ

    株式会社はてな主催で、7/15-8/24の期間に応募受付をしているはてなインターネット文学賞。インターネットらしさがあり、思わずSNSでシェアしたくなる作品を求めています。 具体的にどのような作品を応募すれば良いのかの参考のために、カクヨムオープンから2021年7月までの間、SNS経由で多くの方に読まれた2万字以下の完結済みの小説上位50作をご紹介します。なお、紹介の順序は順不同です。 あくまで参考としてのご紹介なので、応募される方ご自身がインターネット文学だと感じており、作品形式に合致していれば、ぜひはてなインターネット文学賞にご応募ください。 なお、参考作品として紹介している作品も、応募資格・作品形式等を満たしていれば応募は可能です。 蜘蛛の糸 死闘篇(かぎろ) - カクヨム 牛を殴ると美味しくなる話(クソダサ英字プリントTシャツマン) - カクヨム 異世界に行ったら背理法がなかった(

    はてなインターネット文学賞の参考作品に関して - カクヨムからのお知らせ
    t_f_m
    t_f_m 2021/07/16
    読んでるのそこそこあるが読んでないのもたくさんあるな
  • Internet Explorerの対応を終了します - カクヨムからのお知らせ

    カクヨムでは、Internet Explorerの対応を2021年7月31日をもって終了とします。2021年8月以降にInternet Explorerをご利用の場合、カクヨムの動作を保証いたしません。 現在Internet Explorerをご利用の方へ 後継ブラウザであるMicrosoft Edgeやその他の推奨ブラウザをご利用ください。 www.microsoft.com Internet Explorerご利用の場合、小説などを正常に読めない、あるいは投稿ができない可能性があります。 また、Internet Explorerでのカクヨムご利用時に警告を表示するようにいたします。 対応終了の背景 Internet Explorerの開発元であるMicrosoftは、後継ブラウザであるMicrosoft EdgeをWindowsの標準ブラウザとして以降、Internet Explore

    Internet Explorerの対応を終了します - カクヨムからのお知らせ
    t_f_m
    t_f_m 2021/07/16
  • 男児用水着のインナー生地を確認しましょう−陰茎部の皮膚が挟まり、取れなくなることも−(発表情報)_国民生活センター

    現在の位置:トップページ > 注目情報 > 発表情報 > 男児用水着のインナー生地を確認しましょう−陰茎部の皮膚が挟まり、取れなくなることも− *詳細な内容につきましては、ページの最後にある「報告書文[PDF形式]」をご覧ください。 男児用水着の中にはインナーにメッシュ生地を用いたものがありますが、医療機関ネットワークやPIO-NETには、「水着のインナーのメッシュ生地に、陰茎部の皮膚が挟まり取れなくなり病院へ搬送された」といった事例が寄せられており、昨年度も事故が発生しています。 同種の事故に関しては、2006年に当センターから情報提供を行っており、2014年には消費者庁から、また、2016年には日小児科学会からもそれぞれ注意喚起が行われています。 なお、2010年には、事故を防止するため、業界の自主基準に「水着のインナー素材にはメッシュ形状素材を用いないこと」が盛り込まれています

    t_f_m
    t_f_m 2021/07/16