すごいニュースが飛び込んできた。オセロの必勝法が見つかったのだ。正確に言うとオセロが弱解決された。まずはその論文を紹介する。 Othello is Solved : https://arxiv.org/abs/2310.19387 「弱解決(weakly solved)」を簡単に言うと、初期局面からの双方最善手を打つ時の結論(勝敗)がわかったと言う意味である。8×8のオセロの結論は引き分けなのだそうだ。「必勝法が見つかった」と本記事のタイトルで書いたが、その結果として双方最善を尽くした時のオセロの結論が引き分けだったことが判明したので正しくは「必勝法(必ず勝てる方法)が存在しないことが証明された」とでも言うべきか。 今回は、初期局面から到達できるあらゆる局面についての結論(勝敗)がわかったわけではない。こちらは「強解決(strongly solved)」と呼ばれる。 弱解決と強解決とでは、
1. はじめに こんにちは、東京大学 3 年の米田です。この度は、ダイヤモンド社から『高校数学の基礎が 150 分でわかる本』という書籍を出版させていただくことになりました。高校数学の基礎を図解で超わかりやすく説明した本です。 【フルカラー図解】高校数学の基礎が 150 分でわかる本 - Amazon 本稿では、この本を書いたきっかけや、この本に懸けた思いについて記したいと思います。 なお、本の内容紹介につきましては、以前こちらの記事に書かせていただいたので、まだ読んでいない方はぜひお読みください。 2. 前提：数学はあらゆる人が身に付けてほしい 執筆のきっかけについて書かせていただく前に、まずは数学に対する僕の考えを述べておきます。僕は、高校数学の基礎くらいのレベルの知識は、あらゆる日本人が身に付けるべきだと思っています。 この理由としては、仕事の幅が広がる、論理的思考力が身につくなどた
この記事はNuco Advent Calendar 2023の4日目の記事です。 弊社では、経験の有無を問わず、社員やインターン生の採用を行っています。 興味のある方はこちらをご覧ください。 はじめに 後輩に 「なぜ0.1+0.2≠0.3になるんですか？」 と聞かれて答えられますか？ コンピュータの計算では「0.1+0.2」は「0.3」になりません。 これを理解していないと予期せぬ重大なバグを生み出す可能性があります。 分からない方、どうぞ安心してください。 この記事を読んだ全員が「0.1+0.2≠0.3」を理解できるように分かりやすく説明していきます。 コンピュータが計算を間違う理由 まず、そもそも「0.1+0.2=0.3」で正しい！「0.1+0.2≠0.3」なんてあり得ない！ という方のために、プログラミング言語のフォーマット処理を経ない、コンピュータの計算結果を見てみます。
お小遣い長年未納です。「請求書」送りました…中1の数学自由研究、最優秀賞の出来栄えにお父さんは舌を巻く | 鹿児島のニュース | 南日本新聞
「お小遣いが長年未納のため、以下の通りご請求いたします」。鹿児島市の鹿児島大学付属中学校１年、川原千鶴さんは昨夏、父親の正行さん（４４）に１枚の請求書を手渡した。記されていたのは未払い期間の合計ではなく、工夫して計算した遅延金を含めた総額。切実な思いで取り組んだ成果は、第１１回「算数・数学の自由研究」作品コンクール（理数教育研究所主催）の中学校の部で最優秀賞に選ばれた。 研究のタイトルは「父への請求書発行」。千鶴さんは小学６年の４月から中学１年の８月までの１７カ月間、毎月の約束だったお小遣いをもらえなかった。父親に催促しても、「そのうちね」とはぐらかされるばかり。まとめて請求しようと思いつき、「説得力のある説明で、少しでも増やす方法はないか」と考えた。 もらえたはずの合計額（月５００円、中学からは月千円の計１万１０００円）を元金にまず、定期預金と外貨預金の二つについて金利や為替レートを調べ
と っ く ん 3 0 歳 🐍 @Kuntotu 声真似とお料理で生きています。サブ垢@Kuntotu_sub アイコン@sentakubasami1 お仕事のご依頼はコチラに tokkun26sai@gmail.com youtube.com/channel/UCbbdP… と っ く ん 3 0 歳 🐍 @Kuntotu 電子レンジ調理の動画を出す度に「〜ワットなら何秒ですか？」ってコメントくるけど「指定のw数×指定の秒数/任意のw数」で概算出来るので、いい加減常識として定着して欲しいです。 2023-10-26 22:17:43
税務署も諦める「最強の相続税対策」、ポイントは時間
税理士。円満相続税理士法人代表 中学・高校とバンド活動に明け暮れ、大学受験の失敗から一念発起し税理士を志す。 大学在学中に税理士試験に4科目合格（「資格の大原」主催の法人税法の公開模試では全国1位）。大学卒業前から国内最大手の税理士法人山田＆パートナーズに正社員として入社する。 税理士法人山田＆パートナーズでは相続専門の部署で6年間、相続税に専念。これまで手がけた相続税申告（相続手続）は、上場企業の創業家や芸能人を含め、通算500件以上。相続税の相談実績は5000人を超える。また、全国の銀行や証券会社を中心に通算500回以上の相続税セミナーの講師を務める。 2017年1月に独立開業。現在、東京・大阪の2拠点で相続専門税理士が多数在籍する円満相続税理士法人の代表を務める。「最高の相続税対策は、円満な家族関係を構築すること」をモットーに、依頼者に徹底的に寄り添い、円満相続実現のために日々尽力す
みたいなのが挙げられます。これが話題になった時にSNSで見かける言説が「十進小数 (decimal) 型ならこういう問題はない」です。 ですが、decimal型は十進小数を正確に表現できるという話でしかなく、全ての実数を正確に表現できるわけではありません。例えば、 1.0 / 3.0 * 3.0 の計算を考えてみましょう。数学的には、これはちょうど 1.0 になるはずです。 C#の場合 C#には標準の decimal 型があります。これで 1.0 / 3.0 * 3.0 を計算してみましょう。
【制限時間15秒】「17×115＝」を暗算できる？
東京大学経済学部卒。プロ算数講師。志進ゼミナール塾長。 プロ家庭教師、SAPIXグループの個別指導塾の塾講師など20年以上の豊富な指導経験があり、常にキャンセル待ちの出る人気講師として活躍している。 現在は、学習塾「志進ゼミナール」を運営し、小学生から高校生に指導を行っている。毎年難関校に合格者を輩出している。 算数が苦手な生徒の偏差値を45から65に上げて第一志望校に合格させるなど、着実に学力を伸ばす指導に定評がある。暗算法の開発や研究にも力を入れている。 ずっと算数や数学を得意にしていたわけではなく、中学3年生の試験では、学年で下から3番目の成績だった。数学の難しい問題集を解いても成績が上がらなかったので、教科書を使って基礎固めに力を入れたところ、成績が伸び始める。その後、急激に成績が伸び、塾にほとんど通わず、東大と早稲田大の現役合格を達成する。この経験から、「基本に立ち返って、深く学
俺が考える最強の「麻雀点数申告練習アプリケーション」を作ってみる ~ Pythonによる麻雀点数計算問題の自動生成と音声による点数申告 ~ - エムスリーテックブログ
こちらはエムスリー Advent Calendar 2023 1日目の記事です。 Overview エムスリーエンジニアリンググループ AI・機械学習チームでソフトウェアエンジニアをしている中村(po3rin) です。趣味は麻雀でフリー雀荘で毎年200半荘以上打ちます。好きな麻雀プロは園田賢さんです。 麻雀を始めるときに一番の障壁になるのは点数計算ではないでしょうか？ 特に符計算が初心者の関門のようです。一方私のような初中級者でも突然のレアな点数申告にまごつくことがあります。 そこで、今回はその人に合った麻雀の点数計算問題(主に符計算が焦点となる問題)を生成して、自分で点数計算&点数申告の練習をする方法を探求したのでその紹介をします。麻雀用語が少しだけ登場するので、対象読者は麻雀を少しでもかじったことのあるエンジニアの方です。 Overview 麻雀の点数計算の難しさ 現状の点数計算の練習
レイトレ合宿９(*)のセミナー発表スライドです。 * https://sites.google.com/view/rtcamp9/home - 2023/09/08 “除算法2”追記。（@Reputelessさんありがとうございました）
『葬送のフリーレン』のこのシーンは中央値だと18歳前後だが平均値だと300歳を超える→平均値が極端な外れ値に弱いことを示す良い例だと話題に
リンク アニメ『葬送のフリーレン』公式サイト フリーレン - CHARACTER｜アニメ『葬送のフリーレン』公式サイト 毎週金曜よる11時放送！原作: 山田鐘人・アベツカサ(小学館「週刊少年サンデー」連載中)、マンガ賞2021 大賞受賞作が待望のTVアニメ化！“魔王を倒した後の世界”を舞台に繰り広げられる、魔法使いフリーレンと仲間たちの旅路。 9
電子レンジの使い方
弊社の休憩室の電子レンジは最高出力700wだ。(追記：フラットテーブル(回らないタイプ)) 昼は弁当をチンする人で行列することもある。 そんなとき、とある課長が「ごめん、これ500wで6分かかるわー」と言いつつわざわざ500wに設定し直して6分チンしていた。 そこは700wのままで4分30秒くらいに設定すれば良いのでは……？
これは簡単で便利！ レスポンシブ対応のフォントサイズをCSSのclamp()関数で定義できるツール -Type Fluidity
フォントサイズをレスポンシブ対応にするときに、最近よく使用されている実装方法はclamp()関数による流体タイポグラフィです。CSSのclamp()関数を使用するとフォントサイズの最小値と最大値を定義してその間の値を流動的にすることができ、デバイスのスクリーンサイズが増えた現在に欠かせないテクニックです。 CSSでレスポンシブ対応のフォントサイズを超簡単に定義できるオンラインツールを紹介します。 Type Fluidity -GitHub Type Fluidityの特徴 Type Fluidityの使い方 Type Fluidityの特徴 流体タイポグラフィ（Fluid Typography）は、フォントサイズをレスポンシブ対応にする最新テクニックです。さまざまなスクリーンサイズに応じて固定値を定義する代わりに、CSSで単一の流体値を定義して、フォントの最小値と最大値の中でスクリーンサイ
絶望的。遺伝子検査企業から690万人のデータ漏洩
絶望的。遺伝子検査企業から690万人のデータ漏洩2023.12.09 12:0093,126 Thomas Germain - Gizmodo US ［原文］ （ 岩田リョウコ ） 超大規模の漏洩、しかもDNA情報...！ 遺伝子検査で有名なアメリカの企業23andMeが、10月に顧客1万4000人分の個人情報がハッカーによって盗まれていたことを発表しました。 しかし、TechCrunchの報道では、自分の祖先や遠い親戚が判明するDNA Relativesという機能を使っていた約690万人分のDNA情報を含むデータが流出しているとのことです。1万4000人分どころの話ではなかったようです。 本当の数字は？23andMeが最初に報告した数は、顧客の0.1%、約1万4000人とのことでしたが、690万人となるとその約5万倍の数となります。先日23andMeの広報担当者は、DNA Relativ
CSSだけでスクリーンサイズやフォントサイズを取得、CSSの三角関数tan(atan2())はcalc()ではできない計算もできる
CSSで便利な機能の1つがcalc()、ページのレイアウト、要素やフォントのサイズ設定に活躍します。特に異なる単位で加算減算（calc(1rem + 1px)）できることが便利ですが、乗算除算（calc(1rem / 1px)はできません。 そこでCSSの三角関数です。すべてのブラウザにサポートされているatan2()を使用すれば、異なる単位で計算ができます。tan(atan2())を使用して、スクリーンサイズやフォントサイズを取得するテクニックを紹介します。 CSS Type Casting to Numeric: tan(atan2()) Scalars br Jane Ori (@Jane0ri) 下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。 はじめに tan(atan2())は単なる数値である 追記: 三角関数を学び直
CSSでfont-sizeをレスポンシブ対応にする最新テクニック！ clamp()関数の定義が簡単にできる便利ツール -Fluid Type Scale Calculator
レスポンブ対応のフォントサイズをCSSで設定するには、CSSのclamp()関数が便利です。clamp()関数は最大値と最小値の2つの値の間をクランプし、レスポンシブ対応の流体フォントサイズを設定できます。 CSSのclamp()関数を使用し、スクリーンサイズに合わせて最適化される流体フォントサイズのCSSを簡単に生成できるツールを紹介します。 Fluid Type Scale Calculator Fluid Type Scale Calculator -GitHub Fluid Type Scale Calculatorの特徴 Fluid Type Scale Calculatorの使い方 Fluid Type Scale Calculatorの特徴 Fluid Type Scale Calculatorはclamp()関数を使用した流体フォントサイズのCSSを生成できるツールです。
PHPカンファレンス福岡2023 https://phpcon.fukuoka.jp/2023/ スポンサーセッション(11:30〜) https://fortee.jp/phpconfukuoka-2023/proposal/df5f06e8-900e-4e71-94d7-d0c3cc57a0ac
Microsoftの研究チームがモデルのウェイトを「-1」「0」「1」の3つの値のみにすることで大規模言語モデルの計算コストを激減させることに成功したと発表しました。 [2402.17764] The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits https://arxiv.org/abs/2402.17764 従来のモデルであれば入力に対して「0.2961」などのウェイトをかけ算してから足し引きする必要がありましたが、「-1」「0」「1」の3値のみであればかけ算が不要になり、全ての計算を足し算で行えるようになります。 そのため、同じ性能を出すのに必要なコストが通常の大規模言語モデルに対して激減するとのこと。なお、それぞれのパラメーターが「-1」「0」「1」という3つの値を取るためlog[2](3)の値より「1.
CSSのメディアクエリでcalc()が使用できるの知ってた？
CSSのメディアクエリでcalc()が使用できるのを知ってましたか？ これは6/6,7に開催されたCSS Day 2024で共有されたときに、多くのビジターが驚いたとのことで、私も知りませんでした。 メディアクエリは比較...記事の続きを読む
Googleは2年前、計算アプリ「Photomath」の買収を発表した。そして同社は今回、このアプリを公式に自社のアプリとして公開するようになった。 Photomath自体は新しいアプリというわけではなく、2014年にリリースされて以来、ダウンロード数は1億を超えている。それが今回、公式にGoogleのアプリという位置付けとなった。このアプリは、乗算や除算のような、小学校レベルの基本的な問題から、三角関数や微積分のような高度な問題まで解くことができる。 Photomathに問題を読み込ませると、人工知能（AI）がその力を発揮し始める。しばらくすると解答が表示されるとともに、問題をどのようにして解いたのかが順を追って詳細に解説される。この後者の部分がPhotomathで最も便利な機能だろう。つまり、解法が提示されるだけでなく、同じ回答にたどり着く方法を学生が自らの手で学べるのだ。 同様の機能
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
オセロの必勝法が見つかった件 | やねうら王 公式サイト
「高校数学の基礎が150分でわかる本」にかけた思い - E869120's Blog
「0.1+0.2≠0.3」を説明できないエンジニアがいるらしい - Qiita
電子レンジ調理の動画に「～ワットなら何秒ですか？」ってコメントがくるけど、簡単に概算できる式があるので常識になってほしい
decimal型（十進小数）に夢を見ている輩が多すぎる - Qiita
[0.0, 1.0) の乱数を得るための“本当の”方法
育成力 - エンジニアの才能を引き出す環境とチューターの立ち回り -
Microsoftが1.58ビットの大規模言語モデルをリリース、行列計算を足し算にできて計算コスト激減へ
計算アプリ「Photomath」、グーグルのアプリとして公式に公開