26
> 次元が違うということを表現するのに『倍増』という言葉を1つの象徴として使われたのだと思う
でも「倍増（スカラー倍）」はベクトル空間で閉じているから次元は変わらないですね。テンソル積とかを使わないと。
news.yahoo.co.jp/articles/f9f7a…
27
> 「エンジニアになるために競技プログラミングをするのは、 DJ になるためにビートマニアをするようなものだ」
ウケた nodchip.hatenadiary.org/entry/2023/03/…
29
Linux や Git を作った Linus Torvalds が TED Talk のインタビューで、
「オープンソースのいいところは、異なる人々が一緒に働けるところです。お互いのことを好きである必要はありません」
と言っているのですが、僕はこの考え方がとても好きです。
youtu.be/o8NPllzkFhE
30
僕は中学のときコンピュータ部に入ってたんですが、汚い部室でネットにも繋がってなかった。そこで先輩が、擬似的に Email を生成して送ってくれるプログラムを作って見せてくれて衝撃を受けたのを覚えている。
品詞ごとに単語を並べた辞書データを作って、文章の型に代入して生成する方法で。
31
👧「6 + 0 は 6 じゃん？」
🙂「うん」
👧「6 ÷ 0 は 0？」
🙂「それはね、0 で割ることはできないのよ」
👧「え、なんで？」
🙂「そういう数があるとするとおかしなことになるから」
👧「どういうこと？」
🙂「お、聞きたい？」
👧「うん」
🙂（キタコレ…）
32
🙂「こういうのを背理法というよ」
👧「へー、じゃあまーちゃんに友達がたくさんいることを背理法で証明して」
🙂「いいよ、まーちゃんに友達がいないとします、するとまーちゃんは寂しい表情をしているはずです、でもまーちゃんはニコニコしています、なのでやはり友達はいます」
👧「いいねー！」
33
👧「パパがいることを証明するよ」
🙂「お、いいね」
👧「パパがいないとします」
🙂「うん」
👧「すると、今の『うん』は誰が言ったのでしょう？」
🙂「誰かがパパの真似をして言ったのかもよ」
👧「んー…でもパパがいなかったらパパの真似もできないはずだから」
🙂「おっ！今のはなかなか良いね」
35
変なリプが来たときに「しっかりとブロックして参ります」と唱えながら実行すると腹が立たずに済むことから、岸田構文はアンガーマネジメントに有効なのではないかと思えてきた。
36
AI 音声に本人が言いそうなこと言わせちゃダメなんですよね、それじゃ何も面白くない。本人っぽいのに絶対言わないところを狙って行かないと。例えばスプラの実況をさせるとか。
asagei.biz/excerpt/59591
38
僕の TL で見かける意見も、この Togetter にまとめられているものも、賛否共に冷静で建設的なものが多い印象で、そうやって議論が盛り上がってる状態を「炎上」と呼ぶのは馬鹿っぽいからやめた方がいいと思う。 togetter.com/li/2165329
39
僕も31歳で大学院に進学してから、相手の年齢によらず一律で「さん付け+敬語」で行こうと決めました。
学び直しおじさんが、歳が上だからというだけの理由でタメ語で喋ってきたら、僕なら絶対に煩わしく感じるだろうと思ったからです。
qiita.com/kojimadev/item…
40
> 理系大学にいけば代数幾何学は必修科目ですが
いいえ
note.com/shi3zblog/n/nf…
41
筋トレは「モテる」「自信がつく」とかをモチベにする謳い文句が多いけど、エンジニアや研究者などのデスクワーカーにとっては「体力がついて集中力があがる」「肩こりや腰痛がなくなる」「よく眠れるようになる」の3点をアピールした方がずっと引きが強いと思うんですよね。
数学の研究者, プログラマ, 一児の父.