このページでは、数学について考えたことや調べたこと、個人的な研究の記録をまとめています。現時点では平面彩色問題を中心に、研究環境の構築や学習の積み上げも含めて記録しています。専門家による完成された解説ではなく、学びながら進めていく過程そのものを残す場です。
数学研究ログ 第001回「SATで挑む平面彩色問題:研究環境構築記録~第1回:数学に詳しくない僕が研究環境を作ろうと思った理由~」
数学研究ログ 第002回「SATで挑む平面彩色問題:研究環境構築記録~第2回:なぜWSLを選択したのか(一般的な「正解」の選択)~」
数学研究ログ 第003回「SATで挑む平面彩色問題:研究環境構築記録~第3回:WSL導入でOSが壊れた話(実作業ログ)~」