Shinsa82の投稿記録
利用者の編集は90回。 2009年8月10日 (月)にアカウント作成。
2024年2月7日 (水)
- 10:322024年2月7日 (水) 10:32 差分 履歴 +263 LR法 →構築した表内での衝突: 直感的な説明を追加 最新
- 10:112024年2月7日 (水) 10:11 差分 履歴 +15 m LR法 →構築した表内での衝突: 「これ」の指す内容をより明確にした
2023年11月10日 (金)
- 07:032023年11月10日 (金) 07:03 差分 履歴 +415 N ノート:算術の超準モデル →超準モデルにおける帰納法の有無: 新しい節 最新 タグ: 議論ツール 新規トピック ソースモード
2023年2月12日 (日)
- 14:222023年2月12日 (日) 14:22 差分 履歴 −30 m ホーン節 →論理プログラミングにおける用法: ホーン節 (GHC) として許されない記法で書いていたものを削除
- 14:202023年2月12日 (日) 14:20 差分 履歴 −10 ホーン節 →ホーン節（Horn clause）: リテラルと命題変数の区別を正確にした。
- 14:132023年2月12日 (日) 14:13 差分 履歴 +127 m ホーン節 →節（clause）: これ以降の部分の説明を楽にするために、正負リテラルの説明を追加。
- 14:062023年2月12日 (日) 14:06 差分 履歴 +309 ホーン節 →論理プログラミングにおける用法: 主に、リテラルと原始命題変数の区別をはっきりさせた
2022年12月13日 (火)
- 06:372022年12月13日 (火) 06:37 差分 履歴 +356 ノート:以上・以下 編集の要約なし 最新
2022年10月25日 (火)
- 18:112022年10月25日 (火) 18:11 差分 履歴 +286 ノート:ダーウィン賞 →開始年代について: コメント追加 最新
2022年4月2日 (土)
- 16:152022年4月2日 (土) 16:15 差分 履歴 −47 二重否定の除去 数式の整形
- 16:012022年4月2日 (土) 16:01 差分 履歴 +646 対偶 (論理学) 「対偶命題 ⇒ もとの命題」の証明を追加。逆向きは同様なので省略した。
- 15:112022年4月2日 (土) 15:11 差分 履歴 +352 対偶 (論理学) →定義: 文章の整理、意味的な等価性に加えて証明可能性への言及、後段で触れる直観主義論理との比較を念頭に置いた記述へ修正
- 14:482022年4月2日 (土) 14:48 差分 履歴 +33 対偶 (論理学) 否定命題における「なら」を「ならば」に統一
- 14:442022年4月2日 (土) 14:44 差分 履歴 +14 対偶 (論理学) 「定義」セクションを追加
- 14:382022年4月2日 (土) 14:38 差分 履歴 +665 ノート:直観主義 (数学の哲学) 返信 最新 タグ: 議論ツール 返信 ソースモード
- 14:252022年4月2日 (土) 14:25 差分 履歴 +6 m 直観主義 (数学の哲学) →関連項目: リダイレクト先を直接指すように、リンクタイトルを変更
- 14:142022年4月2日 (土) 14:14 差分 履歴 +175 論理包含 →性質: 直観主義論理では等価でないことを追加
2022年3月27日 (日)
- 11:072022年3月27日 (日) 11:07 差分 履歴 −6 対偶 (論理学) 定義の誤りを修正 タグ: ビジュアルエディター: 中途切替
2021年10月30日 (土)
- 16:062021年10月30日 (土) 16:06 差分 履歴 +658 ノート:持続可能な開発目標 →表現や分類の出典を明記した編集をお願いします。: 個人的な見解を追記
2021年10月14日 (木)
- 16:542021年10月14日 (木) 16:54 差分 履歴 +173 数学的帰納法 →背理法を組み合わせたもの: 無限降下法の否定バージョンの標準的なものを用いて、前後との平仄を合わせた
- 16:392021年10月14日 (木) 16:39 差分 履歴 +124 数学的帰納法 →証明: 記述を明確にしたのと、証明をより自然な形にした
2021年10月2日 (土)
- 15:552021年10月2日 (土) 15:55 差分 履歴 −8 じゃんぱら 111.239.164.120 (会話) による ID:85750863 の版を取り消し タグ: 取り消し
2021年6月21日 (月)
- 16:092021年6月21日 (月) 16:09 差分 履歴 0 m 随伴関手 →最適化問題の解として: 助詞の typo を修正
2021年6月14日 (月)
- 09:152021年6月14日 (月) 09:15 差分 履歴 +307 ノート:論理記号の一覧 チルダについて 最新
2021年5月26日 (水)
- 18:062021年5月26日 (水) 18:06 差分 履歴 +226 存在記号 →概要: 数式の整形
- 17:532021年5月26日 (水) 17:53 差分 履歴 +557 ノート:存在記号 →∃記号の由来: 返信 最新 タグ: 議論ツール 返信 ソースモード
2021年5月19日 (水)
- 15:052021年5月19日 (水) 15:05 差分 履歴 −90 飯能アルプス 問題点の削除。おおむね解消されていると判断した 最新
- 15:032021年5月19日 (水) 15:03 差分 履歴 +189 飯能アルプス →概要: 参考文献を追加
2021年5月6日 (木)
- 17:442021年5月6日 (木) 17:44 差分 履歴 0 m 三角点 →基準点の等級: 表の行見出しをサービス名称にあわせて変更
- 17:302021年5月6日 (木) 17:30 差分 履歴 −16 三角点 →基準点の等級: 設置点数一覧表の情報を最新版に更新
2021年4月29日 (木)
- 17:142021年4月29日 (木) 17:14 差分 履歴 +337 ノート:存在記号 →∃記号の由来: 調査結果を追記
- 17:022021年4月29日 (木) 17:02 差分 履歴 +400 N ノート:存在記号 質問を追加
- 16:572021年4月29日 (木) 16:57 差分 履歴 +72 存在記号 →概要: 少しねじれていた文を修正。あと言い回しをより自然なものに変更。
2021年4月19日 (月)
2021年3月22日 (月)
- 07:312021年3月22日 (月) 07:31 差分 履歴 +92 m 卵生 リンク切れ追加
2021年3月20日 (土)
- 07:122021年3月20日 (土) 07:12 差分 履歴 +36 m 多面体 →外部リンク: リンク切れ追加
2021年2月17日 (水)
- 17:092021年2月17日 (水) 17:09 差分 履歴 +461 N ノート:トップダウン構文解析 生成規則の例について確認 最新
2021年1月16日 (土)
- 17:382021年1月16日 (土) 17:38 差分 履歴 +771 ノート:論理包含 →疑問点: 新しい節
- 17:322021年1月16日 (土) 17:32 差分 履歴 +37 m 論理包含 →記号: 「疑問点範囲」テンプレートの追加
- 17:302021年1月16日 (土) 17:30 差分 履歴 −30 論理包含 Shinsa82 (会話) による ID:81364742 の版を取り消し タグ: 取り消し
- 17:262021年1月16日 (土) 17:26 差分 履歴 +30 m 論理包含 →記号: 「疑問点」テンプレート追加 タグ: 差し戻し済み
- 17:232021年1月16日 (土) 17:23 差分 履歴 +43 論理包含 →記号: ペアノの書籍名を修正。「数の概念について」は1891年の論文タイトルの和訳であるため。
- 17:012021年1月16日 (土) 17:01 差分 履歴 +287 ノート:ペアノの公理 →存在と一意性の節に関して: コメント追加 最新
- 16:582021年1月16日 (土) 16:58 差分 履歴 +1,293 ノート:ペアノの公理 →原典について: 新しい節
2021年1月12日 (火)
- 09:502021年1月12日 (火) 09:50 差分 履歴 +474 数学的帰納法 →証明: 記述の整合性のために、ペアノの公理Vのオリジナルのスタイルを追記
- 06:412021年1月12日 (火) 06:41 差分 履歴 0 m 数学的帰納法 →背理法を組み合わせたもの: 節の順番にしたがい、「次に述べる」を「前に述べた」に修正
- 06:392021年1月12日 (火) 06:39 差分 履歴 +392 数学的帰納法 →証明: マークアップの修正と、文言の微調整
- 05:502021年1月12日 (火) 05:50 差分 履歴 +6 m ノート:数学的帰納法 マークダウンを修正 最新
- 05:492021年1月12日 (火) 05:49 差分 履歴 +621 ノート:数学的帰納法 疑問点2点追加
2020年12月4日 (金)
- 09:382020年12月4日 (金) 09:38 差分 履歴 0 m 食塩感受性高血圧 →概要: 「食塩」感受性に統一。不適切なら戻してください。
