Kabe-wallの投稿記録

2024年10月31日 (木)

• 13:102024年10月31日 (木) 13:10 差分 履歴 +22 m 大津京駅 →駅名に関する議論: 曖昧さ回避 最新 タグ: 2017年版ソースエディター

2024年10月22日 (火)

• 13:292024年10月22日 (火) 13:29 差分 履歴 0 m フォン・ノイマン＝ベルナイス＝ゲーデル集合論 →モデル 最新 タグ: ビジュアルエディター

2024年10月2日 (水)

• 14:162024年10月2日 (水) 14:16 差分 履歴 +2,428 国道112号 →バイパス: 櫛引・鶴岡東・加茂坂の各バイパスについて加筆 タグ: ビジュアルエディター

2024年9月23日 (月)

• 02:162024年9月23日 (月) 02:16 差分 履歴 −1,077 グラハム数 横長の数式の整形、冗長な表現を除去 最新 タグ: ビジュアルエディター

2024年9月22日 (日)

• 15:252024年9月22日 (日) 15:25 差分 履歴 +438 アレフ数 →アレフ・オメガ: 英語版 "Aleph number" 15:57, 20 September 2024‎ から訳出 最新 タグ: ビジュアルエディター
• 00:502024年9月22日 (日) 00:50 差分 履歴 −18 m 八乙女 常体 最新 タグ: ビジュアルエディター

2024年2月20日 (火)

• 15:542024年2月20日 (火) 15:54 差分 履歴 +1,001 N ノート:山形県の県道一覧 →昭和58年〜平成12年の路線認定の根拠について: 新しい節 最新 タグ: 議論ツール 新規トピック ソースモード
• 15:452024年2月20日 (火) 15:45 差分 履歴 +17,096 山形県の県道一覧 昭和58年以降の認定・廃止履歴を追加 最新 タグ: サイズの大幅な増減 ビジュアルエディター

2024年1月19日 (金)

• 15:152024年1月19日 (金) 15:15 差分 履歴 +3,028 正則基数 英語版 "Regular cardinal" 02:08, 5 September 2023 版から追加訳出。既存部分は改訳した。 タグ: ビジュアルエディター 曖昧さ回避ページへのリンク

2024年1月18日 (木)

• 14:122024年1月18日 (木) 14:12 差分 履歴 0 m ラッセルのパラドックス 編集の要約なし タグ: 2017年版ソースエディター
• 14:082024年1月18日 (木) 14:08 差分 履歴 +29 m 到達不能基数 →モデルと無矛盾性: モース-ケリー集合論へリンク タグ: 2017年版ソースエディター

2024年1月17日 (水)

• 11:402024年1月17日 (水) 11:40 差分 履歴 −6 m 自明性 (数学) →数学的な理由における自明性: 空虚な真へリンク タグ: 2017年版ソースエディター
• 11:392024年1月17日 (水) 11:39 差分 履歴 −15 m 義務論理 →二項義務論理: 空虚な真へリンク タグ: 2017年版ソースエディター
• 11:382024年1月17日 (水) 11:38 差分 履歴 −27 m ヘンストック＝クルツヴァイル積分 →定義: 空虚な真へリンク 最新 タグ: 2017年版ソースエディター

2024年1月16日 (火)

• 14:132024年1月16日 (火) 14:13 差分 履歴 −2 m 超限帰納法 編集の要約なし タグ: 2017年版ソースエディター
• 13:492024年1月16日 (火) 13:49 差分 履歴 −16 m 到達不能基数 →到達不能基数による真クラスの存在性: 表現の修正、米田の補題へリンク タグ: 2017年版ソースエディター

2024年1月11日 (木)

• 16:012024年1月11日 (木) 16:01 差分 履歴 −18 m アルティン相互法則 編集の要約なし 最新 タグ: 2017年版ソースエディター
• 14:522024年1月11日 (木) 14:52 差分 履歴 +83 判別式 →二次形式の判別式: 表現の修正 タグ: 2017年版ソースエディター

2024年1月7日 (日)

• 13:062024年1月7日 (日) 13:06 差分 履歴 0 m 山形県の県道一覧 →一般県道: 誤字の修正 タグ: 2017年版ソースエディター

2023年11月14日 (火)

• 13:442023年11月14日 (火) 13:44 差分 履歴 −7,714 アインシュタインテンソル 改訳 タグ: ビジュアルエディター

2023年11月12日 (日)

• 11:482023年11月12日 (日) 11:48 差分 履歴 −65 m フォン・ノイマン＝ベルナイス＝ゲーデル集合論 →モデル: リンクの修正 タグ: ビジュアルエディター
• 11:352023年11月12日 (日) 11:35 差分 履歴 +78 和集合の公理 リンクの修正と数式の書式調整 最新 タグ: ビジュアルエディター
• 07:032023年11月12日 (日) 07:03 差分 履歴 +722 反ド・ジッター空間 残り部分をコメントより翻訳 タグ: ビジュアルエディター

2023年11月11日 (土)

• 11:222023年11月11日 (土) 11:22 差分 履歴 +12,496 反ド・ジッター空間 英語版 'Anti-de Sitter space' 00:25, 6 April 2018 版より「定義と性質」を翻訳。残り部分をコメントとして追加。 タグ: サイズの大幅な増減 ビジュアルエディター
• 10:032023年11月11日 (土) 10:03 差分 履歴 −243 m ツェルメロ集合論 編集の要約なし タグ: ビジュアルエディター
• 10:022023年11月11日 (土) 10:02 差分 履歴 +1,209 ツェルメロ集合論 残りの部分をコメントから翻訳 タグ: ビジュアルエディター
• 03:382023年11月11日 (土) 03:38 差分 履歴 +49 数理論理学 言い回しの修正 タグ: ビジュアルエディター
• 02:332023年11月11日 (土) 02:33 差分 履歴 +35 m 構成主義 (数学) →構成可能な数学: 誤訳の修正 arithmetic=算術 最新 タグ: ビジュアルエディター
• 02:222023年11月11日 (土) 02:22 差分 履歴 +955 ツェルメロ集合論 「標準的な集合論との関連」と「マックレーン集合論」の節を翻訳 タグ: ビジュアルエディター
• 01:122023年11月11日 (土) 01:12 差分 履歴 +177 空虚な真 cite webテンプレートの修正、細かな表現の修正 タグ: ビジュアルエディター

2023年11月10日 (金)

• 17:072023年11月10日 (金) 17:07 差分 履歴 +14,245 N 空虚な真 ページ「Vacuous truth」の翻訳により作成 タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2

2023年11月9日 (木)

• 15:152023年11月9日 (木) 15:15 差分 履歴 +14,666 N ツェルメロ集合論 英語版 "Zermelo set theory" 08:09, 18 December 2022‎ 版から途中まで翻訳。未翻訳部分はコメントとして残した。 タグ: ビジュアルエディター
• 14:212023年11月9日 (木) 14:21 差分 履歴 +51 分離公理 分出公理(axiom schema of separation)への混同注意を追加 最新 タグ: ビジュアルエディター

2023年11月8日 (水)

• 15:392023年11月8日 (水) 15:39 差分 履歴 +9 緩成長階層 「他の表記との比較」をコメントアウト：基本列が固定されておらず、数学的に不正確であるため タグ: コメントアウト 2017年版ソースエディター
• 14:492023年11月8日 (水) 14:49 差分 履歴 +1,267 構成主義 (数学) コメント内より残り部分の翻訳 タグ: ビジュアルエディター

2023年11月7日 (火)

• 12:552023年11月7日 (火) 12:55 差分 履歴 +14,835 構成主義 (数学) 英語版"Constructivism (philosophy of mathematics)" 14:24, 7 September 2023‎ 版から追加翻訳。既存部分の改訳。未翻訳部分はコメントとして残した。 タグ: サイズの大幅な増減 ビジュアルエディター
• 10:222023年11月7日 (火) 10:22 差分 履歴 +175 冪集合 →冪集合の濃度: 補足的内容を脚注に追加、カントールの定理へリンク 最新 タグ: ビジュアルエディター

2023年11月5日 (日)

• 12:192023年11月5日 (日) 12:19 差分 履歴 −13,950 ブラックホールの熱力学 改訳 タグ: サイズの大幅な増減 ビジュアルエディター

2023年10月31日 (火)

• 11:512023年10月31日 (火) 11:51 差分 履歴 +500 モンストラス・ムーンシャイン 文献情報の整理 最新 タグ: ビジュアルエディター

2023年10月30日 (月)

• 15:572023年10月30日 (月) 15:57 差分 履歴 −13,179 モンストラス・ムーンシャイン 後半部分を改訳 タグ: サイズの大幅な増減 ビジュアルエディター

2023年10月29日 (日)

• 14:422023年10月29日 (日) 14:42 差分 履歴 −5,932 モンストラス・ムーンシャイン 「モンスター加群」まで改訳 タグ: ビジュアルエディター
• 11:132023年10月29日 (日) 11:13 差分 履歴 +204 反ド・ジッター空間 翻訳中途テンプレ貼付。要改訳テンプレ除去。※履歴補充：初版からここまでの翻訳元はすべて英語版 'Anti-de Sitter space' 00:25, 6 April 2018‎ タグ: ビジュアルエディター

2023年10月28日 (土)

• 15:162023年10月28日 (土) 15:16 差分 履歴 +202 スコットのトリック 表現の修正、仮リンク、文献の脚注化、等 タグ: ビジュアルエディター
• 14:382023年10月28日 (土) 14:38 差分 履歴 −6,818 ド・ジッター空間 改訳 最新 タグ: ビジュアルエディター

2023年10月23日 (月)

• 15:142023年10月23日 (月) 15:14 差分 履歴 +24 m AdS/CFT対応 →AdS/CFTのアイデア: 誤訳修正 タグ: 2017年版ソースエディター
• 15:032023年10月23日 (月) 15:03 差分 履歴 −48 階層性問題 →ヒッグス粒子の質量: the string discipline → 弦理論分野 タグ: 2017年版ソースエディター
• 14:372023年10月23日 (月) 14:37 差分 履歴 −144 AdS/CFT対応 後半を改訳。要改訳テンプレート貼付時の問題は解決されたと考え、テンプレート除去。 タグ: 2017年版ソースエディター

2023年10月22日 (日)

• 16:012023年10月22日 (日) 16:01 差分 履歴 −278 AdS/CFT対応 前半部分を改訳 タグ: ビジュアルエディター
• 08:112023年10月22日 (日) 08:11 差分 履歴 −17 モース-ケリー集合論 →歴史: 構文誤りの修正 タグ: 2017年版ソースエディター
• 08:072023年10月22日 (日) 08:07 差分 履歴 +8,561 モース-ケリー集合論 語版 "Morse–Kelley set theory" 01:17, 3 June 2023 版から翻訳：歴史、ケリーの ''General Topology'' における公理、外部リンク。 タグ: 2017年版ソースエディター 曖昧さ回避ページへのリンク