Masahiro Sakaiの投稿記録

2022年5月8日 (日)

• 00:432022年5月8日 (日) 00:43 差分 履歴 −154 タコの山 スーパーキーレン公園のタコの山について衛星写真でも確認できた旨記載

2022年1月22日 (土)

• 08:132022年1月22日 (土) 08:13 差分 履歴 0 m 天上天下 →その他: 龍砲→龍咆

2022年1月6日 (木)

• 05:152022年1月6日 (木) 05:15 差分 履歴 −8 m 端数処理 停止問題の決定不能性の部分の表現を微修正

2021年9月10日 (金)

• 03:012021年9月10日 (金) 03:01 差分 履歴 0 m ゴールデンカムイ →「のっぺら坊」と入れ墨の脱獄囚: 争奪線→争奪戦 タグ: ビジュアルエディター: 中途切替

2021年8月27日 (金)

• 03:332021年8月27日 (金) 03:33 差分 履歴 +68 PP (計算複雑性理論) #P の困難さの説明で、原文にはあった P^#P = P^PP の記述を復活させた タグ: ビジュアルエディター: 中途切替

2021年5月4日 (火)

• 14:342021年5月4日 (火) 14:34 差分 履歴 +114 スティール・ボール・ラン →レース関係者・その他: レーススタッフの職業について修正

2021年4月11日 (日)

• 01:252021年4月11日 (日) 01:25 差分 履歴 +29 m 利用者:Masahiro Sakai →編集したことのある記事 最新 タグ: ビジュアルエディター: 中途切替

2021年3月23日 (火)

• 15:442021年3月23日 (火) 15:44 差分 履歴 +28 利用者:Masahiro Sakai →編集したことのある記事: 論理記号の一覧 タグ: ビジュアルエディター: 中途切替
• 15:422021年3月23日 (火) 15:42 差分 履歴 0 m 論理記号の一覧 →その他の論理記号: TRUEの説明で右辺と左辺が間違っているのを修正 タグ: ビジュアルエディター: 中途切替

2021年3月8日 (月)

• 07:052021年3月8日 (月) 07:05 差分 履歴 +31 利用者:Masahiro Sakai ルンゲ＝クッタ法 タグ: ビジュアルエディター: 中途切替
• 07:032021年3月8日 (月) 07:03 差分 履歴 +2 m ルンゲ＝クッタ法 →B-安定性: テスト方程→テスト方程式 タグ: ビジュアルエディター: 中途切替

2020年8月20日 (木)

• 06:242020年8月20日 (木) 06:24 差分 履歴 +14 利用者:Masahiro Sakai →編集したことのある記事 タグ: ビジュアルエディター: 中途切替
• 06:232020年8月20日 (木) 06:23 差分 履歴 0 Reiser4 オンラインリピーター→オンラインリパッカー タグ: ビジュアルエディター: 中途切替

2020年5月26日 (火)

• 23:342020年5月26日 (火) 23:34 差分 履歴 +31 利用者:Masahiro Sakai →編集したことのある記事
• 23:332020年5月26日 (火) 23:33 差分 履歴 −63 プラダを着た悪魔 映画と小説の相違点の誤訳修正

2018年2月27日 (火)

• 05:352018年2月27日 (火) 05:35 差分 履歴 −3 m Hack (プログラミング言語) gradual typing の定訳の「漸進的型付け」への変更 タグ: ビジュアルエディター

2016年4月6日 (水)

• 02:192016年4月6日 (水) 02:19 差分 履歴 +16 利用者:Masahiro Sakai →編集したことのある記事
• 02:182016年4月6日 (水) 02:18 差分 履歴 +1 有限体 リンク切れの修正

2016年2月1日 (月)

• 00:042016年2月1日 (月) 00:04 差分 履歴 +25 利用者:Masahiro Sakai →編集したことのある記事
• 00:032016年2月1日 (月) 00:03 差分 履歴 0 最大事後確率 誤訳の修正: MAP推定の結果は、ML推定で事前分布 g が一様分布の場合に一致 → MAP推定で事前分布 g が一様分布の場合の結果は、ML推定に一致

2015年7月24日 (金)

• 15:412015年7月24日 (金) 15:41 差分 履歴 +28 利用者:Masahiro Sakai 編集の要約なし
• 15:402015年7月24日 (金) 15:40 差分 履歴 +54 m 劣モジュラ関数 誤訳の修正

2014年10月19日 (日)

• 23:592014年10月19日 (日) 23:59 差分 履歴 +9 二階述語論理 The most general second-order logic の訳を修正
• 23:562014年10月19日 (日) 23:56 差分 履歴 +6 二階述語論理 誤訳修正: 汎用二階述語論理→全称量化二階述語論理

2014年9月11日 (木)

• 23:552014年9月11日 (木) 23:55 差分 履歴 +28 利用者:Masahiro Sakai 編集の要約なし
• 23:542014年9月11日 (木) 23:54 差分 履歴 +42 形式主義 (数学) 第二不完全性定理の前後の誤訳を修正

2012年9月16日 (日)

• 05:342012年9月16日 (日) 05:34 差分 履歴 −4 利用者:Masahiro Sakai 編集の要約なし
• 05:332012年9月16日 (日) 05:33 差分 履歴 0 構文解析 CKY法をより一般的な呼称であるCYK法に

2012年9月13日 (木)

• 00:042012年9月13日 (木) 00:04 差分 履歴 +62 利用者:Masahiro Sakai 編集の要約なし
• 00:002012年9月13日 (木) 00:00 差分 履歴 0 CYK法 構築的 → 構成的

2012年9月12日 (水)

• 23:522012年9月12日 (水) 23:52 差分 履歴 0 プリズン・ブレイクの登場人物 児童虐待 → 捕虜虐待

2012年6月7日 (木)

• 14:262012年6月7日 (木) 14:26 差分 履歴 +19 利用者:Masahiro Sakai 編集の要約なし
• 14:252012年6月7日 (木) 14:25 差分 履歴 +3 m 古典論理 ブール値意味 → ブール値意味論

2012年5月7日 (月)

• 14:302012年5月7日 (月) 14:30 差分 履歴 +49 利用者:Masahiro Sakai →編集したことのある記事
• 13:592012年5月7日 (月) 13:59 差分 履歴 0 m 24 -TWENTY FOUR- の登場人物 typo修正

2010年12月19日 (日)

• 02:252010年12月19日 (日) 02:25 差分 履歴 +25 利用者:Masahiro Sakai →編集したことのある記事
• 02:252010年12月19日 (日) 02:25 差分 履歴 +6 二階述語論理 effectivenessの訳を「有効性」からより一般的な訳語である「実効性」に。

2010年12月12日 (日)

• 06:022010年12月12日 (日) 06:02 差分 履歴 +108 N 利用者:Masahiro Sakai ←新しいページ: '最近始めてみました。 == 編集したことのある記事 == * ゲーデルの完全性定理'

2010年12月9日 (木)

• 23:272010年12月9日 (木) 23:27 差分 履歴 +12 ゲーデルの完全性定理 enumerableの訳を「可算」から「枚挙可能」に変更。(「可算」だとcountableの意味になってしまうため)