純粋・応用数学・数学隣接分野(含むガロア理論)18 (306レス)
1-

1
(1): 01/21(日)19:58 ID:dATnLzNB(1/8) AAS
クレレ誌:
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである(Neuenschwander 1994, p. 1533)。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野(含むガロア理論)スレとして
新スレを立てる(^^;

<前スレ>
純粋・応用数学・数学隣接分野(含むガロア理論)17
2chスレ:math
省17
287
(2): 04/24(水)11:05 ID:8m+fGpmf(1) AAS
さて、あなたは大学教授で線形代数の講義を担当しているとします

試験で行列が正則か否かを確認させる問題を出題するので
正則行列をつくらなければならなくなりました

そこで今後、同様の事柄に対処するため
計算機で正則行列を発生させるプログラムを作ることにしました

もとめられる条件は以下の3点
1.生成されるのは正則な行列のみである(健全性)
2.任意の正則な行列は基本的に生成可能である(完全性)
3.コンピュータで実行可能である(実効性)

さて、上記3点を満たすプログラムを示してください
省2
288: 04/24(水)11:31 ID:gF1SVBbF(1/3) AAS
>>285
パーマネントですか

https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%BC%E3%83%9E%E3%83%8D%E3%83%B3%E3%83%88_(%E6%95%B0%E5%AD%A6)
パーマネント (数学)

線型代数学における正方行列のパーマネント(英: Permanent)は、行列式 (determinant) によく似た行列変数の函数(英語版)である。パーマネントは、行列式と同様に、行列の成分を変数とする多項式である[1]。Permutation(置換)と determinant(行列式)を合成したカバン語をもじったものである。英単語の「Permanent」から永久式[2]または恒久式[3]と訳されたこともある。中国語の名称は積和式。

パーマネントと行列式はともに、より一般の行列函数イマナントの特別の場合である。

性質
パーマネントを n本の列(または行)ベクトルを引数にとる写像と見るとき、多重線型対称形式(英語版)(引数となるベクトルの順番を入れ替えても結果は変わらない)である。
省7
289: 04/24(水)11:49 ID:HN/4uP7/(1/2) AAS
>>287 面白い
1、やってみたら?
290: 04/24(水)12:30 ID:HN/4uP7/(2/2) AAS
>>287
シッタカがドヤ顔でいいそうな答え

1.とにかく全部ランダムな数をぶち込んで正方行列をつくる
2.行列式を計算して0でなければ出力

まぁ、間違ってないよ 題意は満たしてるから
でも、求められてるのは、それじゃない感・・・
291: 04/24(水)15:23 ID:gF1SVBbF(2/3) AAS
>>283-284

佐藤 宏樹先生か

https://researchmap.jp/read0011038
佐藤 宏樹
サトウ ヒロキ (Hiroki Sato)

所属旧所属 静岡大学 理学部 数学科 教授
学位
理学博士(名古屋大学)
理学修士(名古屋大学)

経歴 10
省9
292: 04/24(水)15:31 ID:gF1SVBbF(3/3) AAS
>>280
>訳者の佐藤宏樹氏は能代清の弟子で

能代 清(のしろ きよし)先生か
なつかしいな
お名前だけは、なんどかお見かけした

https://ja.wikipedia.org/wiki/%E8%83%BD%E4%BB%A3%E6%B8%85
能代 清(のしろ きよし、1906年(明治39年)9月26日 - 1976年(昭和51年)10月18日)は、日本の数学者。理学博士。専門は複素解析。北海道帝国大学講師、旧制第一高等学校教授、名古屋帝国大学教授、ハーバード大学客員教授、名古屋大学名誉教授、東京理科大学教授を務める。1956年(昭和31年)、「函数論における集積値集合の研究」で第9回中日文化賞を受賞[1]。

著作
単著
『近代函数論』岩波書店、1971年。 - 2刷(初版:1954年)
省2
293
(4): 04/24(水)15:51 ID:slgHQJj4(1) AAS
1ことID:gF1SVBbFは 287から目をそらしつづけてるな

1×1の場合は、0でない実数を出力すれば終わり

n×nで正則行列が出来てるとして、そこから(n+1)×(n+1)の正則行列を作るには、以下の手順を実行する
1.1番目〜n番目まで任意の実数、n+1番目に0でない任意の実数を入れた行ベクトルを作る
2.先のn×n行列に(n+1)列目をつくり、まずそこに0を入れたn×(n+1)行列を作る
3.2.で作ったn×(n+1)行列の各行ベクトルに、スカラー(0でもよい)×(1.で作った行ベクトル)を足す
4.n×(n+1)行列のどこでも適当な場所に、1.でつくった行ベクトルを挿入して、(n+1)×(n+1)行列にする

これでOK
この程度のこと、即答できないとか高卒?
294
(2): 04/24(水)19:12 ID:ncSb9ELp(2/2) AAS
>>293
しょぼい話題を振られても
295
(1): 04/24(水)20:59 ID:PzDP/+mv(1) AAS
>>293-294
>しょぼい話題を振られても

同意
これは、御大かな

>1×1の場合は、0でない実数を出力すれば終わり
>n×nで正則行列が出来てるとして、そこから(n+1)×(n+1)の正則行列を作るには、以下の手順を実行する
>1.1番目〜n番目まで任意の実数、n+1番目に0でない任意の実数を入れた行ベクトルを作る
>2.先のn×n行列に(n+1)列目をつくり、まずそこに0を入れたn×(n+1)行列を作る
>3.2.で作ったn×(n+1)行列の各行ベクトルに、スカラー(0でもよい)×(1.で作った行ベクトル)を足す
>4.n×(n+1)行列のどこでも適当な場所に、1.でつくった行ベクトルを挿入して、(n+1)×(n+1)行列にする
省13
296: 04/25(木)08:02 ID:9WSq8kyV(1/4) AAS
>>294
まあ、大学1年生相手にさんざん線形代数の講義をしてきたセンセイが
そういう言葉を吐くのは致し方ないと承知をしておりますが
しかしながら、その「しょぼい」問題に対して
>>295
>・単に正則行列を作るだけならば、対角行列を作れば済む
>・もっと簡単には、対角成分に1を入れておけば簡単でしょ?
とさらに「しょぼい」回答を返す大学1年落第生がいるわけで・・・

P.S.
>くっさw 数学的帰納法もどきかよww
省14
297: 04/25(木)08:02 ID:9WSq8kyV(2/4) AAS
さて 295を書いたID:PzDP/+mv=1 へ
君、287の3条件理解してる?
君の答えは
「健全性」と「実効性」は満たしてるけど
「完全性」を満たしてないよ

だいたい、「以下の行列は正則か?」という問題で
対角行列ばっかり出せないだろ?w

君の答えは、>>293と対比させる形で書くとこうなる
1’.1番目〜n番目まで0、n+1番目に0でない任意の実数を入れた行ベクトルを作る
2.先のn×n行列に(n+1)列目をつくり、まずそこに0を入れたn×(n+1)行列を作る
省3
298: 04/25(木)08:04 ID:9WSq8kyV(3/4) AAS
さすがに対角行列は味もそっけもないので、ちょっと塩足すわw

1’.1番目〜n番目まで0、n+1番目に0でない任意の実数を入れた行ベクトルを作る
2.先のn×n行列に(n+1)列目をつくり、まずそこに0を入れたn×(n+1)行列を作る
3.2.で作ったn×(n+1)行列の各行ベクトルに、スカラー(0でもよい)×(1.で作った行ベクトル)を足す
4’.n×(n+1)行列の下に、1.でつくった行ベクトルを挿入して、(n+1)×(n+1)行列にする

これで、「対角成分のすべてに0でない数が入った上三角行列」ができる
「」が正則行列だってのは定義を確認すればわかるよな?

ついでにいうと、
A.対角成分のすべてに0でない数が入った対角行列の全体は群を為す
B.対角成分のすべてに0でない数が入った上三角行列の全体は群を為す
省2
299: 04/25(木)08:06 ID:9WSq8kyV(4/4) AAS
ところで、一つ言い忘れてたけど
>>293の4って何気なく書いてあるけど
これが実はうまみ成分だから

たとえば、4のかわりに4'とした下の”プログラム”

1.1番目〜n番目まで任意の実数、n+1番目に0でない任意の実数を入れた行ベクトルを作る
2.先のn×n行列に(n+1)列目をつくり、まずそこに0を入れたn×(n+1)行列を作る
3.2.で作ったn×(n+1)行列の各行ベクトルに、スカラー(0でもよい)×(1.で作った行ベクトル)を足す
4’.n×(n+1)行列の下に、1.でつくった行ベクトルを挿入して、(n+1)×(n+1)行列にする

これだと「完全性」満たさないよ

Q.上記のプログラムで作れない正則行列の例を示せ
300: 04/26(金)23:15 ID:A7Cl6sKK(1/2) AAS
これ面白い
https://wired.jp/article/how-quickly-do-large-language-models-learn-unexpected-skills/
wired
STEPHEN ORNES

SCIENCE2024.04.26
AIの「創発性」は幻影に過ぎない ── 大規模言語モデルの新たな測定で判明

2年前、BIGベンチこと「Beyond the Imitation Game benchmark」というプロジェクトで、450名の研究者がChatGPTなどのチャットボットに用いられている大規模言語モデル(LLM)の性能を検証するためにデザインされた204のタスクをリストアップした。そのほとんどのタスクで、モデルが拡大するにともない、パフォーマンスも予測可能なかたちで徐々に向上していた。つまり、モデルが大きくなるにしたがい、性能も同様に少しずつ上がるということだ。しかし、一部のタスクでは、こうした性能のスムーズな向上が見られなかった。ずっとほぼゼロだったパフォーマンスが、突然飛躍的に向上するのだ。ほかの研究でも、同じような飛躍が確認された。

同研究論文の執筆陣は、この飛躍を「ブレイクスルー」挙動と呼び、ほかの研究者は水が氷に変わるようなものとして、物理学で言うところの「相転移」になぞらえた。研究者は2022年8月に発表された論文において、こうした行動は驚きであるばかりでなく予測も不可能であり、人工知能(AI)の安全性、可能性、リスクなどに関する議論で考慮されるべきだと指摘した。そしてこの能力を「創発性」と名付けた。特定のシステムの複雑さが高いレベルに達したときにのみ生じる集団的な挙動を意味する用語だ。

しかし、実際にはそれほど単純な話ではないのかもしれない。スタンフォード大学の3名の研究者が新たに論文を発表し、そうした能力が突然生じるように見えるのは、LLMのパフォーマンスを測定する方法の問題だと指摘したのだ。そのような能力は、予測が不可能でもなければ、突然でもないと、彼らは主張した。「この変化は人々が考えるよりもはるかに予測しやすいものだ」と、スタンフォード大学のコンピューターサイエンティストで、同論文の筆頭著者であるサンミ・コイエジョは語る。「創発的な能力が存在するという強力な主張は、モデルが何をするかという点と同じぐらい、それを測定する方法の選択とも関係しています」
省1
301: 04/26(金)23:19 ID:A7Cl6sKK(2/2) AAS
これいい

https://www.yomiuri.co.jp/science/20240423-OYT1T50116/
学校の科学ポスター「一家に1枚」、配布開始20年…理科離れに危機感抱いた化学者発案
2024/04/23 14:45 読売新聞

子どもたちに科学技術をわかりやすく伝えるため、文部科学省が毎年制作するポスター「一家に1枚」シリーズが、配布開始から20年目を迎えた。小学校の廊下などに貼られたおなじみのポスターは、子どもの理科離れに危機感を抱いた化学者の発案で誕生した。

 ポスターが初めて配布されたのは2005年。テーマは「元素周期表」で、車や電池など身近な製品に使われる元素を解説した。

 その後、「太陽」「南極」「海」などのテーマで毎年制作され、4月の「科学技術週間」に全国の小中高校や科学館などに配布される。今年は日常に潜む「数理」を扱った33万部が配られた。
省4
302: 04/27(土)06:19 ID:QuF2K8cf(1) AAS
フィボナッチ数のポスターなら作ってみたい
303
(1): 04/28(日)07:03 ID:JbWAVbl4(1/3) AAS
岡潔が犬とジャンプしている写真をポスターにして
全国の小学校に配ってはどうか
304: 04/28(日)07:37 ID:9CYAssOL(1) AAS
>>303
数学科希望者、激減の悪寒
305: 04/28(日)08:15 ID:JbWAVbl4(2/3) AAS
岡先生を毛嫌いする代数屋からの
誹謗中傷が添えられていれば
そうなるかもしれない
306: 04/28(日)09:21 ID:JbWAVbl4(3/3) AAS
遠山啓がポスターを作るとしたら
どんなものになるだろうか
1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.495s*