アポロニウスのギャスケット - Wikipedia
アポロニウスのギャスケット（英: Apollonian gasket）は、互いに接する3つの円から生成されるフラクタル図形の一種である。アポロニウスの網（英: Apollonian net）とも呼ばれる。紀元前のギリシャ人数学者であるペルガのアポロニウスにちなむ。 構築[編集] アポロニウスのギャスケットの例 互いに接する3つの円をそれぞれ C1、C2、C3 とする。アポロニウスは C1、C2、C3 の全てと接する、互いに交差しない2つの円 C4、C5 が存在することを発見した（デカルトの円定理を参照）。C4、C5 は C1、C2、C3 に対するアポロニウスの円と呼ばれる。元の3つの円にアポロニウスの円を加えることで5つの円を得る。 アポロニウスの円のうちの1つ（仮に C4 とする）をとると、この円は元の3つの円のうち2つ（仮に C1、C2 とする）と接しているから、新たに C4、C1、C
2次元 - Wikipedia
2次元（にじげん、二次元）は、空間の次元が2であること。次元が2である空間を2次元空間と呼ぶ。 なおここでいう空間とは、物理空間に限らず、数学的な一般の意味での空間であり、さまざまなものがある（詳細は「次元」を参照）。 2次元図形の例[編集] 平面 多角形 円 曲面 球面 二次曲面 2次元の例[編集] 身近な2次元には、次のようなものがある。 画像、絵画、図面、地図などは2次元である。 ヒトを初め大部分の生物の視覚は2次元である。ただし、両目での立体視により、距離情報がマッピングされた2.5次元情報が得られる。 行列はスカラーが2次元に配置されている。 ライフゲームは2次元セルオートマトンである。 複素数は2次元実空間（ガウス平面）上の点で表される。 2次元の特徴[編集] 2次元には、次のような特徴がある。 回転がスカラーで表される唯一の次元数である。 正多面体が無限にある唯一の次元数であ
フレシェ微分 - Wikipedia
数学におけるフレシェ微分（フレシェびぶん、英: Fréchet derivative）は、モーリス・ルネ・フレシェの名にちなむバナッハ空間上で定義される微分法の一種である。フレシェ微分は、実一変数の実数値函数の導函数を、実多変数のベクトル値函数の場合へ一般化するのに広く用いられ、また変分法で広範に用いられる汎函数微分を定義するのにもつかわれる。 一般に、これは実一変数実数値函数の微分の概念をバナッハ空間上の写像へ拡張するものであり、より一般のガトー微分（古典的な方向微分の一般化）とは対比されるべきものである。 フレシェ微分は解析学や物理科学の至る所（特に、変分法、非線型解析学の多く、および非線型函数解析）で非線型問題に応用を持つ。 定義[編集] バナッハ空間 V, W および V の開集合 U に対して、函数 f: U → W が x ∈ U においてフレシェ微分可能であるとは、有界線型作
ラビンオートマトン - Wikipedia
ラビンオートマトン（Rabin Automaton）は、無限長の文字列を扱う有限オートマトンの一種。その形式は としたとき、 および は Büchi automaton と同様に定義される。 は遷移関数であり、 はペア の集合で、 である。 である の実行において、 からの一部の状態を無限回訪れる間に からの全状態を有限回訪れるようなインデックス があるとき、 は入力単語 を受容する。 参考文献[編集] Automata on Infinite Objects, Handbook of Theoretical Computer Science (Vol. B), 1991. Wolfgang Thomas による調査 Automata on Infinite Words Paritosh K. Pandya によるチュートリアル
適切さの論理 - Wikipedia
適切さの論理（てきせつさのろんり）、あるいは相関論理（そうかんろんり）、関連性の論理（かんれんせいのろんり）、関連性論理（かんれんせいろんり）は、論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。英語では、オーストラリアの論理学者は Relevant logics と呼び、それ以外の英語圏の論理学者は Relevance logics と呼ぶ。 古典論理における実質含意と「ならば」の乖離[編集] 古典論理において条件関係（conditional relation）、含意関係（implicational relation）、帰結関係（entailment relation）を表す論理結合子（logical connectives）である実質含意（material implication）と、我々が普段思考するときや推論するとき
包含写像 - Wikipedia
A は B の部分集合であり、B は A の上位集合である。 数学における包含写像（ほうがんしゃぞう、英: inclusion map, inclusion function）または標準単射 (英: canonical injection) は、A を B の部分集合とするとき、A の各元 x を B の元として扱う写像 のことを言う[1]。写像の矢印の部分に「鉤付き矢印」↪ を用いることで A ↪ B が包含写像であることを意味することがある。 包含写像（およびそれに類する部分構造（英語版）からの単射[2]）はしばしば、自然な単射 (英: natural injection) とも呼ばれる。 二つの対象 X と Y の間の任意の射 f: X → Y が与えられたとき、域 X の中への包含写像射 ι: A → X が存在するならば、f の制限を射の合成 f ∘ i によってつくることができ
ホーナー法 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Horner's method|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明
)
転倒 (数学) - Wikipedia
The permutation (4,1,5,2,6,3) has the inversion vector (0,1,0,2,0,3) and the inversion set {(1,2),(1,4),(3,4),(1,6),(3,6),(5,6)}.The inversion vector converted to decimal is 373. 計算機科学および離散数学における列の転倒（てんとう、英: inversion）は、その列の項の対であって、それらの項の成分が自然な順番から外れているようなものを言う。 定義[編集] きちんと述べれば、 を相異なる n 個の全順序付けられた文字（例えば、数）の成す列として、 かつ が成り立つとき、順序対 を の転倒と呼ぶ[1][2]。 列の転倒数 (inversion number) は、その整列性の測度として広く用いられる[3][2]。き
一般化算術数列 - Wikipedia
数学における多重算術数列, 一般化算術数列（いっぱんかさんじゅつすうれつ、英: generalized arithmetic progression）または多次元算術数列は、自然数からなる有限多重数列であって、各変数に対応する成分がどれも算術数列（公差はそれぞれで異なってよい）となるものを言う。そのような多重数列全体の成す集合を線型集合 (linear set) とも呼ぶ。 例えば、初項 17 に 3 の倍数または 5 の倍数を繰り返し加えたものは多重算術数列を成す。式で書けば、c, d1, d2, … は自然数の定数として、k1, k2, … は適当な範囲 0 ≤ ki < ni (∏i ni =: n) を動く自然数変数とするとき、 が有限多重算術数列である。取りうる添字の数 j をこの多重数列の次元 (dimension) と言う。 より一般に、集合 L = L(C; P) は なる
ガウシアンぼかし - Wikipedia
ガウシアンぼかしの適用例。上から入力画像、標準偏差3ピクセルのぼかし、標準偏差10ピクセルのぼかし。 ガウシアンぼかし (ガウスぼかし、ガウシアンブラー、ガウシアンフィルター、ガウスフィルター、Gaussian Blur）とは、画像処理においてガウス関数をもちいて画像をぼかす処理である。デジタルカメラの撮像画像などからノイズを除去したり、アンシャープマスク処理、エッジ抽出の前処理などに応用できる。 定義[編集] 二次元ガウス関数 標準偏差 σ のガウシアンぼかしとは、n 次元の入力画像 A[i, j, ...] に対し n 次元ガウス関数 （ここで ） の畳み込み和 をとることである。 実装[編集] ガウシアンぼかしを得る最も単純な方法は畳み込み行列を用いることである。ガウス関数は中心から離れるにしたがって値が小さくなるので、rcutoff ~ 3σ 程度で打ち切って行列をつくればよい。
分類定理 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "分類定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2009年12月） 数学において，分類定理（ぶんるいていり，英: classification theorem）は「与えられた種類の対象を同値の違いを除いて決定せよ」という分類問題に答える．それは重複しない数え上げを与える：各対象はちょうど1つの類に同値である． 分類に関連するいくつかの問題は以下である． 同値問題：「2つの対象が与えられたとき，それらが同値であるかどうか決定せよ．」 不変量が実現可能な完全不変量は分類問題を解き，しばしばその段階である． （不変量が実現可能な）計算
格子モデル - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Lattice model (finance)|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指
円錐台 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "円錐台" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年5月） 円錐台（えんすいだい、英: circular truncated cone）は、底面が円である錐台である。つまり、円錐を底面に平行な平面で切り、小円錐の部分を除いた立体図形である。 プリンの形は一般的には円錐台である。受験数学、特に日本の中学入試でよく出題される立体である。 体積[編集] 初等的な導出[編集] 錐体の体積公式を知っているが積分計算は知らない場合（日本の多くの小中学生はそうである）、体積を求めるには、円錐から小円錐を取り除いたと考えればよい。ここで、一
なぜRustなの？と言われた時のために
20 秒で概要 当記事では、Rust における以下の 4 つのいいところを特徴を紹介します。 他の言語と比較しながらコンセプトを学ぶことで、なぜ今 Rust を学ぶべきかを理解できます。 Rust はメモリ安全な言語です Rust はリッチな型システムがあります Rust はエラー処理が分かりやすい Rust は健全なコミュニティの有るエコシステムです また以下のような、Rust 学習における最初の一歩のお手伝いもします。 環境のセットアップ 写経に適したチュートリアルの紹介 躓きポイントの紹介 Rust のいいところ Rust はメモリ安全な言語です。 これまでのメモリ管理手法 プログラミング言語によるメモリ管理には、これまで 2 種類の方法が有りました。 プログラマが全責任をもって管理する 例）C 言語 char *str; int length = 100; // 100byte（半
仕事の悩みや愚痴をどう処理するか｜tadaaki
おすすめの処理方法解決の難しい愚痴はタバコ部屋で吐き出す 解決の糸口がある愚痴は課題に変えて、改善できないか考えてみる 悩みは社内のいろんな人に相談してみる 社外の人に相談したりインターネットに投げてみる 投げる前にいったん立ち止まろう 技術的な課題や悩みは NDA などに触れない、ユーザーに迷惑をかけない範囲でね 組織的な課題や悩みは抽象化するといろんな人と共有できるかも 具体的なアクションにつなげるために愚痴はタバコ部屋へ（論理含む）喫煙者も物理出社も減り、タバコ部屋という概念がなくなって久しい昨今。 代わりに社内での音声通話で吐き出すことをおすすめします。 テキストで吐き出す方法もありますが、テキストだと残りますし、ニュアンスが正しく伝わらずに誤解を招いてしまうこともありそうですよね。 自分の力ではどうしようもできない問題というのは高確率で発生します。 みんな人の子、完璧な人などいな
SmartHR、タイピングゲーム「人労打」を公開 | SmartHR｜シェアNo.1のクラウド人事労務ソフト
クラウド人事労務ソフト「SmartHR（スマートエイチアール）」を運営する株式会社SmartHR（本社：東京都港区、代表取締役：芹澤 雅人）は、オリジナルタイピングゲーム「人労打（じんろうだ）」を公開いたしました。「人労打」はパソコン用のインターネットブラウザ上(※1)で遊ぶことができます。 「人労打」は、限られた時間の中で画面に表示されるワードを入力し、スコアを競うタイピングゲームです。ワードには人事・労務業務に関するものや、SmartHRの関連用語、インターネットに関する用語など幅広く設定。人事・労務の現場をモチーフに、約2ヶ月の歳月をかけ、企画からキャラクターデザイン、開発、BGM制作までSmartHR社内で行いました。 リモートワークが普及した昨今、オンラインコミュニケーションの重要性はますます高まっています。タイピングゲーム「人労打」は、働く多くの人が持つタイピングスキルを活用す
カービィの新能力「ほおばりヘンケイ」がインターネットユーザーに大人気、マリオカートに実装するMODまで登場
任天堂が2022年上半期に発売予定のNintendo Switch向けタイトルを中心とした最新情報を伝える「Nintendo Direct 2022.2.10」を、2022年2月10日に放送しました。この中で、「星のカービィ ディスカバリー」でカービィが披露する新しい特殊アクション「ほおばりヘンケイ」の存在が明らかになったのですが、これがインターネットユーザーの注目の的になっています。 Carby is swallowing the internet • Eurogamer.net https://www.eurogamer.net/articles/2022-02-11-carby-is-swallowing-the-internet Kirby Mouthful Mode Now Added To Mario Kart 8 Via Modded Carby https://kotaku
『ハンター×ハンター』の架空の盤上競技『軍儀（ぐんぎ）』が驚きの商品化で本日より予約開始。作品内の描写をもとに駒や盤、ルールを完全再現 | ゲーム・エンタメ最新情報のファミ通.com
冨樫義博氏により1998年より『週刊少年ジャンプ』でマンガが連載されるや大人気を博し、テレビアニメや映画化などもされた『HUNTER×HUNTER』（ハンター×ハンター）。同作に登場する架空の盤上競技『軍儀』が、ユニバーサル ミュージックより、まさかの商品化。本日2022年2月14日より予約を開始した。 『軍儀』は、『HUNTER×HUNTER』に登場する東ゴルトー共和国発祥の盤上競技。アニメでも描かれており、メルエムとコムギの対局が印象的だった方も多いのでは。本商品は、作品内の描写をもとに『軍儀』の駒や盤、ルールを再現し、商品化したという。 商品は通常版とハイエンド版があり、いずれも完全受注生産限定品として予約販売する。通常版は4840円［税込］で、ハイエンド版が48400円［税込］。予約期間は2022年2月14日（月）～5月8日（日）までで、商品のお届け日は2022年9月16日（金）を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
黄金のペア8と9 - 明日話したくなる「数」のお話 #4
https://twitter.com/dhjshi_shi/status/1492746109944430594
The Sophomore's Spindle: All about the function x^x
https://twitter.com/884_96/status/1492860812528025601
Teaching and Learning Toolkit
『原論』の基礎知識 ＠第33/2回日曜数学会
https://twitter.com/sugakutankyujo/status/1493171387631996932
PowerWash Simulator on Steam