ラノベ関係者は今日も仲良し（2023/01/21）

ダイスケ＠「庭に穴ができた」漫画＆小説発売中！金賞受賞！異世界コンサル（株）漫画発売中 @boukenshaparty1

@Hizen_h 超面白い小説を書いて、なろう総合月間１位をとるのです

井戸正善『あしでまとい　御城下の秘技』発売中（🍣） @Ido_Masa

@boukenshaparty1 @Hizen_h 良いこと聞いた！ やってみよう！

肥前文俊　これはサブ垢です @Hizen_h

@Ido_Masa @boukenshaparty1 なんだか書籍化出来る気がしてきました！

ダイスケ＠「庭に穴ができた」漫画＆小説発売中！金賞受賞！異世界コンサル（株）漫画発売中 @boukenshaparty1

@Hizen_h @Ido_Masa ね、簡単でしょう？

碌星らせん（ろくせい・らせん） @dddrill

1+1=2、正直な話をすると「1」の概念が人工的に決められたものなので、「そう定義されてるからそうなります」なんですよね。

碌星らせん（ろくせい・らせん） @dddrill

「1」の概念、「数えられる」、「1のもの同士を交換しても同じ価値」、「何らかの操作をしても目減りしない」という、わりと理想的というか抽象化された条件で成立している

碌星らせん（ろくせい・らせん） @dddrill

泥団子が2個ありました、くっつけたら大きい泥団子1個になりました、みたいなお話

碌星らせん（ろくせい・らせん） @dddrill

あと、「AさんとBさんが居ました。合わせて何人でしょう」みたいな計算を処理するときは、「AさんとBさんが同じ1人である」ことを認識しなければいけないので、集合の概念が本当は必要になる

碌星らせん（ろくせい・らせん） @dddrill

「1」の概念が人工的なので、「レモン1個に含まれるビタミンCがレモン5個分」とか「馬1頭が3馬力」とか、まぁそういう歪みも世の中にはあるわけです。

碌星らせん（ろくせい・らせん） @dddrill

「りんごが1個ありました、1個貰ったら何個になるでしょう」という問題を解くにも、大げさに言えばそういう前提を無意識に適用してから計算をしている、みたいなお話……

柳野かなた＠最果てのパラディン @yanaginokanata

「なぜ正しいのか」を無限に遡ることはできないので、「この領域ではこれは正しいこととする」という決め事はどうしても必要になる。公理ですね。 twitter.com/dddrill/status…

東雲佑＠図書ドラ準備中 @tasukushinonome

@yanaginokanata 全然わからん……

柳野かなた＠最果てのパラディン @yanaginokanata

@doomsdayrag 子供が「なんでこうなってるの？」「それはなんで？」「なんで？」って無限に問いを重ねるムーブすることありますけど、学者がアレをガチでやると「けっきょく何も確かじゃないのでは？」という結論にしかならず、誰も得しないよね話ですね。

柳野かなた＠最果てのパラディン @yanaginokanata

@doomsdayrag なので数学だと「１＋１は２になるものとする」とか「点の『大きさ』とか、線の『太さ』はないものとする」みたいな最低限の決め事のうえで、色々と理論を積んでく感じ。

東雲佑＠図書ドラ準備中 @tasukushinonome

@yanaginokanata まじか。数学みたいなどこまでも明白っぽい分野でもそうなのか。

柳野かなた＠最果てのパラディン @yanaginokanata

@doomsdayrag ですねえ。公理の領域までいくと「これ以上は突っ込んでも不毛だから、正しいものとして扱う」という感じ。

三枝零一 @saegusa01

@yanaginokanata （定理と公理と自然数の構成についてものすごく語りたいけど絶対に今必要な話じゃないなという顔）

トカマク @tokamaksan

@saegusa01 YOU やっちゃいなよ! ペアノの公理をぶちまけるんだよ!!

柳野かなた＠最果てのパラディン @yanaginokanata

@tokamaksan @saegusa01 ききたーい！　いや聞いて理解できるほどの素養が私に無いかもですが！！

真楠ヨウ @yomakusu

相方「あのね。娘ちゃんの好きな怪盗ベリーの人形は出てないけどアクリルスタンドなら注文して作れる 我「へー。受注生産やってんだ 相方「うん。一個200円 我「ちょっと待て。それ画像データ何使うの？ 相方「写真を撮ればそれを使えるって 我「公式データでグッズ作るな！著作権法違反だろうが！

真楠ヨウ @yomakusu

あぶねー。受注生産じゃねーよ。個人グッズを公式画像で作ろうとすんなあぶねー！！！！個人で使うからいいんじゃないの？？？？じゃねーよやめろ！！画像データを発注するところからだよ！！！！

真楠ヨウ @yomakusu

skebで推し絵を描いてもらって、その際に個人所持のみで販売しない、という条件でアクスタ作っていいかを了承してもらってから、そのデータを入稿するんだよ！！！！

八針来夏 @hatibarikitaka

@yomakusu えらすぎる