このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
ワーイ、完結だ。シリーズがちゃんと完結するなんて、滅多にないよ、僕は。前回の最後(一部省略・短縮): 論理の定義として閉包作用素を使う定義があります。これについて説明するかも知れません。ストラスバーガーの意図としては、論理をプレ順序と考える…
次男が「アルチューデチュは人間だよ」とか言う。「アル中でちゅ」って誰のことだろう(酔っぱらったピノコか?)と思ったら、スターウォーズのR2D2のことでした。「人間が入っていると、おにいちゃん(長男)に教わった」と。実際、R2D2の中にはケニーベイ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。