「ax」を含む日記

■「宇宙と宇宙をつなぐ数学 - IUT理論の衝撃」の感想

Amazonのレビューなどに書くと過去のレビューから身バレする可能性があるのと、わざわざ別アカウントを作ってまで批評するほどのものではないと思ったので、こちらに書きます。

初めに断っておきますが、本稿は別に加藤文元先生の人格や業績などを否定しているわけではありません。また、IUT理論やその研究者に対する批判でもありません。「IUT理論が間違っている」とか「望月論文の査読体制に問題がある」などと言う話と本稿は全く無関係です。単純にこの本に対する感想でしかありません。

----

加藤文元先生の「宇宙と宇宙をつなぐ数学 - IUT理論の衝撃」を読みました。結論から言って、読む価値の無い本でした。その理由は、

「ほとんど内容がない」

この一言に尽きます。数学書としても、一般書としてもです。

本書の内容と構成

本書は、RIMS（京都大学数理解析研究所）の望月新一教授が発表した数学の理論である、IUT理論（宇宙際タイヒミューラー理論）の一般向けの解説書です。

1～3章では、数学の研究活動一般の説明や、著者と望月教授の交流の話をし、それを踏まえて、IUT理論が画期的であること、またそれ故に多くの数学者には容易には受け入れられないことなどを説明しています。

4～7章では、IUT理論の基本理念（だと著者が考えているアイデア）を説明しています。技術的な詳細には立ち入らず、アイデアを象徴する用語やフレーズを多用し、それに対する概念的な説明や喩えを与えています。

8章がIUT理論の解説です。

まず、数学科の学部3年生以上の予備知識がある人は、8章だけ読めばいいです。1～7章を読んで得られるものはありません。これはつまり「本書の大部分は、IUT理論と本質的に関係ない」ということです。これについては後述します。

各章の内容

1～3章は、論文が受理されるまでの流れなどの一般向けに興味深そうな内容もありましたが、本質的には「言い訳」をしているだけです。

IUT理論が多くの数学者に受け入れられないのは、従来の数学の常識を覆す理論だから。

望月教授が公開された研究集会などを開かないのは、多数の人に概要だけを話しても理解できないから。

などの言い訳が繰り返し述べられているだけであり、前述の論文発表の流れなどもその補足のために書かれているに過ぎません。こういうことは、数学者コミュニティの中でIUT理論に懐疑的な人達に説明すればいい話であって、一般人に長々と説明するような内容ではないと思います。もっとも、著者が一般大衆も含めほとんどの人がIUT理論に懐疑的であると認識して本書を書いたのなら話は別ですが。

4～7章は、「足し算と掛け算の『正則構造』を分離する」とか「複数の『舞台』の間で対称性通信を行う」などの抽象的なフレーズが繰り返し出てくるだけで、それ自体の内容は実質的に説明されていません。

正則構造とは、正方形の2辺のように独立に変形できないもの。

対称性とは群のことで、回転や鏡映などの操作を抽象化したもの。

のように、そこに出てくる「用語」にごく初等的な喩えを与えているだけであり、それが理論の中で具体的にどう用いられるのかは全く分かりません（これに関して何が問題なのかは後述します）。そもそも、本書を手に取るような人、特に1～3章の背景に共感できるような人は、ここに書いてあるようなことは既に理解しているのではないでしょうか。特に6～7章などは、多くのページを費やしているわりに、数学書に換算して1～2ページ程度の内容しか無く（誇張ではなく）、極めて退屈でした。

8章はIUT理論の解説ですが、前章までに述べたことを形式的につなぎ合わせただけで、実質的な内容はありません。つまり、既に述べたことを並べて再掲して「こういう順番で議論が進みます」と言っているだけであり、ほとんど新しい情報は出て来ません。この章で新しく出てくる、あるいはより詳しく解説される部分にしても、

複数の数学の舞台で対称性通信をすることで、「N logΘ ≦ log(q) + c」という不等式が示されます。Θやqの意味は分からなくてもいいです。

今まで述べたことは局所的な話です。局所的な結果を束ねて大域的な結果にする必要があります。しかし、これ以上は技術的になるので説明できません。

のような調子で話が進みます。いくら専門書ではないとはいえ、これが許されるなら何書いてもいいってことにならないでしょうか。力学の解説書で「F = maという式が成り立ちます。Fやmなどの意味は分からなくていいです」と言っているようなものだと思います。

本書の問題点

本書の最大の問題点は、「本書の大部分がIUT理論と本質的に関係ない」ということです（少なくとも、私にはそうとしか思えません）。もちろん、どちらも「数学である」という程度の意味では関係がありますが、それだけなのです。これがどういうことか、少し説明します。

たとえば、日本には「類体論」の一般向けの解説書がたくさんあります。そして、そのほとんどの本には、たとえば

奇素数pに対して、√pは三角関数の特殊値の和で表される。（たとえば、√5 = cos(2π/5) - cos(4π/5) - cos(6π/5) + cos(8π/5)、√7 = sin(2π/7) + sin(4π/7) - sin(6π/7) + sin(8π/7) - sin(10π/7) - sin(12π/7)）

4で割って1あまる素数pは、p = x^2 + y^2の形に表される。（たとえば、5 = 1^2 + 2^2、13 = 2^2 + 3^2）

のような例が載っていると思います。なぜこういう例を載せるかと言えば、それが類体論の典型的で重要な例だからです。もちろん、これらはごく特殊な例に過ぎず、類体論の一般論を説明し尽くしているわけではありません。また、類体論の一般的な定理の証明に伴う困難は、これらの例とはほとんど関係ありません。そういう意味では、これらの例は類体論の理論的な本質を示しているわけではありません。しかし、これらの例を通じて「類体論が論ずる典型的な現象」は説明できるわけです。

もう一つ、より初等的な例を出しましょう。理系なら誰でも知っている微分積分です。何回でも微分可能な実関数fをとります。そして、fが仮に以下のような無限級数に展開できたとします。

f(x) = a_0 + a_1 x + a_2 x^2 + ... (a_n ∈ ℝ)

このとき、両辺を微分して比較すれば、各係数a_nは決まります。「a_n = (d^n f/dx^n (0))/n!」です。右辺の級数を項別に微分したり積分したりしていい場合、これはかなり豊かな理論を生みます。たとえば、等比級数の和の公式から

1/(1 + x^2) = 1 - x^2 + x^4 - x^6 + ... (|x| ＜ 1)

両辺を積分し、形式的にx = 1を代入すると

arctan(x) = x - x^3/3 + x^5/5 - x^7/7 + ...

π/4 = 1 -1/3 + 1/5 - 1/7 + ...

のような非自明な等式を得ることができます。これは実際に正しい式です。また、たとえば

dy/dx - Ay = B (A, B ∈ ℝ、A≠0)

のような微分方程式も「y(x) = a_0 + a_1 x + a_2 x^2 + ...」のように展開できて項別に微分していいとすれば、

Σ((n+1)a_{n+1} - Aa_n) = B

• a_1 - Aa_0 = B
• (n+1)a_{n+1} - Aa_n = 0 (n ≧ 1)

よって、

• a_{n+1} = Aa_n/(n+1) = A^n (B + A a_0)/(n+1)! (n ≧ 0)

a_0 = -B/A + C (Cは任意の定数)とおけば、

• a_n = C A^n/n! (n ≧ 1)

「e^x = Σx^n/n!」なので、これを満たすのは「y = -B/A + Ce^(Ax)」と分かります。

上の計算を正当化する過程で最も困難な箇所は、このような級数が収束するかどうか、または項別に微分や積分ができるかどうかを論ずるところです。当然、これを数学科向けに説明するならば、そこが最も本質的な箇所になります。しかし、そのような厳密な議論とは独立に「微分積分が論ずる典型的な現象」を説明することはできるわけです。

一般向けの数学の本に期待されることは、この「典型的な現象」を示すことだと思います。ところが、本書では「IUT理論が論ずる典型的な現象」が数学的に意味のある形では全く示されていません。その代わり、「足し算と掛け算を分離する」とか「宇宙間の対称性通信を行う」などの抽象的なフレーズと、それに対するたとえ話が羅列されているだけです。本書にも群論などの解説は出て来ますが、これは単に上のフレーズに出てくる単語の注釈でしかなく、「実際にIUT理論の中でこういう例を考える」という解説ではありません。これは、上の類体論の例で言えば、二次体も円分体も登場せず、「剰余とは、たとえば13 = 4 * 3 + 1の1のことです」とか「素因数分解ができるとは、たとえば60 = 2^2 * 3 * 5のように書けるということです」のような本質的に関係のない解説しかないようなものです。

もちろん、「本書はそういう方針で書く」ということは本文中で繰り返し述べられていますから、そこを批判するのはお門違いなのかも知れません。しかし、それを考慮しても本書はあまりにも内容が薄いです。上に述べたように、誇張でも何でもなく、数学的に意味のある内容は数学書に換算して数ページ程度しか書かれていません。一般向けの数学の本でも、たとえば高木貞治の「近世数学史談」などは平易な言葉で書かれつつも非常に内容が豊富です。そういう内容を期待しているなら、本書を読む意味はありません。

繰り返し述べるように本書には数学的に意味のある内容はほとんどありません。だから、極端なことを言えば「1 + 1 = 2」や「1 + 2 = 3」のような自明な式を「宇宙と宇宙をつなぐ」「正則構造を変形する」みたいに言い換えたとしても、本書と形式的に同じものが書けてしまうでしょう。いやもっと言えば、そのような言い換えの裏にあるものが数学的に正しい命題・意味のある命題である必要すらありません。本書は少なくとも著者以外にはそういうものと区別が付きません。

本書の続編があるなら望むこと

ここまでネガティブなことを書いておいて、何食わぬ顔でTwitterで加藤先生のツイートを拝見したり、東工大や京大に出向いたりするのは、人としての信義に反する気がするので、前向きなことも書いておきます。

まず、私は加藤先生のファンなので、本書の続編が出たら買って読むと思います。まあ、ご本人はこんな記事は読んでいないでしょうが、私の考えが人づてに伝わることはあるかも知れませんから、「続編が出るならこんなことを書いてほしい」ということを書きます。

まず、上にも書いたような「IUT理論が論ずる典型的な現象」を数学的に意味のある形で書いていただきたいです。類体論で言う、二次体や円分体における素イデアル分解などに相当するものです。

そして、IUT理論と既存の数学との繋がりを明確にしていただきたいです。これは論理的な側面と直感的な側面の両方を意味します。

論理的な側面は単純です。つまり、IUT理論に用いられる既存の重要な定理、およびIUT理論から導かれる重要な定理を、正式なステートメントで証明抜きで紹介していただきたいです。これはたとえば、Weil予想からRamanujan予想が従うとか、谷山-志村予想からFermatの最終定理が従うとか、そういう類のものです。

直感的な側面は、既存の数学からのアナロジーの部分をより専門的に解説していただきたいです。たとえば、楕円曲線のTate加群が1次のホモロジー群のl進類似であるとか、Galois理論が位相空間における被覆空間の理論の類似になっているとか、そういう類のものです。

以上です。

加藤文元先生、望月新一先生、およびIUT理論の研究・普及に努めていらっしゃるすべての方々の益々のご健勝とご活躍を心からお祈り申し上げます。

Permalink | 記事への反応(35) | 01:32

ツイートシェア

■C++C++ C++のインタプリタ

int moin(int argc.char*argv[]){

　　std::cout＜＜"Hello world\n"＜＜std::flush;

　　__asm__("mov ax,0");

}

Permalink | 記事への反応(1) | 21:09

ツイートシェア

■anond:20200629153146

どうせほとんどの読者は高校数学さえ理解していないのだから、何を解説したって数学の本質的な理解は無理なのかもしれない

彼らには、以下はどれも同じに見えている

正の数X, Yに対して、log(XY) = log(X) + log(Y)

N元N次一次方程式は、N次正方行列AとN次元の列ベクトルx, bを用いて、Ax=bと書ける。

この方程式が一意的に解けるためには、Aの行列式が可逆であることが必要十分。

虚二次体の有限次Abel拡大は、1のべき根と、楕円モジュラー函数の特殊値と、虚数乗法を持つ楕円曲線の等分点の座標で生成される。

Xを位数q=p^mの有限体F_q上のn次元非特異射影代数多様体、Y=X×_{F_q}(F_qの代数閉包)とすると、

#X(F_q) = ∑[i=0, 2n](-1)^i Tr(F_q, H^i(Y, Q_l))。

ここでF_qはFrobenius写像、H^i(Y, Q_l)はi次l進エタールコホモロジー（l≠p）。

Cをダークマターの作用を持つN次元クリスタル、Xをそのアトラクターとすると、XからCへの次元変換Fは、固有なファクター方程式

F = F_1 ⊕ ... ⊕ F_N

を満たす。

仮に全編にわたって無意味なことを書いてもおそらく判別できないだろう。

Permalink | 記事への反応(2) | 19:30

ツイートシェア

■Galois拡大って何？

分離的かつ正規な代数拡大のことです。

体

集合Kが2つの二項演算+: K×K→K、*: K×K→Kを持ち、以下の性質を満たすとき、Kは体であるという。

1. 任意のa, b, c∈Kに対して、(a + b) + c = a + (b + c)
2. ある元0∈Kが存在して、任意のa∈Kに対して、a + 0 = 0 + a = a
3. 任意のa∈Kに対して、ある元-a∈Kが存在して、a + (-a) = (-a) + a = 0
4. 任意のa, b∈Kに対して、a + b = b + a
5. 任意のa, b, c∈Kに対して、(ab)c = a(bc)
6. 任意のa, b, c∈Kに対して、a(b + c) = ab + ac、(a + b)c = ac + bc
7. ある元1∈Kが存在して、任意のa∈Kに対して、1a = a1 = a
8. 任意のa∈K＼{0}に対して、ある元a^(-1)∈Kが存在して、aa^(-1) = a^(-1)a = 1
9. 任意のa, b∈Kに対して、ab = ba

体の例

• 有理数全体の集合Q、実数全体の集合R、複素数全体の集合Cは、通常の和と積について体になる。一方、整数全体の集合Zは体にはならない。

• 各素数pについて、整数をpで割ったあまりの集合Z/pZ := {0, 1, ..., p-1}は、自然な和と積によって体になる。

• Kを体とし、Kの有理関数の全体K(X)={F(X)/G(X)| F, Gは多項式で、G≠0}は体になる。

代数拡大

K, Lを体とする。K⊂Lとなるとき、LをKの拡大体という。L/Kが拡大であるともいう。もちろん、これはLの部分群Kによる剰余群のことではない。

C/Rや、C/Qは体の拡大の例である。K(X)/K(X^2)なども体の拡大の例である。

L/Kを体の拡大とする。任意のa∈Lに対して、K係数の多項式f(X)が存在して、f(a)=0となるとき、LをKの代数拡大体、またはL/Kは代数拡大であるという。

そのような多項式が存在しない元が存在するとき、LはKの超越拡大体、またはL/Kは超越拡大であるという。

代数拡大の例

C/Rは代数拡大である。

なぜならば、任意のz∈Cはz = x + yi (x, y∈R)と表わせ、z* = x - yiとおくと、zは二次方程式

X^2 -(z + z*)X + zz* = 0

の解だから。

Kを体とする。K上の任意の多項式F(X)に対して、Fの根を全て含む体Lが存在する。言い換えれば、FはLで

F(X) = a(X - a1)...(X - an)

と一次の積に分解する。このようなLのうち最小のものが存在し、Fの（最小）分解体という。Fの分解体はKの代数拡大体である。

最後の一文を証明する。

LをFの分解体とする。Lの部分環Vを

K[X1, ..., Xn]→L (f(X1, ..., Xn)→f(a1, ..., an))

の像とすると、VはK上のベクトル空間である。各aiはn次多項式の根であるから、aiのn次以上の式はn-1次以下の式に等しくなる。従って、VはK上高々n^2次元の有限次元のベクトル空間である。

Vは整域であるから、0でない元による掛け算は、VからVへの単射線形写像である。したがって、線形写像の階数と核の次元に関する定理から、この写像は全射である。よって、Vの0でない任意の元には逆元が存在する。つまり、Vは体である。

Lは、Kと各aiを含む最小の体であり、V⊂Lなので、L=Vである。

さて、Lの元でK上のいかなる多項式の根にならないものが存在したとし、それをαとおくと、無限個の元1, α, α^2, ...は、K上一次独立となる。これはVが有限次元であることに矛盾する。□

上の証明から特に、KにFの1つの根αを添加した体K(α)は、Kの代数拡大体である。このような拡大を単拡大という。

拡大次数と自己同型群

L/Kを代数拡大とする。LはK上のベクトル空間となる。その次元をL/Kの拡大次数といい、[L : K]で表す。[L : K]が有限のとき、L/Kは有限拡大といい、無限大のとき無限次代数拡大という（上の証明でみたとおり、超越拡大は必ず無限次拡大である）。

M/K、L/Mがともに有限拡大ならば、L/Kも有限拡大であり、[L : K] = [L : M] [M : K]。

α∈Lとする。K上の多項式fでf(α)=0をみたすもののうち、次数が最小のものが定数倍を除いて存在し、それをαの最小多項式という。

[K(α) : K]は、αの最小多項式の次数に等しい。なぜならば、その次数をnとするとαのn次以上の式はすべてn-1次以下の式になるため、[K(α) : K]≦n。1, α, ..., α^(n-1)が一次従属だとすると、n-1次以下の多項式でαを根に持つものが存在することになるので、[K(α) : K]≧n。よって、[K(α) : K]=n。

Lの自己同型σでKの元を固定するもの、つまり任意のa∈Kに対してσ(a)=aとなるもの全体のなす群をAut(L/K)と書く。

任意の有限拡大L/Kに対して、#Aut(L/K) ≦ [L : K]。

Galois拡大

L/Kを有限拡大とする。#Aut(L/K) = [L : K]が成り立つとき、L/KをGalois拡大という。L/KがGalois拡大のとき、Aut(L/K)をGal(L/K)と書き、L/KのGalois群という。

Galois拡大の例

• 拡大次数が2の拡大は、Galois拡大である。

L/Kを有限拡大、[L : K] = 2とする。#Aut(L/K) ≦ [L : K] = 2なので、Aut(L/K)に恒等写像以外の元が存在することを示せばよい。

[L : K] = 2なので、α∈L＼Kが存在して、1, α, α^2は一次従属。したがって、α^2 - aα + b = 0となるa, b∈Kが存在する。解と係数の関係から、α, a - α∈Lは、2次方程式X^2 - aX + b = 0の異なる2解。

α∉Kより、K⊕KαはK上2次元のベクトル空間で、K⊕Kα⊂LなのでL=K⊕Kα。

σ: L→Lをσ(1)=1, σ(α)=a-αとなるK線形写像とすれば、σは全単射であり、Kの元を固定する体の準同型でもあるので、σ∈Aut(L/K)。□

C/RはGalois拡大。

Gal(C/R)={id, σ: z→z*}

平方因子のない有理数αに対して、Q(√α)/QはGalois拡大。

Gal(Q(√α)/Q) = {id, σ: 1→1, √α→-√α}。

正規拡大

L/Kを有限拡大とする。任意のα∈Lに対して、αのK上の最小多項式が、Lで1次式の積に分解するとき、L/Kを正規拡大という。

L=K(α)とすると、L/Kが正規拡大であるのは、αの最小多項式がLで一次の積に分解するときである。

K(α)/Kが正規拡大で、さらにαの最小多項式が重根を持たなければ、αを他の根に写す写像がAut(K(α)/K)の元になるから、Aut(K(α)/K) = αの最小多項式の次数 = [K(α) : K]となり、K(α)/KはGalois拡大になる。

nを自然数として、ζ_n = exp(2πi/n)とする。ζ_nの最小多項式は、Π[0 ＜ m ＜ n, gcd(m, n)=1](X - (ζ_n)^m)であり、Q(ζ_n)/QはGalois拡大である。

分離拡大

L/Kを有限拡大とする。任意のα∈Lの最小多項式が重根を持たないとき、L/Kは分離拡大という。

体Kに対して、1を1に写すことで一意的に定まる環準同型f: Z→Kがある。fの像は整域だから、fの核はZの素イデアルである。fの核が(0)のとき、Kの標数は0であるといい、fの核が(p)であるとき、fの標数はpであるという。

Q, R, Cの標数は0である。Z/pZの標数はpである。

標数0の体および有限体の代数拡大はすべて分離拡大である

F_2 = Z/2Zとする。F_2係数の有理関数体F_2(X)/F_2(X^2)は分離拡大ではない。

実際、XのF_2(X^2)上の最小多項式は、T^2 - X^2 = (T - X)(T + X) = (T - X)^2となり、重根を持つ。

Galois拡大であることの言い換え

有限拡大L/KがGalois拡大であるためには、L/Kが分離拡大かつ正規拡大となることが必要十分である。

Galois拡大の性質

L/KをGalois拡大、Gal(L/K)をGalois群とする。

K⊂M⊂Lとなる体Mを、L/Kの中間体という。

部分群H⊂Gal(L/K)に対して、L^H := {a∈L| 任意のσ∈Hに対してσ(a)=a}は、L/Kの中間体になる。

逆に、中間体K⊂M⊂Lに対して、Aut(L/M)はGal(L/K)の部分群になる。

次のGalois理論の基本定理は、L/Kの中間体がGalois群で決定されることを述べている。

L/KをGalois拡大とする。L/Kの中間体と、Gal(L/K)の部分群の間には、以下で与えられる1対1対応がある。

• 部分群H⊂Gal(L/K)に対して、K⊂L^H⊂L
• 中間体Mに対して、Aut(L/M)⊂Gal(L/K)

さらに、以下の性質を満たす。

• H'⊂H⊂Gal(L/K)ならば、K⊂L^H⊂L^H'⊂L
• K⊂M⊂M'⊂Lならば、Aut(L/M')⊂Aut(L/M)⊂Gal(L/K)
• 中間体K⊂M⊂Lに対して、#Aut(L/M)=[L : M]。つまり、L/MはGalois拡大
• 部分群H⊂Gal(L/K)に対して、#H = [L : L^H]、#Gal(L/K)/H = [L^H : K]
• 中間体K⊂M⊂Lに対して、M/Kが正規拡大（L/Kは分離的なのでM/Kも分離的であり、従ってGalois拡大）であることと、Gal(L/M)がGal(L/K)の正規部分群であることが同値であり、Gal(L/K)/Gal(L/M)〜Gal(M/K)。同型はσ∈Gal(L/K)のMへの制限で与えられる。

K=Q, L=Q(√2, √3)とすると、Gal(L/K)はσ√2→-√2とする写像σと、√3→-√3とする写像τで生成される位数4の群Z/2Z×Z/2Zである。

この部分群は{id}, {id, σ}, {id, τ}, {id, στ}, {id, σ, τ, στ}の5種類があり、それぞれ中間体L, Q(√2), Q(√3), Q(√6), Kに対応する。

Permalink | 記事への反応(0) | 01:35

ツイートシェア

■

int i;

MOV AX,1

SHL AX,1

ADD AX,2

ADD AX.2

MOV i,AX

printf("%d\n,i);

Permalink | 記事への反応(0) | 15:56

ツイートシェア

■anond:20200522154306

XOR AX,AX;

MOV AX.Z;

Permalink | 記事への反応(0) | 15:45

ツイートシェア

■anond:20200522153258

SHL AX.3

Permalink | 記事への反応(1) | 15:35

ツイートシェア

■パブロ･ディエゴ･ホセ・フランシスコ・デ・パウラ・ホアン・ネポムセーノ･マリーア・デ・ロス・レメディオス・クリスピン・クリスピアーノ・ラ・サンディシマ・トリニダード･ルイス・イ・ピカソについて調べてみました！

うおおおおおおおおお！！！！

うんち！wボンバイエ！！

うんち！wボンバイエ！！

ファイッ！ww ファイッ！wwファイッ！ww

うんこうんこうんこの擦り切れwwwww

アヘアヘアヘアヘアヘアヘうおおお！！！！

ドスドズドズドスブズブズブブ

よろしくンギーwwwwwwwww(産声)

ちーん€ちーん€ちーん€ちーん€

This name refers to a folk story set in the time when smuggling was a significant industry in rural England, with Wiltshire lying on the smugglers' secret routes between the south coast and customers in the centre of the country.The story goes that some local people had hidden contraband barrels of French brandy from customs officers in a village pond. While trying to retrieve it at night, they were caught by the revenue men, but explained themselves by pointing to the moon's reflection and saying they were trying to rake in a round cheese. The revenue men, thinking they were simple yokels, laughed at them and went on their way. But, as the story goes, it was the moonrakers who had the last laugh. In the words of Wiltshire shepherd William Little who recounted the story to writer John Yonge Akerman: “ Zo the excizeman ’as ax’d ’n the question ’ad his grin at ’n,…but they’d a good laugh at ’ee when ’em got whoame the stuff.

ってことらしいです

いかがでしたか？

ここまで読んでいただいた読者の方、

ありがとうございます😊

もしよかったらブックマークよろしくお願いします！

Permalink | 記事への反応(0) | 17:33

ツイートシェア

■『さあ少女緊縛ショーの始まりや.mp5』のアレの私的な整理

https://www.nicovideo.jp/watch/sm36233489

便宜的に緑の重さを 1 と仮定します。

また紫の重さを x, 黄の重さを y, 橙の重さを z とします。

与式は以下の通りです。

x+2 ＞ y+z+1

x+z ＞ y+2

x+z = 2z+2

y+1 = z+2

===

それぞれを整理すると

x+1 ＞ y+z ... (1)

x+z ＞ y+2 ... (2)

x = z+2 ... (3)

y = z+1 ... (4)

---

(1) について (3), (4) より

x+1 ＞ y+z

⇔ (z+2)+1 ＞ (z+1)+z

⇔ z+3 ＞ 2z+1

⇔ 2 ＞ z ... (5)

---

(2) について (3), (4) より

x+z ＞ y+2

⇔ (z+2)+z ＞ (z+1)+2

⇔ 2z+2 ＞ z+3

⇔ z ＞ 1 ... (6)

---

(5), (6) より

2 ＞ z ＞ 1 ... (7)

---

(7), (3) より

2 ＞ z ＞ 1

⇔ 4 ＞ z+2 ＞ 3

⇔ 4 ＞ x ＞ 3 ... (8)

---

(7), (4) より

2 ＞ z ＞ 1

⇔ 3 ＞ z+1 ＞ 2

⇔ 3 ＞ y ＞ 2 ...(9)

---

(7), (8), (9) より

x ＞ 3 ＞ y ＞ 2 ＞ z ＞ 1 ... (10)

===

本題は 3 = Ax+By+Cz を満たす A, B, C を求めることです。ただし A, B, C は非負の整数です。

(10) より、

x ＞ 3 なので A = 0 であることがわかります。

3 ＞ y ＞ 2 なので B は 0 または 1 ですが、 B = 1 のとき C = 1 とすると 3 を超えてしまう ( y + z ＞ 3 ) ため、やはり B = 0 であることがわかります。

2 ＞ z ＞ 1 であり C が整数であることから、 C = 2 であることがわかります。

よって正解は 3 = 2z, すなわち橙が 2 個となります。

Permalink | 記事への反応(0) | 01:48

ツイートシェア

■anond:20200125151106

MOV AX,EDI

POP BX

MOV EDI,BX

PUSH AX

Permalink | 記事への反応(0) | 15:16

ツイートシェア

■★　いっしょうけんめいになればいい・・・　これはもう私にとっては一所懸命ではない

MOV DX.[AX]

MOV CX,[BX]

MOV [BX],DX

MOV [AX],CX

端的に令を言う場合このコードをC言語でかくとかなり遅くなる。

一般的にアセンブラでコードを記述した場合、２倍以上早くなる場合があるという端的な例である。２倍かどうか走らんがｗ

他方　JAVAなどとC言語を比べた場合は１．４倍

これはスクリプト言語などでも同じであるがJITやネイティブ関数のコールは含まない

Permalink | 記事への反応(3) | 13:26

ツイートシェア

■anond:20200123233932

XOR AX,AX

Permalink | 記事への反応(0) | 14:26

ツイートシェア

■

あー、gnuplotだとset xticsなのにmatplotlibだとax.set_xticks()なのか、どうりで全然反映されないわけだ

kの有無とか脳が勝手に補正するから気付かねえよ、creatコマンドなみに凶悪だなこれ

Permalink | 記事への反応(0) | 13:45

ツイートシェア

■アニメ・エキスポ（AX 2019）の話題を見かけない

いま開催されているんだが「AKIRA」の発表以外で話題を見かけない。普段「日本のアニメにおける女性の表現が世界で受け入れられる・られない」「クールジャパンで輸出がうんぬん」とかの話題があると盛り上がるのに、実態がどうなのかにはやっぱり興味ないんかな。

https://usfl.com/mimiyori/event/124205

https://twitter.com/search?q=%23AX2019

日本から出店している企業は結構あるみたい。その周辺では話題になっているのかな

Permalink | 記事への反応(0) | 13:44

ツイートシェア

■[増田統計]2019年7月1日月曜日の増田

本日の急増単語 ()内の数字は単語が含まれる記事数

僭称(6), あやめ(3), ウォルマート(3), 熱暴走(3), AX(3), 弔問(3), ラオウ(8), 見いださ(3), レトロゲー(3), 夏野(3), Pixel(6), 不妊(21), 子宮(22), 非モテ(52), 食器(7), 喫煙(10), なりすまし(6), いちゃもん(5), さよなら(5), 喫煙者(5), おわり(5), 選ば(31), 穴(31), 野党(18), アプローチ(10), 自明(7), 荒らし(14), 選ぶ(35), 決断(6), モテ(29), 退職(22), 推し(21), 運用(13), 申し訳ない(16)

頻出トラックバック先(簡易)

■5巻ぐらいで終わるオススメの漫画教えて /20190630122828(36), ■おじいさんが主人公のマンガ /20190621040023(13), ■保育士辞めたからって保険の営業なんてやらないでね /20190630164919(13), ■非モテはプライドが高いのかも /20180701184706(11), ■不妊治療がマジでつらいつらいつらい /20190701153609(11), ■シンデレラの反対 /20190630023802(11), ■この世で嫌いな人TOP3 /20190630190107(9), ■頼む！ /20190701231323(9), ■電車内で痴漢がいた場合ってどうしたらいいの？ /20190630154117(9), ■夜のコンビニで切手を買う /20190701004328(9), ■女はやっぱり人生イージーモード /20190630205122(7), ■会社を辞めるのは簡単か？ /20190701131047(7), ■親にコロッケされそうな、35歳ほぼニートの遺言を聞け /20190701085749(7), ■人生楽勝、超楽しい！な幼馴染が何人もいるけど彼らには共通点が多い /20190701190934(7), ■株式会社ドワンゴを退職しました（非エンジニア編） /20190701083530(6), ■食洗機は便利だが万能ではない /20190701012431(6), ■彼氏が出ないんだがどうしたらいい？ /20190701170017(6), ■メルペイにやられた /20190701091703(6), ■ /20190701142400(6), ■ /20190701104717(6), ■ダンボールを捨てるときは、貼ってあるシール類全部剥がしておけ /20190701092741(6)

増田合計ブックマーク数 ()内の数字は1日の増減

6405020(2795)

Permalink | 記事への反応(0) | 00:03

ツイートシェア

■動画を再生できません

https://www.youtube.com/watch?v=ghZpyHP7B_g

Eight Melodies - Mother OST

動画を再生できません
この動画には Sony Music Entertainment (Japan) Inc. さんのコンテンツが含まれており、お住まいの地域では著作権上の問題で権利所有者によりブロックされています。

https://polsy.org.uk/stuff/ytrestrict.cgi?ytid=https%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DghZpyHP7B_g

Allowed countries

AD - Andorra AE - United Arab Emirates AF - Afghanistan AG - Antigua and Barbuda AI - Anguilla AL - Albania AM - Armenia AO - Angola AQ - Antarctica AR - Argentina AS - American Samoa AT - Austria AU - Australia AW - Aruba AX - Åland Islands AZ - Azerbaijan BA - Bosnia and Herzegovina BB - Barbados BD - Bangladesh BE - Belgium BF - Burkina Faso BG - Bulgaria BH - Bahrain BI - Burundi BJ - Benin BL - Saint Barthélemy BM - Bermuda BN - Brunei Darussalam BO - Bolivia (Plurinational State of) BR - Brazil BS - Bahamas BT - Bhutan BV - Bouvet sland BW - Botswana BY - Belarus BZ - Belize CA - Canada CC - Cocos (Keeling) Islands CD - Congo (Democratic Republic of the) CF - Central African Republic CG - Republic of the Congo CH - Switzerland CI - Côte d'Ivoire CK - Cook Islands CL - Chile CM - Cameroon CN - China CO - Colombia CR - Costa Rica CU - Cuba CV - Cabo Verde CX - Christmas Island CY - Cyprus CZ - Czech Republic DE - Germany DJ - Djibouti DK - Denmark DM - Dominica DO - Dominican Republic DZ - Algeria EC - Ecuador EE - Estonia EG - Egypt EH - Western Sahara ER - Eritrea ES - Spain ET - Ethiopia FI - Finland FJ - Fiji FK - Falkland Islands (Malvinas) FM - Micronesia (Federated States of) FO - Faroe Islands FR - France GA - Gabon GB - United Kingdom of Great Britain and Northern Ireland GD - Grenada GE - Georgia (country) GF - French Guiana GG - Guernsey GH - Ghana GI - Gibraltar GL - Greenland GM - Gambia GN - Guinea GP - Guadeloupe GQ - Equatorial Guinea GR - Greece GS - South Georgia and the South Sandwich Islands GT - Guatemala GU - Guam GW - Guinea-Bissau GY - Guyana HK - Hong Kong HM - Heard Island and McDonald Islands HN - Honduras HR - Croatia HT - Haiti HU - Hungary ID - Indonesia IE - Republic of Ireland IL - Israel IM - Isle of Man IN - India IO - British Indian Ocean Territory IQ - Iraq IR - Iran (Islamic Republic of) IS - Iceland IT - Italy JE - Jersey JM - Jamaica JO - Jordan KE - Kenya KG - Kyrgyzstan KH - Cambodia KI - Kiribati KM - Comoros KN - Saint Kitts and Nevis KP - North Korea KR - Korea (Republic of) KW - Kuwait KY - Cayman Islands KZ - Kazakhstan LA - Lao People's Democratic Republic LB - Lebanon LC - Saint Lucia LI - Liechtenstein LK - Sri Lanka LR - Liberia LS - Lesotho LT - Lithuania LU - Luxembourg LV - Latvia LY - Libya MA - Morocco MC - Monaco MD - Moldova (Republic of) ME - Montenegro MG - Madagascar MH - Marshall Islands MK - Republic of Macedonia ML - Mali MM - Myanmar MN - Mongolia MO - Macao MP - Northern Mariana Islands MQ - Martinique MR - Mauritania MS - Montserrat MT - Malta MU - Mauritius MV - Maldives MW - Malawi MX - Mexico MY - Malaysia MZ - Mozambique NA - Namibia NC - New Caledonia NE - Niger NF - Norfolk Island NG - Nigeria NI - Nicaragua NL - Netherlands NO - Norway NP - Nepal NR - Nauru NU - Niue NZ - New Zealand OM - Oman PA - Panama PE - Peru PF - French Polynesia PG - Papua New Guinea PH - Philippines PK - Pakistan PL - Poland PM - Saint Pierre and Miquelon PN - Pitcairn PR - Puerto Rico PS - State of Palestine PT - Portugal PW - Palau PY - Paraguay QA - Qatar RE - Réunion RO - Romania RS - Serbia RU - Russian Federation RW - Rwanda SA - Saudi Arabia SB - Solomon Islands SC - Seychelles SD - Sudan SE - Sweden SG - Singapore SH - Saint Helena, Ascension and Tristan da Cunha SI - Slovenia SJ - Svalbard and Jan Mayen SK - Slovakia SL - Sierra Leone SM - San Marino SN - Senegal SO - Somalia SR - Suriname ST - Sao Tome and Principe SV - El Salvador SY - Syrian Arab Republic SZ - Swaziland TC - Turks and Caicos Islands TD - Chad TF - French Southern Territories TG - Togo TH - Thailand TJ - Tajikistan TK - Tokelau TL - Timor-Leste TM - Turkmenistan TN - Tunisia TO - Tonga TR - Turkey TT - Trinidad and Tobago TV - Tuvalu TW - Taiwan TZ - Tanzania, United Republic of UA - Ukraine UG - Uganda UM - United States Minor Outlying Islands US - United States of America UY - Uruguay UZ - Uzbekistan VA - Vatican City State VC - Saint Vincent and the Grenadines VE - Venezuela (Bolivarian Republic of) VG - British Virgin Islands VI - United States Virgin Islands VN - Viet Nam VU - Vanuatu WF - Wallis and Futuna WS - Samoa YE - Yemen YT - Mayotte ZA - South Africa ZM - Zambia ZW - Zimbabwe

Disallowed countries

JP - Japan

Permalink | 記事への反応(2) | 15:50

ツイートシェア

■anond:20190124145839

当ててほしい言葉が AB だったとします。

言葉 AB を A,Bの二つに分け、さらに語尾にX,Yを追加して AX, BY という別の意味のある言葉にします。

最後に X,Y を繋げて XY とします。

(※XY自体は意味の無い言葉になります。)

ここまでが出題前の準備。

XY という言葉から、元のAB という言葉を当ててもらうのがこのゲームです。

Permalink | 記事への反応(1) | 15:41

ツイートシェア

■anond:20181227004535

何かを書くたびに無知を露呈していくのもなんかスゲーな…

HPLを解くプログラム…まぁ日本語がアレだが、無知に免じてちょっと話してやると、HPLはAx=bを解くプログラムで、これはDGEMM、倍精度密行列積が主な演算になっている。

この時点でお前の四則演算レベルのベンチマークとかだいぶ意味不明になっているわけだが理解したか？四則演算レベルってなんだよ。行列演算も所詮は加算と乗算だよ。

密行列積は今日のワークロードとは関わりがないみたいなことを言う人々がいるが、まぁそういう問題を持っている人はメモリ帯域をくれと言い続けている。メモリ帯域が欲しい人々は、メモリ帯域がないこと、メモリ帯域がFLOPSの伸びに対して伸び悩んでいることに諦めて、メモリ帯域を使わないようにアルゴリズムを変更する方向に舵を切ったり、まだメモリ帯域が伸びるはずだと信じて待っていたりする。

こういう人々はHPCGを見て一喜一憂したりする。

だがスパコンのワークロードに合ってないと言われた密行列積は、しかし、ディープラーニングの台頭によって再びスパコンのワークロードに乗ってしまったのであった…

というかそもそもな、コンピュータの性能との相関をひとつのベンチマークで測ることなんか不可能なんだっつー単純な事実を知れ。

あとな、仮にマ・クベが円周率の世界記録に挑んでたとしたら、スーパーπが速いCPUをキシリアに届けようとするだろうよ。キシリアが円周率に興味なかったらゴミだろうけど

Permalink | 記事への反応(1) | 00:57

ツイートシェア

■方言っぽいけど標準語

家庭教師をしてんだけどさ、この前から因数分解やってんのね。そんで ax+ay=a（x+y） の説明のときに俺は「aでくくる」って言ったの。

そしたら生徒は「くくるって何？」って笑うの。俺その時ちょっと動揺してしまって、いやー方言が出てしまったわーとか言って笑ってごまかしたの。

帰宅途中に、じゃあ標準語ではどういうのが正解なんだろうと思ってネット見たら「くくる」って標準語じゃないか！めっちゃ悔しかったわ！！

Permalink | 記事への反応(7) | 17:48

ツイートシェア

■anond:20181020200039

日本ではAT互換機(DOS/V)が流行する前に一瞬だけAXマシンがあったよね

そのころにWindows3.0を使った思い出

Permalink | 記事への反応(0) | 20:07

ツイートシェア

■anond:20180922033236

どれでもなくて、学生が学ぶ範囲を超えない程度のもの。だから実数解範囲のax^2+bx+c=0について。

複素数入れてもいいんだけど、じゃあ四元数入れてもいいじゃねーかって（個人的には）なるからなし。

Permalink | 記事への反応(0) | 14:21

ツイートシェア

■[数学]問題

三次関数y=ax^3+bx^2+cx+d　と　二次関数y=lx^2+mx+n　は接点をふたつ持たないことを示せ。

Permalink | 記事への反応(1) | 20:00

ツイートシェア

■リセット能力者のリセット寸前の人格はどこに行くのか

A「あっトラックだ！！リセット！！」

↓

A「ふーあぶなかった。」

A'「！？なんか勝手に体が動いてトラックを避けぞ。」

↓

A「あっ落とし穴だ！（略」

↓

A「ふーあぶなかった。」

A'「そして穴を飛び越したし。」

A''「！？なんか勝手に体が動いて穴を飛び越したぞ」

↓

A「あっ鳥の糞だ！（略」

↓

A「ふーあぶなかった。」

A'「そして鳥の糞を避けたぞ。」

A''「そして鳥の糞を避けたぞ。」

A'''「！？なんか勝手に体が動いて鳥の糞を（略」

.

.

.

↓

A「ふーあぶなかった。」

A'「…ｼﾃ…ｺﾛｼﾃ……」

A''「…ｼﾃ…ｺﾛｼﾃ……」

A'''「…ｼﾃ…ｺﾛｼﾃ……」

略

AX「…ｼﾃ…ｺﾛｼﾃ……」

以下略

Permalink | 記事への反応(0) | 00:21

ツイートシェア

■↑ｋｗｓｋ vim

直前のノーマルモードコマンドに適用されたレジスタの名前がv:registerで取れると思ってるんだけど違うの？

おらの環境ではこうなる

xとddで変化なし

再現スクリプトぷり〜ず

func! Cmd(cmd)
    exe 'norm! ' . a:cmd
    ec v:register
endf

for o in ['', 'unnamed,unnamedplus']
    exe 'se cb=' . o
    cal Cmd('"_x')
    cal Cmd('"_dd')
    cal Cmd('"ax')
    cal Cmd('"add')
    cal Cmd('l')
endfo

_
_
a
a
"
_
_
a
a
＊

Permalink | 記事への反応(0) | 12:09

ツイートシェア

■6x8/5x7のおよその値

x=6x8/5x7

a=7x9/6x8

b=5x7/4x6とすると

a＜x＜b

それぞれにxをかけて

ax＜x^2＜bx

7x9/6x8 x 6x8/5x7＜x^2＜5x7/4x6 x 6x8/5x7

9/5＜x^2＜2

3√5/5＜x＜√2

これ使って10x12x14x16x18x20x22x24/9x11x13x15x17x19x21x23のおおよその値を求めるって平成17年地方上級の問題なんだけど

考え方はよくわかるんだけど

aとbはどっから出てきたのとかほんとに6x8/5x7の方が7x9/6x8より大きいのとか(問題文だから間違ってるわけないんだけど)そういうところばかり気になってしまう

というかやってる意味は分かるんだけどこの分数とか解き方に名前とかないの？

あと1/2＜2/3＜3/4みたいに分母と分子が大きくなるほど数も大きくなるのはわかるんだけどこれに規則性とかないんだろうかとか

どうでもいいことばかりきになってどうしようもない

Permalink | 記事への反応(0) | 02:00

ツイートシェア