鯛焼ぷろじぇくと。Official Website 
「2026年」の記事一覧
数学研究ログ 第006回「SATで挑む平面彩色問題：研究環境構築記録～第6回：VirtualBox + Ubuntu 環境構築（分離された環境を実際に作成しました）～」
数学研究ログ 第005回「SATで挑む平面彩色問題：研究環境構築記録～第5回：方針転換（壊さない環境設計へ）～」
数学研究ログ 第004回「SATで挑む平面彩色問題：研究環境構築記録～第4回：なぜ壊れたのか（WSLとWindowsの構造を理解する）～」
数学研究ログ 第003回「SATで挑む平面彩色問題：研究環境構築記録～第3回：WSL導入でOSが壊れた話（実作業ログ）～」
サイト構造の見直しと固定ページ整理のお知らせ（リニューアル）
「鯛焼ぷろじぇくと。」の創作に対する思い
数学研究ログ 第002回「SATで挑む平面彩色問題：研究環境構築記録～第2回：なぜWSLを選択したのか（一般的な「正解」の選択）～」
数学研究ログ 第001回「SATで挑む平面彩色問題：研究環境構築記録～第1回：数学に詳しくない僕が研究環境を作ろうと思った理由～」