23:47:42 @kb10uy@mstdn.maud.io
icon

Corne Cherry だとこっちのが使いやすそう?

23:47:15 @kb10uy@mstdn.maud.io
2022-01-18 23:44:48 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:41:41 @kb10uy@mstdn.maud.io
2022-01-18 23:41:25 Posting 砂狼あずにゃん osa_k@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:41:37 @kb10uy@mstdn.maud.io
2022-01-18 23:40:49 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:39:47 @kb10uy@mstdn.maud.io
icon

参考になった

23:34:07 @kb10uy@mstdn.maud.io
2022-01-18 23:32:49 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:33:58 @kb10uy@mstdn.maud.io
icon

@naota344 なるほど後から合成するんですね

23:32:16 @kb10uy@mstdn.maud.io
icon

Attach image
23:18:58 @kb10uy@mstdn.maud.io
icon

卵が 2 ストに入ってないのは意外だわね

23:17:57 @kb10uy@mstdn.maud.io
2022-01-18 23:17:10 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:14:18 @kb10uy@mstdn.maud.io
icon

日頃の行い 2022

23:13:05 @kb10uy@mstdn.maud.io
icon

さすがに僕もこの「とんでますね」が文字以外だとは思わないので安心してください(??)

23:12:42 @kb10uy@mstdn.maud.io
2022-01-18 23:12:30 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:12:40 @kb10uy@mstdn.maud.io
2022-01-18 23:11:52 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:10:29 @kb10uy@mstdn.maud.io
2022-01-18 23:10:15 Posting コロコロコロ助 naota344@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

23:08:40 @kb10uy@mstdn.maud.io
icon

三つ子じゃん

23:01:57 @kb10uy@mstdn.maud.io
icon

T-Codeで「射精撒き卵子」と「抽送避妊失敗」を QWERTY で入力したときのイメージが気になりますね

22:51:41 @kb10uy@mstdn.maud.io
icon

漢直、多分だけど Helix とかと相性いいですよね

22:49:11 @kb10uy@mstdn.maud.io
icon

びくびくするおふとん怖いな

22:48:52 @kb10uy@mstdn.maud.io
icon

おふとんしていい?

22:45:44 @kb10uy@mstdn.maud.io
icon

Wow...

22:45:40 @kb10uy@mstdn.maud.io
2022-01-18 22:39:42 Posting あじょぶじん azyobuzin@xxx.azyobuzi.net
icon

あれお天気を知りたい歌じゃなくて、3人の仲の良さを表現した歌なんですよ

22:26:11 @kb10uy@mstdn.maud.io
icon

Stepper 良いな

22:01:44 @kb10uy@mstdn.maud.io
icon

だそうです

Attach image
21:59:42 @kb10uy@mstdn.maud.io
icon

実験方法は subject に、結果は conclusion に書かれているので大分適当だったっぽいな

21:57:58 @kb10uy@mstdn.maud.io
icon

Intro と Related の中間みたいな内容が 02-preamble.tex には書かれているな

21:54:07 @kb10uy@mstdn.maud.io
icon

かき揚げ!?

21:52:02 @kb10uy@mstdn.maud.io
icon

適切なファイル名を募集しています

Attach image
21:49:20 @kb10uy@mstdn.maud.io
icon

日本語のチャプター名が「準備」なので多分これは preamble というファイル名が不適切だな

21:20:01 @kb10uy@mstdn.maud.io
2022-01-18 21:19:44 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

ダ イ ヤ モ ン ド 継 承

21:19:58 @kb10uy@mstdn.maud.io
2022-01-18 21:19:24 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

でも途中経過を見ると音はラテン語の sonus だし健全は Proto-Germanic *sunda- なので、やっぱり違うんだな

21:14:23 @kb10uy@mstdn.maud.io
そぎぎ
icon

緊縛放置、公衆の面前に晒すタイプもあるんだけどそっちはあんまり好きじゃない

21:13:38 @kb10uy@mstdn.maud.io
そぎぎ
icon

監禁緊縛放置失禁なあ……

21:12:34 @kb10uy@mstdn.maud.io
icon

音の sound と健全の sound はたまたま綴が一致してるだけだからね

20:39:50 @kb10uy@mstdn.maud.io
2022-01-18 20:00:48 Posting 倉澤京章@Pawoo kyosyo@pawoo.net
icon

This account is not set to public on notestock.

19:43:40 @kb10uy@mstdn.maud.io
icon

リシャールのパラドックス、やってることがやや対角線論法に近い

19:36:41 @kb10uy@mstdn.maud.io
icon

ラッセルとリシャールは知ってたけどベリーのパラドックスもあるのか

19:33:21 @kb10uy@mstdn.maud.io
icon

公理的集合論とかにもいえる話だ……

19:25:54 @kb10uy@mstdn.maud.io
icon

導出のアルゴリズムを知っていることとどのようなものであるかを理解していることはかなり別だと思いますよ 今日の言及チキンレースはここまでです

19:24:12 @kb10uy@mstdn.maud.io
icon

簡体字のほうは句読点の位置は日本語と同じらしい

19:23:19 @kb10uy@mstdn.maud.io
icon

それ「身尚」の字のせいで台湾とか香港あたりのだと思われてそう

19:21:43 @kb10uy@mstdn.maud.io
icon

円に対する外接としては正 n 角形より常に正 n+1 角形の方が周が短かいというのを証明すればいいのか

19:18:32 @kb10uy@mstdn.maud.io
icon

円(弧)がある点から一定の距離にある点の集合であるという定義は認めてあげる必要があるが

19:17:36 @kb10uy@mstdn.maud.io
icon

扇形とそれに外接する三角形を用意して、いい感じに極限をこねてやって単調減少することを示すとかかな?

19:10:49 @kb10uy@mstdn.maud.io
icon

それは単に外接とだけ言えば良い雰囲気がある

19:07:39 @kb10uy@mstdn.maud.io
icon

大学ノートに針を落とすやつことビュフォンの針、ストライプ間隔より針が短くないとπが得づらい上に π ぐらいしか求められないのか

19:02:28 @kb10uy@mstdn.maud.io
icon

√2 ≒ 1.41421356... であることを知ってて、近似値を求めるときになにも開平法だけじゃないだろうというやつだ

17:52:24 @kb10uy@mstdn.maud.io
icon

えらすぎ

17:20:17 @kb10uy@mstdn.maud.io
icon

どちらかというと論述の妥当性を見るような試験だった気がするのでその件とはちょっと違いそうだけど

17:19:19 @kb10uy@mstdn.maud.io
icon

なんの教養の講義かは忘れちゃったけど「講義メモ持ち込んだだけじゃ解けないような問題だから持ち込んでいいよ」みたいなのあったな

17:18:26 @kb10uy@mstdn.maud.io
2022-01-18 17:16:52 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

「調べればわかるから覚える必要はない」は同時に「俺は情報を提示されれば適切に思考して解に辿りつける」という主張も含んでいるので、だったら最初から暗記をアテにせずいくつか重要な式の表が提示されている試験だったり手書きメモ持ち込み可の試験だったりの成績を見てみればいいわけですよ。大学だとそういうのはちょくちょくある

16:09:19 @kb10uy@mstdn.maud.io
icon

バニラじゃん

16:09:13 @kb10uy@mstdn.maud.io
icon

日下夏稀のモンスタータイプはキマイラ。欲深い人。お金大好きだし、とてもスケベ。欲望の塊。理性はゼロ。本能の赴くままに行動する。スライムタイプと相性が良い
4ndan.com/app/704/r/5

Web site image
RPGモンスター占い!! | 診断ドットコム
16:02:01 @kb10uy@mstdn.maud.io
icon

さっきのやつに iPhone touch 10 ってのがあったんだけどこれだとまるで元の iPhone がガラケーみたいな感じするな

15:56:23 @kb10uy@mstdn.maud.io
icon

:kowaine:

15:55:36 @kb10uy@mstdn.maud.io
2022-01-18 15:54:45 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

15:09:27 @kb10uy@mstdn.maud.io
icon

独自データ構造というか、一蓮托生系の構造は所有権的なのと相性悪い

15:02:17 @kb10uy@mstdn.maud.io
icon

よっぽど大量に食わなければね

15:02:10 @kb10uy@mstdn.maud.io
icon

たまに起動するだけならまあなんとかなるかもしれない

15:00:22 @kb10uy@mstdn.maud.io
icon

幸いさ、なんとなくだけど麻雀のシャンテンに近い概念

14:59:57 @kb10uy@mstdn.maud.io
icon

正規化するとより使い勝手がよさそうだな

14:59:36 @kb10uy@mstdn.maud.io
icon

幸いさの幸いさは 5 なんですねえ

14:51:19 @kb10uy@mstdn.maud.io
icon

メモ化とダイクストラ法だ……

14:40:22 @kb10uy@mstdn.maud.io
icon

タイポ例の dicker は正直恣意的に選んだ

14:38:18 @kb10uy@mstdn.maud.io
icon

docker を dicker と打ったときに
・docker にして続行する
・dicker のまま続行する
・実行をやめる
・プロンプトにもう一回出す
が選べるやつ

14:36:43 @kb10uy@mstdn.maud.io
icon

Zsh にはコマンド名のタイポっぽいのを自動検出して修正を提案する機能があるけどわざとそれを引き起こすみたいな感じだ

14:36:02 @kb10uy@mstdn.maud.io
icon

たしかになあ

14:35:53 @kb10uy@mstdn.maud.io
2022-01-18 14:19:53 Posting らりお・ザ・何らかの🈗然㊌ソムリエ lo48576@mastodon.cardina1.red
icon

ファジングに使うなら、正規の出力をちょっとだけ mutate する機構とかも考えたくなるよね。たとえば ms が勝手に ns になったりするとエッジケース探しに使いやすい

13:49:28 @kb10uy@mstdn.maud.io
icon

これは実際多分そうで、僕もファジングなどの応用例を考えている
twitter.com/nutskey935/status/

13:49:10 @kb10uy@mstdn.maud.io
2022-01-18 13:48:22 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
icon

random-regex-strgen、QuickCheckとかモデル検査器のAlloy Analyserがモデル記述から例を図示するのとかを思わせるし、ジョークじゃない応用も色々できそうな気はするんだよなぁ

13:40:58 @kb10uy@mstdn.maud.io
icon

おまさのりさんが好きそう

Attach image
13:39:33 @kb10uy@mstdn.maud.io
icon

サイバーパンクの時代になっても世代交代してないのもそれはそれで嫌だな

Attach image
13:37:50 @kb10uy@mstdn.maud.io
icon

サイズ表現に調整かけたら 指より短い Apple Pencil とか出てきた終わった

Attach image
13:32:24 @kb10uy@mstdn.maud.io
icon

松屋ジェネレーターと同じ類のゲラ

13:30:20 @kb10uy@mstdn.maud.io
icon

地味に 素の iPhone 8 も引き当てててすごい

13:29:46 @kb10uy@mstdn.maud.io
2022-01-18 13:27:38 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
icon

やりましたわよ

Attach image
13:25:44 @kb10uy@mstdn.maud.io
icon

バリエーションが複雑なシリーズ物を雑にまとめた正規表現に対する「存在しない製品もマッチするやんw」というツッコミを逆手に取ったツールとして宣伝するか

13:24:15 @kb10uy@mstdn.maud.io
icon

このツール無限に笑いを生成できるな

13:21:10 @kb10uy@mstdn.maud.io
icon

Apple Pencil Pro Air 37inch もだいぶいい

13:20:35 @kb10uy@mstdn.maud.io
icon

Apple (iP(od|hone|ad)|Watch|(Power|i)?(Mac)(Book)?|Air(Tag|Pod)s?|Pencil) ((nano|touch|classic|shuffle) )?((mini|Air|Pro|Max|SE) ){0,2}((G?[123]?\d|[123]\d(\.\d)?inch)|\((Cellular|Wi-Fi) [124]\d{0,2}[GT]B\))( \((Early|Mid|Late) 20\d{2}\))?

13:19:22 @kb10uy@mstdn.maud.io
icon

AirTag に 2TB もストレージ載せてどうすんねん

13:19:02 @kb10uy@mstdn.maud.io
icon

商品バリエーションを増やしました

Attach image
13:14:13 @kb10uy@mstdn.maud.io
icon

現行製品が出た稀有な例

Attach image
13:12:12 @kb10uy@mstdn.maud.io
icon

36 インチの Apple Watch も大概だろ

13:11:39 @kb10uy@mstdn.maud.io
icon

ストレージが 500TB ぐらいある Apple Watch 最高すぎる

13:11:05 @kb10uy@mstdn.maud.io
icon

出番だな!

Attach image
13:10:18 @kb10uy@mstdn.maud.io
2022-01-18 12:55:14 Posting Giraffe Beer giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

12:48:48 @kb10uy@mstdn.maud.io
icon

去年末あたりも微妙に東京より関西のほうが傾向として多かった気はするけど

12:48:15 @kb10uy@mstdn.maud.io
icon

大阪終わっちゃったマジ?

10:08:17 @kb10uy@mstdn.maud.io
icon

UnityMeshUtils V1.2 - Hearty Laboratory - BOOTH aetoriz.booth.pm/items/3588465

Web site image
UnityMeshUtils V1.3 - Hearty Laboratory - BOOTH
10:05:00 @kb10uy@mstdn.maud.io
icon

@Otakan951 おはようおたかん

02:55:52 @kb10uy@mstdn.maud.io
icon

SF2021 のシェーダーボールの台座のこのキズ感好き

Attach image
02:55:01 @kb10uy@mstdn.maud.io
そぎぎ?
icon

「何よ子宮のポーズって……」

Attach image
02:50:52 @kb10uy@mstdn.maud.io
icon

モグラも通らなさそうな道通るか

02:30:59 @kb10uy@mstdn.maud.io
icon

腕組んだ状態でその場から動かずにぐるぐるするよ

02:30:44 @kb10uy@mstdn.maud.io
icon

@hexin OMRS. リスペクトは信頼できそう

02:29:17 @kb10uy@mstdn.maud.io
icon

まあ実際アバターに組み込んだときは右手で行送り、左手で行内めくりをやってたのでそんなに気にならなかった

02:28:17 @kb10uy@mstdn.maud.io
icon

Expression Parameters の float は聞くところによれば 0.01 刻みで転送されるらしいので

02:27:34 @kb10uy@mstdn.maud.io
icon

これ行ごとじゃないとまともに制御できないよ

02:23:35 @kb10uy@mstdn.maud.io
icon

SUSURU シェーダーの操作盤を修正してまともに操作できるようになった

00:34:56 @kb10uy@mstdn.maud.io
icon

母音をさっさと確定させるのがポイントそう

00:33:01 @kb10uy@mstdn.maud.io
icon

Wordle 213 3/6

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