鯛焼ぷろじぇくと。Official Website 
「2026年4月」の記事一覧
数学研究ログ 第009回「SATで挑む平面彩色問題：研究環境構築記録～本シリーズで登場した用語の整理～」
数学研究ログ 第008回「SATで挑む平面彩色問題：研究環境構築記録～第8回：SATによる検証環境の構築（研究を開始できる状態になりました）～」
数学研究ログ 第007回「SATで挑む平面彩色問題：研究環境構築記録～第7回：環境を「使える状態」にする（Guest Additionsとトラブル対応）～」
徒然社会人大学生ログ 第39回「JabRefで論文管理を始めた記録 ローカル保存で整える最初の一歩」
数学研究ログ 第006回「SATで挑む平面彩色問題：研究環境構築記録～第6回：VirtualBox + Ubuntu 環境構築（分離された環境を実際に作成しました）～」
数学研究ログ 第005回「SATで挑む平面彩色問題：研究環境構築記録～第5回：方針転換（壊さない環境設計へ）～」
数学研究ログ 第004回「SATで挑む平面彩色問題：研究環境構築記録～第4回：なぜ壊れたのか（WSLとWindowsの構造を理解する）～」
数学研究ログ 第003回「SATで挑む平面彩色問題：研究環境構築記録～第3回：WSL導入でOSが壊れた話（実作業ログ）～」