主な公開記録

Wikipediaの取得できる記録をまとめて表示しています。 記録の種類、実行した利用者 (大文字小文字は区別)、影響を受けたページ (大文字小文字は区別) による絞り込みができます。

• 2022年7月2日 (土) 15:00 I.hidekazu 会話 投稿記録 がページ「Wikipedia:削除依頼/直観主義型理論」を作成しました (←新しいページ: 「=== {{Page|直観主義型理論}} === 初版訳出の際に要約欄に版の指定等を忘れた。Wikipedia:翻訳のガイドライン#要約欄への記入忘れ・誤記入の「翻訳投稿の際、要約欄に翻訳元記事へのリンクは書いたが、版指定を忘れた場合」に準拠して対応を行ったが、「上記以外の場合には、状況に応じ、版指定削除、全削除、あるいは即時削除を依頼…」)
• 2022年7月1日 (金) 13:07 I.hidekazu 会話 投稿記録 がページ「ノート:ミルズの構造化プログラミング」を作成しました (独自研究箇所を訂正しました。: 新しい節) タグ: 議論ツール 新規トピック ソースモード
• 2022年6月25日 (土) 14:04 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/ミルズの構造化プログラミング」を作成しました (「ミルズの構造化プログラミング」からのカテゴリ部分を除く転記)
• 2022年5月30日 (月) 13:17 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/クラス (プログラミング)」を作成しました (←新しいページ: 「オブジェクト指向プログラミングにおける'''クラス'''（{{lang-en-short|class}}）<ref>英語の class は、本来「分類」「種類」といった意味を持っている。</ref>とは、オブジェクトを生成するための設計図あるいはひな形に相当するものである。抽象データ型の一つ。クラスから生成したオブジェクトの実…」)
• 2022年3月26日 (土) 17:00 I.hidekazu 会話 投稿記録 がページ「第二基本形式」を作成しました (ページ「Second fundamental form」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2022年3月26日 (土) 14:52 I.hidekazu 会話 投稿記録 がページ「First fundamental form」を「第一基本形式」に移動しました (誤って英語の記事名のまま公開したため。)
• 2022年3月26日 (土) 14:49 I.hidekazu 会話 投稿記録 がページ「First fundamental form」を作成しました (ページ「First fundamental form」の翻訳により作成) タグ: 参考文献（出典）に関する節がない記事の作成 コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2022年3月3日 (木) 15:25 I.hidekazu 会話 投稿記録 がページ「ノート:一般相対性原理」を作成しました (方程式の一般共変性について: 新しい節)
• 2022年3月1日 (火) 16:16 I.hidekazu 会話 投稿記録 がページ「ノート:一般相対論の数学」を「ノート:一般相対性理論の数学」に移動しました (記事名にわざわざ一般相対論と略称を使う必要がないため)
• 2022年3月1日 (火) 16:16 I.hidekazu 会話 投稿記録 がページ「一般相対論の数学」を「一般相対性理論の数学」に、リダイレクトを残して移動しました (記事名にわざわざ一般相対論と略称を使う必要がないため)
• 2022年3月1日 (火) 16:16 I.hidekazu 会話 投稿記録 がリダイレクト「一般相対性理論の数学」を上書き削除しました (「一般相対論の数学」からの移動に伴う削除)
• 2022年2月20日 (日) 14:37 I.hidekazu 会話 投稿記録 がページ「ノート:一般相対論の数学」を作成しました (「一般相対性理論の数学」への改名提案: 新しい節)
• 2022年1月27日 (木) 13:49 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/ルイス＝トルマンの非ニュートン力学」を作成しました (←新しいページ: 「'''特殊相対性理論'''（とくしゅそうたいせいりろん、{{lang-de-short|Spezielle Relativitätstheorie}}、{{lang-en-short|Special relativity}}）とは、アルベルト・アインシュタインが1905年に発表した電磁気学の理論である。'''特殊相対論'''と呼ばれる事もある。 == 概説 == ファイル:Albert Einstein 1979 USSR Stamp.jpg|thumb|200px|この理論の誕生を記念するロシア…」) タグ: 曖昧さ回避ページへのリンク
• 2022年1月18日 (火) 14:17 I.hidekazu 会話 投稿記録 がページ「ノート:モナド (超準解析)」を作成しました (（情報提供依頼）圏論のモナドの名称の由来について: 新しい節)
• 2022年1月17日 (月) 13:46 I.hidekazu 会話 投稿記録 がページ「モナド (超準解析)」を作成しました (ページ「Monad (nonstandard analysis)」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2022年1月13日 (木) 14:18 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/ソーンダース・マックレーン」を作成しました (ページ「Saunders Mac Lane」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2022年1月12日 (水) 14:21 I.hidekazu 会話 投稿記録 がページ「ノート:ソーンダース・マックレーン」を作成しました (記事に関する質問を記載。)
• 2022年1月10日 (月) 14:31 I.hidekazu 会話 投稿記録 がページ「ガーレット・バーコフ」を作成しました (ページ「Garrett Birkhoff」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2021年10月23日 (土) 16:19 I.hidekazu 会話 投稿記録 がページ「ノート:接続 (幾何学)」を「ノート:接続 (微分幾何学)」に移動しました (「接続」概念は微分幾何学における概念であるから。)
• 2021年10月23日 (土) 16:19 I.hidekazu 会話 投稿記録 がページ「接続 (幾何学)」を「接続 (微分幾何学)」に移動しました (「接続」概念は微分幾何学における概念であるから。)
• 2021年9月22日 (水) 14:44 I.hidekazu 会話 投稿記録 がページ「/クリフォード・トルーズデル」を「クリフォード・トルーズデル」に移動しました (個人ページと間違えて"/"を入れてしまったため。)
• 2021年9月22日 (水) 14:43 I.hidekazu 会話 投稿記録 がページ「/クリフォード・トルーズデル」を作成しました (ページ「Clifford Truesdell」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2021年9月17日 (金) 15:25 I.hidekazu 会話 投稿記録 がページ「リーマン＝クリストッフェルのテンソル」を作成しました (←リーマン曲率テンソルへのリダイレクト) タグ: 新規リダイレクト
• 2021年9月15日 (水) 15:54 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/エルヴィン・クリストッフェル」を作成しました (←新しいページ: 「クリストッフェルは、1829年11月10日にプロイセン王国のMontjoie（現在のモンシャウ）で、布商人の子供として生まれた。はじめ彼は、自宅で語学と数学の教育を受けたあと、ケルンのイエズス会のギムナジウムとフリードリヒ・ヴィルヘルムのギムナジウムに通った。1850年にはフンボルト大学ベルリン|ベルリン大…」) タグ: 曖昧さ回避ページへのリンク
• 2021年9月15日 (水) 13:15 I.hidekazu 会話 投稿記録 がページ「ノート:数学的直観主義」を「ノート:直観主義 (数学の哲学)」に移動しました (あまり数学的直観主義とは英語でも言わないため。)
• 2021年9月15日 (水) 13:15 I.hidekazu 会話 投稿記録 がページ「数学的直観主義」を「直観主義 (数学の哲学)」に移動しました (あまり数学的直観主義とは英語でも言わないため。)
• 2021年8月28日 (土) 15:49 I.hidekazu 会話 投稿記録 がページ「Martin-Löfの型理論」を作成しました (直観主義型理論へのリダイレクト) タグ: 新規リダイレクト
• 2021年8月28日 (土) 15:48 I.hidekazu 会話 投稿記録 がページ「マルティン＝レーフの型理論」を作成しました (直観主義型理論へのリダイレクト) タグ: 新規リダイレクト
• 2021年8月28日 (土) 15:47 I.hidekazu 会話 投稿記録 がページ「構成的型理論」を作成しました (直観主義型理論へのリダイレクト) タグ: 新規リダイレクト
• 2021年8月28日 (土) 15:46 I.hidekazu 会話 投稿記録 がページ「直観主義型理論」を作成しました (英語版からの一部訳出)
• 2021年8月28日 (土) 14:59 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/直観主義型理論」を作成しました (ページ「Intuitionistic type theory」の翻訳により作成) タグ: コンテンツ翻訳 コンテンツ翻訳バージョン2
• 2021年8月27日 (金) 11:57 I.hidekazu 会話 投稿記録 がページ「ノート:タグ・プラウィッツ」を「ノート:ダグ・プラウィッツ」に移動しました (改名提案で審査した結果。)
• 2021年8月27日 (金) 11:57 I.hidekazu 会話 投稿記録 がページ「タグ・プラウィッツ」を「ダグ・プラウィッツ」に移動しました (改名提案で審査した結果。)
• 2021年8月17日 (火) 11:24 I.hidekazu 会話 投稿記録 がページ「利用者:I.hidekazu/ペール・マルティン＝レーフ」を作成しました (←新しいページ: 「{{Short description|Swedish logician, philosopher, and mathematical statistician}} {{Infobox scientist | name = Per Martin-Löf | image = Per MartinLoef.jpg | caption = Per Martin-Löf in 2004 | birth_date = {{birth date and age|1942|05|08|df=y}} | birth_place = Stockholm,<ref>''The International Who's Who: 1996-97'', Europa Publications, 1996, p. 1020: "Martin-Löf, Per Erik Rutger."</ref> Sweden |…」)
• 2021年8月16日 (月) 17:38 I.hidekazu 会話 投稿記録 がページ「ノート:タグ・プラウィッツ」を作成しました (←新しいページ: 「== 改名提案 == 記事名の「タグ・プラウィッツ」をスペルの読み通りダグ・プラウィッツ （Dag Prawitz）に改名することを提案します。 根拠： [https://www.keisoshobo.co.jp/book/b26610.html　リーディングス　数学の哲学] こちらの本における訳の紹介で「5　証明論の哲学的立場［ダグ・プラウィッツ／加地大介訳］」とあり、タグではなくダグの表記…」)
• 2021年4月24日 (土) 16:12 I.hidekazu 会話 投稿記録 がページ「利用者‐会話:Merliborn」を作成しました (←新しいページ: 「==米田の補題の証明について== こんにちは。先程米田の補題の記事の編集を頂きましたが、単射性の証明が私の…」) タグ: モバイル編集 モバイルウェブ編集
• 2021年2月1日 (月) 13:35 I.hidekazu 会話 投稿記録 がページ「ルイス=トルマンの非ニュートン力学」を作成しました (←新しいページ: 「'''ルイス=トルマンの非ニュートン力学'''（{{lang-en-short|Lewis-Tolman's non-Newtonian mechanics}}）とは、アメリカの物理…」)
• 2020年6月30日 (火) 15:06 I.hidekazu 会話 投稿記録 がページ「ハーラン・ストーン」を作成しました (英語版から一部訳出の上、新規作成した。)
• 2020年6月25日 (木) 14:43 I.hidekazu 会話 投稿記録 がページ「コンマ圏」を作成しました (コンマ圏の定義のうち特別な場合、下方（上方）の対象からなる圏の定義だけ記載の上、新規作成した。)
• 2020年6月20日 (土) 18:06 I.hidekazu 会話 投稿記録 がページ「ユージーン・ポドクレトノフ」を作成しました (英語版から一部訳出した上で新規作成した。)
• 2020年4月14日 (火) 14:21 I.hidekazu 会話 投稿記録 が (なし) から 拡張承認された利用者 に自動的に昇格しました
• 2020年4月2日 (木) 13:27 I.hidekazu 会話 投稿記録 がページ「ガロア接続」を作成しました (英語版 https://en.wikipedia.org/w/index.php?title=Galois_connection&oldid=944708964 からの部分訳)
• 2020年3月13日 (金) 13:37 I.hidekazu 会話 投稿記録 がページ「エウジニオ・モッジ」を作成しました (英語版 https://en.wikipedia.org/w/index.php?title=Eugenio_Moggi&oldid=896378856 から訳出)
• 2020年3月13日 (金) 13:06 I.hidekazu 会話 投稿記録 がページ「ハインリッヒ・クライスリ」を作成しました (英語版 https://en.wikipedia.org/w/index.php?title=Heinrich_Kleisli&oldid=869137074 から訳出) タグ: 参考文献（出典）に関する節がない記事の作成
• 2020年3月8日 (日) 07:36 I.hidekazu 会話 投稿記録 がページ「プログラム変数」を作成しました (←新しいページ: 「プログラミングにおける'''プログラム変数'''（ぷろぐらむへんすう、{{lang-en-short…」)
• 2020年3月2日 (月) 15:09 I.hidekazu 会話 投稿記録 がページ「ミルズの構造化プログラミング」を作成しました (goto-lessプログラミングをミルズの構造化プログラミングという記事として独立させた。)
• 2019年5月16日 (木) 13:18 I.hidekazu 会話 投稿記録 がページ「ノート:ルイス・イェルムスレウ」を「ノート:ルイ・イェルムスレウ」に移動しました (Louisであるが音韻的読みとしてはルイスではなくルイであり、解説本においてもルイと表記されているため。)
• 2019年5月16日 (木) 13:18 I.hidekazu 会話 投稿記録 がページ「ルイス・イェルムスレウ」を「ルイ・イェルムスレウ」に移動しました (Louisであるが音韻的読みとしてはルイスではなくルイであり、解説本においてもルイと表記されているため。)
• 2019年5月8日 (水) 12:47 I.hidekazu 会話 投稿記録 がページ「ノート:ルイス・イェルムスレウ」を作成しました (←新しいページ: 「== 改名提案 == 「ルイス・イェルムスレウ」となっていますが、読みとしては「ルイ」（力不足により発音記号は書…」)
• 2019年4月30日 (火) 13:16 I.hidekazu 会話 投稿記録 がページ「アンドリュー・ラッセル・フォーサイス」を作成しました (en:Andrew Forsyth 08:55, 22 September 2018(UTC)版からざっと訳出。) タグ: カテゴリを含まない記事の作成