Qnighyの投稿記録

2019年12月8日 (日)

• 03:122019年12月8日 (日) 03:12 差分 履歴 +88 遠野渚 本人のブログが移転していたため追記

2019年12月1日 (日)

• 05:372019年12月1日 (日) 05:37 差分 履歴 +345 大塚公園 (八王子市) 指定管理者の名称とWebサイトが変わっていたため修正

2019年10月12日 (土)

• 06:402019年10月12日 (土) 06:40 差分 履歴 0 m Salsa20 「ラウンド数と処理時間は反比例」→「ラウンド数と処理速度は反比例」に修正

2018年2月5日 (月)

• 13:192018年2月5日 (月) 13:19 差分 履歴 +1 小柴ホール 先ほど直接現地で確認したところ縦横比は4:3ではなく16:9のようでした。参照できる資料はないので削除でもよいかもしれません。

2017年12月9日 (土)

• 06:072017年12月9日 (土) 06:07 差分 履歴 +25 セル・オートマトン 一斉射撃問題を関連項目に追加

2017年11月28日 (火)

• 09:422017年11月28日 (火) 09:42 差分 履歴 0 m ポラード・ロー離散対数アルゴリズム 冒頭部のS_0, S_1, S_2を入れ替え (アルゴリズムの節と一致させるため)
• 09:392017年11月28日 (火) 09:39 差分 履歴 +70 ポラード・ロー離散対数アルゴリズム 数式部分が正しく表示されるようにする
• 09:282017年11月28日 (火) 09:28 差分 履歴 +6,770 N ポラード・ロー離散対数アルゴリズム ページ「Pollard's rho algorithm for logarithms」の翻訳により作成 タグ: コンテンツ翻訳

2017年11月26日 (日)

• 08:442017年11月26日 (日) 08:44 差分 履歴 +45 利用者:Qnighy/sandbox user sandbox listを追加 最新
• 08:302017年11月26日 (日) 08:30 差分 履歴 +1,460 利用者:Qnighy/高階モデル検査 定義を足した
• 07:042017年11月26日 (日) 07:04 差分 履歴 +1,289 利用者:Qnighy/高階モデル検査 なんか途中
• 06:462017年11月26日 (日) 06:46 差分 履歴 +1,637 N 利用者:Qnighy/高階モデル検査 初稿

2017年11月21日 (火)

• 13:232017年11月21日 (火) 13:23 差分 履歴 +575 パリティゲーム コンテンツ翻訳ツールからの出力に抜けがあったので修正 + ささいなtypoの修正
• 13:182017年11月21日 (火) 13:18 差分 履歴 +12,037 N パリティゲーム ページ「Parity game」の翻訳により作成 タグ: カテゴリを含まない記事の作成 コンテンツ翻訳

2017年11月11日 (土)

• 10:122017年11月11日 (土) 10:12 差分 履歴 −1 F代数 「F余代数」というタイトルの記事を作成したので、リンクを修正。
• 10:102017年11月11日 (土) 10:10 差分 履歴 +53 F余代数 コンテンツ翻訳ツールから出力したところ抜け落ちた部分の修正
• 10:092017年11月11日 (土) 10:09 差分 履歴 +735 F余代数 コンテンツ翻訳ツールから出力したところ大量の文言が抜け落ちてしまったので修正。
• 10:032017年11月11日 (土) 10:03 差分 履歴 −247 F余代数 コンテンツ翻訳でついてしまったnowikiを外す
• 10:002017年11月11日 (土) 10:00 差分 履歴 +5,965 N F余代数 ページ「F-coalgebra」の翻訳により作成 タグ: コンテンツ翻訳

2017年11月10日 (金)

• 13:082017年11月10日 (金) 13:08 差分 履歴 +170 N 利用者:Qnighy/sandbox 新規作成; サンドボックス用サブページへの参照を追加
• 13:052017年11月10日 (金) 13:05 差分 履歴 +157 N 利用者:Qnighy 新規作成; Twitterアカウントへの参照を追加 最新
• 12:282017年11月10日 (金) 12:28 差分 履歴 −1 日本空間 (位相空間論) A. Dowらが命名したのは原語のJapanese spaceであって、訳語(「日本空間」)を決めたわけではないことが明確になるように記述を修正。 最新
• 12:242017年11月10日 (金) 12:24 差分 履歴 +114 日本空間 (位相空間論) 用語の原語表記 (Japanese, weakly Japanese) に言及
• 06:322017年11月10日 (金) 06:32 差分 履歴 +91 日本空間 (位相空間論) 性質の節で、チホノフを仮定するように変更。より弱い分離公理で置き換えられるかもしれないが、とりあえず間違いのない記述にするために論文と同じ仮定を用いる。
• 05:322017年11月10日 (金) 05:32 差分 履歴 +2,219 N 日本空間 (位相空間論) 利用者:Qnighy/日本空間_(位相空間論) で執筆していたものを移動。
• 05:262017年11月10日 (金) 05:26 差分 履歴 +159 利用者:Qnighy/日本空間 (位相空間論) 弱日本→日本が未解決であることに言及 最新
• 05:102017年11月10日 (金) 05:10 差分 履歴 +674 利用者:Qnighy/日本空間 (位相空間論) 性質、名称の由来、参考文献を加筆
• 04:222017年11月10日 (金) 04:22 差分 履歴 +731 利用者:Qnighy/日本空間 (位相空間論) 弱日本の定義を追加

2017年11月9日 (木)

• 13:552017年11月9日 (木) 13:55 差分 履歴 +536 N 利用者:Qnighy/日本空間 (位相空間論) 定義をとりあえず書いた
• 13:162017年11月9日 (木) 13:16 差分 履歴 +4 実効ポーランド空間 「計算可能」からのリンク先を「μ再帰関数」から「計算可能関数」に変更
• 13:122017年11月9日 (木) 13:12 差分 履歴 +4 m 実効ポーランド空間 ポーランド空間へのリンクを追加
• 13:102017年11月9日 (木) 13:10 差分 履歴 +2 m 実効ポーランド空間 かっこが閉じていなかったのを修正
• 13:092017年11月9日 (木) 13:09 差分 履歴 +1,209 N 実効ポーランド空間 ページ「Effective Polish space」の翻訳により作成 タグ: コンテンツ翻訳

2017年11月8日 (水)

• 12:492017年11月8日 (水) 12:49 差分 履歴 +730 利用者:Qnighy/双代数 (圏論) 双代数の定義を追加 最新
• 12:382017年11月8日 (水) 12:38 差分 履歴 +951 N 利用者:Qnighy/双代数 (圏論) 双代数の定義を書いてみた

2017年10月29日 (日)

• 13:492017年10月29日 (日) 13:49 差分 履歴 +1,223 RGSS Rubyバージョンの記述を修正。RGSS3に関する記述を追加。

2017年10月25日 (水)

• 06:222017年10月25日 (水) 06:22 差分 履歴 +24 m NLab 圏論とホモトピー論にリンクを追加
• 06:182017年10月25日 (水) 06:18 差分 履歴 +26 m NLab タイトルの表示をnLab(nはイタリック)に変更
• 06:142017年10月25日 (水) 06:14 差分 履歴 +4 m NLab Steve Awodeyの人名をリンクに
• 06:132017年10月25日 (水) 06:13 差分 履歴 +134 m NLab 参考文献を修正
• 06:112017年10月25日 (水) 06:11 差分 履歴 +4,597 N NLab ページ「NLab」の翻訳により作成 タグ: コンテンツ翻訳

2017年10月24日 (火)

• 14:312017年10月24日 (火) 14:31 差分 履歴 −17 m 一斉射撃問題 mvarが露出しているのを修正
• 14:302017年10月24日 (火) 14:30 差分 履歴 +8,880 N 一斉射撃問題 ページ「Firing squad synchronization problem」の翻訳により作成 タグ: コンテンツ翻訳

2015年5月28日 (木)

• 09:582015年5月28日 (木) 09:58 差分 履歴 +3 対称行列 en:Symmetric matrix oldid=595180392 からの和訳で、誤訳によって誤った内容になっていたのを修正。
• 04:162015年5月28日 (木) 04:16 差分 履歴 +33 クラス (集合論) 超実数(hyperreal)を超現実数(surreal number)に修正

2015年5月1日 (金)

• 09:052015年5月1日 (金) 09:05 差分 履歴 −15 束 (束論) en:Lattice_(order) oldid=659890422 を参考に、訳を修正

2015年4月26日 (日)

• 07:012015年4月26日 (日) 07:01 差分 履歴 +1,246 依存型 ラムダ・キューブにおける狭義の依存型についての説明
• 06:242015年4月26日 (日) 06:24 差分 履歴 +93 依存型 依存型を用いた多相関数の例を別のものに変更
• 05:522015年4月26日 (日) 05:52 差分 履歴 +50 依存型 定数関数の部分をわかりやすくなるように変更
• 05:492015年4月26日 (日) 05:49 差分 履歴 +9,873 依存型 en:Dependent type oldid=655156127 をHistoryからSimultaneous Programming language and Logicまで翻訳