Kitamadoの投稿記録

2024年10月23日 (水)

• 11:042024年10月23日 (水) 11:04 差分 履歴 0 Lean (証明アシスタント) dependent type は依存型と訳す タグ: ビジュアルエディター

2024年9月21日 (土)

• 16:452024年9月21日 (土) 16:45 差分 履歴 0 Lean (証明アシスタント) →2017年: Lean 3: proof irrelevance の訳語として「証明無関連」ではなくて「証明無関係」を使用する。これは Therem Proving in Lean 4 の有志による日本語版に合わせている。 タグ: ビジュアルエディター
• 16:422024年9月21日 (土) 16:42 差分 履歴 +375 Lean (証明アシスタント) →Lean の特徴: 「特徴」が何と比較した特徴なのかを明記する タグ: ビジュアルエディター

2024年9月15日 (日)

• 14:062024年9月15日 (日) 14:06 差分 履歴 0 Lean (証明アシスタント) 最新リリースを v4.11.0 に更新 タグ: ビジュアルエディター

2024年8月14日 (水)

• 19:382024年8月14日 (水) 19:38 差分 履歴 +193 Lean (証明アシスタント) →外部リンク: Lean 公式ブログを追加する タグ: ビジュアルエディター

2024年8月6日 (火)

• 16:032024年8月6日 (火) 16:03 差分 履歴 +15 Lean (証明アシスタント) 影響を受けた言語に Scheme を追加する タグ: ビジュアルエディター
• 16:022024年8月6日 (火) 16:02 差分 履歴 +4,956 Lean (証明アシスタント) →Lean の特徴: 革新的なメタプロフレームワークに言及する タグ: ビジュアルエディター
• 15:132024年8月6日 (火) 15:13 差分 履歴 +1 Lean (証明アシスタント) 最新リリースをv4.10.0 に更新 タグ: ビジュアルエディター
• 15:102024年8月6日 (火) 15:10 差分 履歴 +3 Lean (証明アシスタント) →2021年: Lean 4: hygienic の訳を「衛生的」に変更 タグ: ビジュアルエディター
• 15:092024年8月6日 (火) 15:09 差分 履歴 +833 Lean (証明アシスタント) →Lean の機能: フィールド記法を紹介する節を追加 タグ: ビジュアルエディター
• 15:022024年8月6日 (火) 15:02 差分 履歴 −132 Lean (証明アシスタント) →拡張可能性: 説明とコード例を微修正。優先順位を中途半端に指定していたので、すべて指定する。 タグ: ビジュアルエディター
• 14:592024年8月6日 (火) 14:59 差分 履歴 +754 Lean (証明アシスタント) →依存型: 依存型の使用例として長さ n のリストを追加する タグ: ビジュアルエディター
• 14:462024年8月6日 (火) 14:46 差分 履歴 +131 Lean (証明アシスタント) →対話的実行: Jupyter Notebook に言及する タグ: ビジュアルエディター
• 14:452024年8月6日 (火) 14:45 差分 履歴 −6 Lean (証明アシスタント) lean という英単語の訳し方を変更 タグ: ビジュアルエディター

2024年6月9日 (日)

• 12:572024年6月9日 (日) 12:57 差分 履歴 +536 Lean (証明アシスタント) エラトステネスの篩のコード例を追加 タグ: ビジュアルエディター

2024年6月8日 (土)

• 11:422024年6月8日 (土) 11:42 差分 履歴 +903 Lean (証明アシスタント) Functional but in-place の節に，コード例を追加する タグ: ビジュアルエディター
• 11:402024年6月8日 (土) 11:40 差分 履歴 0 Lean (証明アシスタント) 最新リリースを v4.8.0 に更新 タグ: ビジュアルエディター

2024年6月4日 (火)

• 11:572024年6月4日 (火) 11:57 差分 履歴 +543 Lean (証明アシスタント) →Functional but in-place: Lean 4 のベンチマーク結果を他の言語と比較した図を追加 タグ: ビジュアルエディター

2024年5月25日 (土)

• 09:002024年5月25日 (土) 09:00 差分 履歴 +20 Lean (証明アシスタント) 影響を受けた言語を追記 タグ: ビジュアルエディター
• 08:542024年5月25日 (土) 08:54 差分 履歴 0 Lean (証明アシスタント) →拡張された do 記法: タイポの修正 タグ: ビジュアルエディター
• 08:522024年5月25日 (土) 08:52 差分 履歴 +1,258 Lean (証明アシスタント) →Lean の特徴: 拡張された do 記法を参考にした論文へのリンクとともに紹介する． タグ: ビジュアルエディター
• 08:272024年5月25日 (土) 08:27 差分 履歴 +424 Lean (証明アシスタント) →Lean の特徴: Prolog の影響を明記する タグ: ビジュアルエディター
• 08:012024年5月25日 (土) 08:01 差分 履歴 −110 Lean (証明アシスタント) →Lean の特徴: 共通する引用を置き換え タグ: ビジュアルエディター
• 08:002024年5月25日 (土) 08:00 差分 履歴 +353 Lean (証明アシスタント) →Lean の特徴: 型クラス解決アルゴリズムの実行時間比較の図を論文から引用して追加 タグ: ビジュアルエディター

2024年5月24日 (金)

• 15:022024年5月24日 (金) 15:02 差分 履歴 +67 Lean (証明アシスタント) →歴史: 見出しに年を付記して，年代がわかりやすいように タグ: ビジュアルエディター
• 15:002024年5月24日 (金) 15:00 差分 履歴 +509 Lean (証明アシスタント) →利用: AWSでCedar の検証に使われた例を追加．これは数学と関係がなさそうなLeanの応用例として追加する価値があると判断した． タグ: ビジュアルエディター

2024年5月13日 (月)

• 14:482024年5月13日 (月) 14:48 差分 履歴 −23 Lean (証明アシスタント) →Lean 4: 文章の流れの校正 タグ: ビジュアルエディター
• 14:462024年5月13日 (月) 14:46 差分 履歴 +1,732 Lean (証明アシスタント) →Lean 4: The Lean 4 Theorem Prover and Programming Language に基づいて，Lean 4 の特色について追記する タグ: ビジュアルエディター
• 14:262024年5月13日 (月) 14:26 差分 履歴 −11 Lean (証明アシスタント) →歴史: 重複した箇所を削除 タグ: ビジュアルエディター
• 14:202024年5月13日 (月) 14:20 差分 履歴 +1,667 Lean (証明アシスタント) Lean の開発の歴史を詳細にする. タグ: ビジュアルエディター

2024年4月27日 (土)

• 09:192024年4月27日 (土) 09:19 差分 履歴 −6 m Lean (証明アシスタント) →Lean の言語仕様と機能の概要: 「など」で曖昧にしない タグ: ビジュアルエディター
• 08:542024年4月27日 (土) 08:54 差分 履歴 +37 プログラミング言語一覧 →L: Lean 言語を追加する タグ: ビジュアルエディター
• 08:492024年4月27日 (土) 08:49 差分 履歴 +110 関数型プログラミング →言語: Lean 言語を関数型言語のリストに追加する タグ: ビジュアルエディター
• 08:432024年4月27日 (土) 08:43 差分 履歴 +707 Lean (証明アシスタント) Lean が正格評価であることを説明に追加する タグ: ビジュアルエディター
• 07:132024年4月27日 (土) 07:13 差分 履歴 +170 Lean (証明アシスタント) →利用: Xena プロジェクトについて出典を追加 タグ: ビジュアルエディター
• 07:082024年4月27日 (土) 07:08 差分 履歴 +3 m Lean (証明アシスタント) →外部リンク: タイポの修正 タグ: ビジュアルエディター
• 07:072024年4月27日 (土) 07:07 差分 履歴 +149 Lean (証明アシスタント) lean v3.0.0のリリース日に関して出典を追加する タグ: ビジュアルエディター
• 07:032024年4月27日 (土) 07:03 差分 履歴 +329 Lean (証明アシスタント) Lean と HoTT の関係について追記し，出典も追加する タグ: ビジュアルエディター

2024年4月21日 (日)

• 07:332024年4月21日 (日) 07:33 差分 履歴 −84 Lean (証明アシスタント) 評価版リリースを記載しない タグ: ビジュアルエディター
• 07:322024年4月21日 (日) 07:32 差分 履歴 0 Lean (証明アシスタント) 最新リリースを更新 タグ: ビジュアルエディター

2024年4月19日 (金)

• 14:192024年4月19日 (金) 14:19 差分 履歴 −21 Lean (証明アシスタント) →数学界に与えた影響: 節のタイトルをより一般的な「利用」に変更．

2024年4月10日 (水)

• 08:172024年4月10日 (水) 08:17 差分 履歴 +38 Lean (証明アシスタント) →関連項目: Isabelle の英語版Wikipediaの記事へのリンクを，仮リンクに差し替える タグ: ビジュアルエディター: 中途切替
• 08:102024年4月10日 (水) 08:10 差分 履歴 +24 Lean (証明アシスタント) テンプレートの Lean FRO にリンクを張る タグ: ビジュアルエディター
• 08:002024年4月10日 (水) 08:00 差分 履歴 +18 m Lean (証明アシスタント) 冒頭の紹介文を少し修正 タグ: ビジュアルエディター
• 07:582024年4月10日 (水) 07:58 差分 履歴 +347 Lean (証明アシスタント) →数学界に与えた影響: 出典の情報を追加する タグ: ビジュアルエディター
• 07:542024年4月10日 (水) 07:54 差分 履歴 −677 Lean (証明アシスタント) →外部リンク: 概要欄にあった外部リンクへの言及を削除し，すべて外部リンク欄に委譲する タグ: ビジュアルエディター
• 07:482024年4月10日 (水) 07:48 差分 履歴 +93 Lean (証明アシスタント) →関連項目: Reservoir の説明を少し詳しくする タグ: ビジュアルエディター
• 07:462024年4月10日 (水) 07:46 差分 履歴 −18 Lean (証明アシスタント) →外部リンク: Lean 公式のページだけを紹介し，コミュニティサイトは除外する。また，Reservoir や Lean 4 Web を紹介する。 タグ: ビジュアルエディター
• 07:372024年4月10日 (水) 07:37 差分 履歴 +446 Lean (証明アシスタント) →Lean の機能とコード例: タクティクによる証明の自動化機能に言及し，コード例を示す タグ: ビジュアルエディター
• 07:322024年4月10日 (水) 07:32 差分 履歴 +19 Lean (証明アシスタント) →拡張可能性: コード例の差し替え. より数学で一般的な記法に従う． タグ: ビジュアルエディター