P: 私は 100 円を持っている
Q: 私は 100 円のジュースを買える
R: 私は 100 円のお菓子を買える

より

P, P → Q, P → R |= Q ∧ R

これが錬金術だよ

零環 (自明な体) って 1 を法とする剰余類環とみなせば体を成すので有限体と言えないこともないのでその意味で 1 を素数に含めるのは正当性がないとも言えないこともないんじゃね?(ない)

大

ﾃﾞﾝｯ

大

ﾃﾞﾝｯ

大

ﾃﾞﾝｯ

逆転現象を防ぎたいがそうすると速度を犠牲にするしかない…

大

ﾃﾞﾝｯ

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

401ミリ秒

機械の力を持ってしてもこのザマか

こうなったら同期シーケンスではなくマルチスレッドで撃ち込むしかないな…

これ撃ち込んでいい?

可決

大

便

ド

所

沢

ﾃﾞﾝｯ

マジでマルチスレッドしか道がないような気がしてる

人間マルチスレッドするか

大

ﾃﾞﾝｯ

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

よっしゃ

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

そんなー

ひーん

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

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

マルチスレッドなにもわからない
これでいいのか

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

なんか人力ですでにすごいの出てるし…

ﾃﾞﾝｯ

大

すまん…

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

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

奇跡的にほぼ同タイミングで始まり複数人で 1 桁を出したのはたしかにすごい

大

ﾃﾞﾝｯ

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

さっきの自分の人力マルチスレッドよりはいい結果出たけど…うーん

ﾃﾞﾝｯ

大

またご迷惑を…

気絶定期

ご迷惑をかけたのでマルチスレッド大喜利砲はまた今度撃つので皆さんは心置きなくミリドリーマーしてね

大喜利ミリーマー

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

やっぱ人力マルチスレッドか

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

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

正しく並んでなくていいならできるかもしれない(かも)

喜

ー

リ

!

ー

マ

利

ド

大

ﾃﾞﾝｯ

全然ダメですね…

削除

まあ 9 個もスレッド作ったところで 9 本並列で動かせねえしな…

GPGPU によるドリーマー…?

そろそろすやすやたぬきになります

おやしみー

おはようございます

お昼ごはん食べに行っていい?

意味わかんなくて草

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

> ポン酢 <

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

公式ブログじゃねんじゃ

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

ほんとぉ?

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

画像も貼らずにスレ立てとな

「ここ正論」すき

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

だいぶ前に気づいたやつ

「実際に投稿したかどうか」をアプリ側で取得できないと思われる

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

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

弾切れが早い

通知に合わせてプレチケを継続しようとすると必ずエラーで落ちる

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

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

大

ﾃﾞﾝｯ

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

やったぜ。

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

バグかな

単純に
「ﾃﾞﾝｯ」の時間 - 最初の投稿の時間
で計算しているとする

もし「ﾃﾞﾝｯ」がマストドン上で先に投稿されていて, その後「肉」が来たとする
でも「大喜利ドリーマーが成立しているか?」をたとえば LTL 上の並びで見ているとすると, いわゆる「時空の歪み」により先に投稿されたがおーの方が後ろに並ぶこともある
そうなった場合時間はマイナスになる

マイナスが 23:59:59 になる理屈はいくつか考えられる
たとえば「経過時間」の中身が符号なし整数で実装されていたら 2 の補数のビット列をそのまま符号なし整数に流し込むと巨大な値になる(オーバーフローに近い)
あるいは初期値が 23:59:59 で, マイナスを代入しようとして失敗した結果初期値がそのまま流れ込んできたのかも

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

日付しか取れないの?

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

通常ミリ秒単位で出てくるだろう api がいきなり日付になるのやっぱ納得いかないな
どんな実装してるんだ

いや違うか
日付を捨てたのか

(5/29) 0:00:00 - (5/28) 23:59:59
になったのかな

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

これは投稿上の表記の話で, 計算はいつでもミリ秒単位じゃないとおかしいので
引き算する前にミリ秒単位になるかどうかわからないわけだし

1 時に「日付またいだ」のはあれかな
bot 動かしてるマシンが日本と 1 時間時差がある地域に置かれてるのかな

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

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

これ余計なこと言わなきゃよかったの笑う

マイナスになっておかしくなったのではなく「大きい方」から「小さい方」を引いた, あるいは絶対値を表示しているのほうが有り得そうかな

時刻 A と時刻 B の時間差って考えると A の方が B よりも先だろうが後だろうが普通に絶対値で出すほうがそれっぽいしな

ちいかわが何者なのか知らない

自信を持って解答できるのこれしかない

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

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

この動きかわいいですね

うるせえゴルシかボーボボかクイズをやれ

ちなみに「ボーボボ(キャラクター)」ではなく「ボーボボ(作品)」なので注意な

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

災害救助たぬき～!?

ゴルシかボーボボかクイズ 10問中 8問 正解しました！
【 ①○ ②○ ③✕ ④○ ⑤○ ⑥✕ ⑦○ ⑧○ ⑨○ ⑩○ 】
#クイズメーカー #ボボボーボ ・ボーボボ #ゴールドシップ
https://quiz-maker.site/quiz/play/eg2Zgw20210309161737

びみょい

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

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

ジョジョかメーデーかクイズ誰か作って

だめだった

想像してた出題形式とだいぶ違ったんですが…

当てずっぽう定数を下回るのやめろ

項目応答理論を取り入れた全く新しいクイズメーカー

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

それはそう

お昼ご飯食べに行ってきます(なんとまだ行っていない)

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

事変もいいんだけどうーん

事変にするかぁ

対格にしなさい

もふもふりー!?

もふもふもふもふもｓふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふもふ

証明とは情報量を減らす行為である

Star Gazer / Mr. Asyu
Playing by YouTube
#なうぷれちほー

「任意のガンダムがある性質Sを満たすならターンエーガンダムもSを満たす」ようなターンエーガンダムが存在する

なのでターンエーガンダムには全称限量子ではなく存在限量子をつける

∃ターンエーガンダム ∈ ガンダム s.t. ∀g ∈ ガンダム S(g), S(ターンエーガンダム)

なんかおかしくなったので帰ったら書き直す

代打の俺

ZF公理系

7割

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

3割はうまいんだよ

乗法の中立元を 1, 加法の中立元を 0 と表記する。 体 F において 0 に乗法逆元が存在したと仮定すると 1 = 0 であることを証明せよ。

特命係の亀山～

中核派

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字列のハイライトや検索、辞書の参照、引用などの機能が使用できません。

おつもか

部屋片付けないと

29 回ニコニ広告ふくびき引いたときの画像出てきた

エクスプローラにタブ機能つけれるやついれるか

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

19歳!

アリーナやりてぇ～

そもそも最近弐寺自体をあまりできていない

ジャンルによっては誰か死ぬタイプのあらすじだな…

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

そんな六段がいるかぁ～～～

> 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない

ここ重要

「公理とは誰の目にも明らかな事実のことです」みたいな説明爆破しなきゃ…

水洗いしよう

経験的法則と公理/定理を並べるなドットコム

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

ストレート化面白そう

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

権利的にまずい柄が複数見えるんですが…

ミクロコスモス(ではない)

ファミコン風味いいぞ

ネットを有線接続にした

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

使ってない変数は消せ

なおソースはゲンダイ

変なシャツ届いた

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

ﾃﾞﾝｯ

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

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

ことぶきすかべんじょ

数の悪魔買おうかなぁ

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

気軽に非破壊自炊したい

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

破壊自炊はほんのページ全部はずしてスキャンするやつ

自炊(書籍の電子化)だぞ

いま自炊代行する会社もあるので自炊とはってなる

USB-C - USB-C ケーブルが届いた

これであのいつ火災が起きてもおかしくない線とはおさらばだ

猟書家どもめ…

避難所誰もいなくなって草

片付け終わったら晩御飯食べに行こ

と思ったけどもうこんなタイムだから先に食べに行くか

アンチスシマテリアル

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

ぱびは動物朋友展覧区か

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

マ?

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

すぐカスタム絵文字にする

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

タッチパネルなるほどね

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

晩ごはん食べた

家に帰る

帰宅したので片付け再開

伝説のレタス

食品サンプル間違って茹でてないよね?

クソゲー
https://twitter.com/rin_tut21/status/1396633363901911040

これ循環論法が示されてないからトリレンマじゃなくジレンマになってるじゃん
https://twitter.com/BotHakase/status/1398549731127685120