cutsea110
@cutsea110
Followers
546
Following
32K
Media
954
Statuses
97K
ヒゲ生やしたハゲのおっさんです。 少し泳ぎます。 swimmer Haskell Rust Agda Scheme Category Theory
プール
Joined May 2007
俺だ
S3は「エススリー」って呼ぶのにRoute 53は「ルートごじゅうさん」って呼ぶ人多すぎない？？ だから別に何ってことはないけど、ちょっとだけ違和感を感じている…
0
0
0
ところで、スノーボードの技の名前で1080とか言われてもピンとこないので弧度法で6πとか言ってほしいってという話をしたら妻に怒られた。
53
509
6K
とうとう出たね。。。 自民候補への投票見返りに２０３人に報酬約束、韓国籍のパチンコ店元経営者に有罪判決
yomiuri.co.jp
【読売新聞】 昨年７月の参院選で、自民党の公認候補に投票する見返りに報酬を渡す約束をしたとして、公職選挙法違反（買収の約束）に問われたパチンコ店運営会社「デルパラ」（東京）元社長で韓国籍の李昌範被告（５１）ら３人の判決が２６日、東京
228
12K
35K
強烈だな
0
0
0
ガロア理論の本読んでた時に、なぜ代数的数なのか？みたいな話題でそれっぽい話があったな。
三角関数、それまで「関数」と名がついていた2次関数とかと違ってxになにか入れれば四則演算の範疇でなんか値が出せるわけではなく何がおこるかわからない（つまり代数関数ではない）もので、思考のフレームを大きく変える必要がある人間が一定数いるので嫌われるのではないかと想像している
0
1
1
お、ポーランドは当事者の可能性を盾にきっちり詰め寄る腹ですね。いいんじゃないか？
BREAKING: Polish Prime Minister Donald Tusk sends a shiver down Trump's spine by announcing "Investigation Team No. 5" — a powerful task force designed to investigate the Epstein scandal. Since the MAGA Justice Department won't take action, the rest of the world is stepping
0
0
0
どっちと言われたら前者の方が良いかな。 elseがないのは危険な兆候で、後者のコードが大丈夫なことは２つの条件式が(逆であることを除いて)同一であることを前提にしている。 こうしたコードは時間と共に間に何かが挟まったり条件式が乖離する可能性が潜むというのが理由。
#プログラマさんに怒られる かもだけど…笑。 elseは一瞬ifの内容を確認する脳みそが面倒くさいのでこういう感じで書いたりしているヨ。笑。 怒らないでね！ （あとこういう記述方法の便利なのあったら教えてほしい感じ）
0
0
0
「諸事情で続役」 初めて聞く言葉wwwww諸事情で代役とかじゃないんだ
【新シーズン】『孤独のグルメ11』放送決定！ 松重豊「諸事情により続投」 https://t.co/tXCRmfqFlj テレビ東京は、4月3日から松重主演の『孤独のグルメ Season11』を放送すると発表した。松重は「退場するタイミングとしては最適な局面ではありますが、諸事情により続投します」とコメントした。
1
238
7K
話ズレるけど、プログラミング言語を評価するのにPGはノード数を count してたな。というのをふと思い出したりした。
「言語処理系開発が楽にできます」というとき、今後の評価方法は、ユーザー調査じゃなくて、AIが消費した token 数だったりするのかなぁ
0
0
0
白い基盤かっこいいな
1人で1万個量産、290円のマイコンボード「UIAPduino」ーー目指す先は100均の棚 https://t.co/hXUh1VEQvC
@FabScenejpより
0
0
1
政府が集めると国民会議で、我々が集まるとたぶん非国民会議と言われる。
もう大勢の方が言ってるけど「国民会議」ってなんやねん。意味わからん。勝手に己に都合のいいもん、でっちあげんなや。国民の代表なら自分らがアホほど議席取った国会があるやろが。そっちでやれよ。
3
198
607
なぁのび太、クロードコードとか新しいAIがすげぇって騒がれるだろ。AIに仕事奪われるって怖がるヤツいるけどな、本当に怖いのはAIを使いこなしてる同僚に差をつけられる事だぜ。敵はAIじゃなくてAIを使ってる人間だからな。
10
33
573
自分はパーソナルつけて一時期ずいぶん頑張ったけど、それでもベンチ60 x 3t補助ありがギリだった。 スイム短距離でタイムを詰めるのが目的でウェイトを上げる目的に特化してたわけではないけど。
ジム行かない人はベンチ100kgが 「ちょっと鍛えたらいける」と思ってるよな 多分60キロくらいは挙げれると思うとか最初から大体答えるし
0
0
1
chatgpt に聞いたら Lenny Skutnik 型というらしい。レーガン以降わりとよくある手法か。
この前からアイホの金は取り上げられてたから話題になってたのは認識してたけど、議会に呼ばれて讃えられるとか一般教書演説ってそういうもんなのか。真面目に見たことなかったから一般にどういうものなのか知らんのだけど。
0
0
0