「利用者‐会話:I.hidekazu」の版間の差分
337行目: | 337行目: | ||
* 投稿ブロックの審査中に?なんで?--[[利用者:I.hidekazu|I.hidekazu]]([[利用者‐会話:I.hidekazu|会話]]) 2022年4月23日 (土) 14:33 (UTC) |
* 投稿ブロックの審査中に?なんで?--[[利用者:I.hidekazu|I.hidekazu]]([[利用者‐会話:I.hidekazu|会話]]) 2022年4月23日 (土) 14:33 (UTC) |
||
** 投稿ブロックの審査中は記事をそのままの状態で残しておかないというルールは無いと思うので関係ないんじゃないでしょうか。独自研究を載せないというのはウィキペディアの基本方針ですから、それが守られている状態を維持しないといけないわけで、「[[ミルズの構造化プログラミング]]」は早めに修正する必要があります。以前コメント依頼でこういう発言([[特別:差分/83260983]])がありましたので、「[[ミルズの構造化プログラミング]]」はこちらで対応する前に確認を取っているのです。この発言は当然「問題のある記事を修正する予定だったが、ちょっと時間が取れなかった間に修正されてしまった。それを尻拭いと言われるのは遺憾である」という意味だと私は理解していますので、I.hidekazuさんが対応する予定があるのかどうか確認しているのです。--[[利用者:Kik|Kik]]([[利用者‐会話:Kik|会話]]) 2022年4月23日 (土) 20:22 (UTC) |
** 投稿ブロックの審査中は記事をそのままの状態で残しておかないというルールは無いと思うので関係ないんじゃないでしょうか。独自研究を載せないというのはウィキペディアの基本方針ですから、それが守られている状態を維持しないといけないわけで、「[[ミルズの構造化プログラミング]]」は早めに修正する必要があります。以前コメント依頼でこういう発言([[特別:差分/83260983]])がありましたので、「[[ミルズの構造化プログラミング]]」はこちらで対応する前に確認を取っているのです。この発言は当然「問題のある記事を修正する予定だったが、ちょっと時間が取れなかった間に修正されてしまった。それを尻拭いと言われるのは遺憾である」という意味だと私は理解していますので、I.hidekazuさんが対応する予定があるのかどうか確認しているのです。--[[利用者:Kik|Kik]]([[利用者‐会話:Kik|会話]]) 2022年4月23日 (土) 20:22 (UTC) |
||
== 「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」が独自研究であることについて == |
|||
I.hidekazuさんは[[Wikipedia:投稿ブロック依頼/I.hidekazu]]において、以下を出典として挙げられています。 |
|||
<blockquote> |
|||
: ここでの「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」というのは当時p.107,108だけに基づいたものではなく、それに加えて『リーマン幾何とその応用』の訳者の矢野健太郎氏の解説 p.208,209も参考にした記述で、引用すると、 |
|||
{{Quotation|アインシュタインはまず、特殊相対性原理の代わりに、 |
|||
:(1)すべての物理法則は、互いに任意の運動をするすべての観測者に対して同一の形式で与えられる('''一般相対性原理''') |
|||
ということを要求した。 |
|||
・・・中略・・・ |
|||
まず、上の第1の一般相対性原理は、物理法則を |
|||
:(テンソル)=0 |
|||
の形に書き表すことによって満足される。なぜなら、テンソルの成分がある座標系においてすべて0であれば、その成分は、変換法則からわかるように、他のすべての座標系においても、すべて0であるからである。|リーマン幾何とその応用,p.208,209}} |
|||
:という記述です。一応言っておけば訳者解説は二次資料ですし、そもそもここは今問題とすべき箇所ではないと思います。嘘というのは人聞きが悪いのでここも訂正していただきたい。 |
|||
: 独自研究かどうかということについてですが、(テンソル)=0ということの意味を式で表現しようとすることがそれに該当するのでしょうか? |
|||
</blockquote> |
|||
しかし、この出典で主張されているのは「アインシュタインは一般相対性原理を公理に採用した」と「物理法則が(テンソル)=0と書かれていれば、それは一般相対性原理を満たす」の2点であり、「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」という主張はなされていません。そもそも、一般相対性原理を公理として採用した上に「自然の一般法則は(テンソル)=0で書ける」も仮定することは論理的におかしいことです。後者を仮定すると前者は必然的に成り立つわけですから、前者は公理として重複していることになり全くの無駄です。以後こういうことがないように、[[WP:NOR]]をよく読んでください。特に「'''独自研究ではないことを示す唯一の方法は、その記事の主題に直接関連のある情報を提供している信頼できる資料を参考文献として記し、その資料に記された内容に忠実に記述することです。'''」が守られているかを出典を挙げる前に自分で確認してください。--[[利用者:Kik|Kik]]([[利用者‐会話:Kik|会話]]) 2022年4月23日 (土) 20:47 (UTC) |
2022年4月23日 (土) 20:47時点における版
ウィキペディア日本語版へようこそ! | |||
---|---|---|---|
こんにちは、I.hidekazuさん。はじめまして! ウィキペディア日本語版へようこそ!
|
「圏論」の記事について
こんにちは.NGiraffe といいます.圏論関連の記事の編集お疲れ様です.標記の記事を読ませて頂き,幾つか気が付いたことがありますので余計なお世話と思いつつコメントしに参りました.
- 2011年 8月の版で記載されていた「歴史」と「他分野への影響」が最新版では無くなっています.百科事典の性格上,主題がどのように定式化されてきたか,他の主題とどのように関連しているかを記載するのは有益であると思います.プロジェクト:数学#数学記事の構造として提案されているものもご参照ください.
- リンクが殆どなく,web で閲覧する事典の利点が生かされていません.無理にリンクの数を増やす必要はありませんが,記事内で説明のされない「線型空間」「(余)ドメイン」や,独立記事が存在する「自然変換」「関手」などにはリンクが必要かと思います.
- おそらく別行立ての数式と思われる行が引用を示すマークアップで記載されていて,他の記事と比較したときに違和感があります(たとえば「関手(functor)」の節の第三パラグラフ homC(A,B) = {f | f は C の射 f : A → B} など).プロジェクト:数学#TeXを利用するには,このような場合「行頭にコロン(:)を置く」という方法が紹介されています.
単なる一編集者の感想で私が誤解している部分もあるかと思いますが,今後の編集の際の参考になれば幸いです.NGiraffe(会話) 2012年7月1日 (日) 15:53 (UTC)
回答
下記のとおり回答する。
「歴史」、「他の分野への影響」の項目について。
- 「歴史」項目の削除を行った理由
過去の「歴史」項目の記述には誤り及び思い込みによる記述が多く多分に不要な先入観を与えるものであり、圏論の理解の大きな妨げになっていたため。
- ガロア、ネーターに関する記述はほぼこじつけ
- ブルバキに関する記述は年代の順序がおかしい。普遍性については圏論の登場以後である。サミュエルの普遍写像性問題に一切触れていない。
- 圏論は代数的位相幾何の問題が始まりではなく群の指標に関するものが大元である。
再度の記載についてはLeo Corry の Modern Algebra and the Rise of Mathematical Structures を元に記載を行う予定である(未定)。
- 「他の分野への影響」項目の削除を行った理由
記載内容の正当性を確認できる信頼出来る文献が見当たらず、その正当性に大きな疑念があった。また、圏論の関連項目として記載があるがこれはホモロジー代数の関連項目である。
こちらの項目については、納得できる根拠からなる文献を見つけることができた際に順次記載を行う予定である(未定)。
リンク箇所が少ないことについて
単語にリンクを付与する行為も記述行為であると理解している。リンク先の記述内容が要領を得ず意味不明である場合、リンクを付与する行為はリンク元の記述内容の理解をも混乱させる。リンク項目が存在するとしてもそのような不誠実な行為を行うことは甚だ受け入れがたく、要請に応えることはできない。ただし、リンク先の記述が改められた場合はこの限りではない。
数式については引用ではなく「行頭にコロン(:)を置く」ことにすることについて
了解した。但し、数式を引用している場合は引用を行う。
---I.hidekazu(会話) 2012年7月2日 (月) 12:06 (UTC)
- ご回答ありがとうございます.将来歴史や他分野との関連について執筆される予定であるとのことで,記事の充実を楽しみに待ちたいと思います.リンクについても了解しました.NGiraffe(会話) 2012年7月3日 (火) 14:17 (UTC)
ファイル:ProductDiag.pngには著作権上の問題があります
![]() |
著作権の状態が不明です |
こんにちは。ファイル:ProductDiag.pngをアップロードして頂き、ありがとうございます。しかし、この画像(ファイル)には著作権の状態またはライセンスが明記されていないため、著作権上の問題があります。出典とライセンスのないファイルは、1週間後に削除されますので御注意ください。
ウィキペディアにアップロードされるすべてのファイルは、画像利用の方針に従っており、かつ詳細な出典とライセンスが明記されている必要があります。ファイルの著作権表示タグを参照し、適切なライセンスを表すタグを貼付してください。どうぞよろしくお願いします。
出典とライセンスを明記する際はファイルページにアクセスし「編集」タブをクリックして記載してください。同ファイルを再アップロードしても記入した内容は反映されません。
重要: あなたがこのファイルの他にもファイルをアップロードされているならば、あなたのアップロード記録を見て、他のファイルにも同様に出典とライセンスが明記されているかどうか今すぐ確認してください。それらのファイルや、今後あなたがアップロードされたファイルに出典やライセンスが記載されていなければ、同様に削除されます。 203.90.20.40 2013年1月1日 (火) 05:52 (UTC)
記事の移動
記事の移動は改名提案とその合意形成後に『移動コマンド』で行ってください。
移動は編集画面上部 ▼ にあります。詳しくはWikipedia:ページの改名参照。--LearningBox(会話) 2013年4月22日 (月) 05:09 (UTC)
- 移動コマンド及び合意形成について存じませんでした。お教えいただきありがとうございます。改名の案を提出したいと思います。
--I.hidekazu(会話) 2013年4月22日 (月) 14:07 (UTC)
一括投稿のお願い
こんにちは。I.hidekazuさんが同じ記事に対して節ごとに分けて連続して投稿されているようでしたので、一括投稿のお願いに参りました。Wikipedia:同じ記事への連続投稿を減らすにあるとおり、同じ記事への連続投稿は履歴の見通しが悪くなるなど、さまざまな面で支障をきたすおそれがあります。細かい節がたくさんある場合は、節ごとに細かく投稿をするのではなく、上位の節または項目全体の編集を行い、一括して投稿していただきますようにお願いいたします。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c1/Preview_in_Japanese_Wikipedia_before_2014.png/500px-Preview_in_Japanese_Wikipedia_before_2014.png)
その際に細かいところでミスを起こすのではないかと心配な場合は、「投稿する」ボタンの右隣にある「プレビューを実行」ボタンを活用されることをお勧めします(画面右側の図を参照)。投稿される前に「プレビューを実行」のボタンを押すと、成形結果を先に見ることができます。これを使うことで、
などをあらかじめチェックし、修正した上で記事を投稿することができますので、是非ともご活用ください。
また、編集競合を避けたい場合は、Template:Inuseをお使いください。ご迷惑をおかけしますが、ご理解とご協力をよろしくお願いします。--Kiruria281(会話) 2013年6月1日 (土) 15:20 (UTC)
努力します。--I.hidekazu(会話) 2013年6月1日 (土) 15:30 (UTC)
数学基礎論記事について
ノート:数学基礎論にてあなたの編集方針について疑問を提示しましたので返事をいただけると幸いです。--Tkcom(会話) 2013年8月22日 (木) 04:49 (UTC)
- 回答を行った。--I.hidekazu(会話) 2013年8月22日 (木) 13:24 (UTC)
等価線量について
はじめまして(ですよね?)。等価線量にて参考文献を追加されていますが、執筆者の皆様はこの参考文献を元に記事を書いたのでしょうか?そうでなければ「関連文献」とするか外部リンクに含めるべきだと思います。--JapaneseA(会話) 2013年10月12日 (土) 16:41 (UTC)
- 確かにそうですね。関連文献としても外部リンクとしても関連性が薄いので一旦削除しておきます。--I.hidekazu(会話) 2013年10月12日 (土) 20:19 (UTC)
放射能について
放射能で出典の17番目がおかしくなっています。修正御願いします。--JapaneseA(会話) 2013年11月5日 (火) 15:13 (UTC)
- 対応した。--I.hidekazu(会話) 2013年11月5日 (火) 16:57 (UTC)
記事間をまたぐ編集における注意事項
おはようございます。I.hidekazu様は放射線関連の記事に対し、大量の編集をされているようですが、それに関して少々。御存知でしょうが、放射線関連の記事は被曝に放射線の説明があったり、その逆だったりしてカオス状態でした。かねてより問題だと思っておりましたが、是正するにはあまりにもごちゃごちゃ過ぎて手をこまねいておりました。それをI.hidekazu様が正しく是正されているのであれば、好ましい事だと思いますし、応援致します。ただ、この際気をつけて頂きたいのが、記事を跨いだ記述の移動などです。ルールとして要約蘭に履歴継承が必要な事は勿論ですが、統合提案や分割提案が必要な場合もあります。このような事は先刻御承知でしょうし、このような事を申し上げるのは失礼かと思いましたが、私の会話ページに他者様より危惧する声もあり、転ばぬ先の杖として申し上げました。どうか気を悪くされないで下さい。--JapaneseA(会話) 2013年12月5日 (木) 22:37 (UTC)
- お知らせいただきありがとうございます。項目を跨がるものについては、なるべく該当する項目記事の方に記述するべきなので、該当記事の方にすでに書かれている場合はなるべくその記事への案内に代えてます。お知らせのとおり、統合提案、分割提案が必要な場合は提案します。
- ただ、関連記事に記載されている一文や一段落を移動させる場合は、提案は必要ない理解していますので、その場合は要約欄にどこの記事から移動させてきたかということを記載した上で記述を移動させています。もし問題がありましたらお手数ですが、またお知らせいただければありがたいです。--I.hidekazu(会話) 2013年12月6日 (金) 14:36 (UTC)
告知について
こんばんわ。こちらの利用者ページにもアカウント「原子力関連記事編集」はI.hidekazu様と同一人物だという告知が必要かと思います。--JapaneseA(会話) 2013年12月28日 (土) 09:45 (UTC)
- いやーはじめに話しておいてよかったです。どうもどうも。対応します。ただちょっと考えたのですが、二つ使うのはやっぱり大変かな、と思い直したりもしちゃいますね。どうしようかな。。--I.hidekazu(会話) 2013年12月28日 (土) 10:29 (UTC)
- 私は2つ使っていますが、結構大変です。同じ分野は同じアカウントで編集したいのですが、誤字修正や分野の境界線にあるような記事だと非常に悩ましいです。なお、これまで1つめのアカウントで編集していた記事を、新アカウントで編集する際は、要約蘭に「I.hidekazu=原子力関連記事編集です」のような一言を入れるべきでしょう。--JapaneseA(会話) 2013年12月28日 (土) 10:35 (UTC)
- そうですね。わかりました。--I.hidekazu(会話) 2013年12月29日 (日) 06:08 (UTC)
- 私は2つ使っていますが、結構大変です。同じ分野は同じアカウントで編集したいのですが、誤字修正や分野の境界線にあるような記事だと非常に悩ましいです。なお、これまで1つめのアカウントで編集していた記事を、新アカウントで編集する際は、要約蘭に「I.hidekazu=原子力関連記事編集です」のような一言を入れるべきでしょう。--JapaneseA(会話) 2013年12月28日 (土) 10:35 (UTC)
ボレル集合の改名提案について
標記の件ですが、Wikipedia:改名提案での告知およびボレル集合に貼付された告知タグにあるノート:ボレル集合にて改名提案を起こされた跡がございません。これでは告知不十分と言うより、提案そのものを行っているとは言えません。よって、改名したいのであれば、ノート:ボレル集合に提案をしていただき、1週間以内に異論が出ないのを待って改名するようにしてください。現状では改名したとしても、改名提案なき改名として差し戻し改名となります。以上よろしくお願いいたします。--Don-hide(会話) 2013年12月28日 (土) 12:43 (UTC)
- 了解しました。--I.hidekazu(会話) 2013年12月29日 (日) 06:08 (UTC)
マイケルソン・モーリーの実験について
ノート:マイケルソン・モーリーの実験にも書きましたが、実験の目的についての記述は、正しくそのように参考文献に記されているのでしょうか? と、いいますのも、この実験が行われた時代には光速が不変であるとは信じられておらず、マイケルソンやモーリーも「光速度 c」という物理定数が存在するとは思っていなかったたはずです。従って、そもそも「(v/c)^2 を検出しよう」という発想は生じないと考えられます。参考文献には「特殊相対性理論の観点からいえば、このように意味付けすることもできる」というような表記になっているのではないでしょうか?Francesco Nagoya(会話) 2014年2月26日 (水) 04:20 (UTC)
- 追記です。en:Michelson-Morley experimentが充実してきているので差分の翻訳・転載を作業中です。User:Francesco Nagoya/マイケルソン・モーリーの実験これによると、Maxwellは、(v/c)^2を検出できる程の測定精度が必要だ、と述べ、Michelson-Moreyは、それに応えられる精度の実験を行おうとしたようです。すなわち、(v/c)^2は目的ではなく、測定精度のことを言っているのでしょうか?--Francesco Nagoya(会話) 2014年2月26日 (水) 09:40 (UTC)
- 問題にしているのは光速と地球の速さの比(β = v/c)です(最初に問題にしたのはマックスウェルです)。トムソンの質量電荷比 e/m を求める実験で、e や m が不変かどうかはわからないのと同じく、比の存在と光の速さ c が不変かどうかは別問題だと思います。--I.hidekazu(会話) 2014年2月26日 (水) 12:48 (UTC)
- 言葉足らずなので追加です。マックスウェルが測定を依頼というか、そういう測定ができないといけないと伝えたのは、マイケルソンとモーレーじゃなくて、デイヴィッド・ペック・トッドという人です。マイケルソンはその人の同僚だったのでそのマックスウェルの話(手紙)を知って、β2 を検出する実験を始めることになったんです。実は、マイケルソンのみで一回ロシアで実験したりしているのですが、誤差が大きくてあまり信じられなかったようです。モーレーは後で一緒に実験をすることになったんです。詳しくは [1] の六章を読んでください。--I.hidekazu(会話) 2014年2月26日 (水) 12:57 (UTC)
- お返事ありがとうございます。en:Michelson-Morey experimentでは唐突にMaxwellがβ2などと言い出しているように読めて、いまいち意味がよくわからず、ローレンツ変換あたりの話と混乱があるのかと、首をかしげておりました。Maxwellはエーテル問題とは半ば独立に、(今日でいう)電磁波の性質を巡る議論から出発したのでしょうか。ご紹介の文献にあたってみます。--Francesco Nagoya(会話) 2014年2月26日 (水) 14:27 (UTC)
- β2 についてはやはりエーテルの存在を示すために問題視されたものです。おっしゃるとおり詳しくはその文献読んでください。私も今、調べている最中の話が多いので、はっきりしたことはわからないです。--I.hidekazu(会話) 2014年2月28日 (金) 15:07 (UTC)
- また補足ですが、気をつけるべきは光と電磁波が同一のものだという話になったのはマックスウェルの理論以降だということです。エーテルの存在を強く主張したのは確かフレネルだったハズですが、それは光を伝達しているものはエーテルだ、という話であって電場と磁場の伝達については関知してないです。マックスウェルは電磁気理論を設計するにあたってほぼ間違いなく流体力学の一種として設計したのですが、その電磁場を媒介する物質は何がふさわしいか?という課題に対してエーテルを持ち込んだということなのだと思います(ただ、しっかりした資料を見つけてないので推測が入っている可能性はあります)。
- ちょっと話が飛んでるような内容ですが、その区分けをしとかないと意味がわからないところが出てくることがあるので参考までに。--I.hidekazu(会話) 2014年2月28日 (金) 15:24 (UTC)
- お返事ありがとうございます。en:Michelson-Morey experimentでは唐突にMaxwellがβ2などと言い出しているように読めて、いまいち意味がよくわからず、ローレンツ変換あたりの話と混乱があるのかと、首をかしげておりました。Maxwellはエーテル問題とは半ば独立に、(今日でいう)電磁波の性質を巡る議論から出発したのでしょうか。ご紹介の文献にあたってみます。--Francesco Nagoya(会話) 2014年2月26日 (水) 14:27 (UTC)
自然変換について
Kikさんと同じように以前の版に戻しました。内容についての批判ではなく記事構成の問題ですのでI.hidekazuさんの知識を批判しているわけではないことは予め断っておきます。圏 (数学)を読んでいたら自然変換という言葉がひっかかったので、自然変換という記事に飛んだら定義は圏 (数学)へ戻されるという形は好ましくありません。異なる記事間で内容の重複をさせすぎるのも好ましくないかもしれませんが、重複を嫌い過ぎるのも好ましくありません。2つの記事が別個に存在する場合、基本的には自然変換の記事には自然変換の詳細な説明が書かれ、それを含む圏 (数学)という大きな分野の項目の方に自然変換を入れるときは簡単な要約(詳しい事は自然変換の項目を見てください)という形であるべきと思います。定義ではなく些末な応用的な事で圏 (数学)に書いた方が妥当というような内容であればそちらに移動しても構わないと思いますが、定義節は説明の本体の部分に含まれると考えられる内容なのでKikさんのされた通り戻すという選択をしました。ご了承いただければ幸いです。--Sureturn(会話) 2014年11月30日 (日) 15:01 (UTC) 自然変換の記事を元に戻させてもらい、定義を記載しました。--I.hidekazu(会話) 2014年12月3日 (水) 13:12 (UTC)
- それと上記の#一括投稿のお願いと同じですが、複数の版を取り消したい場合、取り消し機能を繰り返し多用して履歴を積み重ねなくても戻したい版を開いて編集画面を開いて要約欄にその版に戻した事を書いておけば十分で、無駄に履歴を重ねずに済みます。--Sureturn(会話) 2014年12月2日 (火) 02:28 (UTC)
ありがとうございます。それは知りませんでした。てっきり特別な権限を持ったユーザのみが使用可能な機能だと思っていました。Kikさんのように書籍を購入して読み込んだ上で書いている部分についても一括で消されてしまうと立ち直るのに時間がかかります。独自研究的な深みにはまったものは仕方ありませんが、正当な文献にはっきりと記載してあることについてまで知られていないからという理由で消されてしまうのは正直納得いきません。学者の世界だけに閉じた話ならまだしも一般の人に知られたもので誤解がはびこり、不毛な論争が発生して問題だと思われるものについては、その誤解は解かないといけないものだと思うからです。 一括投稿については努力しているのですが、あまり守れておらず申し訳ないです。--I.hidekazu(会話) 2014年12月3日 (水) 13:12 (UTC)
- 一括で消してるというのは間違いです。元あった記事とあなたが最初から全て書き直した記事を比較して、まともなほうを残しているだけです。元あった記事を書いた人だってあなたに一括で消されてしまったと思ってますよ。元の記事がある場合はそれを書いた人の努力も尊重してください。一から書き直さないといけない記事なんてほとんどないはずです。あと、あなたの型付きラムダ計算は無茶苦茶です。本を読んで勉強しているとは全く思えません。 --Kik(会話) 2015年1月18日 (日) 12:51 (UTC)
- とくに理由ないのに消すのやめてもらえますか。なんといわれましても私のお金と時間をかけて調べたものです。--I.hidekazu(会話) 2015年1月19日 (月) 11:50 (UTC)
- それはこちらのセリフです。自然変換の元の記事は今より12kBも多かったんですよ。説明画像も豊富な例も載っていたのにどうして消してしまうのですか? --Kik(会話) 2015年1月19日 (月) 15:40 (UTC)
- 圏論は自然さの概念を定式化するために導入されました。自然でない変換というものは考えることはありません。ほか例については二重双対空間については挙げています。--I.hidekazu(会話) 2015年1月20日 (火) 15:26 (UTC)
- それはこちらのセリフです。自然変換の元の記事は今より12kBも多かったんですよ。説明画像も豊富な例も載っていたのにどうして消してしまうのですか? --Kik(会話) 2015年1月19日 (月) 15:40 (UTC)
- まずフォーマルな文章の書き方をもう少し学んでください。あなたの書き方では二重双対空間は例になっていません。これが例として正しく記述されるためには、圏として何を定めるか(この場合は有限次元線形空間の圏)、2つの関手として何を選ぶか(恒等関手と二重双対関手)、最後に変換のコンポーネントに何を選ぶか(長いので元の記事参照)を全て記述して初めて例として記述されるのです。
- 次に、元の記事では自然にならない例として双対空間が載っていました。こちらの例のほうがはるかに大切ですし、とても長い解説がついていました。これを消す理由があるとは思えません。
- 最後についでですが、「^ つまりVにおいて自然である。」などのような脚注の付け方はやめてください。圏論についている全ての脚注も同様です。こういう脚注の付け方は、知識をひけらかす様に見えるので、読む側からはふざけてるのかとか最悪馬鹿にしてるのかと取られます。こういう文章では避けるべき脚注の付け方です。
- 内容についてもいいたいことはたくさんあるのですが、まず正しい文章の書き方になるようにしてください。
- 一度リバートするので、すでにある重要な例を消さないようにして、追加したいことがあればもっとフォーマルな文章で追加してください。 --Kik(会話) 2015年1月20日 (火) 16:30 (UTC)
- ちょっとやっってることが理解しかねますね。礼を残せということですね、わかりました、元に戻しますが例は残しましょう。--I.hidekazu(会話) 2015年1月21日 (水) 14:33 (UTC)
- ふざけないで下さい。元の記事に書いてあったことがまだたくさん消えたままです。画像も適当に貼り付けただけ。こういう画像をつけるときは「以下の図式を可換にする~」とか文章を添えるものです。元の記事にはちゃんとありました。
- 多少はまともな数学カテゴリの体裁を持った記事を書けるようになって欲しくて、レビューしてあげているのに真剣に記事を改善しようとしないなら、数学記事をこれ以上書いていただく必要はないです。 --Kik(会話) 2015年1月21日 (水) 18:18 (UTC)
管理者への立候補について
こんにちは、ぱたごんです。Wikipedia:管理者への立候補では過去ログ化は早くても3日後(推奨5日後)になっています。つまり、今回は私が終了宣告しましたが終了宣告後最低3日間はそのままにしておくわけです(なにか異議がつくかもしれないので)。今回はたしかに雪玉かもしれませんが。もしも過去ログ化なさるのであればWikipedia:管理者への立候補/ログへの追記もお願いします。--ぱたごん(会話) 2014年12月30日 (火) 03:11 (UTC)
- 確かに最低3日でした(Wikipedia:管理者への立候補#過去ログ)。精進いたします。あの様子からすれば異議がつくことはないと思いますので、早いですが過去ログにしたいと思います。過去ログへ追記したいと思います。--I.hidekazu(会話) 2014年12月30日 (火) 09:16 (UTC)
- ありがとうございます。尚、管理者についてですが、人によっては管理者は「用務員」とか「ボタン押し係り」などと揶揄されています。つまり管理者はコミュニティの意思を実行に移す係りで、考え決めるのはコミュニティです。管理者が判断をしてはいけません。もちろん、緊急を要する案件やコミュニティの意思が賛否拮抗してなかなか決められないがそれでもあえてどちらかに決めなければならないケースなどでは管理者が判断するわけですし、明白な荒しへの対処など管理者が裁量で動いてよいケースもありますが認められた範囲を逸脱し、権限の私物化を計ると解任されてしまう事でしょう。実際そういう例がありますし。--ぱたごん(会話) 2014年12月30日 (火) 13:17 (UTC)
- なるほど、というか質問されるのと回答を繰り返している間に自分の認識が間違っていたのは気付きました。まぁでもそういう管理系業務は雑用の一種だからやりたくないとみんな言っていたらダメですし、管理者がどういう仕事をやっているのかということを一利用者として理解しておくのは有益ですし、管理系業務については関わっていきたいと思います。お手間かけていただいてありがとうございます。少なくとも自分の成長にはなりました。--I.hidekazu(会話) 2014年12月30日 (火) 13:32 (UTC)
- ありがとうございます。尚、管理者についてですが、人によっては管理者は「用務員」とか「ボタン押し係り」などと揶揄されています。つまり管理者はコミュニティの意思を実行に移す係りで、考え決めるのはコミュニティです。管理者が判断をしてはいけません。もちろん、緊急を要する案件やコミュニティの意思が賛否拮抗してなかなか決められないがそれでもあえてどちらかに決めなければならないケースなどでは管理者が判断するわけですし、明白な荒しへの対処など管理者が裁量で動いてよいケースもありますが認められた範囲を逸脱し、権限の私物化を計ると解任されてしまう事でしょう。実際そういう例がありますし。--ぱたごん(会話) 2014年12月30日 (火) 13:17 (UTC)
完全性定理に関する参考文献
完全性定理に関する文献を知りたい(ノート:ラッセルのパラドックス)とのことですが、ノートの使用目的とずれるので、こちらで紹介することにします。Gödel-Henkinの完全性定理については現代的なロジックの教科書であれば必ず載っています。以下に紹介する文献も「おすすめのロジックの教科書」と大差ないような気もします。
- 鹿島亮: 数理論理学, 朝倉書店 (完全性定理, 不完全性定理, カット除去定理, 非古典論理, Kripke意味論)
- 小野寛晰: 情報科学における論理, 日本評論社 (完全性定理, Herbrandの定理, 導出原理, 様相論理)
- 古森雄一, 小野寛晰: 現代数理論理学序説, 日本評論社 (Curry-Howardの対応, 正規化定理, カット除去定理, Glivenkoの定理, 完全性定理, 非古典論理, Kripke意味論, 代数的意味論, 普遍代数, 部分構造論理)
- 戸次大介: 数理論理学, 東京大学出版会 (完全性定理, Herbrandの定理, カット除去定理, タブロー法)
- 青山広 編著: 論理体系と代数モデル, 八千代出版 (代数的意味論, 完全性定理, Stoneの表現定理, Rasiowa-Sikorskiの埋め込み定理)
- R. M. Smullyan (高橋昌一郎 監訳, 村上祐子 訳): 数理論理学 述語論理と完全性定理, 丸善出版 (Königの補題, 完全性定理, Craigの補間定理, 定義可能性)
- 江田勝哉: 数理論理学―使い方と考え方:超準解析の入口まで, 内田老鶴圃 (完全性定理, 超積と超冪, 超準解析)
- 坪井明人: 数理論理学の基礎・基本, 牧野書店 (完全性定理, 超準解析)
- 田中一之 編著: ゲーデルと20世紀の論理学(ロジック) 2 完全性定理とモデル理論, 東京大学出版会 (完全性定理, Löwenheim-Skolem-Tarskiの定理, 量化記号除去)
- 田中一之, 角田法也, 鹿島亮, 菊池誠: 数学基礎論講義―不完全性定理とその発展, 日本評論社 (完全性定理, 再帰的関数論, 不完全性定理, 組み合わせ論的独立命題, 証明可能再帰的関数, 算術の超準モデル, 有界算術)
- 新井敏康: 数学基礎論, 岩波書店 (完全性定理, カット除去定理, 不完全性定理, Friedberg-Muchnikの定理)
([2][3][9][10]はとくにおすすめ) 完全性定理の証明はどれにでも載っています。上に挙げた文献には、Henkin拡大を用いた古典的なもののほか、超フィルター補題やKönigの補題を用いた証明など現代的なものも含まれます。Herbrandの定理は完全性定理のある種の精緻化であり、論理プログラミングの基礎でもあります。完全性定理から導かれるコンパクト性定理も重要な定理です。これは超準解析のほか超準モデルの理論への応用があります。コンパクト性定理の系としてはLöwenheim-Skolem-Tarskiの定理も重要でしょう。完全性定理を理解するには何より色々と応用してみるのがいいです。--Sillycrown(会話) 2015年1月13日 (火) 16:50 (UTC)
- なるほど。わざわざありがとうございます!オススメの一つの現代数理論理学序説は前々から気になっていたんですよね〜。ヒルベルト、アッケルマンは非常にいい本なのですが、やっぱり現代的な視点が抜けているので持っておかないと完全性定理を理解するには難がありますね。論理プログラミングの基礎のロビンソンの導出原理については長尾・淵の論理と意味を持っているのですが、エルブランの定理/導出原理がやっぱり一番の応用なんでしょうね〜。--I.hidekazu(会話) 2015年1月14日 (水) 12:42 (UTC)
ウィキメディアンとしてのご経験とご意見をシェアする世界的調査
こんにちは。ウィキメディア財団ではこの調査で、あなたのご意見を伺いたいと思っています。この調査を通じて、どうすればあなたのウィキ上での、あるいはウィキ外での活動を支援できるのか、将来にむけて改善をしていけるのか考えようとしています。[survey 1] いただきましたご意見は直接、今後のウィキメディア財団の活動に影響を与えるものとなります。あなたがこの調査の対象として無作為に選ばれたのは、私たちがあなたのいるウィキメディアコミュニティからの生のご意見をお聞きしたいと考えているためです。お時間を割いていただくことへのお礼として、調査に参加された方の中から抽選で20名様にウィキメディアTシャツをプレゼントいたします。[survey 2] この調査は様々な言語で提供されており、所要時間は20分から40分の間です。
本プロジェクトのさらなる情報をご覧いただけます。 この調査は第三者機関が運営しており、個人情報に関する宣言に準拠します。 この調査に関するさらなる情報は、私たちのよくある質問についてのページをご覧ください。. さらにお手伝いを必要とする場合、または本調査に関する今後のご連絡の停止 (オプトアウト) をご希望の場合は、surveys@wikimedia.orgまで電子メールをご送信ください。.
皆さまのご協力に心から感謝いたします。 --EGalvez (WMF) (talk) 2017年1月10日 (火) 22:46 (UTC)
- ^ この調査では、ウィキメディア財団の現在の問題についてのご意見をお伺いするためのもので、長期的な戦略について論じるものではありません。
- ^ 法的事項: 購入の必要はありません。未成年者は参加できません。ウィキメディア財団 (149 New Montgomery, San Francisco, CA, USA, 94105) により後援されています。2017年1月31日に終了します。但し、禁止されている場所では無効。コンテストルールを参照するにはこちらをクリック。
あなたのフィードバックが重要です:ウィキメディア財団のグローバル調査ご協力への最後のお願い
こんにちは。ウィキメディア財団の実施する調査が2017年2月28日 (23:59 UTC)'をもって終了するという最後のお知らせをしに来ました。 この調査は様々な言語で実施されており、所要時間は20分から40分の間です。 調査に参加してくださるようお願いします。
もしすでに本調査にご回答をお済ませでしたら、入れ違いをご容赦ください。ご協力、まことにありがとうございました。
本アンケートについて 本プロジェクトについてのさらに詳しい情報は、「このプロジェクトについて」でご覧いただけます。また、「よくあるご質問」もお読みください。 この調査は第三者機関が運営しており、個人情報に関する宣言に準拠します。 さらにお手伝いを必要とする場合、または本調査に関する今後のご連絡の停止 (オプトアウト) をご希望の場合は、利用者にメールを送る機能を通じて、 User:EGalvez (WMF) まで電子メールをご送信ください。 ウィキメディア財団について ウィキメディア財団はこのサイトを速く、安全で、アクセス可能にするよう、ソフトウェアと技術の両面で取り組むことで、あなたを支援しています。また、ウィキメディアのプログラムと構想は世界中で、アクセスを広げており、自由な知識をサポートしています。 皆さまのご協力に心から感謝いたします。 --EGalvez (WMF) (talk) 2017年2月23日 (木) 06:56 (UTC)
I.hidekazu さんへのコメント依頼
I.hidekazu さんへのコメント依頼を提出しました。--Hexirp(会話) 2021年4月29日 (木) 06:39 (UTC)
中間子について
現在の素粒子物理では中間子は素粒子では無く複合粒子であり、核力も基本相互作用では無いとされます。強い相互作用を媒介する基本粒子は中間子では無くグルーオンです。現代素粒子物理の観点から言えば原子爆弾を理解する上で所謂、クオーク理論が登場する以前の中間子理論は不可欠、という訳では無いので文頭で特に強調する必要は無いと考えます。歴史的にも、まず戦時中に原子爆弾が完成して、戦後になって中間子が発見され湯川理論が「実証」されました。
2021年ウィキメディア財団選挙の候補者を紹介します
こんにちは!
2021年ウィキメディア財団選挙が8月に始まります。今年の理事会選挙は、2021年8月4日から17日まで実施されます。ウィキペディア日本語版の編集者を含むウィキメディア・コミュニティのメンバーは、3年の任期で4人の新しい理事を選出する機会があります。理事会選挙の開始に先立ち選挙運動期間が設けられており、この期間中にコミュニティが候補者と顔を合わせる機会があります。
- ウィキメディア財団における理事会の役割は何ですか?
- 候補者紹介
- 今回の選挙には20名の立候補者がいます。候補者についてはこちらをご覧ください。
理事選挙をサポートするファシリテーター チームは、選挙運動期間中にいくつかの活動を用意しています。
7月31日(土)の19:30(JST)から、日本を含むアジア・太平洋地域のユーザーが候補者と交流できるオンラインイベントが開催されます。日本語による同時通訳も提供される予定ですので、どうぞお気軽にご参加ください。
- こちらのフォームから事前に参加登録をお願いします。
- フォームのプライバシーポリシーをご確認ください。
その他の活動については、メタウィキの理事選挙ページをご覧ください。
ご質問がございましたら、ファシリテーターか選挙ボランティアまでお問い合わせください。
選挙ボランティア一同 2021年7月24日 (土) 15:04 (UTC)
このお知らせは2021年ウィキメディア財団理事会選挙ボランティアにより作成され、botにより配信されました。 •フィードバック •購読解除
まもなく終了 理事会選挙へ投票のお願い
I.hidekazuさん
こんばんは。お忙しい時間帯に恐れ入ります。
2021年ウィキメディア財団選挙は最終盤に入っております。これまでご協力いただいた皆様、ご投票いただいた皆様に心より御礼申し上げます。
もしI.hidekazuさんが投票をお済ませでなければ、ぜひこちらから清き一票をお願いいたします。
ウィキペディア日本語版の運営にも深く関与する理事会の候補者の選出に際し、投票資格をお持ちの数少ないユーザーの一人であるI.hidekazuさんのご意見を反映することは非常に重要だと考えています。
投票いただくに際し、まず19名の候補者からI.hidekazuさんが支持する方をお選びください。 支持する候補者を選んだら、支持する順に候補者の名前を選び、投票ボタンを押すだけです。 所要時間は5分未満で、完全な匿名性が保証されます。
投票は、日本時間の9月1日(水)の朝9時に締め切られます。
ウィキメディア財団の運営にウィキペディア日本語版コミュニティの意見を反映させるために、I.hidekazuさんのご協力を重ねてお願い申し上げます。
どうぞよろしくお願いいたします。
--選挙ボランティア一同 2021年8月31日 (火) 11:17 (UTC)
このお知らせはウィキメディア財団2021年理事会選挙ボランティアにより作成され、botにより配信されました。 •フィードバック •購読解除
利用者ページのカテゴリについて
こんにちは。I.hidekazuさんの利用者ページ「利用者:I.hidekazu/直観主義型理論」ですが、Category:直観主義など通常記事(標準名前空間)で使うことが想定されているカテゴリが複数、付与されています。そのため、カテゴリページにてI.hidekazuさんの利用者ページが表示されてしまっています。Wikipedia:カテゴリの方針#カテゴリ編集の指針により、利用者ページには(書きかけの記事/下書き/Sandboxであっても)通常記事と同じカテゴリは付与しないことになっていますので、Wikipedia:利用者ページ#カテゴリ、テンプレート、リダイレクトを参考に利用者ページのカテゴリを<!--
と-->
で囲んでコメントアウトするなどの対処をお願いします。
1週間ほどお待ちしてもご対処いただけなければ、不躾ながらWikipedia:利用者ページ#他者による編集や削除依頼のガイドラインに従い利用者ページを他の利用者が直接修正させていただく場合もありますので、ご容赦ください。--Keruby(会話) 2021年9月6日 (月) 17:57 (UTC)
- ご連絡ありがとうございます。利用者ページのカテゴリも反映されるとは知りませんでした。該当箇所は削除してカテゴリページには表示されないようにします。--I.hidekazu(会話) 2021年9月7日 (火) 11:23 (UTC)
翻訳記事における翻訳元表示のお願い
I.hidekazuさんが英語版から翻訳作業をなされている記事(直観主義型理論等)についてですが、Wikipedia記事がCC-BY-SAおよびGFDLでライセンスされているために、翻訳元記事の版指定または該当版への固定リンクを要約欄に記載する必要があります。今後の編集の際にはお気をつけいただき、もし可能であれば既に編集された分の補完作業をお願いします(補完作業自体は誰がやってもいいので、もしご都合が悪ければひとまず翻訳元とした版をお教えいただければと思います)。 具体的な作業手順等について詳しくはWikipedia:翻訳のガイドラインをご参照ください。--Merliborn (会話) 2021年9月18日 (土) 15:47 (UTC)
- お知らせいただきありがとうございます。すでに翻訳してしまったものについて、ガイドラインに従い補完作業を行おうと思います。--I.hidekazu(会話) 2021年9月19日 (日) 12:05 (UTC)
出典の明記のお願い
『一般相対性原理』で I.hidekazu さんが 2022年2月21日 (月) 01:04 に追加した記述が IP:2400:4050:afe0:3700::/64(会話 / 投稿記録) の 2022年3月2日 (水) 05:21 の編集で除去されたのを見かけまして、こうして連絡させていただきます。ウィキペディアでは、記述を追加する際に、それらそれぞれに対して出典を付記する方法(個別参照)が推奨されております。このようなことはガイドライン「出典を明記する」で示されています。 I.hidekazu さんが 2022年2月26日 (土) 22:06 の編集の要約にて「具体例と出典を探して補填するようにします」と書いておられるように出典がないことを他の人に指摘されてから出典を探すというのは、 I.hidekazu さんが出典を示さずに編集しているということで、方針「検証可能性」に反してしまっている行為です。 I.hidekazu さんが、今後も、このような行動について指摘を受けているのにもかかわらず、このような行動を繰り返すならば、 I.hidekazu さんが投稿ブロックされる可能性があります。そのようなことにならないように方針「検証可能性」とガイドライン「出典を明記する」を守っていただけると嬉しいです。 -- Hexirp(会話) 2022年3月2日 (水) 17:48 (UTC)
- ご連絡いただきありがとうございます。記事は基本的に出典に基づいて記載しています。当該記事の一般共変性に関する記述についても、リーマン、リッチ、レビ=チビタ、アインシュタイン、マイヤー 著、矢野健太郎(訳) 編『リーマン幾何とその応用』共立出版、1971年。のp.107,108に基づいた内容です。ただ、最初から共変的なテンソルを導入せず、一般的な物理表現から出発して、式の形が変わらないということとテンソルという要件が必要ということを説明するために書いた内容に疑義をもたれたという話です(加えて、検討しなおしたところ、ゼロテンソルになる導出が自明でないということもわかりましたが)。差し戻しされた匿名の編集者の方は、解析力学の記事で同じ物理現象を記述するラグラジアンでも直角座標 L(x,y) と極座標 L(r,θ) では L(x,y) = L(r,θ) と座標を変えてもイコールは成り立たないというあまり聞いたことがない立場に立たれています。Hexirpさんが匿名の編集者の意見を尊重された理由はなんでしょうか?--I.hidekazu(会話) 2022年3月3日 (木) 14:24 (UTC) -- Hexirp氏のリンク先と表記が一か所間違っていたので修正しました。--I.hidekazu(会話) 2022年3月4日 (金) 12:26 (UTC)
- 訂正します。ランダウ=リフシッツの力学はラグラジアンを座標系によって区別していました。自分の勉強した本は区別してなかったのでそちらが一般的だと思って書きました。--I.hidekazu(会話) 2022年3月3日 (木) 15:40 (UTC)
- お答えいただきありがとうございます。矢野健太郎の『リーマン幾何とその応用』の 107 ページから 108 ページを出典としているということ、了解しました。「匿名の編集者の意見を尊重された理由はなんでしょうか?」とのことで、この質問にお答えします。導入では
ref
タグを使って出典の情報が書かれていて「方程式の一般共変性」節では出典の情報が書かれていなかったので、「方程式の一般共変性」節には出典がないのだと判断したためです。このように誤解をしてしまったことをお詫びします。ただし、このような誤解を予防する意味合いも含めて、ウィキペディアでは、あらかじめ、ガイドライン「出典を明記する」において、記述を追加する際に、それらそれぞれに対して出典を付記する方法(個別参照)が推奨されております。 I.hidekazu さんが個別参照に従って「方程式の一般共変性」節に矢野健太郎の『リーマン幾何とその応用』の 107 ページから 108 ページを出典に使っていることを書いていただければ嬉しいです。 -- Hexirp(会話) 2022年3月4日 (金) 06:58 (UTC)- ご回答いただきありがとうございます。参考文献には入れています。一括参照方式も認められているという認識ですが、個別参照が推奨されているのだから個別参照せよというお願いということですか?参考文献の内容を読み込んで各ポイントをまとめた形で記載する場合、個別の言明にその根拠を記載しようとすると脚注が膨大になったり、脚注のつけ方が難しいケースがあると思うんですがそういう場合もつけてくださいというお願いになるのでしょうか?なるべく沿いたいという気持ちはありますが、Hexirpさんはたびたびこういうお願いを、おなじようなケースを見つけた場合、編集者にお願いされているのでしょうか(いままで同様のお願いを何度かされてきたのでしょうか)?
- 話は変わりますが、正直に申しますと、最初私はてっきり議論に全然関係ない人がろくに何を議論しているのかもわからず暇つぶしでコメントしてきたのではないかと思ってしまいました。しかし、よく読むと以前に何度かやり取りした方で単にお願いをされてきただけということがわかり、これはすぐに全く私の誤解だとわかりました。Hexirpさんは利用者ページにあるようにプログラミングや数学基礎論にご関心がある人だと認識しておりましたが、一般相対性理論にもご関心がある上に一家言あるとは認識外でした。たびたび物理学の記事に関してもコメントをされてらしたんですね?
- 一般共変性原理について私の無理解を披露することになり恥ずかしいかぎりです。よければご意見いただきたいのですが、コメントいただきました一般共変性原理に関してうまく説明されている文献などご存じないでしょうか?--I.hidekazu(会話) 2022年3月4日 (金) 12:26 (UTC)
- 私は「Wikipedia:コメント依頼/I.hidekazu」でガイドライン「出典を明記する」を守ることをお願いしており、今回のお願いをしたのも、その関連となっています。「一括参照方式も認められているという認識」ということですが、これは以前までその通りでしたが、しかし今では「Template:参照方法」のような注意喚起のテンプレートが存在するなど個別参照方式のみが適切なものであるということになっています。ひとまずここまでお答えします。 -- Hexirp(会話) 2022年3月23日 (水) 12:30 (UTC)
- お答えいただきありがとうございます。矢野健太郎の『リーマン幾何とその応用』の 107 ページから 108 ページを出典としているということ、了解しました。「匿名の編集者の意見を尊重された理由はなんでしょうか?」とのことで、この質問にお答えします。導入では
- 訂正します。ランダウ=リフシッツの力学はラグラジアンを座標系によって区別していました。自分の勉強した本は区別してなかったのでそちらが一般的だと思って書きました。--I.hidekazu(会話) 2022年3月3日 (木) 15:40 (UTC)
- ご返事いただきありがとうございます。まず「Template:参照方法」には、「出典が羅列してあると、記事のどの部分がどの出典を参照しているか分からないため、検証したり不要な出典を除いたりするのが困難になります。」とあります。これは一括参照方式の出典が多数存在する場合に、どの文言がどの出典に基づいているかわからないのでその是正を求めるテンプレートで、一般的に個別参照方式の出典をつけることを求めるものではないと思います。ただ、「出典を明記する」の方を改めてみると1月に改定されたみたいですね。確かに、「単に一括参照内で出典を明記しただけの文章については、Wikipedia:検証可能性を満たしているとは見なされません。」とあります。一括参照方式で出典は明記したつもりでしたがガイドライン改定されていたとは知りませんでした。
- 加えて、「私は「Wikipedia:コメント依頼/I.hidekazu」でガイドライン「出典を明記する」を守ることをお願いしており、今回のお願いをしたのも、その関連となっています。」ということですがつまり常時監視する必要があるのでしているということですか?--I.hidekazu(会話) 2022年3月24日 (木) 15:04 (UTC)
投稿ブロック依頼提出のお知らせ
Wikipedia:投稿ブロック依頼/I.hidekazuを提出しました。--Kik(会話) 2022年3月30日 (水) 17:41 (UTC)
独自研究を除去してください
あなたの執筆されたミルズの構造化プログラミングは独自研究が多いことが以下のように指摘されているので対応をお願いします。 Wikipedia:投稿ブロック依頼/I.hidekazuより引用
- 前にも書きましたが「ミルズの構造化プログラミング」を直してくれませんか?現状は本文の内容だけで矛盾していますし、独自研究だらけのように見えます。これを放置した状態で、「私はこれからルールを守って活動する」のような宣言をされたとしても説得力に欠けますから、最初に手を付けて欲しいです。要出典等のタグをつけておいたのでどうか直してください。矛盾している箇所は、「連接・選択・繰り返しから構成されていれば検証できる」と「goto文を一行でも入れてしまうと検証できない」と「goto文のあるプログラムは連接・選択・繰り返しだけのものに必ず変換できる」という3つの両立しない主張が行われている点にあります。独自研究としては特に「ペール・マルティン=レーフは自身の直観主義型理論において、フローチャートの代わりにゲンツェン流の自然演繹を拡張したものを採用した上で、正しさを確認できるものとしての構造化文に代わるものとしてカノニカル表現(canonical expression)と呼ばれるものを採用している」は出典がないだけでなく内容も正しくないと思います。例えば、繰り返しを行う式として「natrec(a,b,c)」がありますが、これは非カノニカルです。https://www.cse.chalmers.se/research/group/logic/book/book.pdf のAppendix AからCを読めば確認できます。--Kik(会話) 2022年4月14日 (木) 19:04 (UTC)
ここでいう「検証できる」とはどういう意味なのでしょうか。Whileプログラムのような言語はホーア論理のような形式検証の体系で検証できるということでしょうか。(ホーア論理はWhileプログラムのために作られた体系なのだから当然ですが。)Whileプログラムのループ構文ではループ不変条件を見つけることによって検証が進みます。これは数学的帰納法における帰納法を適用する論理式を探す作業と本質的には同じことですから、前後の文中で数学的帰納法云々に言及していることと整合的です。しかしSpecial:Permalink/78826085#cite_note-14の「ここで、順次プログラムの中にgoto文を一行でも入れてしまうと、数え上げ推論による正当性検証ができなくなってしまい、「ソフトウェア全体の正しさ」というものが原理的に定義できなくなってしまう」は意味不明ですし出典もありません。さらに、これも言うまでもないことですが、Hoare論理以外を使ってソフトウェア全体の正当性を証明することは当然できます。そのプログラム言語の言語仕様が数学で取り扱える程度に形式化されて記述されているのなら、そのプログラムの正当性というものを数学的に記述し、それを数学的に証明したり反証したりすることは可能です。たとえば計算可能性理論でよく用いられる計算モデルであるレジスタマシンはgoto構文を持ちます。この言語で書かれたアッカーマン関数のプログラムが正しくその関数を計算すること(正当性)は数学的に証明できますよね。通常の数学的命題なのですから。(もちろん正当性を表す命題が独立命題となってしまうケースもあるわけですが。これはホーア論理にしても同じことです。)ホーア論理のようなものをジャンプ命令を持つような言語に対して定義しようとすると著しく難しい、ということはあるかもしれませんが、そうだとしてもそのことを述べている信頼できる文献を挙げるべきです。なおSpecial:Permalink/78826085#cite_note-12の「この数学的帰納法を用いる検証については計算機による自動化を行うことができる」は偽です。失敗の可能性のあるヒューリスティックなアルゴリズムないし停止しない可能性のある半決定アルゴリズム(正当性の証明か反証が見つかるまで全証明を探索し続ける)ならありますが、完全自動化は不可能です。このことはライスの定理からも明らかでしょう。以上の点からミルズの構造化プログラミングの編集内容の信頼性に問題があるという主張に同意します。 --Sillycrown(会話) 2022年4月15日 (金) 15:15 (UTC)
独自研究を載せないというのはウィキペディアの基本となる方針ですので、参加者には必ず守って頂く必要があります。独自研究であると指摘されているにも関わらず自主的に除去しない場合も間接的に独自研究を載せているのと同じですので、I.hidekazuさんには自らすすんで除去の作業を行って欲しいです。この作業をどうしてもやりたくないと言う場合はそのように書いてください。代わりに私が作業を行います。ただし、このことによってI.hidekazuさんは基本方針を守る気がない参加者であると他の参加者に認識される恐れがあることを伝えておきます。複数の参加者から方針を守るように説明されても理解されない場合はコミュニティを消耗させる利用者としてブロックされます。WP:NORに明記されているように「独自研究ではないことを示す唯一の方法は、その記事の主題に直接関連のある情報を提供している信頼できる資料を参考文献として記し、その資料に記された内容に忠実に記述すること」ですので、他にも独自研究を載せてしまったかもしれないという心当たりがある場合は自分から直してくれることを希望します。--Kik(会話) 2022年4月21日 (木) 14:20 (UTC)
- 投稿ブロックの審査中に?なんで?--I.hidekazu(会話) 2022年4月23日 (土) 14:33 (UTC)
- 投稿ブロックの審査中は記事をそのままの状態で残しておかないというルールは無いと思うので関係ないんじゃないでしょうか。独自研究を載せないというのはウィキペディアの基本方針ですから、それが守られている状態を維持しないといけないわけで、「ミルズの構造化プログラミング」は早めに修正する必要があります。以前コメント依頼でこういう発言(特別:差分/83260983)がありましたので、「ミルズの構造化プログラミング」はこちらで対応する前に確認を取っているのです。この発言は当然「問題のある記事を修正する予定だったが、ちょっと時間が取れなかった間に修正されてしまった。それを尻拭いと言われるのは遺憾である」という意味だと私は理解していますので、I.hidekazuさんが対応する予定があるのかどうか確認しているのです。--Kik(会話) 2022年4月23日 (土) 20:22 (UTC)
「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」が独自研究であることについて
I.hidekazuさんはWikipedia:投稿ブロック依頼/I.hidekazuにおいて、以下を出典として挙げられています。
- ここでの「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」というのは当時p.107,108だけに基づいたものではなく、それに加えて『リーマン幾何とその応用』の訳者の矢野健太郎氏の解説 p.208,209も参考にした記述で、引用すると、
アインシュタインはまず、特殊相対性原理の代わりに、
- (1)すべての物理法則は、互いに任意の運動をするすべての観測者に対して同一の形式で与えられる(一般相対性原理)
ということを要求した。
・・・中略・・・
まず、上の第1の一般相対性原理は、物理法則を
の形に書き表すことによって満足される。なぜなら、テンソルの成分がある座標系においてすべて0であれば、その成分は、変換法則からわかるように、他のすべての座標系においても、すべて0であるからである。 — リーマン幾何とその応用,p.208,209
- (テンソル)=0
- という記述です。一応言っておけば訳者解説は二次資料ですし、そもそもここは今問題とすべき箇所ではないと思います。嘘というのは人聞きが悪いのでここも訂正していただきたい。
- 独自研究かどうかということについてですが、(テンソル)=0ということの意味を式で表現しようとすることがそれに該当するのでしょうか?
しかし、この出典で主張されているのは「アインシュタインは一般相対性原理を公理に採用した」と「物理法則が(テンソル)=0と書かれていれば、それは一般相対性原理を満たす」の2点であり、「アインシュタインは自然の一般法則は座標系に依存しない形式、すなわち(テンソル)=0という性質を持つものであると仮定しました。」という主張はなされていません。そもそも、一般相対性原理を公理として採用した上に「自然の一般法則は(テンソル)=0で書ける」も仮定することは論理的におかしいことです。後者を仮定すると前者は必然的に成り立つわけですから、前者は公理として重複していることになり全くの無駄です。以後こういうことがないように、WP:NORをよく読んでください。特に「独自研究ではないことを示す唯一の方法は、その記事の主題に直接関連のある情報を提供している信頼できる資料を参考文献として記し、その資料に記された内容に忠実に記述することです。」が守られているかを出典を挙げる前に自分で確認してください。--Kik(会話) 2022年4月23日 (土) 20:47 (UTC)