70年以上未解決であった「ミルズの定数の無理数性」が解決か！？ - INTEGERS
旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
ラマヌジャンは本当に何も知らなかったのか
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]
フェルマーの大定理の短証明を査読してみた - INTEGERS
アマチュアの方などが、第一級の数学者が長年取り組んでも解決できない問題（フェルマーの大定理*1の初等証明、コラッツ予想、リーマン予想、ふたご素数予想、P=NP問題、etc.）を解いたと主張して論文や本として発表されることは、ありふれたことのように思います。 あなたがプロの数学研究者だとしましょう。 あなたはそれらの原稿を読みますか？ 普通は読まないと思います。なぜなら、 「読まない段階では、その原稿が正しい可能性がある」 ということは、それはそうなのですが、 「その原稿が間違っている可能性の方が圧倒的に大きい」 ということの方が、読むかどうかを検討する側には重大だからです。 定理証明支援系などが更に発展して、近い将来には数学の正しさを効率よく客観的に判定できるようになるかもしれません。 ですが、今のところは、数学の原稿を査読するにはそれなりの時間がかかります。 時間をかけて読んでも間違って
150 分で学ぶ高校数学の基礎
[重要なお知らせ (2023/8/12)] 現在，スライドの p.10 に不十分な記述があります．ルートの答えは 0 以上の数に限定することに注意してください (たとえば -3 を 2 乗しても 9 ですが，ルート 9 は -3 ではありません)．なお，現在筆者のパソコンが修理中でデータがないので，修…
ソフトウェアエンジニアなら3秒で理解できる NFT 入門 - Okapies' Archive
はじめに NFT って何ですか？ ブロックチェーン上に記録された一意なトークン識別子をその保有者のアドレスと紐付ける情報、およびそれを状態変数として保持するスマートコントラクトのこと。 以上。 え、それだけ？ はい。 「デジタル資産に唯一無二性を付与するインターネット以来の革命」なんじゃないの？ これを読んでください: speakerdeck.com なるほど。ところで、この記事は何？ いま話題の NFT について、NFT の標準仕様である EIP-721 の仕様書と、それを実装しているスマートコントラクトのソースコードから読み解けることを解説する。一般向けの解説とは異なる視点から光を当てることで、ソフトウェアエンジニアに「あ、NFT って単にそういうことだったのか」と理解してもらえるようにすることを狙っている。 また、NFT がソフトウェアとして具体的にどう実装されているかを知ることは、
新型コロナ 感染者数 フランスで一日17万人超 過去最多 | NHKニュース
フランスでは、新型コロナウイルスの一日の新たな感染者数が過去最多を更新して17万人を超えました。 フランス政府は、ワクチンの接種を加速させるとともにテレワークの義務化を進めるなど、対策を一層強化することにしています。 フランス政府によりますと、28日、新型コロナウイルスの感染者が新たに17万9807人確認されました。 これまで最も多かったのは、12月25日に発表された10万4611人で、1.7倍ほど増加したことになります。 増加した背景について、専門家は、感染力の強いオミクロン株が急速に広がっていることに加え、クリスマス休暇で家族と会う前に新型コロナの検査を受ける人が増えたことなどがあげられると指摘しています。 感染の急拡大を受けてフランス政府は、12月27日、ワクチン接種を加速させるため飲食店などを利用する際にワクチンの接種証明の提示を義務づける法案を閣議決定し、法律は、1月15日から施
コミケ準備会、政府のワクチン接種確認アプリ使用は「どうしても必要な方のみ」
コミックマーケット準備会は12月23日、政府の「新型コロナワクチン接種証明書アプリ」も「コミックマーケット99」入場時の確認に使用できると発表した。ただし「どうしても必要な方のみ」に限定する。 コミケ99は入場の際にチケットと本人確認書類、ワクチン接種証明（あるいはPCR検査結果、陰性証明）を提示する必要があり、準備会は東京都の「TOKYOワクションアプリ」利用を呼びかけてきた。その後、政府の新型コロナワクチン接種確認アプリも配信が始まったが、本格的に対応するには準備が追い付かないと判断した。 準備会は「既に（入場確認などの）準備、体制の検討・構築を済ませており、確認対象を増やすことで運用上の問題が生じるおそれがある」と説明。来場者の入場が遅れる懸念もあり、政府の接種確認アプリを使用するのは「ワクチン接種証明を紛失してしまったなど、どうしても必要な方のみ」に限定する。 TOKYOワクション
新型コロナワクチン接種証明書アプリへのご不明点とご要望について｜デジタル庁
早速ダウンロードして接種証明書を発行くださった皆様から、多くのフィードバックをいただきました。フィードバックを踏まえ、本アプリの使い方、多くの方がご不安に思われている点について、ご案内します。 どこからダウンロードするの？アプリは、iOSをお使いの方はApp Storeから、Androidの場合はGoogle Playから、それぞれダウンロードできます。もしくは「ワクチン接種証明書アプリ」と検索してください。アプリの発行者が「デジタル庁」となっていることをご確認ください。 iOS版（App Store） どんなアプリなの？本アプリは、日本政府が公式に提供する「新型コロナワクチン接種証明書」を取得・提示できるスマートフォンアプリです。本アプリで取得した新型コロナワクチン接種証明書は、海外渡航の際にもご利用いただけます。 マイナンバーカード（海外渡航で使いたい場合は、加えてパスポート）をご用意
仏、集中治療患者30％接種装う コロナワクチン偽証明を所持 ｜ 共同通信
Published 2021/12/17 17:58 (JST) Updated 2021/12/17 18:15 (JST) 【パリ共同】フランス南東部ニースの大学病院の幹部医師は16日、新型コロナウイルスに感染し同病院で現在、集中治療を受けている患者の約30％が偽のワクチン接種証明を所持していたと明らかにした。ニュース専門テレビBFMのインタビューに答えた。 フランスでは飲食店利用などの際に接種証明か陰性証明が必要で、既に全人口の約76％が接種を完了している。偽の接種証明は主に接種を拒否する人々の間で出回っている。地元メディアが伝えた内務省当局者の話によると、出回っている偽の証明は約11万件に上る。
「ワクチン接種証明アプリ」お披露目 申請から2分で交付完了
デジタル庁と内閣官房は12月13日の記者発表会で、新型コロナワクチンの電子版接種証明書を申請・表示できるスマートフォンアプリ「新型コロナワクチン接種証明書アプリ」（Android／iOS）の操作画面を公開した。マイナンバーカードとNFC対応スマホがあれば、申請から約2分で電子証明書を交付できるという。 国民のワクチン接種状況などの情報を管理しているシステム「VRS」に直接問い合わせて、電子証明書（国内用／海外渡航用）を取得するアプリ。画面上にワクチンの接種回数やメーカー、接種情報をまとめたQRコードなどを表示する。リリースは20日中を予定している。 9月に公開した仕様案への意見に「名前などの個人情報を表示したくない」「QRコードは標準で見えないようにしてほしい」とあったことから、氏名、生年月日、QRコードは起動直後の画面には出さず、1タップ操作することで表示できる仕様にした。 QRコードは
東京都が独自の「ワクチン接種証明アプリ」を開始、政府アプリを待たなかったワケ
新型コロナウイルスの感染防止対策と行動制限緩和を両立させるべく、東京都は2021年11月1日、スマートフォンを使うデジタル式のワクチン接種証明を導入した。デジタル式のワクチン接種証明を巡っては、他の自治体や企業でも準備や検討が相次いでおり、2021年12月中の公開を予定する国のアプリを待てないとする声は多い。さまざまなアプリが乱立することが決定的となったなかで、行政機関が利用者にアプリの「使い分け」をどう周知していくかが課題となりそうだ。 自治体はLINEを活用 東京都の「TOKYOワクションアプリ」は、対話アプリ「LINE」を用いる。2021年11月1日正午から接種証明用の専用アカウントをLINE上に開設し、登録の受け付けを開始した。登録手続きにはワクチン接種券を用いた簡易な「ワクチン接種済み証（臨時ワクチン接種証明）」と本人確認書類の2点を撮影してアップロードする。 事務センターがアッ
TOKYOワクションアプリの開始（2581報）｜東京都
2021年10月15日 東京都新型コロナウイルス感染症対策本部 新型コロナウイルスワクチン接種促進キャンペーン「TOKYOワクションアプリ」を開始します（第2581報） ワクションアプリに賛同する事業者を募集します 都は、新型コロナウイルスの感染拡大を防ぐため、感染・発症・重症化の予防効果のあるワクチン接種を進めています。 ためらっている方が接種について考えられる環境を用意し、希望する方が接種につながるよう、キャンペーンを開始します。 第一弾として、キャンペーン特設ホームページを開設するとともに、事業者を募集します。 1 キャンペーンの名称・ロゴ TOKYOワクションアプリ ワクションはワクチンとアクション（行動）をあわせた言葉です。 2 キャンペーンの概要 TOKYOワクションアプリ特設ホームページでの情報発信 スマートフォンアプリを活用した接種記録の登録と特典の提供 11月に開設するキ
東京都 認証店の要請解除後 5人以上の利用に接種証明提示検討 | NHKニュース
東京都は感染状況などの改善を受けて、今月25日以降、都の認証を受けた飲食店に対する要請を解除し、酒の提供時間や営業時間の制限をなくす方針ですが、5人以上で利用する場合はワクチンの接種証明などの提示を呼びかける方向で検討しています。 都は、今のリバウンド防止措置期間が終わったあとの今月25日以降、感染対策の徹底の認証を受けた店に対して、現在、午後9時までとしている時短要請を解除し、酒の提供時間や営業時間の制限をなくす方針です。 認証を受けた店はすでに都内全体の85％にのぼり、多くの店で通常営業ができるようになるほか、現在、酒の提供の自粛を求めている認証を受けていない店も午後9時まで提供が可能となる見通しです。 ただ、再拡大をどう防ぐかも課題で、関係者によりますと、都は5人以上で利用する場合は、ワクチンの接種や検査での陰性証明の提示を呼びかける方向で検討しています。 現在、利用は4人までとなっ
「涼宮ハルヒの憂鬱」のおかげで25年解けなかった数学の難問が解決されるかもしれない - GIGAZINE
by engelene 海外の掲示板「4chan」での議論が、数学者を25年以上悩ませてきた「The Minimal Superpermutation Problem(最小超置換問題)」という難問を解決するかもしれないと、世界中の数学者から大きな関心を集めています。解決の糸口となったのは、テレビアニメ「涼宮ハルヒの憂鬱」のエピソードの視聴順についてでした。 /sci/ - The Haruhi problem (lower bound) - Science ＆ Math - 4chan http://boards.4chan.org/sci/thread/10089701/the-haruhi-problem-lower-bound An anonymous 4chan post could help solve a 25-year-old math mystery - The Verge
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ワクチン未接種者は解雇 米シティ、金融界で初―報道：時事ドットコム
https://twitter.com/taikomochius/status/1460017262388080640
[NHK衆議院選挙] 党派別集計 候補者アンケート - 衆院選2021 NHK
ワクチンパスポート、12月にもオンラインで発行へ スマホで利用 | 毎日新聞