数学研究ログ

このページでは、数学の未解決問題に対する個人的な研究や、調査、実験、検証の記録をまとめています。
現時点では平面彩色問題を中心に、研究環境の構築や研究を進める中での試行錯誤を記録しています。
専門家による完成された解説ではなく、学びながら研究を進めていく過程そのものを残す場です。

SATで挑む平面彩色問題：研究環境構築記録
（数学研究ログ　第001回～第009回）

数学研究ログ第001回「SATで挑む平面彩色問題：研究環境構築記録～第1回：数学に詳しくない僕が研究環境を作ろうと思った理由～」

数学研究ログ第002回「SATで挑む平面彩色問題：研究環境構築記録～第2回：なぜWSLを選択したのか（一般的な「正解」の選択）～」

数学研究ログ第003回「SATで挑む平面彩色問題：研究環境構築記録～第3回：WSL導入でOSが壊れた話（実作業ログ）～」

数学研究ログ第004回「SATで挑む平面彩色問題：研究環境構築記録～第4回：なぜ壊れたのか（WSLとWindowsの構造を理解する）～」

数学研究ログ第005回「SATで挑む平面彩色問題：研究環境構築記録～第5回：方針転換（壊さない環境設計へ）～」

数学研究ログ第006回「SATで挑む平面彩色問題：研究環境構築記録～第6回：VirtualBox + Ubuntu 環境構築（分離された環境を実際に作成しました）～」

数学研究ログ第007回「SATで挑む平面彩色問題：研究環境構築記録～第7回：環境を「使える状態」にする（Guest Additionsとトラブル対応）～」

数学研究ログ第008回「SATで挑む平面彩色問題：研究環境構築記録～第8回：SATによる検証環境の構築（研究を開始できる状態になりました）～」

数学研究ログ第009回「SATで挑む平面彩色問題：研究環境構築記録～本シリーズで登場した用語の整理～」

追加の環境構築（数学研究ログ　第010回～第011回）

数学研究ログ第010回「研究再開とUbuntu環境の確認」

数学研究ログ第011回「Windows側の整理」