2025-06-04
色々な包含的圏
雑記／備忘
包含的圏〈inclusive category〉の定義は人により色々です。型理論やインスティチューション理論に使うことを目的にして、包含的圏に関して整理しておきます。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…
2025-03-03
AIで「マッチ3パズル」を作ってみた
Claude 3.7 sonnetくん最高！
年間プランで課金しました！！
マッチ3パズルゲーム
スコア: 0
残り手数: 20
残り時間: 60
Game Start
そこまで!!
最終スコア: 0
もう一度遊ぶ
ちなみに、Claudeが最初に書いたコードでは、パネルはすべて（宇宙関連のイラストではなく）記号でした。適当でもちゃんとイラ