更新履歴

2025年

• 2025/05/05
  • ドメイン移行
• 2025/03/30
  • 【新規追加】積と余積 (0.1.0)
• 2025/03/02
  • 【新規追加】エピ射とモノ射 (0.1.0)
  • 【更新】圏 (0.1.0 → 0.1.1)
• 2025/02/23
  • 【新規追加】圏 (0.1.0)

2024年

• 2024/10/20
  • MathJaxレンダリング方式をクライアントレンダリングに変更
  • ドキュメント記載フォーマットをMDXからSumiMLに変更
  • 【更新】群 (0.1.1 → 0.2.0)
  • 【更新】型なしラムダ計算 (0.2.0 → 0.3.0)
  • 【更新】チャーチ・ロッサーの定理 (0.1.0 → 0.2.0)
  • 【更新】単純型付きラムダ計算 (1) (0.3.0 → 0.4.0)
  • 【更新】単純型付きラムダ計算 (2) - さまざまな型 (0.1.0 → 0.2.0)
• 2024/09/15
  • 【新規追加】単純型付きラムダ計算 (2) - さまざまな型 (0.1.0)
  • 【更新】単純型付きラムダ計算 (1) (0.2.0 → 0.3.0)
• 2024/09/06
  • 【更新】単純型付きラムダ計算 (0.1.0 → 0.2.0)
• 2024/08/31
  • 【新規追加】単純型付きラムダ計算 (0.1.0)
• 2024/08/16
  • 【新規追加】チャーチ・ロッサーの定理 (0.1.0)
  • 【更新】型なしラムダ計算 (0.1.0 → 0.2.0)
  • 【更新】群 (0.1.0 → 0.1.1)
• 2024/05/08
  • 【新規追加】ラムダ計算の基礎事項
• 2024/04/27
  • 数式表示ライブラリをKaTeXからMathJaxに移行
• 2024/04/23
  • 正式運用開始
  • 【更新】群の基礎事項
• 2024/04/05
  • テスト公開
  • 【新規追加】群の基礎事項