遅くなってすいません。「“直観的“ な説明」というのは、論理自体の具体的な定義の仕方にあんまり依存しない、直観主義論理の性質に対するメタな理解をもとにした証明の Overview、くらいの意味でした。具体的には (？) 以下のような感じになりそうだと思っています
August 3, 2025 at 3:59 PM
遅くなってすいません。「“直観的“ な説明」というのは、論理自体の具体的な定義の仕方にあんまり依存しない、直観主義論理の性質に対するメタな理解をもとにした証明の Overview、くらいの意味でした。具体的には (？) 以下のような感じになりそうだと思っています
Deducing this を使ったときにメンバ関数へのポインタって calling convention 違うよなぁと思って調べたら、やっぱり関数ポインタの型がメンバ関数ポインタ型じゃなくて通常の関数ポインタ型になるらしい。扱いダルそう
June 19, 2025 at 1:56 AM
Deducing this を使ったときにメンバ関数へのポインタって calling convention 違うよなぁと思って調べたら、やっぱり関数ポインタの型がメンバ関数ポインタ型じゃなくて通常の関数ポインタ型になるらしい。扱いダルそう
これ伝わらないネタなんですが、ハンターハンターのチードルだ
May 14, 2025 at 12:37 AM
これ伝わらないネタなんですが、ハンターハンターのチードルだ
フロイト博物館に行ったらエゴ風船 (エゴを膨らませられる) があって爆笑してしまった
February 28, 2025 at 5:20 PM
フロイト博物館に行ったらエゴ風船 (エゴを膨らませられる) があって爆笑してしまった
YouTube にお手本のような "YouTube のサムネ" が出てきて思わず笑ってしまった
January 27, 2025 at 3:11 PM
YouTube にお手本のような "YouTube のサムネ" が出てきて思わず笑ってしまった
Slay the spire でディフェクト A20H をクリアした (嬉しい)
January 25, 2025 at 6:04 AM
Slay the spire でディフェクト A20H をクリアした (嬉しい)
iOS の設定アプリで通知のオンオフが分かりにくすぎて笑ってしまった (一個だけオン) (これが数十個ずらっと並んでいる)
January 4, 2025 at 6:46 AM
iOS の設定アプリで通知のオンオフが分かりにくすぎて笑ってしまった (一個だけオン) (これが数十個ずらっと並んでいる)
NotebookLM とやらを試してみようと C++20 の仕様書を突っ込んだら、何も言っていないのに自動要約で複雑さについて言及されていておもろい
December 27, 2024 at 6:00 AM
NotebookLM とやらを試してみようと C++20 の仕様書を突っ込んだら、何も言っていないのに自動要約で複雑さについて言及されていておもろい
これヤバくて面白い (集成体初期化を使ったときだけ lifetime extension が起きる)
December 23, 2024 at 2:05 PM
これヤバくて面白い (集成体初期化を使ったときだけ lifetime extension が起きる)
iPad で純正電卓アプリが使えることにイノベーションを感じる。林檎信者だから (iPad OS 18 にした)
September 17, 2024 at 6:48 AM
iPad で純正電卓アプリが使えることにイノベーションを感じる。林檎信者だから (iPad OS 18 にした)
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #212,734 番目でした。
September 17, 2024 at 5:26 AM
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #212,734 番目でした。
作業中に集中が切れてスマホを手に取り X を眺めてる最中に流れてきたスライドの結論がこれで、無慈悲
July 14, 2024 at 10:03 AM
作業中に集中が切れてスマホを手に取り X を眺めてる最中に流れてきたスライドの結論がこれで、無慈悲
あるビル地下街の短冊に、仕事に苦労してそうな人がいて応援してしまう
June 21, 2024 at 4:38 AM
あるビル地下街の短冊に、仕事に苦労してそうな人がいて応援してしまう
Overwatch のサポートがプラチナになって嬉しい
April 13, 2024 at 4:54 PM
Overwatch のサポートがプラチナになって嬉しい