レーン上の他人の寿司を食べたり、醤油ボトルの注ぎ口を舐めたり、寿司につばをつけるなど、回転寿司店で、客の迷惑行為を撮影した動画がSNSで拡散を続けている。 被害に遭った「スシロー」では、運営会社が行為の当事者と保護者から直接の謝罪を受けたものの、それを受け入れず、民事・刑事で法的措置をとる考えを表明した。 もしも、損害賠償を求める裁判を起こされた場合、それが億単位・数千万円単位であっても、このような迷惑行為では「自己破産」しても支払いの責任を免れないことがあるという。 バカな行いで一生を棒にふることがあるかもしれず、本当に注意が必要だ。 ●断じて許さない…回転寿司大手がこぞって法的措置を検討 「スシロー」だけでなく、同様の迷惑行為が確認された「はま寿司」も警察に被害届を提出し、「くら寿司」でも過去に撮影された動画をめぐって警察に相談するなど、業界をあげて断固として迷惑行為を許さない姿勢がみ

飲料メーカー大手の「サントリー食品インターナショナル」は、ことし5月から主力の缶コーヒーなどを値上げすることを決めました。缶コーヒーの値上げはこの会社ではおよそ25年ぶりです。 今回、値上げの対象となるのは、コーヒーやお茶それに炭酸飲料など缶や瓶に入った商品あわせて42品目で、ことし5月1日の出荷分から実施されます。 価格の引き上げ幅は、税抜きの希望小売価格で19％から22％となります。 このうち主力の缶コーヒー「BOSS」は185グラム入りで、税抜きの希望小売価格がこれまでの115円から140円となります。 缶コーヒーの希望小売価格を引き上げるのは1998年以来およそ25年ぶりです。 この会社では、去年10月に今回の対象品目とは別にペットボトルの飲料など一部の商品を値上げしましたが、今回、価格を引き上げた理由について、原材料に加えてエネルギーなどのコストも上昇し、これまでの企業努力だけで

// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作

昨年11月に緊急承認された塩野義製薬の新型コロナウイルス治療薬「ゾコーバ」。承認から2カ月余り経つが医療現場では患者への処方が広がっていない。 “大阪産コロナワクチン”の開発頓挫…「アンジェス」は投資家らの期待を裏切り続けてきた ■200万人分を確保して使用は2万人以下 政府は昨年7月、塩野義と100万人分の購入契約を締結。その後、12月にはさらに100万人分を追加購入、合わせて200万人分を確保している。ゾコーバは細胞に侵入したウイルスの増殖を防ぐ働きがあり、軽症や中等症患者向けに、1日1回、5日間経口投与する。国内初の飲み薬として期待された治療薬だ。 これまでに全国で処方された患者は厚労省によれば、11月末から今年の1月16日まで1万7500人にとどまっている。感染拡大に減少傾向が見えるとはいえ、いまだ感染終息は見えていない。政府はゾコーバの消費量をどうみているのか、厚生労働省感染症対

米Twitterが2月2日、APIの無料提供を9日に終了すると発表したことで、Twitter APIを利用しているサービスの今後に注目が集まっている。 複数のツイートをまとめるサービス「Togetter」（運営：トゥギャッター社）は2日夕、「API有料化後も可能な限り対応予定」と発表した。同社は、Twitterのパートナー企業（NTTデータ）から有料で提供されているAPIを既に使っており、「有料APIの使用自体は急激な変更とは捉えていない」と冷静に構えている。 つぶやきをブログ形式で保存できる「Twilog」と、「いいね」に登録したツイートを、日付やユーザーごとに表示できる「favlog」を運営する個人開発者のロプロスさんは、両サービスについて「可能な限りサービスを存続したい」としながらも、「状況によっては無料で提供することは難しくなるかもしれない」と述べている。 有料化後のAPIの価格な

背景 最近Ryzen 9 7950xを載せたPCを作ったのですが思ったより数値計算の速度が出なかったので、よく出てくる基本的な演算性能を調べてみました。今回は巨大なベクトルの内積の計算速度を対象とします。なお筆者はHigh-performance computingの専門家ではないので以下には間違いが含まれているかもしれません。 測定対象 10億次元のベクトルの内積を倍精度で計算する以下のプログラムの計算速度を測ります。特にOpenMPを用いた並列化のよりどの程度速くなるかを主眼としています。 #include <vector> #include <iostream> #include <omp.h> #include <chrono> #include <ios> #include <iomanip> template<typename RealType> void vec_inner_

「当事者の状況を見てください。当事者の声を聞いてください。そうすれば、何年もかけて検討する余裕がある話ではないことは、簡単に分かるはずです」

いや、これはリアルすぎる……。『グランツーリスモ７』を「PlayStation VR 2」でプレイしたとき、そこにはないはずの「車の匂い」が筆者の鼻孔を突いた。 VRのヘッドマウントディスプレイを使用できるレースゲームは世の中にすでに多数あり、『グランツーリスモ』シリーズでも前作『SPORT』にて初代PS VRに対応している。それでもPSVR2のより真に迫った体験、精細なグラフィックスは、一世代前とは一線を画すバーチャル体験を生み出していた。 PS VR2を使用して『グランツーリスモ7』をプレイすれば、本作に収録されたすべてのレースをすべての車を用いてVRでプレイすることができるという。 ※この映像はPSVR2発表前に公開された『グランツーリスモ７』製品版のトレーラーです。 『グランツーリスモ７』自体がそもそも、450種以上の「これ以上作りこんでも意味がない」「PS5でも表現しきれない」レ

新型コロナ対策としてのマスク着用をめぐり、政府は卒業式や入学式では感染リスクは高くないとして、着用を推奨しないことなどを検討していて、専門家の意見も聞いたうえで、今月中のできるだけ早い時期に結論を得たい考えです。 政府は、新型コロナの感染症法上の位置づけを5月8日に、季節性インフルエンザなどと同じ「5類」に移行するのを見据え、マスクの着用を個人の判断に委ねることを基本とするよう見直す方針で、与野党双方からは、卒業シーズンを控え、学校現場では先行してルールを緩和するよう求める意見が出ています。 こうした中、政府は卒業式や入学式では式典中に継続的に会話が行われる状況が想定されず、体育館などは換気をしやすいことなどから、感染リスクは高くはないとして、一定の感染対策を講じることを条件に、マスクの着用を推奨しないことを検討しています。 この場合でも、着脱を無理強いすることがないよう求める考えです。

2月2日の深夜からTwitterで「アカウントが永久凍結された」との報告が相次ぎ、「凍結祭り」、「永久凍結」、「アカウント凍結」といったキーワードがトレンド入りする事態となっています。 外部サービスと連携していると凍結対象に？　凍結が始まったのが深夜ということもありまだ公式発表はありませんが、情報を集めたかぎりではTwitterアカウントを外部サービスと連携して自動投稿させているアカウントが対象になっているようです。 具体的なサービス名としては、悪口を受け付けずに匿名で質問を募集できるサービス『マシュマロ』が挙げられています。 実際、マシュマロ公式Twitterアカウントも凍結状態になっています。 マシュマロの公式アカウントも凍結。筆者キャプチャ。 同サービスはインターネットを中心に活動している人が多く利用しているため、イラストレーターさんやVTuberさんがアカウント凍結の状態に陥ってい