競技プログラミングの問題を解くためには２つのステップがあります。 問題で要求されていることを言い換える知っているアルゴリズムやデータ構造を組み合わせて解く 必要な（知っておくべき）アルゴリズムやデータ構造は色々なところで学ぶことができます。 しかし、「問題の言い換え」や「アルゴリズムを思いつく」というのは、非常に様々なバリエーションがあり、問題をたくさん解かないとなかなか身につきません。 そこで、この記事は以下のことを言語化し、練習のための例題を提示することを目標とします。 問われていることを、計算しやすい同値なことに置き換える方法アルゴリズムを思いつくための考え方競技プログラミングで「典型的」と思われる考え方 ※一部問題のネタバレを含むので注意 ※良く用いられるアルゴリズムやデータ構造については競技プログラミングでの典型アルゴリズムとデータ構造 を参考にして下さい。 入力の大きさ(制約)
ドル円150円の話については正体不明の増田の説明みてアレコレ語るよりプロの人の解説動画見たほうがいいと思います - 頭の上にミカンをのせる
www.youtube.com とりあえず今の状況をサクッと理解したい人は、この動画がおすすめ。 2時間と長いですが必要な論点が9割くらい網羅されています。丁寧に全部を見る必要はないので興味がある部分をシークバーで探して確認してみると良いでしょう。時間がない人は動画の50分ころから説明されている「サイクル(6)」の資料の部分だけ見てください。7分くらいで見れます。 本で勉強したい人はこれだけ読めばおk 市場間分析入門 ──原油や金が上がれば、株やドルや債券は下がる! 作者:ジョン・J・マーフィーパンローリング株式会社Amazon ちょっと難しそうだと思ったら入門書はこっちです。 改訂版 金利を見れば投資はうまくいく 作者:堀井正孝クロスメディア・パブリッシング（インプレス）Amazon 本文はこちらの記事に移動しました www.tyoshiki.com この記事では「ＦＸとか個別株投資やっ
アルゴリズムの世界地図 - Qiita
0. アルゴリズムとは？ まず、アルゴリズムとは何かを説明します。（0 節の説明はスライド「50 分で学ぶアルゴリズム」 の説明を参考にして書きました） さて、次の問題を考えてみましょう。 問題： 1 + 2 + 3 + … + 100 の値を計算してください。 単純な方法として、式の通りに 1 つずつ足していく方法が考えられます。すると、以下の図のように答えが計算されることになります。 これで答え 5050 が正しく求まりました。これはれっきとした アルゴリズム であり、この問題を 99 回の足し算 で解いています。しかし、計算回数が多く、計算に時間がかかるのではないかと思った方もいると思います。 ここで、方法を変えて、「1 + 100」「2 + 99」「3 + 98」…「50 + 51」の合計を求めることで、1 + 2 + 3 + … + 100 の値を計算してみましょう。 50 個の
Unityを学ぶための動画を集めたサイト「Unity Learning Materials」。ユニティ・テクノロジーズ・ジャパンの安原氏が、ゲーム制作に使う数学について解説しました。Part3は、「対数」について。対数における公式とその重要性を例を用いて説明しました。 指数関数とは何か 安原祐二氏（以下、安原）：それではパート3ですね。「対数」というテーマでがんばっていきます。パート1から8まである中で、たぶんこのパート3に一番大事な話が含まれているので、ここはぜひ真剣に聞いてもらえればなと思います。 まず、指数関数の話をしましょう。f(x)、イコール例えばa（なにかの数字）があったとしてそのx乗、これを指数関数と呼びます。aは必ず0以上です。負だとこれは考えられないんですよね。0以上です。 どんなグラフになるか。これはまた、aが1以上か1以下かでだいぶ形が変わりますが、1より大きい場合を
『Sonny Boy』というアニメが放送されています。学校が異次元に漂流してしまい、超能力に目覚めた生徒たちがサバイバルしながら、さまざまな奇妙な現象の裏にあるルールを解き明かし、元の世界に変える方法を探す、というストーリーです。ルールが分かったあとで何度も見直したくなります。 anime.shochiku.co.jp さて今回、『Sonny Boy』に、プログラムを寄稿しました。プログラムでおもしろいCGを作ったとかではなく、プログラムの実行の様子そのものが『Sonny Boy』の5話の中で放送されました。 こういうプログラムです。 nankai.rb このプログラムがどういうものだったかを解説します。 どんなプログラム？ 実行すると、「難解」という文字がほどけてなくなるアニメーションをします。 起動したらまず、プログラム自身が画面に表示されます。 しばらくしたら「難解」が左から右へほど
統計検定準1級 合格体験記 - Qiita
はじめに 統計検定準1級は(一財)統計質保証推進協会が実施、(一社)日本統計学会が公式認定する「2級までの基礎知識をもとに、実社会の様々な問題に対して適切な統計学の諸手法を応用できる能力を問う」試験です。現在はCBTでの実施となっています。 主観を込めて言いますと、2級と準1級では難易度に雲泥の差があります。 強調して言っておきます。まったく違います！ 準1級では統計的推定や検定に加えて、多変量解析(重回帰、PCA、主成分分析、数量化)、時系列解析、マルコフ連鎖、確率過程、分散分析、ベイズ統計、MCMC...と範囲が広いのが特徴です。 以下、かなりの長文になりましたが、受験して得た知見をかなり具体的に記述しました。読者の皆様の合格への一助となれば幸いです。 目的 私はとある私立中高で物理と情報を教えています。統計の勉強を始めたのは、教科「情報」を教えるにあたってのスキルアップが目的です。も
導入 先日、ポケモンの最新作『Pokémon LEGENDS アルセウス』が発売されました。ポケモン愛好家の中で密かに話題を集めたのが、新たに登場したポケモン「ゾロア（ヒスイのすがた）」と「ゾロアーク（ヒスイの姿）」のタイプです。なんと驚くべきことに、両者のタイプは未だ登場したことのなかった「ノーマル・ゴースト」だったのです。 ポケモンを知る人には説明不要ですが、これはノーマルタイプの唯一の弱点であるかくとう技をゴーストタイプで無効化しながら、ゴーストタイプの弱点であるゴースト技をノーマルタイプで無効化するという、非常にバランスのとれた、まさに夢のような複合タイプです。一部では、この「ノーマル・ゴースト」こそ最強の組み合わせなのではないかと噂されました。 しかし、果たして本当にそうなのでしょうか？ ポケモンのタイプは全部で18種類あり、一匹のポケモンは二つまでタイプを持つことができます。考
となります。 この $C_i$ を、$0\leq i\leq 2N$ を満たすすべての $i$ について求めるのが今回の目標です。 それぞれ愚直に求めると、$f,g$ の全項を組み合わせて参照することになるので、 $O(N^2)$ です。これをどうにかして高速化します。 多項式補間 愚直な乗算は難しそうなので、$C_i$ の値を、多項式補間を用いて算出することを考えます。 多項式補間とは、多項式の変数に実際にいくつかの値を代入し、多項式を計算した値から、多項式の係数を決定する手法です。 たとえば、$f(x)=ax+b$ という $1$ 次関数があるとします。 $a$ と $b$ の値は分かりませんが、$f(3)=5,f(7)=-3$ がわかっているものとします。 実際に $3,7$ を代入してみると、 $3a+b=5$ $7a+b=-3$ と、連立方程式が立ち、$a,b$ の値が求められま
正規表現は文字列の検索や置換を行うための強力で便利なツールです。基本をマスターすれば開発から日常の事務作業までさまざまな場面でラクをできる魔法の道具ですが、見た目がちょっと分かりづらいので、避けている方もいるのではないでしょうか？ 筆者の個人的観測ですが、とりわけフロントエンドのエンジニアには正規表現に苦手意識を感じている方が多いようです。 この記事では正規表現の基本と、正規表現がどこで使えてどれだけ便利になるのかを紹介します。 正規表現の基本：正規表現ってそもそも何？ 正規表現（regular expression）は、ごく簡単にいえば「さまざまな文字列のバリエーションをひとつの文字列で表現したもの」です。たとえば、郵便番号の7桁の数字には（実際に使われていないものも含めれば）一千万通りのバリエーションがありますが、正規表現を使えば次のようにひとつの文字列で表現できます。 ▼「7桁の数字
※本記事はOracleの下記Meetup「Oracle Big Data Jam Session」で実施予定の内容です。 ※セミナー実施済の動画に関しては以下をご参照ください。 本記事の対象者 これから機械学習を利用した開発をしていきたい方 機械学習のトレンド技術を知りたい方 なるべく初歩的な内容から学習したい方 はじめに Transformerの登場以降、著しい技術革新が続くここ数年、特にOpenAI社のChatGPTのサービス開始以降、おびただしい数の技術ブログや記事がインターネット上に存在する中、本記事に目を留めていただいてありがとうございます。 この勉強会では、専門用語や難解な公式を極力排除し、初学者の方々を対象に、「そもそも自然言語の機械学習ってどういうもの？」、「言語モデルって要するに何？」というところからGPTをざっくり理解することを目的としています。従って、本記事に記載のあ
はじめに このブログに書かれていること 自己紹介 注意 Part3 現代の暗号 共通鍵暗号方式と鍵配送問題 鍵配送問題とは？ 共通鍵暗号方式と公開鍵暗号方式の違いとメリット・デメリット RSA暗号 RSAで使われる鍵 処理手順 暗号化の手順 復号の手順 RSA暗号の数学的背景 一次不定式が自然数解を持つ理由 eとLの関係性 そもそもなぜこの式で元の平文に戻るのか？の数学的根拠 証明パート１ フェルマーの小定理 中国剰余定理 RSA暗号をPythonで 楕円曲線暗号 楕円曲線とは？ 楕円曲線の式 楕円曲線における足し算の定義 楕円曲線における引き算の定義 無限遠点 楕円曲線における分配法則と交換法則 楕円曲線の加法を式で表現 点Pと点Qが異なる場合 点Pと点P 同じ点を足し合わせる場合 有限体 有限体とは？ 有限体上の楕円曲線 楕円曲線暗号における鍵 ECDH鍵共有 数式ベースでの手順説明
京都市の私立大、衛府嵐大学が、「情報商材学部」「転売経済学部」の設置認可を文部科学省に申請したことがわかった。２０２３年度の開設を目指す。少子化で志望者が減る中、採算がとれる「稼げる大学」への転換を図る一方、不振の文学部、法学部、経済学部は学生の新規募集を打ち切り、４年後に全廃する。 同大が文科省に提出した申請書によると、情報商材学部は、外国為替証拠金取引（ＦＸ）や仮想通貨に関する専門用語を駆使しながら、「楽して儲けたい」投資初心者を引きつける情報商材の制作技術を養う。経済理論は教えず、「１週間で億万長者」「先着１００人限定」など、人間の欲望につけ入るノウハウの習得に特化しているのが特徴だ。 転売経済学部では、品薄商品を定価以上のプレミア価格でネットオークションに出品して利益を得る技術を養う。カリキュラムは、商品を大量確保するために人を雇う方法、自演による価格つり上げ、オークションサイトの
イギリス、竹を庭に植えるブーム到来→繁殖力がすごくて庭を破壊しまくり社会問題化 1 名前：ソンブレロ銀河(東京都) [US]：2019/08/11(日) 20:15:53.75 ID:vaHhN7YR0 英国では竹ブームの影響で、近所トラブルが増加していると専門家が警告している。 見た目も良く、成長も早いことから竹を花壇に植えるガーデニング愛好家が増えている。また、詮索好きな隣人の視線を遮るのにも竹は最適だ。 だが、竹は成長が非常に速く、地下茎によって繁殖する。この地下茎は自分の庭だけではなく近所の庭に浸食する可能性もあり、注意深く管理をしないと迷惑になりかねない。英国ではイタドリ（Japanese knotweed）が繁殖力の強さで知られているが、竹は「新イタドリ」と呼ばれるようにまでなっている。 だが、園芸店やタレントは竹を売り込んでおり、庭を破壊する竹の価格は上昇し続けている。 イタ
Kapapoo-F X @kp_fx ウチのはこれの色違いだな。Plextorは鉄板。Audio I/FはDS2416つこうてた関係でAX44だったが端子多いとメンテが面倒だった記憶しかない。(苦笑) twitter.com/mesotabi/statu… 2021-05-28 15:00:23
タイトルの通り、「CNN（畳み込みニューラルネットワーク）って何よ」とざっくりと質問された時に、自分だったらざっくりとこう説明してあげる、というのをまとめます。 この記事で説明している内容は、以下を元にしているので、よろしければ是非。 Pythonと実データで遊んで学ぶ データ分析講座 作者:梅津 雄一,中野 貴広発売日: 2019/08/10メディア: 単行本（ソフトカバー） なお、スマホのAMPだと、数式がうまく表示されない可能性がありますので、こちらのリンクかPCから読んでいただけると。 まずニューラルネットって？畳み込みニューラルネットワークについて説明する前に、ニューラルネットワークも軽くおさらいしてあげましょう。 脳は入力を受け取ると、以下画像のように各神経細胞が反応しながら処理が次々と行われます。 ニューラルネットワークは、このような脳の神経伝達の働きを数理モデルとして落とし
ナレッジベース共有ではなく､自分のためだけのクローズドなローカル環境で動作する点において差別化がされている｡何かを発信するのではなく自分自身のためにテキストをまとめるのです｡ このテキストも外出先で書いています｡ 金欠学生はもちろん格安を売りにしたプロバイダーと契約しているので3GB程度しか余裕がないはずです(私は月の半ばでなくなりました)｡しかしローカルで動作するので速度制限を恐れることなく使うことができるのです｡ Obsidianは単なるノートアプリではなくアイデアを書き溜め､思考をまとめ上げ､一つの思想を創り上げる､最強のセカンド･ブレインである｡ —私 メリット 日常的に使えばマークダウン記法に慣れて､サークルや研究室のesaの記事を書く心理的ハードルが下がる QiitaやZennなどの記事を公開するハードルも下がる 有名な使い方としてはドイツの社会学者が考案したツェッテルカステン
1ms 以下のリアルタイムオブジェクト検出/画像処理を目指して Goの配信サーバサイドで通知ぼかしを実装してみたこと - Mirrativ Tech Blog
こんにちは ハタ です。 今回は以前iOSのクライアントサイドで実装していた通知ぼかし機能をサーバサイド(配信サーバ)上に再実装した事を書きたいなと思います 今回はかなり内容を絞りに絞ったのですが、長くなってしまいました、、 目次機能があったのでつけてみました、読み飛ばして読みやすくなった(?)かもしれません 目次 目次 通知ぼかし機能とは サーバサイド通知ぼかし プロトタイプの実装 苦労の始まり その1 画像処理速度 苦労の始まり その2 データ量 さらなる計算量の削減を求めて さらなる最適化へ Halide の世界へ 簡単な halide の紹介 苦労の始まり その3 いざ リリース リリースその後 We are hiring! 通知ぼかし機能とは 通知ぼかし機能は、ミラティブ上での配信中に写り込んでしまったiOSの通知ダイアログをダイアログの中身を見えないようにぼかし処理をしてあげる
こういうオープンソースとか詳しい人ってどんなスマホやパソコン使ってんだろ？ 気になるし資金的余裕があれば真似したい anond:20210516133911 とのことなので暇だし書いてみる パソコン自作デスクトップパソコンOSArch LinuxCPURyzen 9 5900Xワーキングメモリ32GB DDR4 SDRAMストレージ(システム)1TB NVMe SSDストレージ(データ1)6TB SATA HDD(RAID0+1)ストレージ(データ2)6TB SATA HDD(RAID0+1)ストレージ(データ3)6TB SATA HDD(RAID0+1)ストレージ(データ4)6TB SATA HDD(RAID0+1)GPURadeon RX 6900 XT 16GBディスプレイモニタ(プライマリ)LG 35WN75C-Bディスプレイモニタ(セカンダリ)中華ノーブランド14インチ16:9タ
RSA署名を正しく理解する
初めに 「署名とはメッセージのハッシュ値を秘密鍵で暗号化したものであり、検証は署名を公開鍵で復号してハッシュ値と等しいかを確認することである」という説明(×)をよく見かけます。 正しい署名の定義と実際のRSA署名がどのようなものであり、上記説明(×)がなぜよくないのかを理解しましょう。 署名の定義 署名の解説は署名の概要でも解説しましたが、再掲します。 署名（方式）は鍵生成（KeyGen）、署名（Sign）、検証（Verify）の3個のアルゴリズムからなります。 KeyGenではアリスが署名鍵sと検証鍵Sを生成します。署名鍵sは自分だけの秘密の値なので秘密鍵、検証鍵Sは他人に渡して使ってもらう鍵なので公開鍵ともいいます。 Signは署名したいデータmに対して署名鍵sを使って署名と呼ばれるデータσを作ります。 データmと署名σのペアを他人（ボブ）に渡します。 Verifyはボブが検証鍵Sを使
0. 目次 1. クッキークリッカーとは? 2. クッキークリッカー100万枚RTA 3. 解答? 4. 解答 5. 余談 6. おわりに 1. クッキークリッカーとは? 皆さんはクッキークリッカーというゲームをご存じでしょうか？ 2013年に公開され同年に日本でも爆発的に流行を見せたゲームです。知らないよという方もご安心ください、最初の方だけですがざっくり説明します。 上の画像がプレイ画面です。左にあるクッキーをクリックします。 クッキーが1枚焼けました。やったね。 クッキーが15枚貯まりました、右側にあるカーソルをクリックしてみます。 指はどこだ！？ クッキーの周りにある指が10秒に1回クッキーをクリックしてくれます。助かるー。 100枚貯まりました。アップグレード「強化された人差し指」を買ってみます。 クッキーの上に、クリックした回数分「+2」と書かれています 1回のクリックでクッキ
お近づきになりたい人向けシリーズです。 いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。 まえがき 予備知識 規格 用語 精度という語について 記法 表現について 有限値の表現について エンコードについて 丸めについて よくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価 用語に関して 実数の丸め 有理数の丸め 基本演算の丸め 差について 複数回の演算 補題たち 桁落ちについて Re: Rump’s example 融合積和 数学関数に関する式の計算 誤差の削減に関して 総和計算 数学関数の精度について 比較演算について 雑
ＴＫＯ木本武宏、総額６億円投資トラブルで芸能界引退へ きょう２３日にも所属事務所退社を発表 （スポーツ報知） - Yahoo!ニュース
総額６億円にも上る投資トラブルを抱え、テレビ、ラジオ各局に出演見合わせを申し入れている「ＴＫＯ」の木本武宏（５１）が、所属する松竹芸能を退社することが２２日、分かった。２３日にも発表される見込みだ。木本に近い関係者は「今後、芸能活動を続けるのは難しいでしょう」と話しており、事実上の芸能界引退となりそうだ。 【写真】木本武宏、相方・木下隆行と久々の２ショット 木本は、数年前からビットコインなどの仮想通貨やＦＸ（外国為替証拠金取引）の取引を始め、知人を通じて知り合った男性投資家と共同で運用を行うようになった。 関係者の話を総合すると、松竹芸能の複数の後輩芸人に投資話を持ちかけたほか、バラエティー番組で活躍する吉本興業所属の人気芸人も誘ったという。また自分が出演しているテレビ局スタッフらにも声をかけていた。 投資額は通常１人当たり１０～２０万円だったが、木本を信用して１０００万円を超える額を投資
OpenAIはGPT-3の次の研究を始めています． 世間がGPT-3のデモに湧き上がる中，OpenAIはScaling Lawに関する2本の論文をひっそりと公開しました． Scaling Lawを一言で説明するなら「Transformerの性能はたった3つの変数のべき乗則に支配されている」というものです． Scaling Lawはそれ単体だけなら興味深い話で終わるかもしれません．実際に英語圏でもあまり話題にあがっていません．しかし，この法則の本当の凄さに気づいている研究者もいて，なぜ話題にならないのか困惑しています． I am curious why people are not talking more about the OpenAI scaling law papers. For me, they seem very significant. What I heard so far:
滅多に起こらない現象を表すポアソン分布はイチローの安打数にも当てはまるのか？ １９９４年、プロ３年目のイチローはシーズン２１０安打、打率.３８５を記録して、一気にスーパースターになりました。 この年の打率１０傑は次の通りです。 （年度別成績 1994年パシフィックリーグ｜NPB.JP 日本野球機構 より抜粋） １位と２位以下の差が凄いですね。 いかにイチローが図抜けていたかが分かります。 今年のパ・リーグの規定打席以上の打者２９人の安打数を見ると、試合数より少なくなっていて安打数÷試合数＝０.９３です。 これくらいだと、１試合当たりの安打数は「滅多に起こらない事象の確率分布」であるポアソン分布に従います。 しかし、普通でない打者のイチローは、１試合当たり１.６本以上の安打を打っています。 そのような場合もポアソン分布に従うのでしょうか？ それを調べてみました。 比較対象として１９９４年打率
JavaScript / TypeScript の豆知識 10 選 初めに JavaScript / TypeScript にまつわる豆知識を、10 個ほど集めてみました。 コードは全て TypeScript で書いていますが、内容はほぼ全て JavaScript にも当てはまることです。 少し長めの読み物ではありますが、気軽に当記事を楽しんで頂ければ幸いです。 それでは、以下が目次です。 JavaScript / TypeScript の豆知識 10 選 初めに 1.Nullish と Falsy 関連参考資料_1 2. tsconfig の便利な設定 関連参考資料_2 3. 依存関係の綺麗な図示の仕方 関連参考資料_3 4.正しい XSS のやり方 関連参考資料_4 5.removeChildren 関連参考資料_5 6.数値型を関数の引数として使う時の小技 関連参考資料_6 7.hi
【特集】「『予測』という名の欲望」全記事はこちらから読めます ■人間にはAIの考えが分からない？ ――ディープラーニングは、大量の「教師データ」を読み込み、入力する変数と、出力する変数との間の関係を見つけ出します。その関係が分かれば、新たなデータを入力したとき、出力が予測できるというわけですが、なぜ人間はそのプロセスを理解できないのでしょうか？ おもにふたつの要因があります。質的なものと、量的なものです。量的な問題は、すごくシンプルです。ディープラーニングの内部で動くパラメータ（母数：システムの内部で動く情報）が多すぎるので、その大量・複雑なデータを人間の直感につなげることが難しい、という話です。最近は、多いものでは1億個を超えるパラメータから出力を予測します。じゃあ、その1億個をざっと人間が見てなにか分かるのかといえば、分からない。これが基本的に起こることです。 ――大量の変数という意味
Hello! I always wish that command line tools came with data about how popular their various options are, like: “basically nobody uses this one” “80% of people use this, probably take a look” “this one has 6 possible values but people only really use these 2 in practice” So I asked about people’s favourite git config options on Mastodon: what are your favourite git config options to set? Right now
プログラマのための公開鍵による暗号化と署名の話
初めに 公開鍵による暗号化と署名をプログラマ向け(?)に書いてみました。ちまたによくある暗号化と署名の話はインタフェースと実装がごちゃまぜになっていることが分かり、暗号化と署名の理解が進めば幸いです（と思って書いたけど、余計分からんといわれたらすんません）。登場する言語は架空ですが、多分容易に理解できると思います。 公開鍵による暗号化PKE 早速、公開鍵による暗号化(PKE : Public Key Encryption)を紹介します。登場するのは暗号化したいデータのクラスPlainText, 暗号文クラスCipherText, 秘密鍵クラスPrivateKeyと公開鍵クラスPublicKeyです。PKEは次の3個のインタフェースを提供しています。 abstract class PKE { abstract keyGenerator(): [PrivateKey, PublicKey];
Amazon S3 へのファイルアップロードで POST Policy を使うと、かゆいところに手が届くかもしれない - カミナシ エンジニアブログ
はじめに こんにちは。カミナシでソフトウェアエンジニアをしている佐藤です。 みなさんは、アプリケーションのフロントエンドから、Amazon S3 にファイルをアップロードするときに、どのような方法を用いているでしょうか？ 「バックエンドのサーバーにファイルを送信し、バックエンドのサーバー経由で S3 にアップロードしている」「Presigned URL を払い出して、フロントエンドから直接 PUT している」など、いくつかの方法があると思います。 弊社で提供しているサービス「カミナシレポート」でも、用途に応じて上記の方法を使い分けて S3 へのファイルのアップロードを行っています。 特に、Presigned URL は、手軽に利用できる上に、バックエンドのサーバーの負荷やレイテンシーの削減といったメリットも大きく、重宝しています。 一方で、その手軽さの反面、アップロードに際して様々な制約を
ポテト一郎🥔 @potetoichiro 【WANTED/Collatz problem】 数学の有名な未解決問題である『コラッツ予想』に、2021年7月7日、懸賞金1億2000万円がかけられました。これは、数学史上最高額の懸賞金となるそうです。コラッツ予想の内容は簡単に理解できるものです。数学自慢の方々、是非挑戦してみませんか。 mathprize.net/ja/posts/colla… 2021-07-07 20:05:04 リンク mathprize.net コラッツ予想 懸賞金1億2000万円 コラッツ予想の真偽を明らかにした方に懸賞金1億2000万円を支払います。 コラッツ予想 任意の正の整数に対し、以下で定義される関数 \(f(x)\) を繰り返し適 2 users ポテト一郎🥔 @potetoichiro コラッツ予想とは 『自然数を1つ選んでスタート ①偶数なら2で割る
数学における「自明」の意味｜さのたけと
一昨日、数学における「自明」の意味について ツイート したところ一定の反響がありました。 数学の教科書において「自明」「明らか」といった言葉は頻出でありながら、本文でその意味がちゃんと説明されることは稀で、結果としてそれらの言葉を 誤解 している人や、それらの言葉が使われることに 圧力・反感 を感じる人も一定の割合でいるようです。 この記事では、その言葉の意味を説明すると共に、なぜそれらの言葉が数学において必要であるのかを解説してみたいと思います。 背景三日前、 数学系 YouTuber の数学野郎さんが 「ひろゆきに影響された数学系YouTuber」という（とても面白い）動画を公開していました。 彼はその中で「√2 が無理数であることを証明するには、まず √2 が実数であることを示さなければならない」と主張していました。それに対して「√2 が実数であることは自明であって欲しい」とコメント
NewJeansの躍進が止まらない。2022年7月のデビューから約1年半、彼女たちが何かしらのアクションを取る度に大きな話題を呼び、その一挙手一投足から目が離せない状況が続いている。2023年に輝いたアワードやノミネート、日々更新されるレコードを上げ出したらキリがなく、もはやその人気ぶりは説明不要と言っても過言ではないだろう。 そんな彼女たちの活躍を支えるのが、総括プロデューサーのミン・ヒジンだ。S.M.entertainmentからキャリアをスタートした彼女は、デザイン面を受け持つクリエイティブディレクターとしてSHINee、f（x）、EXO、Red Velvetらの制作に携わり、人気グループへと押し上げるのに一役買った。そこからHYBE（当時はBig Hit Entertainment）へ活躍の場を移し、2021年にHYBE傘下の新規レーベルADORを設立。その第一弾としてNewJea
Pythonについて思うこと | 雑記帳
みなさん、Pythonは好きですか？ この記事では、私がPythonという言語とそのエコシステムについて思うところを書いていきます。全体を通したストーリーみたいなのはなくて、トピックごとに書いています。 私のPython経験は3年弱です。Pythonについてまだまだ新米だという自覚はありますが、そこは有り余る才能でカバーしてこの記事を書いています。 静的型 Pythonには静的型がありません。型ヒントはありますが、インタープリターにとっては飾りにすぎません。 mypyとかの型チェッカーはありますが、「それさえあれば万事ハッピー」なものではなく、既存のコードを適宜書き換えないと型チェッカーでまともな結果を得るのは難しそうです。型検査を念頭に書かれていない（型ヒント付きの）コードをそのままmypyにかけても大量のエラー・警告が出てくるでしょう（ちなみに、型ヒントなしの関数はmypyのデフォルト
画像をテキストで置き換えるいわゆるアスキーアートを自動生成します。変換したい画像と使用する文字列を与えると、画像の濃いところは画数の多い字で薄いところは画数の少ない字で置き換えることで濃淡を表現します。ただし画数情報はわからないので、文字列の字を一文字ずつ画像に変換して濃さ(輝度)を測定して画数の代わりに使用しています。 環境 windows10 home Anaconda 3/ jupyter notebook 5.6.0 Python 3.7.0 Pillow 5.2.0 準備 画像ファイルはフリー写真素材ぱくたそからダウンロードさせていただき、jupyter notebookファイル(***.ipynb)と同じディレクトリに保存しました(使用した画像サイズは800x1195)。 model.jpg 置き換える文字列は小学校1年生で習う漢字を用いました。また空白の描画のため全角スペース
勤務先の日本マクドナルド（東京都新宿区）から３千万円を着服したとして、警視庁は、同社財務税務ＩＲ部統括マネージャー西町崇容疑者（３８）＝東京都杉並区阿佐谷南１丁目＝を業務上横領容疑で逮捕し、２５日発表した。同社の口座では１月以降、数十回にわたり約７億円の不正な引き出しが確認され、西町容疑者が関与をほのめかしているといい、警視庁が詳しく調べている。 新宿署によると、西町容疑者は１０月上旬ごろ、額面３千万円の小切手１通を作成し、銀行で換金して横領した疑いがある。昨年７月に入社し、預金の管理などを担当していた。調べに「ＦＸ投資や借金返済に充てた」と供述しているという。
ChatGPT Plus で使える Code Interpreter でのグラフ描画と PowerPoint のスライド化（ダウンロードできるファイルの生成） - Qiita
ChatGPT Plus で使える Code Interpreter でのグラフ描画と PowerPoint のスライド化（ダウンロードできるファイルの生成）PythonChatGPTChatGPTPlusGPT-4CodeInterpreter はじめに 先ほど、ChatGPT の Code Interpreter を軽く試した流れ（＋関連情報）を記事にしたのですが、その後に試したことも記事にしてみます。 ●ChatGPT Plusユーザー向けの Code Interpreter で QRコード生成を試す！（Pythonの qrcode パッケージを使用した処理） - Qiita https://qiita.com/youtoy/items/89a944fc9125ee6b8426 この記事で紹介するのは、グラフ描画と、ダウンロードが可能な PowerPoint のファイルの生成です。
TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)
ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>; // = true 一方でこのようにして定義された関数は第一級ではない, つまり関数そのものを他の関数の引数として渡したりすることができません. type FilterUnion<F, X> = X extends unknown ? (F<X> extends true ? X : never) : never; // ~~~~ // ^ Error: Type 'F' is n
はじめに ごきげんよう．いぇとです． この記事は東京大学理学部物理学科 B3 有志による Physics Lab. 2022 Advent Calendar 2021 19日目の記事です． Physics Lab. とは物理学科有志による五月祭企画です．私は生物物理班に所属しています．生物物理班については，たがやし班長が書いてくれた記事『生物物理班だよ』を見てください．絶対． 当初の予定では，19日目は統計力学のくりこみ群の話を書こうと思っていたのですが，多忙につき色々と試行錯誤をする暇がなく辞めることにしました．書いてもいいんですけどね． 代わりに LaTeX のお役立ち（？）情報を書こうと思います．この記事では LaTeX の基本事項を前提とします．今回は私が普段使っているパッケージの紹介や気をつけていることなどについてまとめます．（「普段気を付けていること」とかいうの，普段気を付けて
プログラミングしてますか？僕は都内在住のエンジニアで、最近は主にRuby/Go/TypeScriptを触っています。 趣味で競技プログラミングを始めたのでC++も触るようになりました。 そんな僕ですが、6/22にリリースされたV言語に興味を持っています！ 最近だとかなりプロダクションコードでも採用されるのを聞くようになったGo言語がありますが、さらにモダンな言語です。 vlang.io このV言語について公式は以下のように言っています。 Simple, fast, safe, compiled language for developing maintainable software V言語（The V Programming Language）とは インストール手順 V言語の嬉しい部分と特徴 特徴 translating C/C++ to V Hot code reloading その他
超関数型プログラミング
この記事はFOLIO Advent Calendar 2022の23日目です。 ソフトウェア2.0 ソフトウェア2.0 という新しいプログラミングのパラダイムがあります。これは Tesla 社のAIのシニアディレクターだった Andrej Karpathy が自身のブログ記事（"Software 2.0"）で提唱した概念で、 ニューラルネットワーク のような最適化を伴うプログラムを例に説明されています。 従来のプログラム（Software 1.0）は人間が命令に基づいたプログラムを作成し、望ましい挙動を行わせます。それに対してニューラルネットワークのようなプログラム（Software 2.0）では人間はある程度の自由度をパラメータという形で残したプログラムを作成し、「入出力のペア」や「囲碁に勝つ」というような教師データや目的を与えてプログラムを探索させるというものです。 画像出典: "So
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
競技プログラミングで解法を思いつくための典型的な考え方 | アルゴリズムロジック
「ゲーム制作するなら、これだけは覚えておいたほうがいい」 プログラミングする上で重要な「対数」の考え方
アニメ「Sonny Boy」の『難解』プログラムの解説 - まめめも
ポケモンの最強タイプを考える【グラフ理論】 - Qiita
FFT（高速フーリエ変換）を完全に理解する話 - Qiita
覚えれば一生もの！ ウェブエンジニアのための正規表現活用入門 - ICS MEDIA
ChatGPTのコア技術「GPT」をざっくり理解する - Qiita
暗号の歴史と現代暗号の基礎理論（RSA, 楕円曲線）-後半- - ABEJA Tech Blog
衛府嵐大、情報商材学部など２学部を新設申請 「稼げる大学」目指す
イギリス、竹を庭に植えるブーム到来→繁殖力がすごくて庭を破壊しまくり社会問題化 : 痛いニュース(ﾉ∀`)
「ベイは全部埋める」「ごてごてした端子は正義」これが2007年当時のパソコンのかっこよさだった！
「CNNって何よ」って聞かれたら、とりあえずこう説明してみたら？という話 - Np-Urのデータ分析教室
Obsidianが大学生活を変える! 学生必見の活用術 - Qiita
突然、紹介されるAndroidアプリ集を書いた増田のガジェット
クッキークリッカーで学ぶアルゴリズム入門 : あすなろの雑記
浮動小数点型の算術とお近づきになりたい人向けの記事 - えびちゃんの日記
OpenAIが発見したScaling Lawの秘密 - ディープラーニングブログ
イチローの安打数がポアソン分布にならず正規分布になる理由を考察してみた | ロジギーク
JavaScript / TypeScript の豆知識 10 選 - Qiita
人間が深層学習のAIを理解できないのには、理由がある：朝日新聞GLOBE＋
Popular git config options
数学の未解決問題に『1億2000万円』の懸賞金がかけられる→内容は簡単に理解できます。数学自慢の方々挑戦してみて
ミン・ヒジン、NewJeansを成功に導いた異端の発想 「トレンドを無視した方がむしろ創意に富む」
アスキーアートを自動生成する - Pythonでいろいろやってみる
マクドナルド社員３千万円横領容疑 口座の７億円消える：朝日新聞デジタル
LaTeX で物理学徒が最低限知っておくべきこと・私が気を付けていること - Qiita
【プログラミング言語】モダンなV言語がリリースされたので触ってみる【シンプル且つ高速】 - pavlog