「恋と禁忌の述語論理」読了しました
かなり面白かったです(こなみ

後続作で借金マンがスピンオフしてるらしくて笑ってる

ミステリ小説の挿図か…? これが…

巻末資料がついてるミステリ小説 is なに

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

『恋と禁忌の述語論理』における論理学 https://qiita.com/41semicolon/items/c92d3acd53cfb6713ece #Qiita @41semicolonより

Qiita に記事あってダメだった

Qiita に検証記事が書かれるミステリ小説 is なに

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

じゃあしにいく

した

引いてなかったなーと思って引いたら

会話ちゃんはクリーク担だったのか

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

子供を生贄に捧げるのやめろ

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

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

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

ターンテーブルってそういう

俺もあんま使わないけど「セッションを進行させる」くらいの意味合いかなぁと推察はできる

第三章は矛盾許容論理かなぁと一瞬思ったけどそんなはずはなかった

矛盾許容論理は古典論理よりも弱い定期

ヰは唐突に話を前に戻すから駄目

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

反数

x + -x = 0(ただし x + 0 = 0 + x = x)であるような -x を x の反数とよぶ

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

全称限量子ガンダムじゃん

「∀ガンダム」は「すべてのガンダムにおいて～」と訓読する

「∃ガンダム s.t. ～」は「～であるようなガンダムが存在する」と訓読する

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

百歩譲ってもターンドエーではってずっと思ってる

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

全称限量子は「すべてを包括する」という意味ではないというかむしろ「ガンダムに共通する性質」みたいに読むほうが近い

ナブラガンダムなに

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

ガンダムベクトル

ガンダムスカラー場

ターンエーガンダムの性質を数学的に表現するとむしろ

∃ターンエーガンダム s.t. ∀ガンダム ∈ G, P(ガンダム) ⇒ P(ターンエーガンダム)

となる(G はガンダム全体の集合)

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

任意のガンダムについて, そのガンダムがある性質 P をみたすときターンエーガンダムもまた P を満たすようなターンエーガンダムが(少なくともひとつ)存在する

ガンダム全体の集合ってなんだよ

𝔓(G)
↑可能なガンダムの組み合わせすべての集合

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

@CrowSparrow https://mstdn.kemono-friends.info/@kohima/106189173399514718

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

こういうときのために水に流せるティッシュは常に持ち歩かないといけないんですよね

ロングヘアたぬきちゃん概念は湿度が高い

しっとりしている

ロングヘアにするとみんなしっとりしそう

たぬきちゃんの場合デフォでしっとりシてる問題がある

Google 日本語入力くん死刑ね

軽率に死刑を言い渡していけ

おやすみー

気絶定期

> 絶対にありますわ <

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

おやしみー

なんだかわからんがわかったぜ

屁理屈推理合戦のルールを様相論理ベースで定式化できそうな気がするんだよな

誰かと思ったらはるさんじゃね―か

お前はAirTag

AirTagさんちょっと上と下の違い教えて

カンマいらんの

またオオタカお姉さんが被害受けてる…

恒真になった

そもそも論理的帰結がいまいちわかってない

A := A1, A2, A3, ... がすべて真であるとき B が真であることを A |= B という

わがんにゃい

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

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

Kindle 版でもちゃんとリフロー形式じゃなきゃやだやだ

Kindle は数式に弱いので数学関係の本が文章ベースでもフィックス形式だったりするのでカス

せめて数式が必要なところにだけ画像で差し込んでくれ～～～

フィックス形式は要するに PDF なのでスマヒョとか Kindle 端末で読もうとするとうんち

なるほどね

PDF たまにこうなる

スキャンして OCR とかかけると見た目を表現する部分と文章を表現する不可視の部分が両方ある PDF を生成するけど後者が何故か薄い文字で出てきて地獄が現出するんだよね

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

読んだえらいよ

ノッチとかいう以前にベゼルレスにしないでほしいんだけど

親指の付け根で誤爆する

□P |= P
が成り立つには R が反射的でないといけない
なるほどね

だんだんわかってきた

R とか書かれて二項関係に見えないので ≤ 使ってほしいね

到達可能性を適切に設定すれば屁理屈推理合戦を様相論理上で定式化できそう

人気投票周りよくわかんないけど本名とかの話?

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

でも屁理屈推理合戦の世界観は排中律を棄却しないといけない気がするんだよな

まあ現実世界(実現している世界)の附値を考慮しなければいいか…

Twitterの投げ銭でマネロン

なるほどね

ワロスbotのはなしした?

負けイベント

あらら

「すべての到達可能な可能世界」って書いてくれないから混乱がすごかった

ルーラーセル

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

> 毎日朝と夜で2回公式コンテンツが供給される

新聞かよ

惑星の軌道の法則を発見してそう

きよみずって読み続けてるのおもしろ

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

とんでもねえバグで草

どんな演算してんの

手数料が定数なの

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

おっ, 正義の為にはすべてが許容されると思ってる人じゃん

しゃべるとおもしれー女

読み上げられてて笑う

はるさん!?

私文書偽造?

わかんないけど

ソシャゲを知らないケープ

お金が足りないんです!!!!!!!!!

P: ヒトがペンギンになる

♢P

これが様相論理か… #違う

答え. スタンガンが好きな人の存在を否定できなければその提案に妥当性がありません。

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

草

違うな…

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

ひざ裏固めすき

何点?

高評価

久々にちゃんとそれっぽいはがき来たな

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

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

左下が Ctrl ではないキーボードは極刑

運営に情報がないのでしょうがないよね

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

> FがFn介する

せめて FnLock をよこせ

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

親指シフトに使う

?

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

Let’s noteくん「俺もいるぞ」

IMEオン・オフは Ctrl + Space ですわ

半角全角キーはどこにいるかわからないので基本使わない

Ctrl + Space 最高っすわ

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

コピペしたことないマジ?

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

1押し間違えてて草

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

手首ねじるから Ctrl + S くらいなら片手で押せる

そもそもうちの右 Ctrl は B に生まれ変わったし

Bにしろって言ってるような配置

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

どうせなら.comだけじゃなくて.netとか.orgとかもつけてほしい

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

WASD で移動するゲームで Shift 同時押しするときとかは右 Shift 使いそう

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

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

EXamine Your Zipper だぞ

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

同じキーしか押さないしな…

縦連

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

クソマナー講師を捏造するな

ルールX, ルールY, ルールZなのでひぐらしファンサイト作るのに使える

hogehogeみたいなもんでしょ

エクシーズ召喚の綴りは XYZ なので遊戯王 ZEXAL のファンサイトにも使える

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

スパムはcom(営利団体)でもorg(非営利団体)でもないのでな

ccTLDが.ioなので情報関連で使われがちな国もある

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

まあ多少ドット入っててもいいんじゃん?

クソワロタwww.www.www.www.www.www.

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

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

うみねこのなく頃にに引っ掛けて屁理屈推理合戦関連のサービスを .xyz で取ることを目論んでいるのであまり .xyz でやらしいことしないでいただきたい

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

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

早まった一般化

逆に言うと「Google の親会社はろくでもない可能性が高い」だと帰納として妥当な可能性がある

?

やっぱり帰納におんぶにだっこの Science はダメだな

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

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

「歩ける場所」と「道」は同値ではなかった…?

高速自動車国道は歩けないので必要条件ですらないんだよな

パチンコガンダム駅

そうだが

やっと才能開花できるようになった