zeptometer
@zpt.yabaitech.tokyo
🦐 | 研究の話とか: bindingscope@mastodon.acm.org | Signal: zeptometer.95
辛抱たまらんのでドラッグストアで薬買って飲んだらピタリと止まった。薬ってすごいなあ
September 21, 2025 at 3:28 AM
辛抱たまらんのでドラッグストアで薬買って飲んだらピタリと止まった。薬ってすごいなあ
Steam Proton を使うと wine より安定するらしい qiita.com/ak1bageek/it...
Linuxでラインを使おう - Qiita
LinuxでLINEを使おうとすると これまではChromeをインストールして、LINEのExtensionを追加するという方法を紹介する記事しかなかったみたいだが、それだとLINEの機能の一部が制限される。 通話できない Noteが使えない Keepが使えない など...
qiita.com
August 29, 2025 at 5:41 AM
Steam Proton を使うと wine より安定するらしい qiita.com/ak1bageek/it...
銀座と新宿には3店舗ずつあるんだから大宮に2店舗あったっていいやろがい
July 31, 2025 at 6:16 AM
銀座と新宿には3店舗ずつあるんだから大宮に2店舗あったっていいやろがい
丁度こういう論文を読んでいて関係ありそうだなと思いました。すごく大雑把に言うと「A: Aの証明がある」「¬¬A: ¬Aの証明が存在しえない」の中間に「K A: Aの証明があることがわかっている(証明そのものが手に入るとは限らない)」 という様相を考えるという話です www.cambridge.org/core/journal...
INTUITIONISTIC EPISTEMIC LOGIC | The Review of Symbolic Logic | Cambridge Core
INTUITIONISTIC EPISTEMIC LOGIC - Volume 9 Issue 2
www.cambridge.org
July 28, 2025 at 1:11 AM
丁度こういう論文を読んでいて関係ありそうだなと思いました。すごく大雑把に言うと「A: Aの証明がある」「¬¬A: ¬Aの証明が存在しえない」の中間に「K A: Aの証明があることがわかっている(証明そのものが手に入るとは限らない)」 という様相を考えるという話です www.cambridge.org/core/journal...