00:00:09

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

00:16:24

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

00:17:37

多分動いてる

00:29:30

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

00:41:05

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

00:41:14
2022-06-11 00:38:23 ナイハッピ(LTL圧縮くん)の投稿 asshukuLTL@mstdn.kemono-friends.info

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

00:41:18

kf_ordering`total_tanuki!

00:43:18

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

00:46:06

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

01:07:20
2022-06-11 01:03:27 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

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

01:07:20
2022-06-11 01:04:39 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

01:07:36

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

01:39:39

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

01:41:35

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

01:50:40

01:54:04
2022-06-11 01:51:07 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

01:54:05
2022-06-11 01:52:33 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

01:54:12

それも人の名前なんだが

01:54:29

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

01:55:10
2022-06-11 01:54:54 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

01:55:20

やば

02:01:57

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

02:13:04

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

02:14:22
2022-06-11 02:13:53 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

02:14:25

草生える

02:14:48

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

02:17:15

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

お気楽なカエルがなぜヘイトシンボルに!? ダークで過激なSNS時代を追ったドキュメンタリー映画が公開。
02:17:21
2022-06-11 02:15:33 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

02:18:56
2022-06-11 02:18:42 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

02:19:25

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

02:22:40
2022-06-11 02:22:26 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

02:22:54

ガン無視され続けている

02:23:27
2022-06-11 02:23:13 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

02:23:39

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

02:25:35
2022-06-11 02:25:29 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

02:25:47

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

はい

ヘイト目的で使われ続けた「カエルのペペ」、作者が奪還を断念して公式で葬式を行う
02:41:05
2022-06-11 02:35:36 雪国🍁もやしの投稿 moyashi_11@mstdn.kemono-friends.info

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

02:41:06
2022-06-11 02:35:58 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

02:41:08
2022-06-11 02:35:59 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

02:41:10
2022-06-11 02:38:06 雪国🍁もやしの投稿 moyashi_11@mstdn.kemono-friends.info

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

02:41:14
2022-06-11 02:38:07 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

02:41:20
2022-06-11 02:39:11 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

02:48:39

これすき

02:49:01

expand: 展開せよ / 広げろ

02:52:18

同系のネタ

02:52:42

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

02:53:02

数学特有の言い回し

02:53:51

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

02:55:20

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

02:56:07
2022-06-11 02:56:02 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

02:56:15

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

02:57:02

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

02:58:29
2022-06-11 02:57:10 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

02:58:29

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

02:58:37

let x: int = 0

よかったね

02:59:28
2022-06-11 02:59:20 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

02:59:31

ひん

03:00:43

右型付けは便利なんだぞ

03:04:23

とか

03:05:23

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

03:07:08

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

03:10:06

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

03:11:23

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

03:13:56

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

03:30:17

PMラジオ

03:30:54
2022-06-11 03:30:49 リオデジャネイロヤマネコの投稿 Spica@mstdn.kemono-friends.info

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

03:31:15

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

03:31:32
2022-06-11 03:31:01 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

03:31:36

先に言われてた

03:34:07

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

03:35:01

見てこれ

03:37:57

Fate はだいたい龍騎

15:31:25

起きた(激遅)

15:52:26
2022-06-11 15:49:55 雪国🍁もやしの投稿 moyashi_11@mstdn.kemono-friends.info

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

15:53:49

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

16:05:23

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

16:05:37

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

16:58:45
2022-06-11 16:43:38 すしきつねの投稿 suisho@mstdn.kemono-friends.info

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

16:59:14

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

17:32:27

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

17:35:15
2022-06-11 17:33:08 ​:kf_tanuki:​​ぽんぽこふとくんの投稿 futo_kun@mstdn.kemono-friends.info

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

17:37:54

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

17:40:12
2022-06-11 17:39:52 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

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

17:40:28

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

17:40:39
2022-06-11 17:39:45 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

17:40:51

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

17:42:55
2022-06-11 17:41:39 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

17:42:56
2022-06-11 17:42:12 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

17:43:28

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

17:45:38
2022-06-11 17:45:01 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

17:45:42
2022-06-11 17:44:48 ランチョンの投稿 lunchon@mstdn.kemono-friends.info

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

17:45:56

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

17:46:24

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

17:46:41

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

17:48:13

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

17:49:48
2022-06-11 17:47:08 ランチョンの投稿 lunchon@mstdn.kemono-friends.info

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

17:51:19

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

くらいかな大きな変更は

18:01:25

18:08:11
2022-06-11 18:07:53 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

18:08:39

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

18:50:54
2022-06-11 18:45:46 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

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

18:51:02

おおおおおおお

18:51:21
2022-06-11 18:23:21 厶二の投稿 muniel@mstdn.kemono-friends.info

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

18:53:35

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

18:57:08
2022-06-11 18:54:48 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

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

19:12:03

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

19:16:47
2022-06-11 19:13:08 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

19:16:48
2022-06-11 19:13:38 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

19:21:40

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

簡単だね

19:54:37
2022-06-11 19:25:56 マレニア狂い、マレーマレーの投稿 kuroCat__@mstdn.jp

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

19:54:55

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

20:00:52

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

20:07:46
2022-06-11 20:07:33 Kossie🍁こじーの投稿 kossie@mstdn.kemono-friends.info

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

20:20:32

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

21:13:27

買い物行くか

22:20:38

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

22:20:54

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

22:22:10
2022-06-11 22:21:59 リビアヤマネコの投稿 halmatch@mstdn.kemono-friends.info

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

22:22:28
2022-06-11 22:22:18 ソラスケの投稿 re_usoask@mstdn.kemono-friends.info

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

22:23:05

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

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

22:23:17
2022-06-11 22:23:03 ハッピーポメラニアンの投稿 imobatake@mstdn.kemono-friends.info

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

22:23:22

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

22:27:47

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

22:28:11

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

22:45:24
2022-06-11 22:44:56 ハッピーポメラニアンの投稿 imobatake@mstdn.kemono-friends.info

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

22:48:11
2022-06-11 22:47:41 雪国🍁もやしの投稿 moyashi_11@mstdn.kemono-friends.info

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

22:48:18

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

22:52:27

素人は黙っとれ

22:52:40
2022-06-11 22:51:54 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

22:52:43

うまそう

22:54:15
2022-06-11 22:53:39 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

22:54:16
2022-06-11 22:53:58 ユウレイグモ(テール・アニマリー・ワイズマン)🐰🦇の投稿 Phocidae_@mstdn.kemono-friends.info

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

22:54:23

ネタバレじゃねーか!!

22:58:50

晩飯食う~~~~

23:06:13
2022-06-11 23:02:47 :oinarisama2_2:​稀に守護するオイナリサマ🌾の投稿 cynthia_koko@mstdn.kemono-friends.info

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

23:08:33

23:10:32

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

23:51:55
2022-06-11 23:49:45 湯船がめちゃんこ浅いの投稿 korwan@mstdn.kemono-friends.info

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

23:51:55
2022-06-11 23:50:20 湯船がめちゃんこ浅いの投稿 korwan@mstdn.kemono-friends.info

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

23:51:56
2022-06-11 23:50:58 湯船がめちゃんこ浅いの投稿 korwan@mstdn.kemono-friends.info

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

23:54:32