IIJIMAS (@IIJIMAS) header
IIJIMAS (@IIJIMAS) profile picture

IIJIMAS

@IIJIMAS

［改訂第3版］C#ポケットリファレンス https://nitter.gq/t.co/IryWRcUbyQ kindle版→ https://nitter.gq/t.co/rqBV3Bmnyu 6章「非同期処理」,7章「データベースアクセス」⋛◉‸◉⋚興味：数学全般／Ingress／身近な近所の野鳥／アニメ／地形学・河川／図鑑・事典 #ふぁなみりー

 東京都
blogs.wankuma.com/iijimas/archive/2015/10/19/523285.aspx
Joined March 2008
  • Tweets181K
  • Following5.4K
  • Followers1.7K
22.1KMedia
Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)Photo by IIJIMAS (@IIJIMAS)
［改訂第3版］C#ポケットリファレンスが本日発売！ nitter.gq/IIJIMAS/status/1804052…
IIJIMAS (@IIJIMAS) profile pictureIIJIMAS
@IIJIMAS21 Jun 2024
［改訂第3版］C#ポケットリファレンスが本日発売！ 2024/6/21発売 Amazon → amzn.to/3KnXobW kindle版→ amzn.to/3z0cXnF
Image from IIJIMAS (@IIJIMAS)
1
4
28
24,399
カルガモが上半身だけ潜ったりしてた！
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
22
ハクセキレイいるんだけど、Googleレンズがわからなかったw
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
17
キジバトいた！ 柿の木に
Image from IIJIMAS (@IIJIMAS)
2
27
小さめのコサギいた！
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
26
カラス2羽いた
Image from IIJIMAS (@IIJIMAS)
1
41
マッサージありがとう😌
8
59
2
720
4,318
改ページプレビューに気をつけなさい。 それはとんでもない設定になっていることがあるから。
Image from 筒井.xls@エクセル関数擬人化本著者 (@Tsutsui0524)
11
14
1
134
5,846
ほんとうですね、 円周<外接多角形の周：非自明 内接多角形の周<円周：自明（直線が最短だから） この非対称性面白いですね。 外接多角形も、頂点と中心を結んで、θ>0ならtanθ>θを経由するとわかるけど、内接ほど自明でないですね。
かが☆みん (@kagamin_hr) profile pictureかが☆みん@kagamin_hr22h
円に外接する多角形の周長が、もとの円の周長より長いって明らかなの？よくわからない。
3
338
自動字幕だれやねん
Image from 大石昌良【オーイシマサヨシ】 (@Masayoshi_Oishi)
144
4,174
248
30,178
887,815
Mathematicians found a connection between different knots and formulas developed by legendary genius Srinivasa Ramanujan sciam.com/article/mathematic…
Mathematicians find an infinite number of Ramanujan equations

Mathematicians find an infinite number of Ramanujan equations

Knots show how to generate infinitely many formulas of a kind developed by the visionary genius

scientificamerican.com
11
64
9
261
32,128
%は「100分の1」という単なるスケール（倍率）を表す記号。例えば、 3%=0.03=3/100 ということ。 3%+5%=8% という等式自体は、純粋な数の足し算として常に成立する。 センチメートルの「c」（centi-）が 10⁻²を意味する接頭辞であるのと同じで、 3cm+5cm=8cm が0.03m+0.05m=0.08mと同じ事と同様
1
1
132
%が付いているたし算を見ると、濃度の異なる食塩水の混合の問題でたし算を使っていると思い込んで「間違っている」と主張する人がいて話題になる。濃度の異なる液体の混合した結果の濃度の計算には重みづけした加重平均を使用するだけで、%ついた式のたし算に問題はない。 nitter.gq/IIJIMAS/status/2115931…
IIJIMAS (@IIJIMAS) profile pictureIIJIMAS
@IIJIMAS5h
%は「100分の1」という単なるスケール（倍率）を表す記号。例えば、 3%=0.03=3/100 ということ。 3%+5%=8% という等式自体は、純粋な数の足し算として常に成立する。 センチメートルの「c」（centi-）が 10⁻²を意味する接頭辞であるのと同じで、 3cm+5cm=8cm が0.03m+0.05m=0.08mと同じ事と同様
60
ペルコ対の同位変形、そんなにあっけないんだ。。
Paata Ivanisvili (@PI010101) profile picturePaata Ivanisvili
@PI01010113h
For nearly 75 years, these two knots sat in the tables as different knots. In 1973, Kenneth Perko, a New York lawyer trained in knot theory at Princeton showed they are the same. Today, AI can explain it in seconds.
64
有限単純群の分類の完全なLean自動形式化！
Axiom (@axiommathai) profile pictureAxiom
@axiommathaiOct 27
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
1
6
719
more replies
昔（2018）、こんなツイートしてた 実現しつつあるのかな？
IIJIMAS (@IIJIMAS) profile pictureIIJIMAS
@IIJIMAS8 Jun 2018
【こんな人工知能欲しい！】 もっと言えば、各種百科事典、大蔵経など諸宗教の経典、有限単純群の分類定理の証明とかを分かりやすく教えてくれる人工知能とかあったらいいな。 nitter.gq/IIJIMAS/status/1005036…
1
1
78
有限単純群の分類定理の証明の形式化は過去の専門家たちの巨大な結果が、全体として正しかったことが確認されたことで、「少し前の人類すごい」という話だけど、AIに頼り始めている人類がAIと共に今後同様な規模と品質の仕事ができるのかという不安もある気がする。 nitter.gq/IIJIMAS/status/2115137…
IIJIMAS (@IIJIMAS) profile pictureIIJIMAS
@IIJIMASOct 27
Replying to @IIJIMAS
「有限単純群の分類定理」の証明の形式化は、 「AIが未解決問題を人間より先に解いた」ではなく、「人間の専門家による証明をチェックして、問題点を見つけて、それが人間の専門家が修復できて、全体としては正しかったのがチェックできた」というのは学問にとってポジティブなAIの作用と言えそう。
51
今日29日で肉の日だから、当初松屋行こうと思ってたけど、アプリが正常に立ち上がらなかったので別のところにした
587
鯖味噌󠄀煮とサワラ唐揚げ野菜あんとお刺身 いただきます♪
Image from IIJIMAS (@IIJIMAS)
8
175
IIJIMAS retweeted
キュッ (@kyukkyu1954) profile picture
キュッ@kyukkyu1954Oct 29
昔デブ7人くらいで熊本旅行行ったんだけど、泊まった旅館でデブをもってしても食べきれないようなありえん量の食事が出て、これはやばい食べきれないかもしれないと次々と限界を迎えるデブの中の一人が意を決して「すみません……！」と仲居さんを呼び、「ご飯を下さい！！」と追加の白米をお願いして
188
6,889
682
89,490
16,385,561
積は演算記号を省略して並べて書くこともあるので、演算結果が「積まれている」感じに見えるからなのかなあ。（勝手な想像）
あったか (@aaaa_dxdy) profile pictureあったか@aaaa_dxdyOct 28
#教えて数学徒 これ前々から思ってたんだけど、任意の演算のことを「掛け算」とか「積」って呼ぶのはなんで？？ ただのハイパー2演算だよね？？ 切りが悪いというか
1
1
297
一般の二項演算をなぜ「積」と呼ぶのかというツイート見て思い出した事 5元体のたし算による巡回群C₅とかけ算による巡回群C₄ の半直積C₅⋊C₄、5元体ではたし算とかけ算という別の演算が、C₅⋊C₄では行列の積という1つの演算で、両方の単位元が単位行列に対応している。 nitter.gq/IIJIMAS/status/2061947…
IIJIMAS (@IIJIMAS) profile pictureIIJIMAS
@IIJIMASJun 2
以前、位数20のフロベニウス群、面白いなと思った。 5元体のたし算による巡回群C₅とかけ算による巡回群C₄ の半直積C₅⋊C₄でもあって、以下のような行列に対応していて行列の積で群になって、5元体ではたし算とかけ算という別の演算が、C₅⋊C₄では行列の積という1つの演算となっているのが。
Image from IIJIMAS (@IIJIMAS)
1
83
コゲラいた！ ギーって鳴いて木の枝ぐるぐるしてた 日本最小のキツツキ
Image from IIJIMAS (@IIJIMAS)
1
1
89
さっきのコゲラ、別の写真
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
Image from IIJIMAS (@IIJIMAS)
33
Load more