`s` の交叉無駄に二回やってたので `a` を使いまわし

基本構造とデバッグ用ヘルパー関数でけた

多分動いてる

同値関係と大小関係入れた(`==` と `>=` 以外は `total_ordering` で自動実装)
`n1` は (3, 0) の 3 で `n2` は (4, 1) の 3

デバッグ関数で負号をつけ忘れるアホをやった

This account is not set to public on notestock.

kf_ordering`total_tanuki！

というわけで演算を入れました
整数環になります
自然数ではできなかった引き算ができるようになりましたよ

明日は有理数実装して終わるか
つっても整数のときとやることほとんど変わらんけど

This account is not set to public on notestock.

This account is not set to public on notestock.

それだけで逆お祈りできるやーつ

消毒用アルコールキレかけだから注文しなきゃ

梅の季節なんで氷砂糖とホワイトリカー買ってきたんスよ

This account is not set to public on notestock.

This account is not set to public on notestock.

それも人の名前なんだが

いや人じゃないわ
まあ名前

This account is not set to public on notestock.

やば

こっち買えばよかったかも

Coyo の配信入れたらペペ描いてて草

This account is not set to public on notestock.

草生える

アウトサイダー・アーティスト Coyo

お気楽なカエルがなぜヘイトシンボルに!? ダークで過激なSNS時代を追ったドキュメンタリー映画が公開。 | カーサ ブルータス Casa BRUTUS
https://casabrutus.com/posts/178177

This account is not set to public on notestock.

This account is not set to public on notestock.

やっぱり泣き顔なの笑うんよ(ミームとしてのペペはよく泣いてる)

This account is not set to public on notestock.

ガン無視され続けている

This account is not set to public on notestock.

Twitch のオリキャラだと思っている層も多そう

This account is not set to public on notestock.

ヘイト目的で使われ続けた「カエルのペペ」、作者が奪還を断念して公式で葬式を行う - GIGAZINE
https://gigazine.net/news/20170509-pepe-the-frog/

はい

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

これすき

expand: 展開せよ / 広げろ

同系のネタ

find x: xを求めよ / xを探せ

数学特有の言い回し

let x is / = ~: いまxを～とおいて
とか
when ~: ここで～
とか

let x is は x を使う式の前に、when x is は x を使う式の後に使う
あと when はその式で言いたいことの主題ではないものについて追加で説明するときに使われがち

This account is not set to public on notestock.

たぶんその let の元ネタである

Haskell には when も出てくるぞやったな!

This account is not set to public on notestock.

Right Hand Type でいいじゃん(いいじゃん)

let x: int = 0

よかったね

This account is not set to public on notestock.

ひん

右型付けは便利なんだぞ

とか

一言でいうと「関数オブジェクトが入る変数の型をどうやって書くよ」問題

Left Handed Typing で関数を表現すると型を示すキーワードが名前の前(返り値)と後(引数)に分かれてしまうんやね
一貫性がないというエレガンス系の問題でもある

あとふざけた書き方っていうけど数学において函数の定義域と値域を示す記法がこれなのでむしろ歴史があるのはこっち

あと型の明示って関数でやっときゃいいのでは派なので let して型推論させとけって思ってる

∈も後置型修飾とみなせるハズ

PMラジオ

This account is not set to public on notestock.

実は PM (Phase Modulation: 位相変調)という概念は実在するんじゃ

This account is not set to public on notestock.

先に言われてた

いよいよルービックキューブのシールがボロボロになってきたのでステッカーレスタイプを買い足そうか考えている

見てこれ

Fate はだいたい龍騎

起きた(激遅)

This account is not set to public on notestock.

会場BGMはやっぱりグルメレースなのかな

女性のみ観戦アリにしたほうがいいんじゃね

女性のVRChatterがどれだけいるかは知らんが

This account is not set to public on notestock.

弐寺のリザルトが見えたのでブーストした

その場のノリでのんオフに予定入れたけど愛知ってめっちゃ遠いやんね

This account is not set to public on notestock.

https://store.tribox.com/products/detail.php?product_id=3326

これ買ってみます

記号が使えないのはあれだけど入力できる文字の種類と文字数の範囲をしっかり明記していてえらい!!

This account is not set to public on notestock.

こんだけあれば記号なくても組み合わせ数はかなりでかい

This account is not set to public on notestock.

ちょwお前有名人じゃんwwwww

This account is not set to public on notestock.

This account is not set to public on notestock.

本来は「っうぇ」になるので手作業で入力しているのがモロバレ

This account is not set to public on notestock.

This account is not set to public on notestock.

俺はlpまでは丸暗記してるからできると思う

むしろローマ字テーブルいじってる関係で俺の場合キーボードでそれ入力できないんだよな

「っあwせdrftgyふjいこんp」になる

「くぁwせ」まではまあ暗記できるやろ?
「drft」は「ドリフト」っぽいからそれで覚える
「gy」は「ギャーッ」って感じなので覚える
「ふじこ」はいちばん有名なので大丈夫
「lp」は気合

This account is not set to public on notestock.

「j」でじゃ行が出ないようにする
「w」が完全なわ行(わゐうゑを)になるようにする
「q」で「っ」が出るようにして二重打ちの「っ」を解除
「l」で「ん」が出るようにして「n」の「ん」を解除

くらいかな大きな変更は

This account is not set to public on notestock.

一筆書き方式で書くこともできるし(両手で持って)GODANっぽく入力もできる
さっきの動画でも併用してる

This account is not set to public on notestock.

おおおおおおお

This account is not set to public on notestock.

5000兆年ぶりに空っぽにした

This account is not set to public on notestock.

Google IME くん「半環」も変換できねえのかよ

This account is not set to public on notestock.

This account is not set to public on notestock.

半環(Semi Ring)
* 足し算と掛け算が定義でき、
* 足し算と掛け算に中立元(計算しても変わらない数、それぞれ0と1と表記する)が存在し、
* 足し算と掛け算が結合的(括弧の置き方によらず答えが変わらない)であり、
* 分配法則(a(b + c) = ab + ac)が成り立ち、
* 足し算が可換(順序を逆にしても答えが変わらない)であり、
* 0が掛け算の吸収元(掛けるとどんな数でも0になる)である
ような集合

簡単だね

This account is not set to public on notestock.

右分配則サボっちゃった☆

「定義でき」がちゃんと閉性を示しているかというと微妙という問題もある

This account is not set to public on notestock.

なんかよくわからんバグに遭遇して泣いてる

買い物行くか

梅買ってきたんだけど量がわからん

「1袋」とかじゃなく質量で書いてくれよ

This account is not set to public on notestock.

This account is not set to public on notestock.

Q：《メンタルマスター》と《イレカエル》の相違点はどこですか？
A：カードが違います。

Q：カードが違うとはどういうことですか？
A：カードが違うということです。

This account is not set to public on notestock.

質量じゃなくて熱量じゃねえか

「20カロリーじゃしょうがないわね」、そもそもカロリーの多寡だけで栄養学を語っている 100 年後の未来が心配なんですわ

製作当時の食育観が伺い知れる(風評被害)

This account is not set to public on notestock.

This account is not set to public on notestock.

サイバネティックたぬきだ

素人は黙っとれ

This account is not set to public on notestock.

うまそう

This account is not set to public on notestock.

This account is not set to public on notestock.

ネタバレじゃねーか!!

晩飯食う～～～～

This account is not set to public on notestock.

草

カプリティオのない言葉クイズすき

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.