旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ

カマシ・ワシントンの最新アルバム『Fearless Movement』は、これまでの延長線上にありつつ、明らかに趣が異なる作品でもある。愛する娘が生まれ、彼女と暮らす中で感じたことがインスピレーションになっていたり、概念としての「ダンスミュージック」をテーマにしていたりするのもそうだし、過去の作品にあったスケールの大きさやフィクション的な世界観とは違い、現実（≒生活）に根を下ろした視点から生まれた等身大で身近に感じられるサウンドになったようにも感じられる。 たとえば、これまでは壮大な世界観をクワイアやオーケストラと共に表現していたが、今回はほぼ自身のレギュラー・バンドで構成しており、外から加わっているのはほとんどがボーカリストやラッパーだ（カマシはこれまで、声にまつわる表現はバンドメンバーのパトリス・クィンに任せていた）。ここでは様々な声がそれぞれのメッセージを語っているのだが、その言葉か

中小企業の事業再生策として、国も推奨するM&A（企業の合併・買収）で、悪質な投資会社による被害が相次いでいる。複数の被害企業によると、この投資会社は買収後、役員報酬などの名目で資金を吸い取る一方、被害企業の負債を残したまま連絡を絶つ手口を繰り返していたという。破綻に追い込まれた企業も多く、一部が警察に被害を相談している。（佐藤航） 問題になっているのは東京都千代田区の投資会社「ルシアンホールディングス」。自らの商社も被害に遭い、「被害者の会」を取りまとめる富山市の荒川公一さん（61）によると、2021～23年にかけ、全国の37社が被害に遭った。業種は飲食会社や建設、電気工事など幅広い。複数のM&A仲介業者を通じ買収を持ちかけていた。

リポジトリに Issue を新規作成した際に、Project (Beta) へ自動追加する設定がなく不便だったので、 GitHub Actions を使用して自動化する方法をご紹介します。 Organization で PAT が使用できない環境だったので、GitHub App によるアクセス許可を使用します。 GitHub App を作成する GitHub App で認証/認可するために GitHub App を用意します。 GitHub App を作成するためには、アカウントの設定画面を開きます。 Organization のプロフィールから Settings を選択します。 GitHub App を作成する画面は Third-party Access ではなく、Developer settings のアコーディオンメニューに隠されています。 New GitHub App をクリックし

VTuberの間で恋愛アドベンチャーゲーム「バニーガーデン」がVTuberの間で流行しています。 （月ノ美兎 YouTubeチャンネルより） 本作は、紳士様の憩い場「バニーガーデン」で働くキャストとお酒を交えた交流を行い、仲良くなっていくという内容のゲームです。可愛らしいバニーガールたちとのコミュニケーションの豊富さが魅力ですが、現実の高級バーに見られる高額な支払いを彷彿とさせる要素もあり、女の子たちにのめり込みすぎて歯止めが効かなくなってしまうことも……。 月ノ美兎さんはギャル口調のキャラクター凛に一目惚れ。一挙一動が好きになってしまいますが、一緒に旅行がしたいという欲望が膨らみ、プレゼントや高いボトルに手を出し始めるように。ふたりでキャンプに行くほどに関係を深めていきますが、誕生日イベントでまさかの入店拒否され大ショック。「見捨てないで」と叫びながらまた高いボトルを頼む姿を見せました。

金巻ともこ @tomoco 一人語りのえっちなボイスドラマって落語のメソッドだと思うっていう発見をしました。脚本書く時にみなさん心がけてください、落語です。聞く時は落語だというのを忘れてください。ひとりで全部やって状況説明するの完全に落語 2024-05-01 21:28:12 John＠マ力口2号 @Jack_O_H_Nielse ＞一人語りのえっちなボイスドラマって落語のメソッドだと思う これだけで「するってぇと何かい、お前さんその催眠アプリであっしを操ろうってのかい。その手は桑名の焼き蛤ってんだ。だいたい催眠なんてね──」と幻聴が聞こえてきたし、蕎麦を啜る要領で耳舐め音を立てる落語家が見えてきた 2024-05-02 15:06:22

こんにちは、Mackerel チーム SRE の id:heleeen です。 この記事は、はてなの SRE が毎月交代で書いている SRE 連載の4月号で、先月分は id:taxintt さんのサービスの一般公開前からSLI/SLOと向き合うです。 今回は、先日 Mackerel チームで行った障害対応演習で実施した内容と、どのような学びを得たかについて紹介します。 本番障害はできればなくしたいものですが、すべての障害を完全になくし可用性を100%にするのはとても困難です。そのため、障害が発生したときの影響範囲を小さくする仕組みを導入したり、ロールバックを素早く行えるようにしておくなど、影響を抑えるための取り組みが必要になります。 Mackerel では、その一環として、障害対応時のオペレーションの確認やバックアップからの復旧が行えるかの検証などの起きてしまった障害を素早く収束させたり、

『みんなで小さく区切ってやる』とは『みんなで小さく区切ってやる』は複雑な問題を解決するためにみんな（チーム）で一緒になって改善していくためのやり方です。 『みんなで小さく区切ってやる』で大事な考え方は『経験から学ぶ』と『ちょっとずつ進める』です。小さく区切ることで、ちょっとやってみて、それから学び、またちょっとやってみる。それを繰り返しながら進みます。 『みんなで小さく区切ってやる』を上手にするには『見える化』『チェック』『改善』の3つが重要です。これにより『経験から学ぶ』効果を高めます。 機会を作る『見える化』『チェック』『改善』を取り入れるために5つの機会を設けましょう。これらの機会は毎回同じ時間に行うことでリズムが生まれいい感じになります。 『区切り』があることで立ち止まれます。立ち止まることで落ち着いて『チェック』し『改善』することができます。この『区切り』は1週間もしくは2週間に

ホーム総合・ビジネス《訃報》ブライダルファッションデザイナー、桂由美さんが急逝　日本のブライダルシーンを塗り替える2024/04/30 10:30 更新 この記事を保存ツイート ブライダルファッションデザイナーの桂由美さんが4月26日、逝去した。94歳だった。1964年にブライダルファッションデザイナーとして活動を開始以降、日本のウェディングシーンを塗り替える多大な功績を残しながら、生涯現役を貫いた。きものから着想した独自のシルエット「ユミライン」のドレスは海外でも話題となり、ニューヨークやローマ、パリ、アジアへと活躍の場を広げた。ウェディングドレスにとどまらず、友禅や西陣織なども作品に取り上げ、日本の伝統技術を後世に残すために尽力した。 【関連記事】 「ユミカツラ」来年の60周年前に　ウェディングドレスや和装など約70点披露 ユミカツラブランドは、30年以上にわたり桂さんの右腕として共に

もうかなり前の話だ。 ある会社で、「会社案内・パンフレットのリニューアルをする」と言うプロジェクトが持ち上がった。 社長は一人の人物をプロジェクトマネジャーとして任命し、予算を付け、 「後はよろしく」 と、仕事をまかせた。 ところが半年後、ようやく社長は気づいた。 全くプロジェクトが進んでいないことに。 「どうなっているのか」とプロジェクトマネジャーを問い詰めたところ、彼は外注に丸投げしたまま、何もしていなかった。 外注側も、仕様が固まらず、プロジェクトは完全にスタックしていた。 社長は彼に話を聞いたが、彼は「外注から返事が無くて」の一点張り。そこで、社長は彼に要求した。「資料を出せ」と。 ところが彼は「出せない」という。 何か隠しているのではないか、おかしいのでは、ということで、皆でメールのやり取りや資料などを調べると、実質、彼が事実上、「外注に依頼をし、あとは本当に何もしていない」こと

絶賛成長期にあるだろう若手エンジニアは、どういう流れで自身の成長を促したら良いのだろうか、とふと思いつつ口頭で説明してみたけどよくわからんくなったので整理してみたいお気持ちです。 当ブログではアウトプットの効用みたいなものは書いてきましたが、インプットそのものについてはお初なので、自身を振り返る良い機会にもなりそうです。 はじめに これは私が二十数年間、プログラマー・インフラ・SRE といったエンジニアとして通ってきた中で、どのようにインプットをしてきたかを整理してみるチラ裏です。 自分は一般(?)と比べれば少々特殊な経歴で、情報学を学んだことも、新卒研修を受けたことも、IT系資格も、転職したこともない…… ほぼ独学による野良エンジニアとして生息してきましたので、あまり参考にはならないかもしれません。 それでも一応長く生き抜いてきたエンジニアの経験として、インターネットに数多くある参考例の

今回答えを出したい問いはこちら！！ インデックスはどのような仕組みを以て、何を実現したいものなのか それを踏まえたとき、インデックスはどういう場合になぜ貼る方が良いのか。また、どういう場合になぜ貼らない方が良いのか 大体分かっているよって人はサヨナラって感じのおさらい記事だぜ！！！！それじゃいってみよー🎉 あと、おれは今回MySQLにしぼっていくぜ👶 ってわけでOracleとかに興味があるやつは引き返しな！ indexの概要 公式の見解としては「where句を使ったselectクエリの実行速度を向上させるために実装されている、各行へのポインターのような振る舞いをする仕組み」って感じ👶 The best way to improve the performance of SELECT operations is to create indexes on one or more of t

恋人以上友人未満 yatoyato <毎週火曜更新>元AV女優・宮子がお見合いで再会したのは、まさかの元仕事相手…!?秘密でつながる２人のピュアピュアが想像以上に大炸裂ッ！オトナ可愛い新食感ラブコメディーにアナタも癒されること間違いなし♡ [JC6巻発売中]

国土交通省が主導するプロジェクトPLATEAU（プラトー）は、『Cities: Skylines』のMod「SkylinesPLATEAU」のv2.0を3月29日に公開しました。 オープンデータの3D都市モデルを『Cities: Skylines』にインポートするMod「SkylinesPLATEAU」はPLATEAUが2023年3月に公開した『Cities: Skylines』向けModで、実際の街の3Dモデルをゲームにインポートすることができます。「まちづくりの計画検討やワークショップ、教育の現場等で活用」できるとされています。 同ModはGitHubにてソースプログラムが公開されているほか、導入の詳しいマニュアルがこちらで公開されています。

ゲーム・エンタメ最新情報のファミ通.comインタビューPCゲームモバイル・アプリ声優『シャニマス』三川華月さん（鈴木羽那役）インタビュー。演じるときに意識しているのは、明るすぎず、暗すぎず、中間位置で演じること。ユニットメンバーやライブへの想いも聞いた

ゲーム・エンタメ最新情報のファミ通.comインタビューPCゲームモバイル・アプリ声優『シャニマス』小澤麗那さん（郁田はるき役）インタビュー。収録ではその場で芽生える感情をなによりも大事に。オーディションやライブのエピソードや楽曲に込めた想いなどを聞いた。

拙著の一つに『おうちで学べるデータベースのきほん』というデータベース初心者向けの入門書がある。2015年刊行なのでそれなりに年月が経っているのだが、ありがたいことに今でもコンスタントに読んでいただいている。 この本の中で「リレーショナルデータベースのテーブルは関数として捉えられる」という話をしているのだが、ある読者の方からそこがよく分からなかった、という質問をいただいた。ちょうどよい機会なので、少しこの点を補足説明しておきたいと思う。 テーブルが関数だと言うとき、二つの含意がある。一つは集合から集合への写像としての意味、もう一つが述語論理における命題関数としての意味である。一般的にテーブルが関数だという場合は、前者の意味で言われることが多い。こちらは関数従属性や正規形の概念にも繋がっていくから、関係モデルの理解という点でも広がりのあるオーソドクスな解釈だ。拙著でもこの意味で説明している。し

側弯症の女性が主人公の芥川賞受賞作「ハンチバック」。その作者で自身も側弯症である市川沙央さんに「ハンチバック」の作品に込めた思いなどを尋ねました。作品についての質問から、世間の障害者観についての質問まで、幅広くお答えいただきました。特に、障害者の権利やヘイト言説についての質問には、とても気持ちのこもった痛快な回答でした。 あれでも相手役だった「田中さん」 (c)撮影：深野未季（文藝春秋） ──様々な固有名詞や専門用語などが実名で登場していますが、そこに意図はおありでしょうか。 「医療用語、医療機器名に関してはリアリティとともに、日常感を示すためです。特別なものではないということですね。WEB小説用語もそうですね。いや、『ナーロッパ』とかは、単純に『ナーロッパ』というワードを純文学の文芸誌に載せたかった、WEB小説界からそのように殴り込みをかけたら面白いじゃんと思って書いていたかもしれません