鯛焼ぷろじぇくと。Official Website
ホーム
お知らせ
創作ブログ
ゲーム開発ログ
創作探求メモ
PC&開発環境
作品情報
グッズ
学習ブログ
徒然社会人大学生ログ
数学研究ログ
小説作品
プロフィール
問い合わせ
カテゴリー案内・リンク
ホーム
学習ブログ
「数学研究ログ」の記事一覧
数学について考えたことや調べたこと、個人的な研究の記録をまとめています。
2026-04-13
数学研究ログ 第007回「SATで挑む平面彩色問題:研究環境構築記録~第7回:環境を「使える状態」にする(Guest Additionsとトラブル対応)~」
2026-04-12
数学研究ログ 第006回「SATで挑む平面彩色問題:研究環境構築記録~第6回:VirtualBox + Ubuntu 環境構築(分離された環境を実際に作成しました)~」
2026-04-09
数学研究ログ 第005回「SATで挑む平面彩色問題:研究環境構築記録~第5回:方針転換(壊さない環境設計へ)~」
2026-04-07
数学研究ログ 第004回「SATで挑む平面彩色問題:研究環境構築記録~第4回:なぜ壊れたのか(WSLとWindowsの構造を理解する)~」
2026-04-05
数学研究ログ 第003回「SATで挑む平面彩色問題:研究環境構築記録~第3回:WSL導入でOSが壊れた話(実作業ログ)~」
2026-04-03
数学研究ログ 第002回「SATで挑む平面彩色問題:研究環境構築記録~第2回:なぜWSLを選択したのか(一般的な「正解」の選択)~」
2026-03-30
数学研究ログ 第001回「SATで挑む平面彩色問題:研究環境構築記録~第1回:数学に詳しくない僕が研究環境を作ろうと思った理由~」