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の意味になってしまうため)