はてなキーワード: idとは
これ
id:brain-owner 出自に強い興味はなかったかもしれんが「地球育ちのサイヤ人」とか、ベジータが死んだときに「おめえは大嫌いだったけど、サイヤ人の誇りは持っていた。オラも少し分けてもらうぞ」とかは言ってるよ。
https://b.hatena.ne.jp/entry/4700481583012626498/comment/aa_R_waiwai
小学生の頃にドラゴンボールの確か魔人ブウとかセルが出てくるあたりがTVで放映されていたおっさんだけど、クラスで流行らず、自分も特にハマることもなく、キャラだけは知ってる状態で、なんとなくどのキャラもサザエさんのように平和にやっていると思っていた。
正確には「安定して評価B以上を目指し、有用な因子ゲットにチャレンジする育成方法」だ。
慣れてくればB+を普通に狙える。
「こんなんもう知ってるよ、常識じゃん」という人も多いだろうけど、もっと経験が浅い人向けの内容だと思ってくれ。
あとこんな内容の記事はネットにいくらでも転がっているので、「自分が見つけた最強の育成法」を書いてるわけでもない。
(面倒な前置きはいらないという人は飛ばして下の本題から読んでほしい)
①なんでもいいからとにかく評価を上げる育成法(A以上を目指す)
③良い因子獲得を狙う育成法
①については、例えばバクシンオーでスピードと賢さのみに特化してトレーニングするだけでも達成できる。
でもこれはほぼほぼ意味はない。そんな育成をしても碌な因子はつかないし、チームレースでも勝てないからだ。
②については、現状そこそこの課金が必要になってくると思われる。
どうしても運が絡む育成にもなってくるので、言語化しにくい部分もある。
そして何より、ここを目指すためには絶対に③が前段階として必要だ。
というわけで③になる。
「良い因子」の程度問題は人によるだろうが、ここではまず青因子(スピードなど)の星3を指すことにする。
URA因子の3*3なんかを狙っている人は、もうこの記事が必要な段階は越えているだろうから対象にしない。
そしてここに白因子がつけばつくほど当たりの因子となる。
なぜ良い因子を目指すのか。
それは、因子はトレーニングをすっ飛ばしてステータスを上げる手っ取り早い手段だからだ。
例えばスピードの青因子が9つけば、育成開始時点でスピードが63も上乗せされる。
それを2人分継承できれば、それだけでスピード+126だ。正直、なにも育成しなくてもメイクデビューを勝てるレベルだ。
青因子9なんていきなり用意できるもんではない。
具体的には、青因子3持ちを一人作ることが出来さえすれば、
そのウマ娘とレンタルしたウマ娘を継承することで青因子6までは確定するからっだ。
ここで青因子3持ちができれば、めでたく青因子9の完成となる。
こうなれば先程述べたステータス上乗せが大いに期待できるわけだ。
青因子3を取るために必要な条件は以下の一つだ。
・ステータスの一つがB以上である場合、そのステータスの青因子が出る可能性がある
因子についてはまだまだ謎が多く、全貌は解明されていないが
この条件については現在のところ有力な反証が見つかっていない。
そこで、ほとんどの育成方法はこの条件を事実だと仮定して組み立てられている。
この条件に基づいて言えば、すべてのステータスをB以上にすれば、各ステータスの青因子3が出る可能性があることになる。
しかし、すべてのステータスをB以上にすることは、ちょっと難しい。
そこで、この記事では、特に欲しい因子であるスピード、スタミナ、パワーにしぼり、この3つのステータスをB以上にすることで育成を完了することを目標とする。
1.育てるウマ娘選び
以下の条件に合っているウマ娘を選ぶ。
・中距離適性がA
・長距離適性がB以上
・先行適性がA
なぜ中長距離先行を選ぶかと言うと、最も多いタイプのウマ娘であるがゆえに、安定した育成法が確立されつつあるからだ。
そして、いわゆる王道のレースにも出やすいため、結果的に良い因子を狙いやすい。(この辺の理由は長くなるので端折る)
継承元を選ぶ前に、育成するウマ娘のトレーニング得意率を見て欲しい。
継承で上がるステータスを「得意ではない」ステータスが上がるように継承元のウマ娘を選ぶ。(上げるパラメータはスピード、スタミナ、パワーのいずれか)
例えば継承でスピードを上げたいと思ったらスピード9因子を持つウマ娘をレンタルで借りる。
twitter検索で「スピード9 ID」なんかで検索してやればすぐに良いフレンドが見つかるだろう。
ここでは相性が◎になるウマ娘を選ぶ。
もちろん自分のウマ娘で上がるステータスも、先程選んだステータスだと理想的だが、
そこまで良い因子のウマ娘を持っていない場合は、最初はそこまで重視しなくていい。
相性のほうが重要だ。
相性が良ければ、継承の際に発動する因子の数が増える。
ここはかなり難しい。というのも、いろいろな方法があるからだ。
・トレーニング1種類のサポートカード3枚、別の種類のトレーニングのサポートカード2枚、たづなもしくは賢さのサポート1枚
・トレーニング1種類のサポートカード2枚、別の種類のトレーニングのサポートカード2枚、賢さのサポート1枚、たづな
これについてはこれが絶対の正解というわけではないので、慣れたら別の編成も色々試して欲しい。
さて、どのような種類のトレーニングのサポートカードを選ぶのが良いのか。
ここで、2でも参照した育成ウマ娘のトレーニング得意率を思い出す。
例えばスピードが得意なウマ娘であれば、スピードが上がるトレーニングである、スピードまたは根性のサポートカードを入れたい。
賢さでもスピードが上がるが、賢さだけは少々特殊なトレーニングなのでおいておく。
とにかく「育成ウマ娘の得意なステータスが伸びやすいトレーニング」をサポートカードで伸ばしてやるという意識が重要だ。
そして、とにかくレベルが高いサポートカードを選ぶこと、これが重要だ。
SSRのレベル30よりも、SRのレベル40などを優先して選ぶこと。
しかし、最初は選り好みできるほどサポートカードは充実していないだろう。
ここに上げたサポートカードを運良く持っている場合は、優先的にレベルを上げてもよいだろう。
スキルが汎用的に使える
スキルが汎用的に使える、強スキル「好転一息」がもらえる可能性がある
・たづなSSR
お出かけで体力回復+体調向上ができるため、育成が安定しやすい
スキルが汎用的に使える
今回の対象である中長距離先行であれば、以下のサポートカードも使いやすい。
友情ボーナスが高く爆発力がある、強スキル「食いしん坊」がもらえる可能性がある
先行スキルを持つ
4.出場するレース
以下のレースは目標になっていてもなっていなくても出場すること。
いずれもG1だ。
予約機能を常に使うことで出場忘れがないようにしたい。
・有馬記念
・大阪杯
・天皇賞春
・天皇賞秋
・有馬記念
なお、サポートカード編成によっては、メイクデビューでファン数1,000人を稼げない場合もあるだろう。
その場合はなにか別のレースに出てからホープフルに臨むことになる。
サポートカードのレベルが上ってくればファン数ボーナスによってこの問題はクリアされるだろう。
・ファン数を稼ぐことによって白因子を狙う
・G1に勝つことによって白因子を狙う
・スキルポイントを稼ぎ、多くのスキルを取得することによって白因子を狙う
・ファン数を稼ぐことによってURA期間でのステータスアップを狙う
最初のうちはどうしてもステータスアップを優先してしまい、目標以外のレースに出ることに及び腰になってしまうと思う。
しかしこのように因子を考えると、出場レース数を増やすことは非常に重要だ。
5.育成時のポイント
育成時には、体力と体調を気にかけてやる必要がある。
まず、体調が普通に落ちた場合はお出かけによって体調を回復させてやりたい。
しかし、常に絶好調になるようにお出かけを多用する必要はない。
この場合、体調を上げてはランダムイベントで下がるという下振れを引く可能性が出てきてしまう。
今回の記事で目指すのは安定した育成なので、このようなピーキーな育成はここではおすすめしない。
また、よく知られていることだが、レースには体力は関係しない。
トレーニングで体力消費 → レースで体力消費 → 休みで体力回復 → トレーニング
逆に、次のタイミングは良くない。
トレーニングで体力消費 → 休みで体力回復 → レースで体力消費 → トレーニング
なぜかというと、まず休みでバッドコンディションを引いてしまった場合、体調まで下がった状態でレースに挑むことになるからだ。
さらに、レースで体力を減らした状態でトレーニングをすることになり、失敗率が上がってしまう。
以下のことを念頭に置くだけで安定行動ができるようになる。
出場するレースは4で上げたためにスケジュールは立てやすいと思う。
慣れてくれば、賢さトレーニングを間に挟むことによって、レースまでの体力を調整できるようになる。
このへんは回数をこなすことで上達する部分なので、ぜひ心がけて欲しい。
・スピード以外のステータスが高ければスピードが低くても勝てるが、安定しない
・スピードが170以上あればかなり安定して勝てる
・スピードが200以上あれば余裕で勝てる
そこで、メイクデビューまでは、以下のことを考えながらトレーニングを選択すると良い。
・スピードをなるべく170以上にする
・(たづなをデッキに入れている場合)たづながいるトレーニングを優先的に選択して絆を上げる
・ヒントを積極的にもらっていき(!マーク)、スキルヒントをもらうとともに絆を上げる
・絆を上げるために、なるべく多くのキャラがいるトレーニングを選択する
なお、「トレーニングレベルを上げるために選択するトレーニングを2種類+賢さにしぼる」という育成法も存在するが、ここでは扱わない。
なぜなら、絆を上げきることができなかったりする下振れを引く可能性が排除できないためだ。
安定育成のためには「デッキレベルでトレーニングを絞り、なるべく序盤で絆を上げ、後半で友情タッグを多く選択する」というほうが向いている。
トレーニングを絞るやり方は爆発力があるため、ぜひチームレース用のウマ娘を育成する段階になったら試してほしい。
また、最初の1ターンで何を選ぶかということも悩ましい。
以下の選択肢がある。
・(たづながいる場合)初手でたづなを選択し、体調を好調にするとともにたづなの絆を上げる
・初手でお出かけを選択し、カラオケを引いて絶好調になる上振れを狙う
・初手でトレーニング、2手目でお出かけを選択し、お出かけで体力回復する上振れを狙う
突き詰めればわからないが、安定育成という面においてはこれらはほとんど差がない。
好きなものを選ぶとよいだろう。
各レースを80%程度勝てるであろうステータスの目安は以下の通り。
・ホープフルステークスまでにスピード200、スタミナ200
・皐月賞までにスタミナ250
以上のように、スタミナがかなり重要になってくる。
また、回復スキルの数によってもスタミナの必要量は変わってくる。
ホープフルが終わったあとは、とにかく意識してスタミナを伸ばしていくようにしたい。
・皐月賞前
1度目の継承が終わっていてスキルヒントがもらえている可能性があり、三冠を目指す場合に必要な大レース前。
・菊花賞前
・天皇賞春前
2度めの継承も終わっており、シニアのレースであるため難易度も高い。
ここまでくるとヒントも出揃っていると思うので、スキルを取っていっていい。
・URA準決勝前
自信がなければここでスキルを取っていい。
9.夏合宿の扱い
夏合宿ではすべてのトレーニングが最高レベルであるレベル5扱いになる。
(通常は、トレーニング4回ごとにレベルが上がる。レベルが高いほどステータスが伸びる)
普段伸びないステータスを伸ばす絶好の機会であるため活用したい。
考えるべきは以下の通り。
・休みは行わない
・体力が減っていたら賢さトレーニング(失敗してもリスクがものすごく少ない)
・低いステータスを伸ばす(根性や賢さが低い場合が多いだろう)
・どうしても8であげたステータス目標を達成できなさそうな場合はここで補う
なお、夏合宿を余すところなく活用するため、体力がなるべく高い状態で夏合宿に突入したい。
・(6月前半)安田記念 → (6月後半)休み → (7月前半)夏合宿
・(6月前半)休み → (6月後半)宝塚記念 → (7月前半)夏合宿
スピード、スタミナ、パワーがB以上となるためには、各ステータスが600以上で育成を終える必要がある。
しかし、URAの3つのレースを勝ち抜くことで各ステータスに+50くらいのボーナスが付く。
そこで、育成目標達成時点で、これらのステータスが550程度になっていれば最低限の目標は達成することになる。
これ以上のトレーニングは、目的によって以下のどちらかを選択すると良い。
・根性または賢さの星3因子を狙うため、これらのステータスを上げる
・チームレースでも勝てるようにするため、さらにスピード、スタミナ、パワーを伸ばす
ウマ娘のデータはまだ完全解析されていないが、先人たちの検証やヘルプによって膨大な量の仕様が明らかになっている。
それらすべてを記述すると話が横道にそれまくってしまうため、説明できていない部分も多々ある。
もしも今回の記事でわかりにくい部分があったのなら、ぜひコメントで質問してほしい。
きっと親切な別の誰かが答えてくれることだろう。
山本一郎氏の配信記事削除のブックマークコメントを流し読みして思ったこと。
https://b.hatena.ne.jp/entry/s/news.yahoo.co.jp/newshack/information/20210326.html
今までブックマークコメントで、増田の削除方針に文句言ってたブクマカは一度たりとも見たことはない。
むしろ、削除方針のブックマークコメントを見れば分かるが、「ID晒せよ」と攻撃を目的にしたようなチンピラまがいのコメントが多数見受けられる。
もちろん、匿名と記名の違いはあるが、プラットフォーム側のリスク回避の観点で見れば、削除の目的の根本は同じだろう。それなのに、この違いは何なのだろう。
https://b.hatena.ne.jp/entry/s/news.yahoo.co.jp/newshack/information/20210326.html
前提
・山本一郎「LINEと合併したから山本一郎の裁判などに対する証拠隠滅を図られて(?)Yahooによって全記事削除された」
→1/29に掲載終了の連絡、2/12に山本一郎から記事をくれと連絡、2/15にテキストデータとしてYahooから記事引き取り
→3/1にYahooニュース個人から削除、3/24に件のnote https://note.com/kirik/n/n7615304f142d
システム刷新で山本一郎の記事だけ削除しなければいけないってどういう事なの? id:a1ue0
システム刷新といっても既存記事は移行するだろうに、特定記事だけ移行せず削除してるのは、削除したい理由があるからだよね。"契約終了後も掲載を継続"の約束を反故にする理由にはだいぶ弱いのでは?意図的だよね id:modal_soul
山本一郎の記事だけ移行できない理由ってなんだ。都合悪いから消しましたとしか読めないわ id:baronhorse
これはヤフーが筋悪。一方的に記事削除したようにしか読み取れない id:kastro-iyan
もっと泥臭い事情かと思ったらシステム移行の関係だけで驚き。この人の記事だけ移行できないわけないじゃん。約束してたならせめて訴訟が完結するまで関連記事くらいは残すべきでしょ。 id:lli
→山本一郎の記事「だけ」削除とは読み取れない。むしろ他にも契約終了した人の記事が削除されているのでは
システム刷新の関係で記事を消さざるを得なくなったとしたらヤフーのエンジニアのレベル低すぎないか id:strangerxxx
“しかしながら、Yahoo!ニュース 個人にてシステム刷新を行なっている関係で、記事掲載を終了することとなりました” 意味がわからない id:maninthemiddle
システム刷新で山本一郎の記事だけが移行できない理由がわからない。本質的にはテキストデータでしかないのだから、常識的に考えてあり得ない。苦しい言い訳すぎる/ヤフーで働いてる人ってこれ恥ずかしくないのかね id:pontanx
→エンジニア「山本一郎の記事だけ移行できません。(つд⊂)エーン」ってことではなく、契約終了しているコンテンツを整理しただけでは?
テキストデータは渡せたので義理は果たせているし山本一郎自身がnoteとかにアーカイブできる。あとは今後金を生み出さなさないコンテンツをずっと残してるのも企業として難ありと思わないか?
「上記事情をお知らせした上で、過去記事の掲載終了へのご理解をお願いしました。」ということは書いた本人は了承していないわけでしょ?一方的だな id:iasna
→了承していなかったら裁判の件もあってゴネるだろうし、テキストデータ渡したからあとは山本一郎側でアーカイブすればよかっただけでは?
いや、言い訳でしょう。契約が履行できていないことに変わりはないのでは。 id:codingalone
→契約終了しているのに契約しているとお思いで?契約終了後の契約などはあるだろうけど、他のオーサーはほとんど契約終了=掲載終了なので本当に最低限の契約条項で「特例で掲載」していただけでは
山本一郎氏については、合意した専門性に基づかない記事やガイドラインに抵触すると考えられる記事の配信があり←これって公開されない限りなんとでも言えるよね id:fnm
→3/1までは契約終了していても公開していたし、今現在も山本一郎が公開しようと思えばできる状態なのにでしていないだけです
書かれてることそのまま読んだら合意したかどうかなんてわからんだろう…本当に読んでるのかよ id:nost0nost
掲載継続の約束はした/終了の了承は得ていない/移行できない理由は説明してない。ということで山本氏の主張を追認する内容だと理解した。 id:kazuau
「Yahoo!ニュース 個人にてシステム刷新を行なっている関係で、記事掲載を終了することとなりました」ここは全く意味不明。/連絡はした。承諾はなかったが消した、要求されたからデータは出した、だな。 id:deep_one
『過去記事の掲載終了へのご理解をお願いしました』 お願いはしたけど同意はとってない ってか、少なくとも係争中の記事に関しては取り下げられたら困るし了承はせんよな。 データ貰ったのは保険やろう id:tyoro1210
→合意してなかったらテキストデータ渡すとかもしていないだろうし、もっとこじれてたら「Yahooは記事を削除しようとしている!」って記事を山本一郎が書いただろう
大学の多様な在り方をこういった「大学ランキング」といった画一的な指標によって評価するのは大いに問題があります。
同様に、こういった指標が大学運営に影響を与えることを避けるためにこの文章を書きました。
利害関係のある企業による評価を多くの専門家を抱える教育機関が一方的に受け入れる今回の事態を不気味に感じます。
民間企業による指標ではなく、きちんとした調査を行い大学・研究所が協力をし、国もきちんと予算を出し、
大学の多様な魅力を踏まえた模範となるような「大学ランキング」に代わる大学紹介を行うべきです。
※「THE世界大学ランキング日本版2021」についての3つの問い
1.この調査の実施はベネッセが行っているが中立性が担保されているか調査を行ったか。
2.この調査自体に各大学をランキング付けする程の信頼性があるか調査を行ったか。
3.貴大学には教育学部が存在しているが、当調査に関して学内の専門家から意見を聞いたか。
「THE世界大学ランキング日本版2021」を実施したのはベネッセです。
http://between.shinken-ad.co.jp/univ/2020/03/JURshihyo.html
しかし、ビュー数の多いYahoo! Japanのニュースではそれには一切触れられていません。
https://news.yahoo.co.jp/articles/cd2428370025a1ef13e92665b18d20dacf01ae17
この記事の引用元の高校生新聞は「株式会社スクールパートナーズ 」が運営しています。
この企業は入試運営支援・入試広報委託サービスが事業に含まれています。
https://www.sclpa.jp/outline.html
要するに、大学入試に関わる企業(ベネッセ)が大学ランキングを作り、
それを同じく大学入試に関わる企業が(スクールパートナーズ)ベネッセの名前を出さず報道しているわけです。
一方で、2019年のベネッセと文科省の大学共通テストにおける癒着疑惑の報道や、
2020年のベネッセID問題の報道を覚えている方も多いはずです。
https://biz-journal.jp/2019/12/post_133401.html
https://gendai.ismedia.jp/articles/-/75062?page=6
さらに、ベネッセはベネッセ海外留学センターで生徒対象の校内セミナー、教員研修を事業として行っています。
ランキングの世界版は国際性が7.5%と低いのに対して、日本版は20%と比率が高く、日本版は国際性を重視している調査だからです。
https://www.benesse-kaigai.com/teachers
日本の“偉い人”は世界の大学ランキングに日本の大学がランク入りすることのみ重要視している傾向があるように思います。
一方で、世界ランキングの実態や、利害関係にある企業がランキングを実施する問題は驚くほど指摘されていません。
例えば、本家の「THE世界大学ランキング」のタイムズ・ハイアー・エデュケーションは2020年8月に海外留学生募集と学生住宅市場に参入しています。
https://thepienews.com/news/the-moves-into-international-student-services/
さて、ベネッセが大学ランキングを実施するのは勝手ですが、それが定着することは避けなければなりません。
大学の多様な在り方をこういったランキングといった画一的な指標によって評価するのは大いに問題があります。
「THE世界大学ランキング日本版2020」ではスコア100の内20%を占める国際性を以下のように定めていました。
例えば、大学の規模が大きければ当然、外国人学生比率は少なくなるでしょうし、
留学生向けに理解しやすい日本語で授業を行うことを重視している大学は評価が低くなるでしょう。
多様な大学の在り方が、この画一的な指標によって多様性を否定する本末転倒になる恐れがあります。
<国際性 20%>
外国語で行われている講座数÷全講座数
さらに、スコアの8%を占める日経HRという企業の「企業人事担当者から見た大学のイメージ調査」です。
『「THE世界大学ランキング日本版」の指標「教育成果」に使われている』ことを売りにして、
以下のサイトで全調査結果を大学向けに22万円で販売しています。
https://career-edu.nikkeihr.co.jp/category05/data.html
<教育成果 16%>
日経HRの「企業人事担当者から見た大学のイメージ調査」のデータを使用(2カ年分データ使用)
THEが世界大学ランキングのために各国の研究者を対象に実施した評判調査の結果から、日本の研究者が日本の大学について評価したデータを抽出。
東京工業大学では以下のように、Web上にページを作り、学生に協力をするよう「お願い」していました。
各大学により、学生協力を「お願い」する方法も違っていたようです。
ちなみに大阪大学では学生向けにメールが一斉送信されたのみで、問い合わせ先はベネッセのみでした。
この調査に関する大阪大学への問い合わせ先は一切記されていませんでした。
「THE 世界大学ランキング(日本版)の学生調査にご協力ください」
https://www.titech.ac.jp/enrolled/news/2020/047746.html
このようなランキングが定着するとこの調査を大学が民間企業に有料でお願いする、
それに付随する調査を法外な値段で買うようになる、という事態につながる恐れがあります。
これは個人的な意見なのですが、入試に限らず、就活も大学と民間企業の在り方に大いに疑問があります。
大学は今一度、民間企業と距離を見直す時期に来ているのではないでしょうか?
こういった卒論だと通らないようなレベルのものに参加してしまった数多くの大学にも責任はあります。
文科省との関係が深いベネッセだったので断れなかったのかもしれません。
id:washburn1975ってもんだ。ご指名どおり書いたぜ、読んでくれや。
その社員証を首からぶら下げると、胸が振り子のストッパー代わりになり
歩くだけでグイングイン振れ、ぱちぱちとID同士が当たる音がする。
ちなみにGカップ。
『周りの大人は変じゃねと思わなかったんかね』←この言い回しにコロッと騙されたのか、「変だ」と思い込まされてしまったブクバカを多数確認しましたww
https://www.ajimatics.com/entry/2021/03/22/174633
これについていたブコメ
id:versatile 「実数の中には、「2乗して0になる数」というのは0しかありません」の証明ってどうやるの?
メタブを見に行ったら、そういう数が存在した場合は逆数をとると矛盾が引き起こせるよっていうスマートな背理法が書かれてたんだけど、これはかなり危うい議論に見える。
というのも、その議論は0でない実数は必ず逆数が取れるよねっていう前提を所与のものとして扱っているわけで、じゃあその「0でない実数は必ず逆数がとれる」って命題はどうやって証明するのという話になる。
そんなの当たり前の話じゃないかと感じられるかもしれないが、我々の証明しようとしている「二乗して0になる数は0以外にない」という命題も同程度には当たり前のことであって、つまりこれは当たり前から当たり前を示す、基礎論的なところの問題なのである。
こういう議論では、話の土台が何より重要で、よく知られた性質の中でもどれは使っていいのか、どれは使ってはいけないのか良く整理してから始めなければいけない。
なぜなら証明済みの性質を贅沢に使って基礎的な部分を証明してしまうと、その元の議論のほうの前提に実は今証明している命題が間接的に入っているんだよということになりかねない。
だから、「当たり前のものを示す時」には、議論が「逆流」しないか十分気にする必要がある。
で今回の問題が具体的にどう引っかかっているかと言うと、実数には有理数という土台があって、有理数は整数という土台から作られている。
ここでもし、「二乗すると0になる0でない数a」が【整数の中に】含まれていると、有理数上で、(1/a)*(1/a)の答えが定義できなくなってしまう。
そうなるとそもそも有理数上の掛け算の定義が壊れているということなので、実数の構成どころの話じゃない。
つまりこの掲題の疑問は有理数に掛け算構造を与える際にこそ気にすべき問題なのである。
逆数という概念は掛け算の成立後にようやく有効になる話であって、その前段階にあるはずのこの疑問に対して逆数の性質を使ってしまうのは若干論点先取というか、真芯を外している回答のように思う。
もちろん実数の話であるからには土台にある有理数の基本的な性質は所与のものであるという考え方も間違いではないけれど、それはこの疑問の「心」が見えていないんじゃないかな。
で実際どうやって証明すべきかというと、まずは上述のように【整数で】この性質を示すべき。
もっと言うと整数の土台には自然数(ここでは0を含む)があるので自然数上で非0×非0が非0になることを示す。
そうして得られた性質を整数、有理数、実数へと順々に拡張していく。こういう流れになる。
自然数上での証明は、0でない自然数には前者関数Preが適用できることを用いて、
a*b=a*Pre(b)+a≧a>0
という感じで示せる。(もちろんもっと厳密にやるけどね)
整数は自然数のコピーを貼り合わせてできている。自然数上での非0×非0=非0という性質から、整数上でも容易にそれが示される。
有理数は整数の分子分母のペアに約分という同一視を入れてできている。ここでも整数上の非0×非0=非0の性質を簡単に有理数上に拡張できる。
最後に実数は、有理数の無限数列を極限の考え方で同一視してできるので、有理数上の性質をうまく実数上にも持ってくることができる。
概要だけざっくりだけどこれを組み立てれば疑問への回答になると思う。
(道筋だけ最後まで立てられることがわかったら途端に興味を失うやつ)
【追記】
文章が長ったらしくて申し訳ないけど、やっぱ伝わってないね…。
前半部は、「当たり前のことを証明する時には当たり前の前提を無批判に使っちゃいけない」ってことを言ったつもり。
ブコメで貰ってる「両辺をaで割って〜」っていうようなのも、実は割り算の存在が無意識に前提とされているけど、零因子があるかないかっていうのは【割り算の構成のためにこそ】必要な話なんだ。
だから「割り算というものが存在する」って無邪気に考えることすらもこういう問題では危険だよと言いたかった。
id:sunbrop コーヒーはいいのか…(困惑) / こういうのお供えって本人の気持ちだからなぁ…自分はお供えのコーヒーもお茶もバラも当然菊も敬意さえあるのであればいいとおもいます。(目立ったろwじゃなければ)
「敬意があればいいし目立ったろwじゃなければいい」ってトップブコメ見たけどちゃうで
普通に悪目立ちして喜ぶ奴やったわ
今日のツイッターとか見たらライスシャワー碑の青い薔薇花挿し?
にうつされてたw
で上げようか悩んであげなかった