リンク元またはリンク先の変更を表示したいページ名を入力してください。("Category:カテゴリ名"と入力すると下位カテゴリを参照できます)。自分のウォッチリストにあるページの変更は太字で表示されます。
略語のリスト:
- デ
- ウィキデータの編集
- N
- ページの新規作成 (新しいページ一覧も参照)
- m
- 細部の編集
- b
- ボットによる編集
- (±123)
- ページサイズの増減 (バイト単位)
- 一時的にウォッチしているページ
2024年5月25日 (土)
- 差分履歴 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の応用例として追加する価値があると判断した.) タグ: ビジュアルエディター
- 差分履歴 Scratch (プログラミング言語) 10:44 +1,674 Imoyokan-scratch 会話 投稿記録 (Reverted 1 edit by 2001:CE8:204:FB0:D025:C3BA:8CFE:3A4D (talk): 出典除去に関する編集を除去 (TwinkleGlobal使用)) タグ: 取り消し
- 差分履歴 Scratch (プログラミング言語) 08:23 −1,674 2001:ce8:204:fb0:d025:c3ba:8cfe:3a4d 会話 (→Scratchユーザインタフェース) タグ: 差し戻し済み ビジュアルエディター
- 差分履歴 m 宣言型プログラミング 02:14 +21 Milkmeta 会話 投稿記録 (リダイレクト解消)
- 差分履歴 m PHP (プログラミング言語) 02:13 0 Milkmeta 会話 投稿記録 (リダイレクト解消)
2024年5月21日 (火)
- 差分履歴 ビジュアルプログラミング言語 15:06 +22 2401:4d40:b980:0:9593:3f44:e354:432e 会話 (ビジュアルプログラミングの例を追加) タグ: ビジュアルエディター
- 差分履歴 プログラミング言語 07:28 +13 びっがて 会話 投稿記録 (曖昧さ回避ページへのリンクを解消) タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集 改良版モバイル編集
- 差分履歴 Julia (プログラミング言語) 06:45 +125 133.86.227.82 会話 (→和書) タグ: ビジュアルエディター: 中途切替
- 差分履歴 m MATLAB 01:04 +36 訳由美子 会話 投稿記録 (曖昧さ回避ページジュリアへのリンクを解消、リンク先をJulia (プログラミング言語)に変更(DisamAssist使用))
- 差分履歴 MATLAB 01:03 −34 訳由美子 会話 投稿記録 (訳由美子 (会話) による ID:100440041 の版を取り消し) タグ: 取り消し 曖昧さ回避ページへのリンク
- 差分履歴 m Maple 00:59 +36 訳由美子 会話 投稿記録 (曖昧さ回避ページジュリアへのリンクを解消、リンク先をJulia (プログラミング言語)に変更(DisamAssist使用))
- 差分履歴 m MATLAB 00:59 +34 訳由美子 会話 投稿記録 (曖昧さ回避ページジュリアへのリンクを解消、リンク先をジュリア・アルプス山脈に変更(DisamAssist使用)) タグ: 差し戻し済み