2023年10月25日 (水)
- 20:062023年10月25日 (水) 20:06 差分 履歴 −7 ボルツァーノ＝ワイエルシュトラスの定理 →ユークリッド空間の点列コンパクト性: 不要なダッシュを削除 タグ: モバイル編集 モバイルウェブ編集
2023年5月2日 (火)
- 14:192023年5月2日 (火) 14:19 差分 履歴 +1 m 基数 編集の要約なし タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
- 14:162023年5月2日 (火) 14:16 差分 履歴 +1 m 基数 可換律の誤植の修正 タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
2023年2月24日 (金)
2022年11月24日 (木)
- 00:402022年11月24日 (木) 00:40 差分 履歴 −3 m 項書き換え non-deterministic の訳語としては「非決定論的」ではなく「非決定的」が標準と思われる。
2022年10月31日 (月)
- 04:182022年10月31日 (月) 04:18 差分 履歴 +6 桐島聡 2400:2200:442:D00B:8009:9335:CA12:255B (会話) による ID:92181429 の版を取り消し 荒らし行為のため タグ: 取り消し
2022年8月3日 (水)
- 13:452022年8月3日 (水) 13:45 差分 履歴 +3 逆数学 編集の要約なし タグ: モバイル編集 モバイルウェブ編集
2022年5月29日 (日)
- 22:432022年5月29日 (日) 22:43 差分 履歴 +3 m 齋藤恭司 編集の要約なし
- 22:422022年5月29日 (日) 22:42 差分 履歴 +34 m 齋藤恭司 「還暦越えてなお研究が盛ん」は研究内容・業績ではない。人物のセクションを作りそちらに移動。
- 22:382022年5月29日 (日) 22:38 差分 履歴 −17 m 齋藤恭司 無効な画像の表示のマークアップを削除
2022年2月19日 (土)
- 06:482022年2月19日 (土) 06:48 差分 履歴 +30 m 矛盾許容論理 編集の要約なし
2022年2月14日 (月)
2021年11月30日 (火)
- 13:242021年11月30日 (火) 13:24 差分 履歴 +3 m 3値論理 句点を追加 タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
- 13:232021年11月30日 (火) 13:23 差分 履歴 +2 m 3値論理 句読点がない部分を修正 タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
2021年11月17日 (水)
- 02:182021年11月17日 (水) 02:18 差分 履歴 +37 N 利用者:旅に出よう一人で ←新しいページ: 「興味: 理論計算機科学, 音楽」 最新
- 02:162021年11月17日 (水) 02:16 差分 履歴 −19 m 実閉体 well-definedは日本語でもwell-definedとするのが慣例的と思われる。
2021年11月9日 (火)
- 14:082021年11月9日 (火) 14:08 差分 履歴 +64 m ギャヴィン・ハリソン パイナップルシーフを赤リンクに
- 05:022021年11月9日 (火) 05:02 差分 履歴 +1,138 N ギャヴィン・ハリソン ページ「Gavin Harrison」の翻訳により作成 タグ: 参考文献（出典）に関する節がない記事の作成 コンテンツ翻訳 コンテンツ翻訳バージョン2
2021年11月7日 (日)
- 13:142021年11月7日 (日) 13:14 差分 履歴 +17 m Agda tacticの訳語はタクティクとカタカナ読みするのが一般的と思われる（すくなくともCoqでは）
2021年10月8日 (金)
- 04:582021年10月8日 (金) 04:58 差分 履歴 0 m バラエティ (普遍代数学) タイポの修正
2021年8月18日 (水)
- 12:492021年8月18日 (水) 12:49 差分 履歴 0 m 矢内東紀 誤字修正。「便を語る」は誤りだと思われる。正しくは「弁を語る」であると判断した。https://bonten.ninjal.ac.jp/bccwj/string_search コーパスで確認すると、「弁を語る」は用例が１つあるが、「便を語る」はなかった。
2021年4月4日 (日)
- 23:222021年4月4日 (日) 23:22 差分 履歴 −9 m ケイリー・ハミルトンの定理 編集の要約なし タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
- 13:242021年4月4日 (日) 13:24 差分 履歴 +38 フランク・ラムゼイ (数学者) 死亡した1930年以後の1931年に仕事をしたような記述になっていて、破綻している。 タグ: ビジュアルエディター: 中途切替
2021年3月4日 (木)
- 08:552021年3月4日 (木) 08:55 差分 履歴 +44 キング・ギザード&ザ・リザード・ウィザード リリースされたアルバムを追加 タグ: ビジュアルエディター
2021年2月2日 (火)
- 01:262021年2月2日 (火) 01:26 差分 履歴 +1,045 ノート:麻原彰晃 →「現在の活動」について: 新しい節
2021年1月27日 (水)
- 03:102021年1月27日 (水) 03:10 差分 履歴 +3 m 和田豊 誤字訂正 タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集
2021年1月19日 (火)
- 12:092021年1月19日 (火) 12:09 差分 履歴 −34 優しい終身の独裁者 出典が明記されたので「要出典」が不適切になった タグ: ビジュアルエディター
2020年3月20日 (金)
- 02:442020年3月20日 (金) 02:44 差分 履歴 0 優しい終身の独裁者 脚注の場所が間違っていたため修正 タグ: ビジュアルエディター
- 02:432020年3月20日 (金) 02:43 差分 履歴 +135 優しい終身の独裁者 Rich HickeyがBDFLであるという根拠を追加。 タグ: ビジュアルエディター
