Pinned
Takashi Miyamoto
Takashi Miyamoto
214.7K posts
Takashi Miyamoto
@tmiya_
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね?
tweet やいいねができなくなりました。
避難先 : tmiya at mathtod dot online です。
Takashi Miyamoto’s posts
理系の研究室ってのは、相手が学問的に間違ってたらズバッと直裁的に指摘する文化なんだけど、理系以外の人にはそれは耐え難いらしい。だからそういう理系文化に慣れきってない人相手にコードレビューとかすると、別に人格攻撃してるわけでも無いのに、誤りを指摘されてなんかショック受けるっぽい。
Quote
ナシェモン
@nassyemon
「お前の口調、角が立ってて相手からみたら不快だから治せ」の趣旨の指摘は、東大、東工大院卒の新人なら半数くらいは言われると思う。
表現としての「柔らかくした方がいい」という言い方は、女性だから気を使われた(差別的)かもしれない x.com/anticolonialfe…
別に文系学部学科を廃止する必要は無くて、文系の学生の一般教養科目に必修でガチの線形代数、微分積分、統計学を追加してビックデータ人材を養成することにするいうのはどうか。統計解る文系人材、素晴らしいような。文系学部の人も報復措置として理系学部の一般教養に好きな科目追加しても良い。
IT系の人、データセンターのサーバールームのフロン消火器とかCO2消火器とかの、天井に設置された水を使わないタイプの消火器についてはよく学んで欲しい。あれは発動したら吸ったら一呼吸で倒れるはず。警報が出たらすぐに逃げないと死ぬ。
Quote
T.Kono
@konota_cloud
IT系の仕事してる人間として思うのは、まじでこの業界しか知らない人達、物理的なものに対する安全意識の低さが他工学系のそれと比べ物にならないレベルにあるというところ
これはこれで、大学でちゃんと勉強しなかった経営者の耳に心地良い発言ではあるよね。エンジニアの場合、将来必要になって何かを学びたい時に数学とか電磁気学の様な基礎的な学問を学んでないと辛いし、基礎的な学問は陳腐化しない。5年前どころか100年前の数学者にすら一般人は追いつけないのに。
Quote
山形方人(nihonGO)
@yamagatm3
「マサチューセッツ工科大学でこう言われたという。
「今の時代、すべての科学技術は5年で陳腐化してしまう。だから私たちが教えるのは、すぐに役立つ技術や最先端の科学ではなく、『学び続ける姿勢』そのものなのです」」 x.com/yamagatm3/stat
昔SIer時代に受けたマナー研修で、お客様からかかってきた電話は最後まできっちり責任持って面倒見ろ、みたいな話を言われて、つまりどういうことかというと、業務時間外にかかってきた他部署の電話は取ると大変なことになるから無視しようということかと理解したことがある。
これもリスク管理。
Quote
NaOHaq(苛性ソーダ)
@NaOHaq
社外とやり取りする際にトラブルにならないための一種のリスク管理だと思うとまぁ理解できなくはない < マナー講習の類
メモリ多めのマシンとか、デュアルモニタを買って与えるだけで、エンジニアからの忠誠度が簡単に上がるのに、経営者はそれはしないよね。飲み会とかどうでもいいからメモリ。
フィクション:
マッドサイエンティスト的な倫理観の無い技術者が暴走し、一般の非技術者がそれを止める。
現実:
営業が暴走し、法務部門すら追認し、それを技術者の倫理観が止める。
Quote
Shuji Sado (佐渡 秀治)
@shujisado
Replying to @shujisado
法務、コンプラ系部署も結局は雇用者であり、自社が危うい時は判断が甘くなるし、最後は法の解釈しかしなくなる。これを実行するのはマズいと直感的に分かることでも合法という一言になる。この時、最後には止めるのは末端の技術者らであることが多い。ダメだ!と踏ん張って訴える時もあるということだ
「好き」≠「良く出来る」、を認めると一生数学(に限らないが)を楽しめると思う。
Quote
はづかしい命
@amy_to_me
東大に入って一番悲しかったことは、高校生までは好きだった数学が大嫌いになったこと。
私の今生きている世界では、数学を好きなんだと自他共に認められるようになるために必要な、知識や出来なければいけないことがたくさん存在するんだ、と。
高校で角運動量習ってないのに、大学の力学でもまだ角運動量習ってないのに、学部1年夏学期の量子力学でLとかSとかJとか出てきて、何これ、という思いをしたなぁ。
Quote
メガシャリタツ
@krbs_kise8
学部1年生の、まともに物理を履修しなかった人達に、何故かシュレディンガー方程式叩き込まれてその理不尽さに「は?なに??」ってなって以来物理化学大嫌い
Replying to
超絶可愛いメイドロボで、失敗すると「はわわ」とか言って狼狽え、ファンブルすると「マスターと一緒にいられて幸せでした」とか言ってみんなの心にトラウマ残す感じのやつですね。
多分何も技能振らせないで愛でるだけに終わる。
高等教育を自国語で学べるのは素晴らしいことではあるのだが、その一方で、高等教育を受けたにも関わらず、英語で書かれた専門書や論文を読めない人を量産してるともいえるのだよな。で、英語で専門書を読めるようになる為には、英語教育の充実よりも、英語の教科書で専門教育する方が効率的ではある。
何度でも言うけど、日本の法律は行為者を処罰するので会社も上司も守ってくれない。
技術者倫理とか以前にそういう観点忘れない方が良いよね。 t.co/3bVM28vC1O
This Post is from an account that no longer exists. Learn more
統計学や機械学習の理論の教科書読み出すと教養レベルを超えた数学力が欲しくなる。測度論とか関数解析とか。渡辺ベイズ本とかも特異点解消とか言い出すし大標本論の教科書は測度論入門が付属してることが多い。
データサイエンスだけやってる分には理系教養レベルの数学で足りるというのは合ってる。
Quote
TJO
@TJO_datasci
ところで、データサイエンスに必要な数学なんてせいぜい大学理系の教養レベルの微積分・線形代数ぐらいだし、もっと踏み込んでも多様体ぐらいで、理系の高等教育を受けた人間にとっては全然高度ではないということは何度でも指摘しておきたい
tjo.hatenablog.com/entry/2018/04/
Googleの採用の話が話題になってるけど、給与の差は仕方がないとしても、日本企業も、スーツ着用必須の入社面接とか会社理念を暗記してこいとか、そういう本質的でないことをすぱっと採用プロセスから捨てるだけで、日本企業に就職する学生が増えると思うよ。技術系の学生の感性を理解しないと。
【請求項1】 1以上の建物と殺人犯と被殺人者とが登場する推理小説であって、
前建物は、1以上の施錠可能な扉と窓を有する部屋と、前部屋に連結した煙突を具備し、
・・・中略・・・
【0073】また、上記各実施の形態において、吹雪や台風や地震などの悪天候のため警察の到着が遅れることは好適である。
どちらかというと「自賠責保険入らないなら車の運転するな」の方が近いかも。
鎮火できて最終的にスケジュール遅延がないなら、適度にデスマって、お客様にも数日程度の徹夜という思い出作りをして頂いた方が達成感があって、最終的な顧客満足度も上がる云々、と某SIer時代に上級管理職から言われましたよ。淡々とプロジェクトをオンスケでこなすとダメっぽい。
TLで見かける情報系卒業の人たち、半分ぐらい学部でCPU作ってるような人達で、残りも自分でコンパイラ書くような人達なんだが...
Quote
加藤公一(はむかず)
@hamukazu
情報系大卒の平均値はプログラミングなんて全然できないんだろうな。平均値で比べると高専のほうがずっと上なんだろうな。
不謹慎だから花見を自粛しろと言われると反発したくなるが、もし仮設トイレを被災地域に優先するので花見客を大人数迎えられないと言われたら納得するだろうなぁ。納得出来る理由があれば我慢出来るけど、単なる精神論を言われてもなぁ、と思う。
MacのCPUがARMになる話、ただでさえCUDAが使えないのに、これでMKLも使えなくなるとか、どんどん開発エンジニアがMacを捨てるようになるのでは。。。
E=mc^2 に型が付いてないと考える人がいるんだ。学部で少しでも物理学んだなら両辺に [ML^2T^-2] という型が付いてるのが見えるはず。
Quote
Kenn Ejima
@kenn
Replying to @kenn
LLMの到来で「近未来のプログラミング言語は英語(日本語)です」っていう話をしてる2024年なわけですが。
なぜ人類の自然言語には静的型がないのか?といえば、それは「決断の遅延」にあるわけで、法律文書や数式などの形式言語に落ちる前まではやわらかい記述で揉む必要がある。
Show moreReplying to
分かります。セキュリティ上問題がありますと仕様に異議を唱えても、大体の場合怒られるだけなんだよね。とはいえ一応反対はしたよというエビデンスを残す意味で、メールとかで指摘はするかなー。
いや、これ間違ってるから。ベンチャーは平で入社して中で出世するものでは無いです。CTOは最初からCTOとして勧誘されないと無理。どこか適当なベンチャーに入ってなんらかの方法で有名になれば、別のベンチャーに幹部待遇で誘って貰える。
venture-tenshoku.hatenablog.com/entry/2017/03/
この春、大学に入学した人:一般教養の数学の線形代数は、一生に一度の機会だと思って真面目に勉強しよう。数学専攻以外でも機械学習/制御理論/信号処理などなどでも必要。将来30,40歳になって機械学習について知りたくてPRMLを読みたいと思っても線形代数勉強してないと辛いよ。
地図持ってるからと頑張って道を教えようとしてると、財布を擦られたり、荷物を開けられたり、と被害に遭うこともあるんで、割と要注意だったりするんだよな。
Quote
K.U ディスレクシアについて
@RnR_Equipment
10年以上前、パリで歩いてるとよくフランス人に道を聞かれた
「なんでそこら中にフランス人がいんのにわざわざアジア人に道を聞くのん?」って聞いたら「僕は地方から出てきたんやけどパリの人は意地悪でうその道を教えんねん。アジア人は地図を持ってるし何より親切やからな」と言われたことがある
とはいえ、数学者の書いた微分幾何の本より、物理学者の書いた微分幾何の本の方が、とっつきやすかったりするからなぁ。
Quote
れんぼれ
@cr_psyclaon2
どう思考を巡らせたら、大学教員が書いた本とか記事よりも、学部生が書いたpdfのが勉強になると思うんや
官邸にドローンが落ちたと聞いて、自分でも飛ばしてみて他国の大使館に落としたマスコミの人、とりあえず自分で何でも試してみるという実験屋として大事な資質の持ち主なので、マスコミ辞めて理系の大学に入り直すのはどうか。
Replying to
データセンターとかで作業するIT技術者も同じ目にあうので要注意です。サーバに水をかけるわけにはいかないので、不燃性ガスが降ってくる。
今、大学生やってるならOIST進学を真面目に考えるし、あるいはOIST進学前提で自分の専門を決めるまで考慮すると思う。 t.co/x5bHezbYTh
This Post is from an account that no longer exists. Learn more
Replying to
その仕様の無意味さを懇切丁寧に説明しても感謝されずにむしろ憎まれるだけ、というのを何回かやると、そこまでするほどの給料なんか貰ってないぜ、という気持ちになります。形式的に異議を軽く唱えたという証拠だけ議事録に残すのです。
7桁郵便番号から都道府県が一意に決まらない、という事実を今日発見した。618-0000, 871-0000 がそう。(つまり、今日はそういうコード書いてた)
Replying to
コンサルとか上級SEとか上級データサイエンティストとか、給料は高いけど、技術的なこと理解したくなくて常に自分の分かる範囲内の言葉しか聞きたくない偉い人相手のプレゼン資料作りばかりなのです。そういう仕事で消耗したので、いまは気楽な下っ端エンジニアしてます。
Replying to
技術系企業も不景気になって、研究部門を次々閉鎖する方向に。当然、研究職の採用なんてストップ、開発系の職種に採用してもらえれば非常にラッキーな感じで、営業職とかSE職とかぐらいしか採用が無かった感じ。
一部業界(例えば液晶パネルとか)は当時成長産業だったので比較的マシでした。
膨大な量の勉強をこなさないと学力偏差値の高い学校に合格出来ない人もいるのだけど、ほとんど勉強らしい勉強しないで楽々そういう学校に入学できてしまう人も結構いる。後者の場合、勉強以外に部活動とか習い事とか学校外の課外活動(ボランティアなど)とか余裕で、人生経験値すごく高かったりする。
Replying to
「あそこの会社は、困難なプロジェクトであっても、最後までやり遂げてくれた」という印象を与えると、次の案件も取れるので、戦略としては間違ってない訳です...
家庭教師バイト先は地元民富裕層の子女には見つけやすい高額バイトなんだけど、地方出身者はなかなかありつけないんですよ。あれは基本的に知人の子女の東大生に頼むので。
あと有名塾講師もその塾の卒業生じゃないと採用厳しい。
地方出身者には厳しいんですよ、色々。
Quote
桜塚ひさ
@annna20
Replying to @no_raise_ut
東大生ならどこでも家庭教師のアルバイト大歓迎でしょうに。このくらいの値上げ、底辺労働者の稼ぎを考えればしのげるレヴェル。炎天下で働く人たちも税金を払っているんですよ。あなた方のために。なんでも反対の体質なら、先が思いやられる。天下のエリート予備軍がかくも利己的か、と。
数学なんて大人になっても学べるというのは嘘ではないのだけど、高校で教師から授業を聞くだけという楽なスタイルで週4時間(+自宅で宿題)で3年間分の内容を、社会人になってから就業時間後に一人で黙々と自習する訳で、かなり大変だと思います。高校の時に勉強した方がきっと楽だよ。
会社の業務システムとかプロジェクトの進め方に文句を言う人は、反抗的なのではなくて、まだ熱意とか愛着が残っているということなんだよね。そこで上が対応を誤ると、あとは言われたことだけをして余暇と転職のことだけ考えてる人員を作るだけ。
360度評価、理想的状況ではうまく機能するのだろうけど、大抵の場合、特定の人を同僚が袋叩きにするとか、仲良し同士がお互いの評価を上げるとかに使われる印象しかないし、せいぜい部下が匿名で上司を評価するだけに留めた方が良いのではないかと思ってる。
Quote
TJO
@TJO_datasci
昔の職場の360度評価というやつ、同僚の一人からご丁寧に「博士号持ちの研究者らしく評論家のような態度しかできないニセ社会人、ブログや本の出版で目立つことばかり熱心でレベルが低い」とか書かれた上に、当時の上長たちからこれを減給の根拠にされたことがあるので、そういうものだと理解してゐる
Replying to
時代小説、おじさん向けのラノベだと思います。剣術無双だったり、ハーレム展開だったり、追放系だったり、ざまあ展開だったり。
舞台もちゃんと時代考証する訳じゃなくて、なんちゃって時代劇のお江戸だったりするし。
思考実験として、全世界から一斉に全ての半導体デバイスが失われたとして、再び現状にまで回復可能か?これは例えば石油採掘施設の制御装置の大半が動かないなど、ほぼ文明崩壊というべき状況からの回復作業だが。
note.mu/ruiu/n/n44e161
昔は職場で自分たち用のサーバを立てたり出来たけど、社内クラウド(遊休サーバと違って有料)使えとか、セキュリティ理由で勝手サーバ禁止とか、社員が、勝手に色々やれなくなってる。
Quote
木村岳史(東葛人)×極言暴論
@toukatsujin
中堅SIerの経営者の何人かと話す機会があり、最近の若手の話になった。案の定「俺が若い頃、技術者は遊び心があり、最新技術に挑戦するなど好き勝手にやってスキルを磨いた」と自慢話。で、「今の若手は草食系で、そんなガッツが無い」などと言う。違うでしょ。あなた方がやらせないだけ。
飛行機搭乗時に医者を登録する話をさっき読んだが、飛行機の中で突然「お客様の中に、組み込みエンジニアあるいはプログラマの方はいらっしゃいませんか?」とかアナウンスがあったらかなり怖いよな。
Replying to
あの本はMachine Learning for Physistですから。著者はHiggsの学生だし、内容は物理屋らしく厳密性に欠けてるし、読むのに前提とされる知識が学部の物理数学だし。私には相性良い教科書でした。
親が金が無いのに社会経験は難しいよね。しばしばバイト禁止だからバイトの経験談も語れないだろうし。
というか、入試って入学後に必要な学力があるか見てるのでは無いのかな?まあ私立なら色々建学の精神に相応しい受験生採れば良いとは思うが。
Quote
PsycheRadio
@marxindo
大学入試では「学力」だけででなく面接で社会経験などを評価しろと言ったら親が裕福な子どもほど有利になるのは目に見えているラジよね。
Replying to
ストックオプションとか貰えるならともかく、単なるヒラ社員をやるだけだと、単に貧乏で給料が安くて福利厚生の貧弱な会社に過ぎない、と最初のベンチャーで身をもって体験しました。
内部で昇進して管理職になれることはまれで、大抵は管理職は外から雇います。
以後は給料分だけ働くことにしてます。
量子情報の計算だけやりたいなら、量子力学学ぶ必要無くていっそヒルベルト圏だけやれば良いのでは無いかなぁ。
量子情報の為のデバイスやりたいなら物理を普通に学んだ方が良いし。
将来やりたい事が確定してる学部一年なら最短コースを突っ走れるだろうな、とは思う。
Quote
若葉めるる
微分コンサル
@wkbme
量子情報に行きたい民にとっては、前期量子論やったり色々なポテンシャルでシュレディンガー方程式解かせたり作用素の定義域の問題やったりするのは迂遠なんじゃないかというのは一理あるのではないか。