リンク元またはリンク先の変更を表示したいページ名を入力してください。("Category:カテゴリ名"と入力すると下位カテゴリを参照できます)。自分のウォッチリストにあるページの変更は太字で表示されます。
略語のリスト:
- デ
- ウィキデータの編集
- N
- ページの新規作成 (新しいページ一覧も参照)
- m
- 細部の編集
- b
- ボットによる編集
- (±123)
- ページサイズの増減 (バイト単位)
- 一時的にウォッチしているページ
2024年5月26日 (日)
- 差分履歴 Lean (証明アシスタント) 13:31 −27 2405:1203:908b:e100:38e8:90c8:f740:3146 会話 (→2013年: 開発開始: タイポの修正) タグ: ビジュアルエディター
2024年5月25日 (土)
- 差分履歴 m LISP 13:37 −25 G000001 会話 投稿記録 (孫請け的に影響を受けた言語を子の言語のページへ移動:Lisp→Egison⇒Scheme→Egison) タグ: 2017年版ソースエディター
- 差分履歴 m Scheme 13:34 +892 G000001 会話 投稿記録 (影響を受けた言語を en:Scheme_(programming_language) oldid=1209269443 を元に作成) タグ: 2017年版ソースエディター
- 差分履歴 Lean (証明アシスタント) 09:00 +20 Kitamado 会話 投稿記録 (影響を受けた言語を追記) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 08:54 0 Kitamado 会話 投稿記録 (→拡張された do 記法: タイポの修正) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 08:52 +1,258 Kitamado 会話 投稿記録 (→Lean の特徴: 拡張された do 記法を参考にした論文へのリンクとともに紹介する.) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 08:27 +424 Kitamado 会話 投稿記録 (→Lean の特徴: Prolog の影響を明記する) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 08:01 −110 Kitamado 会話 投稿記録 (→Lean の特徴: 共通する引用を置き換え) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 08:00 +353 Kitamado 会話 投稿記録 (→Lean の特徴: 型クラス解決アルゴリズムの実行時間比較の図を論文から引用して追加) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 07:53 +1,079 2405:1203:908b:e100:38e8:90c8:f740:3146 会話 (Lean の特徴という節を新たに追加し,そこでテーブル化型クラス解決を紹介する) タグ: ビジュアルエディター Edit Check (references) activated
- 差分履歴 Lean (証明アシスタント) 07:42 −24 2405:1203:908b:e100:38e8:90c8:f740:3146 会話 (→Lean の言語仕様と機能の概要: 節のタイトル変更と,構成の変更.「対話的実行」を先頭に持ってくる) タグ: ビジュアルエディター Edit Check (references) activated 編集チェック(出典)を却下(一般的な知識)
- 差分履歴 Lean (証明アシスタント) 07:33 −1 2405:1203:908b:e100:38e8:90c8:f740:3146 会話 (→利用: 「利用」のセクションを脚注の直前に移動させる.) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 07:28 +2,608 2405:1203:908b:e100:38e8:90c8:f740:3146 会話 (→歴史: Lean が開発された経緯,とくに何故 Lean を開発しようと思ったのか,既存の定理証明支援系の何が不満だったのかを追記) タグ: ビジュアルエディター
2024年5月24日 (金)
- 差分履歴 Lean (証明アシスタント) 15:02 +67 Kitamado 会話 投稿記録 (→歴史: 見出しに年を付記して,年代がわかりやすいように) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 15:00 +509 Kitamado 会話 投稿記録 (→利用: AWSでCedar の検証に使われた例を追加.これは数学と関係がなさそうなLeanの応用例として追加する価値があると判断した.) タグ: ビジュアルエディター