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

配信動画はこちら https://www.youtube.com/watch?v=OsIxUT7D728&feature=youtu.be もし良かったらムーザルちゃんねるのチャンネル登録お願いします！ https://www.youtube.com/channel/UCLPHXwLp90A5R69Eltxo-sg Twitter でもプログラミングネタをつぶやいているのでフォローお待ちしております。 ムー https://twitter.com/mu_vpoe zaru https://twitter.com/zaru

「ウマ娘 プリティーダービー」世界累計収益が24億ドルを突破。若い世代の男性や競馬・Cygamesファンに支持を受ける 編集部：やわらぎ さまざまなデータや分析環境を提供するSensor Towerは本日（2024年5月1日），スマホ向けゲーム「ウマ娘 プリティーダービー」（iOS / Android / PC）の世界累計収益が24億ドルを突破したと発表した。 同作は，Cygamesより2021年2月にリリースされたゲームで，今年3周年を迎えた。Sensor Towerのストアインテリジェンスのデータによると，2021年2月から2024年3月までの日本におけるCygamesのモバイルゲーム別収益シェアで，同作が72％を占めてトップシェアとなっており，同社の収益の柱になっていることがわかる。 2024年2月24日から3周年イベント第2弾を開始し，日本のApp Storeにおけるトップ収益ラン

今年の夏に子供が生まれる。 性別は女の子でほぼ間違いないだろうと診断された。 会社には産休育休に関する手続きを済ませたし 兄夫婦からベビー用品を譲ってもらったこともあり あとは産まれてくるのを待つだけだねーなんて雰囲気になっていたが 名前をまだ決めていなかった。 それでGWに名付けに関して話し合うことになったのだが 旦那の希望する名前は「ことり」であることが発覚した。 ことり？ 人名としては一般的じゃないと思うけど一体なぜその名がいいのか？ 旦那の返答は 「響きが可愛いから」 「あとはわかりやすく日本語っぽい名前がいいと思った」 「『ことちゃん』って呼ぶの可愛いと思って」 だった。 勘弁してくれ。 人生100年時代に使い続ける名前の由来が「響きが可愛い」ってお前は人生舐めてんのか。 せめてもう少しよく練った由来を出してくれたなら色良い返事も出せたかもしれないが 「響きが可愛い」名前がつけた

IT関連の高品質な自作ロゴを大量に含むGitHubリポジトリが、プログラマーやゆっくり実況者として活動するさわらつき氏によって公開されました。当該リポジトリは公開直後から大きな注目を集めており、すでにBlueskyでは「Kawaiiモード」の実装が進んでいるほか、Reactの公式サイトにもさわらつき氏のロゴを表示する隠しモードが実装されています。 GitHub - SAWARATSUKI/ServiceLogos: ロゴを可愛く作ろう　節度を持って利用してくださいね🫠 https://github.com/SAWARATSUKI/ServiceLogos さわらつき氏が作成したロゴの例は以下の通り。これはPythonのロゴです。 C言語 Vim Visual Studio Code Discord GitHub 404エラー 「ぬるぽ」のロゴもあります。 これはBlueskyのロゴ。 2

山梨県富士吉田富士五湖（富士河口湖町、船津、小立、鳴沢、勝山、山中湖）の歯医者「井ビシ歯科医院」は一般歯科（むし歯・歯周病・小児歯科・親知らず抜歯）やインプラント・矯正歯科（小児矯正・裏側矯正）も専門医による連携治療が特徴。痛みのない無痛治療、CT・マイクロスコープ精密治療。治療相談、急患・当日予約も可能です。

Website • Getting Started • User Guide • Tutorials & Info • Community Youtube • Peertube • Linkedin • Instagram • Mastodon • X video-hero-homepage_v5.webm Penpot is the first open-source design tool for design and code collaboration. Designers can create stunning designs, interactive prototypes, design systems at scale, while developers enjoy ready-to-use code and make their workflow easy and fast

最近「ああ、これ前職でも前々職でもやったことあるなぁ」という仕事があった。データエンジニア(やその関連職種)として働き始めて約5年、3社でフルタイムとして働いてきて「このスキルは業界や組織規模が変わってもデータエンジニアとしてスキルを求められることが多いな」と感じたものをまとめてみることにした。棚卸し的な意味はあるが、特に転職用などではないです。 前提 どこでも必要とされたスキル データマネジメントに関する概要レベルの知識と実行力 セキュリティや法令に関する知識 事業ドメインに関する興味関心 他職種とのコミュニケーション能力 コスト管理 / コスト削減のスキル ソフトウェアエンジニアとしてのスキル DataOpsやアラートのハンドリング能力 分析用のSQLを書く力 古いテーブルやデータパイプラインを置き換えていくスキルや胆力 あるとやりやすいスキル 関連部署の動きを何となく把握しておく力

連載【90年代デビューアーティスト ヒット曲列伝】vol.15 survival dAnce ～no no cry more～ / trf ▶ 作詞：小室哲哉 ▶ 作曲：小室哲哉 ▶ 編曲：小室哲哉 ▶ 発売：1994年５月25日 ▶ 売上枚数：137.6万枚 1990年〜1999年の10年間にデビューし、ヒットを生み出したアーティストの楽曲を当時の時代背景や、ムーブメントとなった事象を深堀しながら紹介していく連載の第15弾。今回は、trf「survival dAnce ～no no cry more〜」を紹介します。 スペインのイビサ島で開催されたRave（レイヴ）をきっかけに結成されたtrf 1993年、小室哲哉がプロデュースを手掛けたダンス＆ボーカルグループ、trf（TK RAVE FACTORY）がCDデビューします。 trf結成のきっかけは、スペインのイビサ島で開催された、音楽を

去る2024年4月25日にTypeScript 5.5 ベータ版リリースの情報が発表されました。 どうやら今回の目玉機能は、『推論されたtype predicate』ということです。 この記事では、これまでとこれからでtype predicateがどのように変わるのかをお話ししたいと思います。 環境の用意 これまでの動作を確認するための環境は、既に用意していた別プロジェクトのランタイムを利用しました。バージョンは5.1.6です。 ベータ版環境は新たに用意します。公式のリリースノートにもありますが、以下のコマンドを実行するだけです。 これでベータ版の実行環境ができたのですが、VSCodeさんが最新版の仕様で型推論を行なってくれません。 ので、調教強制的にいうことを聞かせます。 やり方は、適当なtsファイル開いてshift + cmd + p → typescript:Select Types

reirei @hOoRj3q76xg5Mzw パッケージに「不揃い」って書いてあるものを会社で産休前の挨拶の品として配るという価値観が私にはなくて、でもたくさんのおそらく若い方々が無印バウムを配ることを絶賛していて、ジェネレーションギャップを感じる😅普段差し入れとして同僚に配るなら全然アリ。ケジメの問題なのかな。 pic.twitter.com/ZMV7VSgsE6 2024-04-26 04:42:05 藁にもすがるクッカ 👦🏻4y @Orlando_Orlind 申し訳ないけど職場の人が産休の挨拶として画像のような不揃いバウムを持ってきたら私は荒れるよ。全ての種類を吟味してどれを選ぶか必死になるし、普段は｢どれでもいいので私は後で選びます｣なんて遠慮する私でもこれは別問題。真っ先に選ぶね。選んでる間はアドレナリン噴出しまくること必須。最高 x.com/hoorj3q76xg5m

はじめに 『MSX-C』関連の情報を集めてみました。 MSX-C 『MSX-C』は ASCII が発売した MSX 用の C コンパイラです。元々は エル・エス・アイ・ジャパン株式会社 の『LSI C-80』の OEM だったようです。 『MSX-C』はアセンブラソースを吐くタイプのコンパイラですので、実行形式ファイルを生成するにはアセンブラとリンカが必要です。 See also: ASCII MSX-C (MSX Resource Center) LSI C-86 (Wikipedia) 準拠している C 言語の規格 ANSI C (1989) よりも前に発売された製品なので、後に制定された規格には準拠しておらず、K&R のサブセット的な実装となっています。例えば、MSX-C で利用可能なデータ型は次の 4 (3) 種類のみです。 型 長さ 範囲

私の苗字は「わたなべ」である。 漢字で表記すると「渡邉」であり、ああ難しい方のね、と認識されている方も多いだろう。 わたなべの表記は「渡辺」「渡邊」「渡邉」の3パターンに大別されるかと思う。 簡単ななべと、後者2つは難しいなべだ。 私が最近フラストレーションを溜めているのは、苗字の漢字表記をまったく気にしないタイプの人間がいるということだ。 かく言う私のわたなべ歴は浅い。 結婚してこの苗字になったので、5年目くらいか。 以前の苗字もごく普通のものであったが、わたなべは全国6位だったか、非常に多い。 そんな平々凡々の苗字に対しての思い入れは全くと言っていいほどない。 しかし、何度も何度も表記を間違えられると、こちらとしてもイラッとくるものだ。 学生時代、「さいとう」の漢字を間違えられてぶつぶつ文句を言っていた友人の気持ちも、今なら理解できる(そんな彼女も今は結婚して苗字が変わってしまったが)

総務省は、今般、令和4年10月に公表した「クラウドサービス利用・提供における適切な設定のためのガイドライン」の内容を、わかりやすく解説するために「クラウドの設定ミス対策ガイドブック」を策定いたしました。 総務省では、クラウドサービス利用・提供における適切な設定の促進を図り、安全安心なクラウドサービスの利活用を推進するため、クラウドサービスの提供者・利用者双方が設定ミスを起こさないために講ずべき対策や、対策を実施する上でのベストプラクティスについてとりまとめた「クラウドサービス利用・提供における適切な設定のためのガイドライン」を、令和4年10月に策定・公表しました。 今般、クラウドサービスを利用する事業者において、情報の流失のおそれに至る事案が引き続き発生している中で、本ガイドラインの活用促進を図るため、ガイドラインの内容をわかりやすく解説した「クラウドの設定ミス対策ガイドブック」を策定しま

See the canonical version of this blog post at the Microsoft Open Source Blog! Ten years ago, Microsoft released the source for MS-DOS 1.25 and 2.0 to the Computer History Museum, and then later republished them for reference purposes. This code holds an important place in history and is a fascinating read of an operating system that was written entirely in 8086 assembly code nearly 45 years ago.

慶應義塾大学卒業後、新卒で出版社の宝島社に入社。独立後はケータイジャーナリスト/ライターとして幅広い媒体で執筆、コメントなどを行う。ケータイ業界が主な取材テーマ。 KDDIが povo 2.0の新たなトッピングを導入しました。1つ目が「データ使い放題（7日間）12回分」。もう1つが「300GB（90日間）」というトッピングです。 通常、この手のトッピングは期間限定としてイベントや大型連休などに合わせて提供されることが多い印象で、今回の2つのトッピングも一応は、期間が区切られるもののようです。 ただし、どちらも終了時期は未定となっており、かなり通常トッピングに近い位置づけと言えそうです。 povo2.0に、“楽天モバイル対抗”と呼べそうな2つのトッピングが登場した　2つのトッピングの金額を見ていくと、“楽天モバイル対抗”の色合いが非常に濃いことが分かります。 まず、データ使い放題ですが、こち

もしあなたがLLMを使ったプロダクトを何かしら開発している、もしくは興味があるのなら、メモリを大量に積んだMac Studioの購入を検討すべきです。 対象読者NVIDIAが絶対にいいという人はこの記事の対象読者ではありません。また、用途によって、ローカルマシンによるローカルLLMが向いてる・向いてないは明確にあるので、向いてない用途にしか使わない人も対象読者ではありません。あしからず。 また、この記事は別にNVIDIAをdisる意図はありません。みんな違っていい。NVIDIAもいい選択肢ですが、Mac Studioも悪くないですよ、と言いたい。 結論LLMプロダクト開発において、今年はもはやローカルLLMを無視できない、してはいけない状況です。 LLMプロダクト開発をする会社の視点でいえば、是非とも80GB以上の十分なGPUメモリを積んだマシンを用意できるようなアジリティを持つのが望まし

スタートアップ企業への支援を強化する動きが広がる中、厚生労働省のプロジェクトチームはヘルスケア分野の企業の取り組みを後押ししようと、製品などの開発を初期段階から支える補助金の創設などを盛り込んだ支援策の案をまとめました。 政府はスタートアップ企業への投資額を5年間で10兆円規模に拡大するなどとした計画を策定し支援を強化していますが、厚生労働省によりますと、医療・健康・介護のヘルスケア分野の日本のスタートアップ企業の数はアメリカの2％程度にとどまっているということです。 一方、高齢化や人手不足でニーズは高まっているとして、厚生労働省のプロジェクトチームは▽介護分野でロボットなどを活用する「介護テック」、▽医療分野のAIの開発、▽創薬などを行うヘルスケア分野の企業の取り組みを後押ししようと、支援策の案をまとめました。 この中では、▽商品化や研究に時間がかかるとして、開発の初期段階から支える補助

このPDFは、Svelteというフロントエンド開発フレームワークに関する最新情報を提供するプレゼンテーションの内容をまとめたものです。主な内容は以下の通りです： 【Svelteとは】 HTMLのスーパーセットを使った、コンパイラを活用するフレームワークで、軽量なランタイムをエンドユーザーに提供します。 【チームの強化】 Dominic Gannaway（元Reactコアチームメンバー）がVercelに入社し、Svelteチームは3名になりました。 【Svelte 5の概要】 【Runes】 リアクティビティ機能が大幅に改善され、新しいマクロ方式を採用しています。これにより、依存関係の追跡がランタイムで行われるようになり、より柔軟なコードの書き方が可能になりました。 【Slot/Snippets】 JSXの利点を取り入れ、ファイル内で要素を簡単に使い回す機能を導入しました。 【イベントハンド