25/07/07 11:38:07.44 03qFlrmN.net
工学は計算できればいいのよ、公式を知ってればいいのさ
22:132人目の素数さん
25/07/07 13:17:58.17 jrwe8Ic5.net
ストラングって結構ファンがいるよね。
読んだことないけど。
23:132人目の素数さん
25/07/07 13:48:13.73 zF4SG0kL.net
ストラングは証明が書いていないことが多いです。
24:132人目の素数さん
25/07/08 08:45:36.26 9Njzy3f3.net
>>21
それは無いな
問題の定式化、式変形、解の妥当性等々
公式知ってるってだけじゃ使えない
25:132人目の素数さん
25/07/08 11:17:33.13 NWjOauku.net
B=QAP (P、Qは正則行列) (行列の対等 線型写像の基底変換)
B=P^(-1)AP (Pは正則行列) (行列の相似 線型変換の基底変換)
で、それぞれA≡Bの同値関係を定義したときの不変量が重要
これ豆な 分からん奴は「ブルバキ 数学原論」読め
26:132人目の素数さん
25/07/08 17:32:35.84 qFsBlp9J.net
>>24
その辺りがしっかりしてるのは数学に近い分野の上澄みだけだよ
大抵の工学の研究室では「この論文の公式で~」とか言って
本当に書いてあるものをそのまま引き写してる
理屈は理解していない
27:132人目の素数さん
25/07/08 18:22:19.25 qFsBlp9J.net
特異値分解は学部一年の教科書でも取り入れたほうがいいだろうね
28:132人目の素数さん
25/07/08 19:57:53.35 cOTCFRGh.net
>>26
そんな奴らはハゲタカジャーナルにしか論文を出せないってことはない?
29:132人目の素数さん
25/07/08 20:02:35.96 cOTCFRGh.net
どうでもいいが、今日も某出版社から査読の依頼がきたけど、10日でレポート出せとのたまった(笑)
当然、断った。
あの出版社だけはいい加減にして欲しい。
30:132人目の素数さん
25/07/09 16:24:52.86 eNYRnSIr.net
週に2コマ+演習の形で、2年ぐらいかけて初級中級を教えるべきではないかな。
アメリカはそれぐらいやっとるだろう。
31:132人目の素数さん
25/07/09 19:08:51.08 VzMixWBq.net
工学部は
必ずできる三角化
できるとは限らない対角化
まで教えて終わり
ジョルダン標準形はやらない
32:132人目の素数さん
25/07/10 13:44:05.90 3UP2ITpd.net
>>31
三角化と対角化は認められる操作が違うって知ってる?
前者はQAP、後者はP^(-1)AP
なんかそこ分かってなくて、どっちも同じと誤解してる奴多いんだよね
どんな本の読み方してんの?
33:132人目の素数さん
25/07/10 16:30:37.72 tDARjWhj.net
横から失礼!
P^(-1)APでも△化できませんっけ?
34:132人目の素数さん
25/07/10 17:50:43.62 qrKwczIE.net
>>33 できますね
QAPの場合は階段化というのが正しいかも
>>31は「必ずできる三角化」といってるから
P^(-1)APの場合の話かもな
35:132人目の素数さん
25/07/11 14:54:20.10 IS2q6l1T.net
最初は、「連立一次方程式?あほか」と思った。
その後、全然わかってないのに、計算方法だけマスターして単位ゲット。
当分の間、わかってない自覚さえ持てず、時間を空費。
こういうヤツ、他にもいるだろう?
36:132人目の素数さん
25/07/11 17:27:43.76 52vtx3Z0.net
線形代数で
連立一次方程式の解法と階数は、初級
行列式は、中級
そして固有多項式とハミルトン・ケイリーは、上級
37:132人目の素数さん
25/07/11 18:09:53.81 MdfaBNey.net
>>32
前者と後者が逆だろ
38:132人目の素数さん
25/07/12 07:17:50.32 mlj38ULS.net
>>37
なぜそう思う?
39:132人目の素数さん
25/07/12 09:16:25.21 ONGSpPoK.net
>>38
URLリンク(en.wikipedia.org)
URLリンク(en.wikipedia.org)
40:132人目の素数さん
25/07/12 09:27:55.40 ONGSpPoK.net
対角化できるなら三角化できているわけで
そこだけ見てもおかしいしね
41:132人目の素数さん
25/07/12 09:39:03.80 aB5RDuJ7.net
AIはテンソルを使う
42:132人目の素数さん
25/07/12 09:40:34.92 aB5RDuJ7.net
AIはテンソルを使う
43:132人目の素数さん
25/07/12 10:19:00.79 aB5RDuJ7.net
>>42
操作ミスで連投になりました
お詫びします
44:132人目の素数さん
25/07/12 19:36:53.96 mlj38ULS.net
特異値分解の話なんかいつしたっけ?
45:132人目の素数さん
25/07/25 17:28:47.06 aTsAOYA4.net
特異値分解って、人工知能やデータサイエンスとの絡みで大事?
全く知らんから、勉強してみようかな。
46:132人目の素数さん
25/07/27 19:32:14.40 JOlnbFTZ.net
あんなにくどくど説明したのに
バラバラに一次方程式系を解く答案がいっぱい
やってられんわ
47:132人目の素数さん
25/08/03 18:57:07.37 iHWUcocm.net
>>31
でも工学系の大学院の入試問題でジョルダン標準形を求めよって出てる
しかも4次や5次の行列
数学科の院試問題でも、出来ない奴多いだろうな
48:132人目の素数さん
25/08/04 20:51:59.07 2S+gI2BC.net
数学に限らず、純度が高いというか直球系の学問分野って学生人気はイマイチなんだよな
だから本当に数学が出来る人が数学科に行かずに医学部や工学部に行ってしまう
49:132人目の素数さん
25/08/11 08:04:36.80 J/ogz6Nq.net
今の時代行列や行列式の計算なんてコンピュータにやらせとけばいいんだし、
2年次以降に代数学までやって初めて線形代数を学ぶ意義が出て来ると思うんだけど、
数学科若しくは数学の教員免許取得に対応した学部学科(一橋経済で代数学が開講されているのはこのため)じゃないと
代数学は開講すらしてなくて学ぶことが出来ないケースが大半なんだよなあ…
50:132人目の素数さん
25/08/11 08:29:46.26 LbQEKcuN.net
コンピューターにやらせたくても1年次の線形代数程度の知識が無いとライブラリの仕様書が読めない
ガウスの消去法って何?固有値って何?行列式計算の計算量は?とか知らないと使い方がわからない
51:132人目の素数さん
25/08/11 09:00:42.66 lVHC4/ot.net
コンピュータで多次元の計算させるためには線型代数の知識が必須でしょ。3D CG、コンピュータービジョン、制御理論、FEM、機械学習等々
線型代数知らなきゃ、数値演算ライブラリのドキュメントすら読めん
52:132人目の素数さん
25/08/11 11:24:35.98 rn5ZKPyD.net
ロボット工学の人が、線形代数使いまくりとおっしゃっとる。
>>13
53:132人目の素数さん
25/08/11 11:59:33.50 NiWtmzU4.net
ロボット工学に岡理論を使う計画が
Bern大学の教授の元で進行中
54:132人目の素数さん
25/08/11 14:10:13.64 7chxBumd.net
ロボット工学って数学の応用分野として面白いですか?
55:132人目の素数さん
25/08/11 14:52:36.62 J/ogz6Nq.net
>>50-51の意見は間違ってるとは言えないけど、
現実問題として、専門学校や専門職大学、Fラン大学の工学部・情報学部の学生や卒業生といった、
線形代数どころか中学・高校数学すら理解しているとは言い難い連中が3DCGやらAIを扱ってるし、
案外その手のことって理解してなくても出来ちゃうもんなのかね
56:132人目の素数さん
25/08/11 15:33:44.62 TcXJVafK.net
そういった連中はゲームエンジンで部品貼り付けるぐらいしか出来ん。3Dオブジェクト扱うプログラミング、シェーダなんか書けるわけがない。
機械学習もサンプルプログラム弄ってるだけで、応用なんか無理。
57:132人目の素数さん
25/08/11 16:43:06.20 J/ogz6Nq.net
世の中の3DCG, AI案件の多くは部品やサンプルPGMの組合せや微改変で何とかなるってことなんだろうな
58:132人目の素数さん
25/08/11 18:01:41.40 NiWtmzU4.net
ロボットもいろいろ
59:132人目の素数さん
25/08/11 18:45:02.51 3tPjFom0.net
線型代数もいろいろ
60:132人目の素数さん
25/08/11 19:10:56.96 zNMqbpOv.net
セガ流の線形代数の本はどんな感じ?
61:132人目の素数さん
25/08/12 01:19:57.69 iybfEE1E.net
セガの社内勉強会用資料ね
URLリンク(techblog.sega.jp)
うちの会社でもクォータニオンの部分使わさせてもらいました。コンピュータービジョン、機械学習向けに行列解析も追加してくれると尚良し。
62:132人目の素数さん
25/08/12 07:17:04.89 YQvMnHgr.net
特異値分解、行列解析、リー群(SO(3)、Sim(3))、クォータニオン
↑
標準的な内容に加えて、こういうトピックが大事なわけね。
丁度いい本はないんだろうな。誰か書いてあげて。
63:132人目の素数さん
25/08/12 09:34:51.31 c7YDB0Tc.net
全部載ってるのは知らないけど、工学の2年生向けとなると
線形代数セミナー(金谷健一)
システム制御のための数学(1)線形代数編(太田快人)
あたりでどうだろうか?
64:132人目の素数さん
25/08/12 09:38:08.92 mPHQdf67.net
そういうものがマニュアルになる仕事は
あったとしても長続きしないのではないか
65:132人目の素数さん
25/08/12 12:45:17.06 K3FVPFRs.net
数学者の多数派は、上のトピックスの中では行列解析ぐらいしか知らなくね?
66:132人目の素数さん
25/08/12 13:25:33.97 3Tj3H8x7.net
いやクォータニオンとリー群は知ってるだろ
67:132人目の素数さん
25/08/12 13:39:10.71 9BVyQGOI.net
四元数ってオワコンじゃなかったのか
68:132人目の素数さん
25/08/12 14:56:51.63 MoHin+2W.net
>>67
1990年代に3DCG、シミュレーションの分野で復活したのよ。
剛体の姿勢をSO(3)で表現すると冗長、so(3)では境界(回転角π)で不連続、ロールピッチヨーやオイラー角ではジンバルロックが発生するので、ゲームエンジンやCADの内部表現はクォータニオンが採用されてる。
69:132人目の素数さん
25/08/12 17:31:32.87 tG1bLprk.net
線形代数=可換環論
70:132人目の素数さん
25/08/12 18:31:26.10 5kPw2szA.net
Geometric algebra だけで物理も全部やりましょうみたいな流れはまた失敗したようだ
71:132人目の素数さん
25/08/12 21:28:03.51 mPHQdf67.net
G4工学とかある?
72:132人目の素数さん
25/08/12 22:48:01.04 DtbeGA3t.net
>>66,67,70
クリフォード代数をやらんほうが可笑しい
73:132人目の素数さん
25/08/13 09:00:45.25 W6TdzmkP.net
ディラック作用素
74:132人目の素数さん
25/08/20 22:53:30.63 P4oByBaR.net
固有値はobservable
75:132人目の素数さん
26/02/03 17:17:19.10 qW9IPvlkG
統一教会との蜜月関係やパ━券虚偽記載に脱税にと週刊文春にすっぱ抜かれたバカ市早苗は国会で追求される前に解散してうまく乗り切れたら
国民が腐敗を容認したと言い張ろうというのが真冬の緊急解散の背景、大学受験日の騷音カーが問題になってるが騒音は海に囲まれた曰本て゛
わざわさ゛陸域クソ航空機飛ばしまくって住宅地にまで大騒音まき散らしたりアホな自治体の税金泥棒無能公務員はわざわざ休日に旦那の前で
掃除機かけて仕事してるフリするババァみたく防災無線使ってジジババ行方不明だのと受験勉強に知的産業にと妨害して人権に財産権にと侵害
挙げ句に核一発でクソほどの意味もなくなるものを安全保障ガ━た゛のと白々しいことほざいて年10兆圓もの軍拡やって隣国挑発使途不明金作り
ヘリは1時間飛ばして400Lもの燃料消費するが自閉隊はシュ━ティングゲ―ム時とか8000L/h燃やす戦闘機まて゛ある凄まし゛い地球破壞と大騒音
同じく羽田-関空て゛8000L燃やす大型B747は貨物機以外ほぼなくなったが数珠つなぎて゛飛ばす猛烈な気侯変動テロと石油輸入による超絶貿易赤字
こうして災害連発させて国民の生命財産生業競争力と破壊して自閉隊にマッチポンプ消火活動させてみせたりと私腹を肥やしてきたのが自民党
航空機連絡先情報 noise.web.fc2.com