ふりふりモノトーン
ふりふりモノトーン
46K posts
ふりふりモノトーン’s posts
「ただし円周率を3.14としてよい」明らかに偽の命題を仮定することになってロジックがぶっ壊れるのできらい。「ただし、3.14<π<3.15という事実は証明なしに用いて良い」は正しいので好き。
夫婦別姓なんて中途半端なことを主張しないで、姓を廃止すればいいのでは。
公的な場所では個人に割り振られたUUIDのみ使うようにして、私的には好きに通称を名乗ればいいじゃん….
クラス名に manager を使うな高校校歌
クラスが何かを管理しているのは当たり前だろう
「そうじゃないケースもある」とか屁理屈を言うな
何を管理してるのかをクラス名で表現しろ
同じ理由で controller もだめだ
クラス名に manager を使うな
あゝ我らがクラス名に manager を使うな高校
C++では private:以下に書かれたメンバーはprivateであるとは言うけれど、あれはあくまで紳士協定であって戦時には#define private publicされるのだよ。あれを君はまだ信じていたのかね?
(職質じゃないですが、本郷キャンパスを深夜に出入りするのに竜岡門まで行くのがめんどくさいからと塀を超えていたら警備員にさすがに総長がそれをやるのはやめてくださいと怒られたエピソードは好き)
大学院、世界レベルの研究者の時間をそれなりに拘束するのに、一年で53万ぽっきりでコスパが良すぎて感覚が狂ってしまうけど、それと比較して価格を決めるのは良くなさそう......
日本語のハ行の子音が昔pだっと言われても違和感しかなかったけど、旗がはためく擬態語はパタパタだし、震えるときの擬態語ははプルプルじゃんと言われると確かに…になる。
「TODO: なんとかする」コメント、情報量がないようでいて、これがなんとかなっていないのはわざとじゃなくて時間がないだけということが伝わってくるので、かなり情報があって良い。
そりゃ、WindowsにWLS2使ってLinux入れてそこで開発するのが楽ですよ。でも若いんですからM1 MBPで必要なライブラいのコンパイルが通らないんだが
と言いながら環境構築するのが勉強になると思うのですよ。
と言いながら環境構築するのが勉強になると思うのですよ。
物理の人が数式を適当にいじって、なぜかうまくいってる場合、ちゃんと厳密にしてと怒ってる場合じゃなくて、新しい数学が生まれているのでそれを見抜いて、定式化して、論文書いて.....
- いいね非公開になる
- ブックマークと統合される
- やっぱりやめて、無料ユーザーはいいね公開になる
- ついでにブックマークが公開される
の流れがありそう
大中小括弧はわかりづらいので、みんな
() : parenthesis/丸括弧
[] : bracket/角括弧
{} : brace/波括弧
と呼んで欲しい気持ちはある....
虚数以前に、実数の実在性の方がだいぶ怪しい。測定値は実数だというmodelは便利なんだけど、現実的にはそんな測定は実際には不可能。本来は何らかの意味でどんどん分解能を上げていく観測の列を考えますという部分を実数に押し付けていているわけで、それってだいぶ仮想的な感じがする。
仕事辞めました。
理由は本気でtwitterを極めようと思ったからです。
親と上司にめちゃくちゃ止められたけど絶対私ならトップになれるって言ってなんとか説得しました。
今日から毎日13時間tweetします。
これからよろしくお願いします。
ソフトウェアの設計をするときにフローチャートから入るのは筋が良く無い感じがする。
欲しい機能から、それに対応する意味論を考えて、それをデータ構造とインターフェースに落とし込んで、あとはそれを使って実装をして、その過程で適宜意味論を修正していくみたいな開発が好き。
SSHのポートをインターネットに公開すること普通問題にならないけど、普通というのはセキュリティアップデートを定期的に実施してるといるパスワードログインを無効にしてるということを含意してるので注意が必要…..
プログラミングを勉強していたら関数型言語の話を知って、そこで圏論とか数学基礎論に興味を持って、数学科行って、最初は代数的トポロジーやろうかなと思っていたらなんやかんやでリーマン面に入門してすることになって、そこから表現論の研究室に入って、最終的に冪零の話をやって卒業した感じです。
ChatGPT(GPT4)に位数12の群の分類をさせようと思ったら、無限に不正確なことを言うので炎上しているセミナーみたいな感じなってとてもつらくなった......
シロー定理って知ってる...?
じゃあ位数12の場合、2-シロー群と3-シロー群の数としてありえるのは何個？
くらいまではちゃんと答えてくれるけど、
そういえば、以前会社のコーヒーメーカーに"Out of Order"と張り紙がされていたので、バージョンアップして豆を挽く前にお湯を出すとかして速くコーヒーを出してくれるようにでもなったのかと思ったら、単純に故障中という意味だったことがあった。
Twitter Blue、お金を取られて、凍結される可能性がある審査を受けさせられて、前より広告を多く見せられて、バッジをつけて晒されるサービスでした。マスクに感謝しかない。
