headless 曰く、

GNU C Library(Glibc)の2038年問題(Y2038)対策パッチで、レガシーABIに64ビット時刻のサポートが追加された(Phoronixの記事、 コミット情報)。

Y2038はUNIX時間が2038年1月19日3時14分7秒(UTC)以降、符号付32ビット整数で表現できる範囲を超えるという問題だ。レガシーABIでは32ビットのtime_tがデフォルトになっているが、新しいビルドフラグ「_TIME_BITS」を指定することで、64ビット時刻シンボルの使用が有効になる。ただし、有効化するにはLFS(_FILE_OFFSET_BITS=64)の指定も必要とのこと。

headless 曰く、

証明支援システムのCoqが新しい名称の検討を4月から進めているそうだ(The Registerの記事、 GitHubのプロジェクトページ)。

Coqという名称はフランス語の雄鶏や料理人を指す単語のほか、CoC(Calculus of Constructions)や最初の開発者の一人であるThierry Coquand氏からとったものだ。英語で雄鶏を示す単語「cock」と発音も同様だが、この単語が男性器を指す言葉としても使われることから、ユーザーが気まずい思いをすることもあるようだ。

現在のところ、Coqの名称はそのままに発音を変える(シーオーキュー/コーク/クック)ものや、フランス語であることを強調(Le Coqなど)するもの、文字を追加して長くする(Coqpit/PeaCoq/Coquandなど)もの、鶏や開発者にちなんだCoqとは異なる名称(Gallo/Poussin/Thierryなど)が代替案として検討されている。

ただし、発音の変更やCoqを含む長い名前の場合、結局「Coq」と呼ばれ続けてしまう可能性もある。また、Coqをフランス語でスペルアウトした発音(セオキュ)があまりよくないことや、「Le」がミームなどで非フランス語話者がフランス語風の表現を作るステレオタイプ的表現である点も指摘されている。

なお、プロジェクトは引き続き代替案や意見を募集しているが、今回The Registerの記事でCoqを初めて知った人の意見は役に立たないので口を出さないでほしいとのこと。スラドは特にそのような制約はないので、自由にコメントしてほしい。

ASCII.jpの記事によると、最近ではUTF-8形式のテキストファイルも増えているがその反面、WindowsでUTF-8を使うとWindows Searchの利用に不便が生じることがあるそうだ。

正確にはファイル先頭にバイトオーダーマーク（BOM）のあるUTF-8は正しく認識できるものの、BOMのないUTF-8の場合、日本語などの非ASCII文字で全文検索ができないとしている。BOMはUTF-8形式において必須項目とされていないため、BOMのないUTF-8のデータも数多く出回っている。Windowsに付属するメモ帳でも「19H1」（May 2019 Update）からは標準設定ではBOMのない仕様に変更されている。

あるAnonymous Coward 曰く、

冷凍庫の電源トラブル等で温度管理ができなかったCOVID-19ワクチンの接種を避けるため、埼玉県北本市が冷凍庫の温度を自動で監視するシステムを新たに導入した(NHKニュースの記事)。

今までは人手で頼っていた冷凍庫の温度監視を、カメラで1分ごとに撮影し専用のソフトで読み取ることで、職員による定期巡回が不要となり、異常発生時にはアラートメールが届く仕組みだという。

写真を見ると、LogicoolのWebカメラ？で冷凍庫のLEDを撮影しているようだ。ノートPCっぽいACアダプタも見えることから、見えないところにノートPCが隠れているのだろうか。カメラのドライバーがあればラズパイ等でもいけそうである。

みなさんの職場や自宅でも、ノートPC、ラズパイ、Arduino等で作った手作り感あふれる装置があると思うので、それをスラドで披露してほしい。

北本市が導入したシステムはパシフィックシステム(さいたま市)の「PARCS Suite WATCHER」というもので、Webカメラや環境センサーを接続したセンサーゲートウェイとサーバーで構成される。センサーゲートウェイとサーバーはおそらく同じハードウェアで、中身はRaspberry Pi 1～3のModel B(+)とみられる。価格は198,000円からとなっているが、北本市はパシフィックシステムから2022年2月28日まで無償貸与を受けるとのこと(プレスリリース、 動画)。

Googleは11日、Chrome OSのリリース間隔を4週間に短縮する計画を明らかにした(Chromium Blogの記事、 9to5Googleの記事、 Andoid Policeの記事)。

Googleは3月にChromeブラウザーのリリース間隔をChrome 94以降で4週間おきにする計画を発表しており、これに合わせてChrome OSのリリース間隔が調整されることになる。リリース間隔をこれまでの6週間おきから4週間おきに短縮することで新機能をより早く提供できるようになるだけでなく、セキュリティ・安定性・高速性・シンプルさというChrome OSの重要な柱を優先し続けていくことにもなるという。

Chrome OSのリリース間隔が4週間に短縮されるのは第4四半期のM96から。M94から4週間おきとなるChromeブラウザーのリリース間隔とのギャップを埋めるため、Chrome OSのM95はスキップされ、M94が10月14日、M96が11月30日に安定版リリース予定となっている(Chromium Dash)。また、企業や教育機関ユーザー向けに6か月おきの更新チャンネルをM96までに導入する計画もあるとのことだ。

Googleは9日、次期Androidの2番目のベータ版となるAndroid 12 Beta 2を提供開始した(Android Developers Blogの記事)。

Beta 2ではGoogle I/Oで発表されたプライバシー機能など新機能のいくつかが含まれており、位置情報やマイク、カメラにアクセスしたアプリのタイムラインを表示し、アクセス許可設定を管理できるプライバシーダッシュボードがシステム設定に追加された。マイクやカメラにアプリがアクセスしていることを示すインジケーター表示やクイック設定からのマイク・カメラのトグル、アプリがクリップボードのデータを読み取った時の通知機能も利用できる。また、ステータスバーやクイック設定、システムの設定画面にわたり、よりシンプルかつ直感的に操作できるコネクティビティエクスペリエンスが導入されているとのこと。

Beta 2はPixelのベータプログラムやデバイスメーカーのベータプログラムで入手できるほか、GSIイメージを利用することも可能だ。テストに使用可能な実機がない場合でもAndroid Emulatorが利用できる。また、Android TVでもBeta 2が利用可能だ。

Beta 2では8月のプラットフォーム安定版のマイルストーンに一歩近付き、より多くのユーザーが試用を開始することから、アプリ開発者にとってはAndroid 12との互換性を確認する時期でもある。現時点でtargetSdkVersionを変更する必要はなく、Google Playなどで一般公開されている自分のアプリをAndroid 12 Betaデバイスまたはエミュレーターにダウンロードして動作を確認し、機能やUIで問題が生じたら修正版を公開すればいい。

10日から配信の開始された「二ノ国」シリーズのソーシャルゲーム版である「二ノ国:Cross Worlds」（略称:ニノクロ）の規約が物議を醸していたようだ（GAME Watch、J-CASTニュース）。現時点では規約が改定されているが、配信当初の利用規約には情報の収集対象にマイナンバーと銀行口座番号が含まれてたという。具体的には、

● お客様からご提供いただく個人情報 当社は、サービスの提供のためにお客様の個人情報を収集します。 ● 収集する情報:氏名、住所、メールアドレス、電話番号、銀行口座番号（通帳の写し）、TIN（マイナンバー） など

という記述があったとされる。ネットなどの炎上を受けて利用規約は改定された。公式Twitterは10日の18時頃に、

プライバシーポリシーにおきまして、一部誤解を招く表現がございましたため、改定を実施いたしました。お客様には多大なるご心配、ご迷惑をおかけしましたことを深くお詫び申し上げます。

とする案内を出している。修正リリースやJ-CASTニュースの記事によれば、配信元であるネットマーブルが手がけるK-POPグループを題材にしたゲーム「BTS Universe Story」で、必要な銀行口座情報やマイナンバーを求めることがあるから、その記述が残ったまま規約をコピペしまったというのが理由であるようだ。

マイナンバーカードの交付申請数が6日段階で5000万476枚になったそうだ。総務省が8日にメディア向けに発表したもので、交付済みの枚数は同じく6日の段階で4084万8199枚であるという。交付率は32.1％であるとしている。9月には交付枚数でも5000万枚を突破する可能性があるようだ（Reuters）。

カード交付の遅れも指摘されている。急増する申請に対して市区町村側の交付業務が追いついていないという。現在、1カ月間で作製できるのは300万~400万枚程度が限界となっており、実際の交付枚数が5000万枚を超えるには3か月程度の時間が必要だとしている（財界オンライン）。

headless 曰く、

x86版(AMD64含む)のLinuxで、無条件にRAMの先頭1MBを予約することになったようだ(Phoronixの記事、 LKLMアーカイブ)。

既にx86版のLinuxではSandy Brdigeの統合グラフィックスのバグ対策として該当環境では先頭1MBを予約する仕組みになっているが、最近Ryzen環境でLinux 5.13 RCが起動しないという報告があり、予約サイズの違いによるものだと判明している。そのため、細かく対応するよりも無条件に先頭1MB全体を予約する方がシンプルだ。

これに対しLinus Torvalds氏はしぶしぶプルリクエストを受け付けた。Torvalds氏は1MBが使えなくなってもGB単位でRAMを搭載する現在のPCに影響はなく、自身も気にしないとしつつ、小規模な構成をしたい人はx86をあきらめるしかないのか、レガシーDMAリソースを消費することになるなどと述べ、「but ..」を繰り返している。WindowsではどうなっているかというTorvalds氏の疑問に対しては、Windows 7でBIOSのバグを回避するため先頭1MBをすべて予約しているとの回答が出ている。

ITエンジニア向けQ&Aサイト米Stack Overflowが2日、オランダの投資会社Prosus NVによって買収されたことが発表された。買収金額は約18億ドル（約2000億円）。当局の承認などが通れば第3四半期（7~9月）に手続きは完了するとしている。Stack Overflowはプログラミング関連の質問や回答を行えるサービスで、解答の中から優れたものをユーザーの投票などによって選んだりできる。日本でも事業を展開している。Stack OverflowのブログでCEOであるPrashanth Chandrasekar氏は、今回の買収より迅速かつ確実な国際展開やM&Aの機会の増加、より深いパートナーシップの強化などが期待できるとしている（Stack Overflowリリース、Stack Overflowブログ、GIGAZINE、ITmedia）。

headless 曰く、

Chrome Canaryの最新版では、フラグ設定でFLoC(Federated Learning of Cohorts)の有効・無効を設定するオプションが表示できるようになっている(Ghacksの記事)。

Googleが提案するFLoCは、サードパーティcookieを使用せずに関連性の高い広告を表示する仕組み。Chrome以外のメジャーブラウザーでは採用しない雰囲気になっているが、Chromeでは3月から日本を含む10か国で、ユーザーのごく一部を対象にテストが行われている。

FLoCのオプションを追加するには、chrome://flagsで「Privacy Sandbox Settings 2」(chrome://flags/#privacy-sandbox-settings-2)を「Enabled」にする。あとはChromeを再起動すれば「プライバシーサンドボックス」設定ページ(chrome://settings/privacySandbox)でFLoCの有効・無効を切り替えられるようになる。

ただし、設定ページでFLoCを無効にしても、EFFの「Am I FLoCed?」サイトではFLoC有効と表示される。Googleがテストからのオプトアウト方法としているサードパーティcookieの無効化を行っても結果は同じなので、無効化できている可能性もあるが、詳細は不明だ。なお、拡張機能「DuckDuckGo Privacy Essentials」をインストールすると、FLoC無効と表示されるようになる。

あるAnonymous Coward 曰く、

米Microsoftは27日(現地時間)、Web版のExcelにスクリプト機能「Office Scripts」を実装したと発表した。 　スクリプトは、この自動化メニューの「操作を記録」を押して、一連の操作を行なうだけで記録され、プログラミング知識は不要。スクリプトをカスタマイズしたい場合はTypeScriptベースのエディタで直接編集できる。

情報元へのリンク

米Microsoftは27日、Web版のExcelで「Office Scripts」が利用可能になった発表した。Office Scriptsは、Excel Onlineの操作を記録して自動実行をできる機能。アクションレコーダにより、Excelで実行したアクションを記録、任意に実行できるスクリプトととして利用できるようになる。コードエディタを使用して内容を変更することも可能となっている（Microsoft Tech Community、PC Watch、TECH+）。

この機能が利用できるのは、Microsoft 365のデスクトップアプリが利用可能な商用ユーザーまたは教育機関向けライセンスを所持しているユーザー（Office 365 E3またはE5など）。すでに利用可能なユーザーの場合、Excelのメニューバーに「自動化」というメニューが追加されているという。日本語環境でも利用可能であるようだ。

headless 曰く、

Firefox Nightlyにクライアントサイドの機械翻訳機能が実装され、限定的ながらテスト可能になった(Ghacksの記事)。

クライアントサイドの機械翻訳はクラウドに翻訳元の文章を送ることなくローカルで処理が完結するため、プライバシーや機密情報漏洩を懸念することなく安心して利用できる。計画は2019年に発表され、Bergamotプロジェクトで開発が進められている。最近では拡張機能をNightlyにインストールすればテスト可能になっていたが、有効化の手順は少し複雑だった。

最新のNightlyでは翻訳機能が統合されたため、「高度な設定 (about:config)」で「extensions.translations.disabled」を「false」にすればテスト可能になる。ただし、翻訳対象と翻訳先言語は限定的だ。翻訳対象はエストニア語・スペイン語・英語の3言語に対応するが、対象言語であっても翻訳可能な言語と判定されなければ翻訳操作をするための通知バーが表示されない。

たとえばmicrosoft.comのスペイン語のページでは、対象国によって通知バーが表示されるもの(アルゼンチン・スペイン・メキシコなど)と表示されないもの(ボリビア・コロンビア・エクアドルなど)がある。また、mozilla.orgのエストニア語やスペイン語のページでは通知バーが表示されない。英語のページで通知バーが表示されるものは見つけられなかった。

翻訳先言語としてはエストニア語・スペイン語・ドイツ語・英語の4言語が提示されるが、選択肢が表示されるのはいったん英語に翻訳された後であり、しかも英語以外の言語を選ぶとエラーになる。つまり、現時点ではエストニア語またはスペイン語を英語に翻訳する組み合わせでしか利用できないことになる。

Mozillaは5月27日、FirefoxにおけるChrome拡張機能プラットフォームのManifest V3サポート計画を発表した(Mozilla Add-ons Blogの記事、 The Registerの記事)。

Chrome拡張機能プラットフォームのManifest V2とFirefox WebExtension APIの互換性は100%近く、拡張機能開発者が容易にFirefoxとChromeをサポートできるようになっているが、Manifest V3では数多くの変更により新たな非互換性が生まれる。Mozillaでは拡張機能開発でFirefoxとChromeの高い互換性を維持するため、Manifest V3をサポートすることにしたという。ただし、コンテンツブロッキングに関してはGoogleと異なる実装をするそうだ。

Manifest V3ではdeclarativeNetRequest(DNR) APIが導入され、ブロッキング用途でのwebRequest APIからの置き換えが必要になる。DNRによりブロッキング処理は高速化するが、複雑なブロッキングアルゴリズムが使用できなくなる点などが批判されている。そのため、Mozillaでは複数のコンテンツブロッキング拡張機能開発者と議論した結果、DNRを実装しつつwebRequestによるブロッキングのサポートも維持するという。webRequestによるブロッキングサポートは拡張機能開発者のニーズを満たすソリューションが見つかるまで継続するとのこと。DNR実装の進捗状況はバグ1687755で確認できる。

Manifest V3は規模が大きいため実装には時間がかかるが、Mozillaでは2021年第4四半期に開発者によるテストが可能になり、2022年の初めには拡張機能の登録を受け付けられるようにしたいとしている。Manifest V2の廃止時期は未定だが、Manifest V3が安定版となってから少なくとも1年間はサポートするとのことだ。

Arm版Windows 10がプリインストールされた開発者向けPC「Snapdragon Developer Kit」が発表された。この製品はSnapdragonのSoCを搭載した小型PCで、MicrosoftとQualcommが協業して開発したものだという（Qualcommリリース、PC Watch、エルミタージュ秋葉原、ITmedia）。

アプリ開発者向けのArmを搭載したPCは数が少ないことから開発したとしている。ディスプレイやキーボード・マウスなどは手持ちのものを使用できるため、開発者はコスト負担を抑えつつ環境を整えることができるとのこと。低価格な開発キットとしているが、現時点では価格や詳細なスペックは不明。2021年夏にMicrosoft Store経由での販売が予定されている。