鯛焼ぷろじぇくと。Official Website 
このページでは、数学について考えたことや調べたこと、個人的な研究の記録をまとめています。
現時点では平面彩色問題を中心に、研究環境の構築や学習の積み上げも含めて記録しています。
専門家による完成された解説ではなく、学びながら進めていく過程そのものを残す場です。
数学研究ログ 第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で挑む平面彩色問題：研究環境構築記録～本シリーズで登場した用語の整理～」
