このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

そんな駅あるんだ

このアカウントは、notestockで公開設定になっていません。

草

勝手にかな入力にされて死んだんだけど

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

#けもわーどる 2024-03-22 4/10

⬛⬛⬛⬛⬛
⬛⬛⬛⬛🟨
⬛⬛⬛🟩⬛
🟩🟩🟩🟩🟩

harutori.org/works/kemowordle.html

わしも割とストレートで当たってしまった…
てかこれストレートに当たることがヒントになりうるな

ちなセルフハードモード縛り
カンペがあるとハードモード縛りでもだいぶ楽

変な謎【不動産ミステリー謎解き 変な家】 - YouTube
https://www.youtube.com/watch?v=cwAV49eLTtA
雨穴パロに見せかけた終わった人パロ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

そろそろカビアレ

おやしみー

エチオピアの銀行で無限に現金を引き出せる「不具合」が発生していたことが判明、地元メディアによると被害額は60億円以上 - GIGAZINE
https://gigazine.net/news/20240321-ethiopia-bank-glitch/

フィーバータイム

このアカウントは、notestockで公開設定になっていません。

ブロックされるがおーばっかりしてロボウサコを暴走させよう!(オモチャン)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

シマハイイロギツネのうんち

肥大化を続けるウェブサイトが処理速度の低いデバイスを使用するユーザーに与える影響とは？ - GIGAZINE
https://gigazine.net/news/20240320-web-slow-device/

アベヒロシャイズの重要性

このアカウントは、notestockで公開設定になっていません。

アベヒロシファイでもいいよ

App Store以外での支払いに手数料を請求するAppleの計画に抗議するためMeta・Microsoft・X・Match GroupがEpic対Appleで法廷準備書面を提出 - GIGAZINE
https://gigazine.net/news/20240321-meta-microsoft-x-match-against-apple/

劇場版か?

TypeScript なにもわからない

スマホの位置情報から Discord のステータスを自動で設定したい

TypeScript のビルド部分がやってることって乱暴に言えば型情報を取り除く(あとちょっとバベル)だけだから、チェック部分に余裕がありすぎてすげえリッチな型表現で殴ってくる

関数型でも理論偏重言語でもねえくせに型レベルの表現力が高すぎるんだよ何だお前は

このアカウントは、notestockで公開設定になっていません。

論理空軍おるね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

こういうケースは代数的データ型にしたいところだけど TypeScript は代数的データ型は扱えないんだっけ

TypeScriptで学ぶ代数的データ型
https://zenn.dev/eagle/articles/ts-coproduct-introduction

実現はできるけど言語機能として用意されてはいない感じか

Tagged Union として実現するのがまあ丸いよな

あと自前で網羅チェック書かないといけないのは怖い

TypeScript 4.6で起こるタグ付きユニオンのさらなる進化
https://zenn.dev/uhyo/articles/ts-4-6-destructing-unions

Tagged Union は言語サポートあるのか
いやこれあるっていうか?
ままええわ

このアカウントは、notestockで公開設定になっていません。

実際無理に一つの型にするよりも true | false のリテラル型をもたせた二つの型の合併型にするのが素直な気はするのよ

このアカウントは、notestockで公開設定になっていません。

これ false 側に `key3?` はいるんだろうか
ないとマッチング後も key3 にアクセスできないのかな

このアカウントは、notestockで公開設定になっていません。

false 側の `data` を消して else 節も消したらどうなるか見てみたい

このアカウントは、notestockで公開設定になっていません。

data?: never
data: undefined
違い
痛くない

このアカウントは、notestockで公開設定になっていません。

if 節にエラーが出ないってことは失敗時の undefined がいらないなら丸ごと消してもいいってことか

この場合多分 else 節消してもエラーでないから網羅チェックはやっぱり自前なんだろうな

ボトム型だけを受け入れる関数を用意することで UNREACHABLE をチェックするの、考えた人頭いいよな

このアカウントは、notestockで公開設定になっていません。

全体と交差型作ればいいのかな

```ts
type Response = ({
success: true;
data: string;
} | {
success: false;
data?: never;
}) & {
info: string;
};
```

こういう書き方できるかは知らない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

できたいいね

TS の合併型交差型は型すなわち集合って感じで非常に好み
他の言語にもあればいいのに

クラスや構造体(JS ならオブジェクト)は直積だし代数的データ型は直和
やはり集合…

Rust だと enum が (名前に反して) 代数的データ型になるので

```rust
enum Result {
Success(String),
Failure,
}
```

とかになる

`info` は Result に impl する

取り出すときは

```rust
let result: Result = /* ... */;
match result {
Result::Success(data) => {
/* ... */
},
Result::Failure => {
/* ... */
}
}
```

みたいな感じになる
`Success` 側の腕では `data` という名前で取り出せる

あ、`info` は Result 自体が持つべきフィールドだからこれじゃだめだな
二回書かないと無理か?

今書いた Result を ImpleResult にしてそれをフィールドにもつ構造体 Result をつくってそれに info をもたせる感じにするか
継承?　処理の移譲ならそいつがフィールドでもつべきだろが基本思想だし

Q. data: Option<String>, info: String で良くない?
A. そうだけどそれを言ったらおしまいなのよ

Python にはリテラル型と合併型はあるけど交差型がないから info は二回書くかなんかしないといけなそう
あとフローチェックが TS より甘い印象なのでどっかで破綻して Any か cast に頼ることになりそう

このアカウントは、notestockで公開設定になっていません。

いま謎肉詰め合わせ発売されるらしいな

このアカウントは、notestockで公開設定になっていません。

なんだこいつ…

このアカウントは、notestockで公開設定になっていません。

実家スタイルだし…

このアカウントは、notestockで公開設定になっていません。

寝たふりはバレます

このアカウントは、notestockで公開設定になっていません。

ドリトライ

誰かと思ったら MARETU で笑うんだ

どうすんだよ次の新曲 ド疲れさま / MARETU とかだったら

P 名言ってみろとか作ってたころの MARETU

このアカウントは、notestockで公開設定になっていません。

カプホ全裸マン(違法)

TL の流れを整理した

ブースト忘れてエアリプしたときとか notestock で読んだときに流れが保たれるように一度消して吐き直すことがある

このアカウントは、notestockで公開設定になっていません。

ド疲れさま

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

シムシティなんでしょ(適当)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

哀れな Unicode!

えばーは人造人間だからロボットじゃないみたいなこと言われてもロボットの原義は「労働」だから機械関係ないし…

汎用ヒト型決戦労働者

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

もうすでに robota の話出てた

P(A) を A に写すような関数ってなんて呼ぶの
min とか max とか

このアカウントは、notestockで公開設定になっていません。

別に数学に限らないけど「この概念多分名前付いてるんだろうけど知らん!」みたいなやつを調べられないの困る

昔 [0, 1] の区間に絶対名前あるだろって思った
あった
単位区間というそうだ

このアカウントは、notestockで公開設定になっていません。

名前があると固く信じているけど聞いたことがない枠: 同じ頭文字の単語に差し替えたので頭字語としては変化していないやつ
DVD(Digital Video Disc → Digital Versatile Disc) みたいなの

CRM(Cockpit Resource Management → Crew Resource Management) とかも

クソキーを作るな

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

SCP-3470-JP - SCP財団
http://scp-jp.wikidot.com/deleted:scp-3470-jp

これの仕業なんですよね(適当)

このアカウントは、notestockで公開設定になっていません。

なんかシャイガイが人気って聞いた

Microsoft初のAI PC「Surface Pro 10」「Surface Laptop 6」の法人モデルが登場 - GIGAZINE
https://gigazine.net/news/20240322-ai-surface-pro-10-laptop-6/

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

SCP は本物の陰謀の隠れ蓑だってついったにいる陰謀論者のおっちゃんが言ってた

あれももう 3 年くらい前か?

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

C じゃなくて?

あ、C は言語じゃなくて数学 C の意味ね

このアカウントは、notestockで公開設定になっていません。

わしも中卒なので高校の数学教育知らない

このアカウントは、notestockで公開設定になっていません。

はえー

このアカウントは、notestockで公開設定になっていません。

if 文が日本の教育機関を網羅していないのでバグった結果が出たらしいです

このアカウントは、notestockで公開設定になっていません。

実際高校数学のカリキュラムは伝聞形でしか知らないので…
なに数学 IA って…基礎数学じゃないのか…

みんな知っているね

これ結構古い教科書らしいのでこの画像貼ると歳がバレるらしい

このアカウントは、notestockで公開設定になっていません。

I とか IIB とか恣意的な分け方でしかないので微積と代数で分けるこの教科書好きなんだよな

基礎数、微積、線形代数は買ったな
専攻科で応用数学も買ったかもしれない
確率統計はなんか別のシリーズだった記憶

もっかい読み直したい

不定積分よりも先に定積分が載ってるの、最高ですよね
なお実際の授業

積分は微分の逆ですで不定積分を定義する教官絶対殺しタル・ランサー

ちゃんと短冊で定積分(ルベーグ積分)を定義したあとその始点と終点を独立変数にした関数として不定積分を定義して微分積分学の基本定理を導け
無茶を言うな
㌧

あんま無茶苦茶なこと言ってると「小学生に足し算教えるときペアノの公理から教えるんですか?」って強烈なカウンターで殴られるから気をつけないといけない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

-210

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

あらゆる

順序集合 - Wikipedia
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88

を!?

クソガキエジソンにペアノの公理で反撃する教師厭だな…

エジガキ「なんで 1 + 1 = 2 なんですか?」
教師「1 := S(0)、2 := S(1) = S(S(0)) と記号を定義する。ここで定義 2 より 1 + 1 = 1 + S(0) = S(1 + 0) となる。この内部項は定義 1 より 1 + 0 = 1 であるから 1 + 1 = S(1 + 0) = S(1) = S(S(0)) = 2 が得られ

エジガキ「ひとつの泥団子とひとつの泥団子をくっつけたらひとつの泥団子に
狂人「は?　なに勝手に + を物理的な動作に関連付けてるわけ?　数学的操作はどこまでも抽象的なものであり現実世界とは直接関連しないが?」

こんなん小学校におったら怖くて漏らす

形式主義過激派教師にロジハラされる小学校、ムチで殴る小学校よりもエジ母がキレそう

朝青龍引かないかんねん

そういややっぱり偽・青龍と真・青龍は同時編成不可能なんだろうな

このアカウントは、notestockで公開設定になっていません。

⊤・青龍

このネタが伝わる人がいなそう

¬(⊤・青龍)

ダウンタック記号 - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%80%E3%82%A6%E3%83%B3%E3%82%BF%E3%83%83%E3%82%AF%E8%A8%98%E5%8F%B7

名前あったんだ…

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

そんなことよりも無限にスキチケ使えるようにしてほしい

タナトフォビア / キタニタツヤ 昨日やっとちゃんと聞いたけどダンスマカブルっぽいことしてていいですね MV

BLEACH 獄頤鳴鳴篇のことはよくわかんないので言及できないですね…

よくわかんないなりにインターネットだけの知識で喋ると
みんな世界観合っててすごいって言ってるけど生粋の暴さんが地獄でイキイキしてそうみたいな扱い受けてるの見てると日常の続きの永遠の蛇足感あんまねえな…って思った(暴言)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

草

主演の不祥事で封印作品になる映画みたいなことにはならないのかね

このアカウントは、notestockで公開設定になっていません。

一護が死んでも歓迎会開かれるだけとかよく言われてるけど向こうで死んだら分解されるらしいし結局はメメントモリといえばそうなのかもしれない
歓べよ

メメント (定番のネタ)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

(土用に 4 回ピックアップされる黄龍)

このアカウントは、notestockで公開設定になっていません。

ファッ

このアカウントは、notestockで公開設定になっていません。

Q. 守護けものだから分裂くらいできるんじゃね
A. それじゃ古典ギャグみたいなことやってごまかしてたシーサー・ライトが馬鹿みたいじゃないですか