ブックマーク一覧

  • パンクしない予定の組み方の限界は処理能力の“6分の5”──30年来の数学未解決問題「輪番割当」京大証明【研究紹介】 - レバテックLAB

    山下(Seamless) 2014年から幅広い分野の研究論文をピックアップして解説しているメディア「Seamless」を個人運営。 X(@shiropen2)でも更新情報を発信中。 @shiropen2 Seamless(シームレス) 著者記事一覧 京都大学数理解析研究所の河村彰星准教授がPNASで発表した論文「Proof of the Density Threshold Conjecture for Pinwheel Scheduling」は、複数のタスクを期限通りにこなすための基礎となる「輪番割当」に関する30年来の数学の難問を証明した研究報告だ。 さらに関連する成果として、同研究所の小林佑輔准教授との共著論文が、2026年8月31日から9月4日(現地時間)にイタリアで開かれる欧州算法シンポジウム(ESA 2026)で発表される。 どんな仕事の組み合わせでもスケジュールが成立する「6分

    パンクしない予定の組み方の限界は処理能力の“6分の5”──30年来の数学未解決問題「輪番割当」京大証明【研究紹介】 - レバテックLAB
  • 当社システムへの不正アクセスに関するお知らせ(第二報)(2026年8月19日 18:40更新) | さくらインターネット

    2026年8月17日に公表した「当社レンタルサーバーサービスの一部環境に対する不正なアクセスについて」に関して、調査を継続しておりましたところ、新たに判明した事項がありますのでお知らせいたします。 このたびは、お客さま、お取引先、パートナー企業その他関係者の皆さまに、多大なるご心配とご迷惑をおかけしておりますことを深くお詫び申し上げます。 ■2026年8月19日18:40更新 「件に関するお問い合わせ先」内に、「当社システムへの不正アクセスに関するご案内および、よくあるご質問(FAQ)」ページへのご案内を追記いたしました。 1. 新たに判明した事項 2026年8月17日に公表した「当社レンタルサーバーサービスの一部環境に対する不正なアクセスについて」に関し、当社では認証情報の無効化やアクセス遮断等の封じ込め対応を実施した後、影響範囲の確認及び調査を継続してまいりました。 その過程で、新た

    当社システムへの不正アクセスに関するお知らせ(第二報)(2026年8月19日 18:40更新) | さくらインターネット
    miholovesq
    miholovesq 2026/08/20
    連絡来てないけど漏れてるんだろうなー
  • 年1~2回しか映画館行かない俺が選ぶ「よかったらこれも見てみて」20選

    年間100以上映画館に通う俺が選ぶ「これ観てない奴とは正直、映画の話をしたくない」20選 👆️これを見て私もおすすめリストを作りたくなった。 元増田の二番煎じにならないように、ここでは「超有名でも大ヒット作でもない、けれど私がぜひ推したい〈ちょっといい映画〉」をご紹介したい。 見終わった後に何も残らず「面白かったね~」となることが基準。中には押しも押されぬ名作も混じってるけど、「見てない人もいるかな? いるかも?」くらいの観点で選んでるのでご勘弁を。順番は古い順。 ビッグ(1988米) あらすじ:大人の体に変えられてしまった少年(トム・ハンクス)がオモチャ会社で出世する話。 みどころ:今のような重厚でシリアスな俳優になる前のトム・ハンクスは軽妙なコメディを真骨頂としていて、いい作品がたくさんあります。ほかにも「マネー・ピット」「ターナー&フーチ」「メイフィールドの怪人たち」などがおすす

    年1~2回しか映画館行かない俺が選ぶ「よかったらこれも見てみて」20選
  • 年間100回以上映画館に通う俺が選ぶ「これ観てない奴とは正直、映画の話をしたくない」20選

    「死ぬまでに観るべき映画」なんて手垢のついたテーマだと分かってる。 でもググって出てくるランキングは判で押したように無難な名作揃いで、正直あくびが出る。 だから今回は、年間100以上を劇場で観続けてきた人間として、無難さを捨てて選んだ。 基準はひとつ。「観る前と観た後で、世界の見え方が変わるかどうか」。それだけ。 異論は認める。というか歓迎する。 「これが入ってないのはおかしい」というやつがあれば、ブコメで殴り込んできてほしい。 それも含めて映画の楽しみ方だと思ってる。 『ショーシャンクの空に(1994/フランク・ダラボン)』 あらすじ:殺しの冤罪で終身刑となった銀行員アンディが、劣悪な刑務所で生き抜こうとする。 観るべき理由:希望とは何か、尊厳とは何か。 人生のどん底で心を折らない方法を、理屈じゃなく体で理解できる一。 『ファイト・クラブ(1999/デヴィッド・フィンチャー)』 あ

    年間100回以上映画館に通う俺が選ぶ「これ観てない奴とは正直、映画の話をしたくない」20選
  • macOSでメモリを使い続けるCursorUIViewServiceを無効化する

    はじめに こんにちは。 ここ最近、Macのメモリが妙に圧迫されているときにActivity Monitorを開くと、CursorUIViewServiceというプロセスが大量のRAMを使っていることが何度かありました。 私の環境では、気づいたときにはメモリ使用量が約15GBまで増えていました。プロセスを強制終了すればRAMは解放されますが、しばらくMacを使っていると同じ現象が再発します。 そこで調べてみたところ、CursorUIViewServiceが利用する新しいテキストカーソル機能自体を無効化できることがわかりました。同じ問題に当たったときのために、調べた内容と実際に試した手順を残しておきます。 動作確認に使った環境は、2026年8月時点のmacOS 26.5.2です。 CursorUIViewServiceとは何か 名前だけを見るとコードエディタのCursorと関係がありそうですが

    macOSでメモリを使い続けるCursorUIViewServiceを無効化する
  • Swinsian

    Swinsian 3 The Advanced Music Player for Mac Swinsian is a sophisticated music player for macOS with wide format support, folder watching, advanced tag editing and designed to be responsive even with the largest libraries. Customise The art grid, column browser and track inspector provide multiple ways to view and navigate your music. They can also be hidden if you prefer a minimal interface. Orga

  • 「文学部」はなぜ〈文芸〉だけの学部ではないのか——「文学・literature・letters」の語誌と大学組織史|Reading Monkey

    要約——「文学部」は文芸だけの学部ではない。1877年創設時の東京大学文学部は、史学・哲学・政治学と和漢文学から成っていた。稿は、英語 literature の語誌、ヨーロッパの大学組織史、日語「文学」の概念史という三つの異なる歴史を突き合わせ、この名称の広さが例外ではなく当時の通常の語義だったことを示す。ジョンソン『英語辞典』(1755年)とトッド版(1818年)で literature の語義は「学識」のみであり、大槻文彦『言海』(1889–91年)の「文学」にも〈文芸〉の語義はない。帝国大学令は「文科大学」の名を挙げるが、その内実を条文化してはいない。「文学部=文芸の学部」という理解は、後発の狭義を先行する制度語へ遡及的に投影したものである。 はじめに——三つの歴史を区別する「文学部」という名称は、現代日語では小説・詩・戯曲などの〈文芸〉を主として研究する学部、という連想を招き

    「文学部」はなぜ〈文芸〉だけの学部ではないのか——「文学・literature・letters」の語誌と大学組織史|Reading Monkey
    miholovesq
    miholovesq 2026/08/02
    文芸のことだと誤解されがちということを知らなかった…! 文章、書物、哲学、つまり実学ではない教養なのだと思って進学したわ
  • カセットテープの音声をPCに保存できる「USB Type-C搭載カセットプレイヤー」、ナカバヤシが発売 

    カセットテープの音声をPCに保存できる「USB Type-C搭載カセットプレイヤー」、ナカバヤシが発売 
    miholovesq
    miholovesq 2026/07/31
    欲しい…
  • NANAが話題だけどママレード・ボーイも色々とヤバいよね…小中学生の頃に読んでいた漫画は大人になると設定が気持ち悪くて読めないのが多いと思う

    けりー @kellyangyang NANAが話題だけどママレードボーイも色々ヤバいよね。小学生、中学生の頃に読んでいた漫画は今大人になると設定が気持ち悪すぎて読めないのが多いと思う。あの頃の思い出にとどめておきたい。 2026-07-29 17:57:38

    NANAが話題だけどママレード・ボーイも色々とヤバいよね…小中学生の頃に読んでいた漫画は大人になると設定が気持ち悪くて読めないのが多いと思う
    miholovesq
    miholovesq 2026/07/30
    嫌だけど、昔は2世代上ぐらいギリギリお妾さんがいたり隠し子がいたり今と違う倫理観で良く言や寛容、ただ1つの価値観で他人を嫌悪したりましてやポリコレ棒で叩くなんてのがなかったからでは? 源氏物語なんて…
  • 内視鏡専門クリニック

    https://natrom.hatenablog.com/entry/2026/07/27/234216 このエントリーのブコメを読むと、内視鏡専門クリニックが全然知られていないようなので、自分が受けた経過も含めて書いてみる。 内視鏡専門クリニックとは 胃カメラと大腸カメラを主に行うクリニック。 Googleマップで大きな駅を表示して「内視鏡」で検索すると出てくる。 わかりやすい所だと、立川の高島屋にある「立川髙島屋S.C.大腸胃道の内視鏡・消化器内科クリニック」がそう。 https://ta-eus.com/ 最近かなり増えているため、皆さんの最寄りの駅で検索してみてください。 内視鏡専門クリニックの特徴 保険を適用するので人間ドックより安価に受けられる 胃カメラと大腸カメラを同時に受けられる 鎮静剤を使用して寝ている間に受けることができるため苦痛がない 初回の受診 内視鏡専門クリニ

    内視鏡専門クリニック
    miholovesq
    miholovesq 2026/07/29
    1割負担で山のように湿布をもらいに行くジジババになりそう
  • 日本道路交通情報

    高速道路、一般道の道路交通情報や、渋滞予測、開通予定などを公開しています

    miholovesq
    miholovesq 2026/07/29
    災害時の通行実績情報
  • 10年ぶりに家族でプールに行ったら、上裸の男性は自分含めかなり少なくて浦島太郎状態になった…みんな黒い長袖の服を着ていた、10年前にそんなものなかったはずなのに

    ゆきむら@30代眼科医 @ganka1212 10年ぶりに家族でプールに行ったら 上裸の男性は自分含めかなり少なくて浦島太郎状態になった みんな黒い長袖の服を着ていた、10年前にそんなものなかったはずなのに ラッシュガードというらしい、マナーなのかな 2026-07-27 20:53:24

    10年ぶりに家族でプールに行ったら、上裸の男性は自分含めかなり少なくて浦島太郎状態になった…みんな黒い長袖の服を着ていた、10年前にそんなものなかったはずなのに
    miholovesq
    miholovesq 2026/07/28
    日焼けは嫌なんだけど、こういう水着しかなくて東南アジアに行ったらむしろみんなバンバン露出しててカッコよくて肩身が狭かった。白いダルダルな身体を見せるのも嫌だし普段から鍛えようと思いました!
  • 開発効率が上がったCLIツール・コマンド10選 - Qiita

    「もう一度同じ作業をやり直し...」と画面を眺めながら、あの時は当に何度もエラーに悩まされました。Gitのコミットログをたどるたびに「これ、毎回手で打つの大変だよな」と感じていた私が、ついにCLIツールに出会った瞬間、開発のスピードが劇的に変わったのを感じました。もし同じように「何か上手くいくツールがないかな」と思っている駆け出しエンジニアの皆さんに、今こそ足を運んでほしい、僕が現場で学んだCLIツール10選をご紹介します。 作業をざっくり2倍にした「fzf」――曾々たる検索の悟り 僕はもう、findやgrepの組み合わせでコードを探す日々を過ごしていました。大量のファイルの中から特定の関数名や変数を検索するたびに、ターミナルで何度も同じコマンドを打ち込んでいました。「git grep」も「ack」も「ripgrep」も...全部試してみたんですが、一つだけが足りないのが「インタラクティ

    開発効率が上がったCLIツール・コマンド10選 - Qiita
  • エスカレーターで歩く人を半分に減らしたAI──名古屋発、駅の見守りシステムを支えるLiDAR技術とreComputer Jetson - FabScene(ファブシーン)

    エスカレーターで歩く人を半分に減らしたAI──名古屋発、駅の見守りシステムを支えるLiDAR技術とreComputer Jetson 2026 7/17 エスカレーターの「片側空け」は、長年にわたって日に定着してきた慣習だ。しかし近年、その慣習を見直す動きが各地で広がっている。2023年10月、名古屋市は政令指定都市として全国初となる、エスカレーター立ち止まり利用を義務づける条例を施行した。 しかし、ルールをつくっても人はすぐには変わらない。具体的な罰則規定がないなかで、一度定着した慣習をアップデートするのは、一筋縄ではいかないことだった。 その課題を解くため、名古屋市内の複数の地下鉄駅で新たなシステムが導入された。LiDARセンサーで歩行者を検知し、リアルタイムにアナウンスする「エスカレーター見守り君」だ。実証実験では、エスカレーター上での歩行率が15.6%から7.9%へと約半分に低下

    エスカレーターで歩く人を半分に減らしたAI──名古屋発、駅の見守りシステムを支えるLiDAR技術とreComputer Jetson - FabScene(ファブシーン)
    miholovesq
    miholovesq 2026/07/18
    山口さんとライフゲームをペアプロする機会があって初手から脳内の構造体でゴリゴリ実装する人に拙いオブジェクト指向で設計するわたしが全然ついていけず「画像処理得意なんで」と言われたのはよい思い出です
  • AIによる工数削減を計測して見えた結果と考察 - ZOZO TECH BLOG

    はじめに こんにちは、データシステム部MA推薦ブロックの佐藤(@rayuron)です。私たちは、主にZOZOTOWNのメール配信のパーソナライズなど、マーケティングオートメーションに関するレコメンドシステムを開発・運用しています。 以前、テックブログで工数やAI活用による工数削減を計測する仕組みを、タスク管理ツールのGitHub Projectsで構築する方法をご紹介しました。前回の記事が計測の仕組みの作り方を扱ったのに対し、記事では仕組みを1年間運用して得られた結果とその考察、そして今後の展望をご紹介します。 目次 はじめに 目次 背景と課題 計測の仕組みと運用 計測の仕組み 運用の整備 結果と考察 AIによる工数削減とAI活用率の推移 作業内容別の効率 定性的な変化 体感と実測のギャップ 今後の展望 Spec: 仕様の明文化 Eval: 成果物の品質の評価 AIが自律的に動く状態の構

    AIによる工数削減を計測して見えた結果と考察 - ZOZO TECH BLOG
  • 「最近、蚊に刺されてもあまり腫れなくなってきた」蚊に刺された回数と年齢で人体の反応が変わってくるという研究がある

    4.04 @IV404404 実は蚊に刺された時の反応は年齢と回数により違っており、ステージ分類まである(最終的に腫れなくなるとされる) x.com/kuwako_772/sta… 2026-07-11 11:33:05 4.04 @IV404404 のでその観測はあっている。 原典 MELLANBY K. Man's reaction to mosquito bites. Nature. 1946 Oct 19;158(4016):554. 現在はStage Iに-/-が追加され、5段階になっている。 pic.x.com/zPtCyDgqrJ 2026-07-11 11:39:53

    「最近、蚊に刺されてもあまり腫れなくなってきた」蚊に刺された回数と年齢で人体の反応が変わってくるという研究がある
    miholovesq
    miholovesq 2026/07/15
    子どもといても刺されるぐらいめちゃくちゃ刺されるし痒くて腫れて跡に残る体質なのでデジタル根性焼きデバイスを手に入れてからはだいぶ怖くなくなった。子どもにも使えるしHeat itオススメ→https://amzn.to/4vZAGwV
  • 「本物の芋女代表」を主張するポストに「ナメんな」とビフォーアフターを投稿したら→ダイエットに成功、平成1桁、1人称が妾の人までたくさんのイメチェンが集まる

    ْ @cvouql ブスブス言われていじめられてた時代をかわいいって言ってくれてありがとうねー!( ᐢ•̀ .̫ •́ )︎੭◝🎀⭐️ 2026-07-12 10:01:11

    「本物の芋女代表」を主張するポストに「ナメんな」とビフォーアフターを投稿したら→ダイエットに成功、平成1桁、1人称が妾の人までたくさんのイメチェンが集まる
    miholovesq
    miholovesq 2026/07/15
    自己実現でコンプレックスがなくなるのはいいことだと思う。それはそれとして"垢抜けている"って本来すごく洗練されているという意味の言葉だと思ってたんだけど"一皮剥ける"ぐらいの意味で使うんだなぁと思った
  • 鳥よけ物理ディスクの新作販売終了 今後はダウンロード版のみ

    農業資材メーカーの相似農材(東京都)は14日、鳥よけ用物理ディスク「バーダマックス」の新作販売を年内で終了すると発表した。ネット経由で映像データを入手するダウンロード版へ移行する。従来のディスクは引き続き使用できる。 販売終了の理由について、同社ブログでは「物理メディアからデジタルメディアへの移行が進む昨今の情勢を踏まえた」と説明する。屋外での長期使用による反射面の劣化や、傷・汚れによる性能低下など、物理メディア特有の耐久性の課題も背景にあるという。 バーダマックスは1982年の発売以来「CD」「DVD」「Blu-ray」「HD DVD」の計4シリーズを展開してきた。しかし、映像のネット配信が主流になったことで録画需要が減少。国内メーカーも相次いでディスク生産から撤退を表明するなど、物理メディアは減少の一途をたどっている。 物理ディスクを廃止した2027年からは、ディスクが太陽光を反射する

    鳥よけ物理ディスクの新作販売終了 今後はダウンロード版のみ
    miholovesq
    miholovesq 2026/07/15
    "カラスの男性"よい
  • 授業スライド「小出し」で成績アップ、理科大が科学的に証明 | 教育業界ニュース「ReseEd(リシード)」

    授業スライド「小出し」で成績アップ、理科大が科学的に証明 | 教育業界ニュース「ReseEd(リシード)」
    miholovesq
    miholovesq 2026/07/14
    「累積提示法」。たしかに実感ともあってる。
  • DevOpsとは何だったのか

    SRE NEXT 2026の記事で、maruさん、ゆううきさん、Moriさんとの立ち話から、こんなポストをした、ということを書いた。 https://t.co/mGZbILmQRK にある「開発の時系列上の役割と、技術レイヤーの話が混ざっている」という話、maruさん、yuukiさん、moriさんと立ち話してた時に出た話で、DevOpsもそうだよね、という話になったのだけど、DevOpsも元々は、組織とか部門の話のはずなんだよね — mizzy (@gosukenator) July 13, 2026 整理してブログ記事にしてもいいかもな、たぶん面倒なのでやらない、と書いたけど、songmuさんのこのポストに触発されたこともあって、書くことにした。 小文字のdevopsという考え方、僕は素敵だと思っているのだけど、あまり語られているのを見たことはない — songmu (@songmu)

    DevOpsとは何だったのか
    miholovesq
    miholovesq 2026/07/14
    よくまとまってる。結構初期からDevOpsは組織文化の話だと誤解を解くための枕詞付きで語る必要があったので、とてもすばらしいコンセプトだけど爆発的に浸透はしなさそうだなと思ってみていた