檜山正幸のキマイラ飼育記 (はてなBlog)2026-04-20 用語・用法図と単項式問題 雑記／備忘 「パンダ用法と用語・用法図」で用語・用法図を導入しました。用語に関する問題の分析装置／説明装置を手に入れたので、よく見る問題を分析／説明してみましょう。「単項式は多項式か？」が今回取り上げる“よく見る問題”です。$`%\newcommand{\cat}[1]{\math… 2026-04-16 用語・用法図の応用： 「関係」、「グラフ」 雑記／備忘 「パンダ用法と用語・用法図」で、用語の用法を図解する用語・用法図を導入しました。この記事では、厄介な曖昧多義語である「関係」と「グラフ」の明瞭化〈clarification〉を通じて、用語・用法図の応用事例を紹介します。また、用語・用法図に若干の機能追… 2026-04-15 宇宙のラムダ計算 6： 大枠と方針 雑記／備忘 シリーズの第6回で「大枠と方針」とは、だいぶ話が前後してますが
