https://github.com/casl0/my-lemmata

数学書の行間を埋める補題集
https://github.com/casl0/my-lemmata

Last synced: 4 months ago
JSON representation

数学書の行間を埋める補題集

• Host: GitHub
• URL: https://github.com/casl0/my-lemmata
• Owner: CASL0
• License: mit
• Created: 2025-09-03T12:46:00.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2026-02-13T02:53:04.000Z (4 months ago)
• Last Synced: 2026-02-13T03:27:33.728Z (4 months ago)
• Language: TeX
• Size: 47.9 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# my-lemmata

数学書の証明を読んでいる中で、省略されたりもする論理の理解が難しいことがしばしばあった

それらの行間を埋める補題を覚書として残している

## Getting started

1. VSCode で本プロジェクトを開き、コマンドパレット（Ctrl+Shift+P）から[Dev Containers: Reopen in Container...]を実行する

1. [Build LaTeX project (Ctrl+Alt+B)]を実行する

## 数学書

以下の数学書の補題を作成中

| 項番 | タイトル                 | 著者      | リンク                                                            |

| ---- | ------------------------ | --------- | ----------------------------------------------------------------- |

| 1    | 微分積分学               | 笠原晧司  |  |

| 2    | 線型代数の基礎           | 永田雅宜  |              |

| 3    | これなら分かる最適化数学 | 金谷 健一 |               |