新型コロナウイルスの感染者と濃厚接触した可能性を知らせるスマートフォン向け接触確認アプリ「COCOA（ココア）」の接触通知が届かなかった問題で、厚生労働省は外部有識者を入れた調査組織を設置して検証する。昨年9月の不具合発生から約4カ月の間、実際の端末を使って動作を確認せず発見が遅れた経緯があり、厚労省は年度内にも検証結果をまとめ、関係者を処分する方針だ。 不具合が発生したのは昨年9月28日で、委託業者がアプリを改修した際、接触があったと判定される人でも、「接触なし」と誤って判断する設定になった。ネット交流サービス（SNS）などでは「感染した人と接触したのに通知が来ない」などの指摘が相次ぎ、今年1月になって不具合が判明。菅義偉首相も、今月4日の衆院予算委員会で「お粗末（な事態）だった」と釈明した。

未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授（51）の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読（論文の内容チェック）に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」（1995年解決）や「ポアンカレ予想」（2006年解決）の証明などと並ぶ快挙となる。【阿部周一、松本光樹】 望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー（IUT）理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み（宇宙）を複数考えるという構想は

京都観光オフィシャルサイトで公開される「観光快適度」。日ごとの混雑度がアイコンで一覧表示されている＝京都市提供 外国人観光客の急増に伴い市民の生活環境が悪化している「オーバーツーリズム」問題で、京都市は18日、観光地や市バスの混雑緩和、観光客のマナー改善のための緊急対策を発表した。門川大作市長は同日の定例記者会見で「京都は観光都市ではない。寺社、自然、景観、食文化や暮らしの文化が観光面で評価されているので、市民生活を大事にしない観光はあり得ない」「市民生活と調和した持続可能な観光都市を目指す」と強調した。【澤木政輝】 市と市観光協会が主体となり、市全域や観光スポット別の観光快適度（混雑度）をインターネットで配信し、観光客が訪れる時期と時間帯、場所の分散を図る。スマートフォンの位置情報や天気、曜日、時間など過去3年分のビックデータを人工知能（AI）で分析し、市全域の向こう6カ月間の混雑度を5

児童相談所の内部資料を不正に持ち出したなどとして停職処分を受けた京都市職員の男性（48）が、公益通報で児相の対応の不備をただすための正当な行為だったとして市に処分取り消しを求めた訴訟の判決で、京都地裁は8日、取り消しを命じた。藤田昌宏裁判長は判決理由で「職業倫理に基づく行為で懲戒処分は重きに失する」と述べた。 判決などによると、児相に勤務していた男性は2014年10月ごろ、担当外の児童に関する資料を閲覧し、市内の児童養護施設の施設長が少女に性的虐待をした疑いがあるとの相談が寄せられていたことを把握。相談から1カ月半がたっており、児相が放置した可能性があるとして、15年3月と10月に市の公益通報窓口の弁護士に内部通報し、証拠として資料を持ち出した。施設長は児童福祉法違反容疑で逮捕され有罪判決が確定したが… この記事は有料記事です。 残り239文字（全文595文字）

毎日新聞のニュースサイトに掲載の記事・写真・図表など無断転載を禁止します。著作権は毎日新聞社またはその情報提供者に属します。 画像データは（株）フォーカスシステムズの電子透かし「acuagraphy」により著作権情報を確認できるようになっています。

AP通信などによると、バングラデシュでイスラム神学校の校長によるセクハラ被害を訴えた女子学生（18）が焼き殺される事件があり、警察は犯行が校長の指示によるものとみて調べている。バングラ国内では校長ら容疑者に対する厳罰と女性の人権保障を求めるデモが起きている。 殺害されたのは南部フェニにある学校に通っていたヌスラト・ラフィさん。3月下旬、校長室で校長から繰り返し体を触られたなどとして警察に被害届を提出し、校長は逮捕された。 しかし、ラフィさんは今月6日、学校の屋上に呼び出され、ブルカ（女性イスラム教徒の衣装）姿の5人組に被害届の撤回を求められた。拒否すると、手をしばられた状態で灯油をかけられたうえ、火を付けられた。全身に大やけどを負い、4日後に死亡した。