ヤモリ来た><
極端に言えば、何らかの条件が限定された世界においての矛盾は無いとされる数学上の理論でさえも、その何らかの条件が限定され世界の想定に誤りが無い事も、そこにおいて矛盾がないという考えの思考プロセス自体も、誤りが無いことは証明できない><
(例えば、なぜかそれについて考える時だけ人類全員がバカになるとか)
オッカムの剃刀を使わずに無限に可能性を増やしていけばそうなる><
This account is not set to public on notestock.
この考え方で言えば、「自然科学は帰納で成り立ってるけど、数学は演繹で成り立ってるから証明できちゃうんだよね(眼鏡クィッ)」(発端のtogetterのオレンジ流比喩的表現)なんて言えないよね><
自然科学の実験結果に対して「いくら実験で確かめようともさらに条件を変えたら変わる可能性がある もしかしたら実験環境を変えたら結果が変わるかもしれない」と同じロジックで考えたら、何らかの数学の理論が今まで何らかの理由で全ての試行で計算が誤っていた可能性は否定出来ないんだから><
This account is not set to public on notestock.
This account is not set to public on notestock.
こういう数学の疑問に関して「それはこういうにでこういう風に考えられてるよ」とか、「その考え方にはこういう名前がついているよ」って人すら現れない><
ちょっと議論になりかけてもすぐに匙を投げたり、それは数学的ではないみたいな言い方をする><(で、あとから調べるとだいたい数学の1分野><)
そういう感じだからやっぱ数学嫌い><
ポアンカレ予想 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%9D%E3%82%A2%E3%83%B3%E3%82%AB%E3%83%AC%E4%BA%88%E6%83%B3
"...それ以来ペレルマン論文に対する検証が複数の数学者チームによって試みられた。..."
"...これらのチームはどれもペレルマン論文は基本的に正しく致命的誤りはなかったこと、また細部のギャップについてもペレルマンの手法によって修正可能であったという結論で一致した。これらのことから、現在では少なくともポアンカレ予想についてはペレルマンにより解決されたと考えられている。..."
これって自然科学での「...と、考えられている」となにか違うの?><
例えば、この証明は100人ほどの著名な数学者がそれぞれ検証を重ねた結果誤りが見つからなかったので、正しいと考えられている
ってそれ帰納法じゃね?><; って言いたい><
This account is not set to public on notestock.
誰かが黒板にドラマ『ガリレオ』みたいにノリノリで数式を書いたりして何らかの証明を書いたとして、それが間違っていないことはどうやって証明するのか?><
オレンジ的に疑問だったのは、「数学は証明により成り立っていて、自然科学と違い帰納的では無い」、その証明自体を帰納法に頼らず行うことはできるのか?><(数学的にはそこはどう考えるのか?)
って所で、「じゃあ計算間違いでは無いとか、他の既知の理論との矛盾は無いとかはどうやって証明するの?><」って言いたい><(メタな考え方だけど><)
This account is not set to public on notestock.
This account is not set to public on notestock.
ところで、オレンジは数学なんもわからんけど(←!><;)、今朝書いたこれらは数学好きな人はどう考えるんだろう?><
https://mstdn.nere9.help/@orange_in_space/110890607370892499
https://mstdn.nere9.help/@orange_in_space/110890621604042335
https://mstdn.nere9.help/@orange_in_space/110890634618526028
https://mstdn.nere9.help/@orange_in_space/110890666090955193
https://mstdn.nere9.help/@orange_in_space/110890700425562958
オレンジのところでもあらためて説明見たら空き缶を潰せとは書いて無かった><;
ペットボトルは必ず潰せって書いてあったから、缶もそうだと思い込んでただけっぽい><;
うちの市は、潰せとも潰すなとも書いてないなぁ。空き缶に付いてる金属の蓋やキャップも付けたまま出せとなっている。
!!!!!!><;
「すみません、ずっと潰してました」空き缶の捨て方、ゴミ清掃員芸人が明かす真実に驚き「理由を聞いて納得」|まいどなニュース https://maidonanews.jp/article/14791570
話ちょっとずれるけど、一番大切(というか貴重)なのって、疑問が正しいかどうかと、間違っていたとしてどう間違っていたかを教えてくれる存在かもってオレンジは思う><
This account is not set to public on notestock.
This account is not set to public on notestock.
ところで、オレンジは数学なんもわからんけど(←!><;)、今朝書いたこれらは数学好きな人はどう考えるんだろう?><
https://mstdn.nere9.help/@orange_in_space/110890607370892499
https://mstdn.nere9.help/@orange_in_space/110890621604042335
https://mstdn.nere9.help/@orange_in_space/110890634618526028
https://mstdn.nere9.help/@orange_in_space/110890666090955193
https://mstdn.nere9.help/@orange_in_space/110890700425562958
何度も書いてる話だけど、
逆に、オレンジがそういう風に教えてもらえなかった上に独学で習得出来なかったので分野ごと嫌ってるけど話題は追いまくってるのが数学だし、もしオレンジの身近に数学をオレンジのように教えてくれる人が居たら、数学嫌いを公言してなかったかも><
オレンジの周囲の数学好きな人って「もっと勉強してからじゃないと無理だね」って人しか居なかった><
オレンジは他の人がオレンジの数学に対する気分と同じような気分になるのは悲しいって考えるので、助け船が出せる範囲は助け船を出したい><
This account is not set to public on notestock.
This account is not set to public on notestock.
だから、メカ音痴の人でもエスパーサポートするし、他の人が匙を投げた相手でも学習意欲があれば教えてあげようとする><
「これは小学生が理解するのは無理」とかも(あんまり?)言わない><
「(どこからどういう風に説明したらこの人にも理解できるだろう?>< )」って考える><
「馬鹿なのでもう教えなくていいです・・・」は、思考能力自体は悪くないっぽいけど知識が欠落してる系の人が言ってるのを見るとオレンジも悲しくなるけど、
「馬鹿なので馬鹿にもわかるように教えてほしい」だったら「よっしゃ!>< オレンジも馬鹿だからちゃんと理解してるとは言い切れないけど、わかる範囲の事であれば馬鹿だからこそ馬鹿なりに理解できるように優しく根気強く教えてあげるよ!><」って気分になる><
教えたがりだから><
This account is not set to public on notestock.
短く言うと、自信とどの程度納得しているのかの情報を簡潔に伝える手段として有効では?><
それなしにその情報を得ようとするとオレンジの文章のように長ったらしいやり取りになるんでは?><
同じ授業に出てる学生が「私バカなんでよくわかんないすけど」と漫画のキャラみたいなこと言った時に先生に注意されてた話→「発言の責任を軽くする言い訳にしてはいけません」 - Togetter https://togetter.com/li/2205663
オレンジは、多用しまくってるけど、よくわかんないけど(←!><)発言ごとのたしからしさとか自信のレベルの情報は重視しないの?><
「これはこうだよ!>< この論文が参考になるよ!><」と、「その分野はよくわからんけどこういう風に論を組み立てればこう考えられるんでは?><」とか「よく覚えてないけどなんかでこんな感じに説明してるの読んだ気がしなくもない><」を一緒に扱っちゃダメじゃね?><
質問でも、自身の釈然としてる度(?)を示さないで質問されたら、どういうレベルで説明するべきかの取っ掛かりに欠けるじゃん?><
オレンジはそういう情報なしに効率よく答える自信ないけど(←!><)、そういう言葉を嫌う人は、どういう風に相手の釈然としてる度(?)を読み取ってるの?><
そういえば、アメリカの近郊鉄道の客車とか電車で、高床式ホームの駅と低かったりそもそもホームなしな駅を直通する列車用に、3ドアで真ん中のドアだけ高床式ホーム用のドアになってるやつあるけど、
同じ発想で、LRVだけど高床式ホームドアがついてるやつって出来ないのかな?><;
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
[B! 批判] 「THE FIRST TAKEはクソ」「若い才能を騙す行為」 ロッキン出演バンドメンバーが批判→投稿お詫び https://b.hatena.ne.jp/entry/s/www.j-cast.com/2023/08/14466968.html?p=all
ほんとかどうか知らんけど、もしそうであれば、逆に真面目に映像まで一発撮りする為にソニー指定のレコーディングスタジオに持ち込めるようにモーションキャプチャシステムの改造までやったホロライブがなおさらすごくね?><;
星街すいせい「THE FIRST TAKE」出演。実現を支えたチームにインタビュー|カバー株式会社 公式note https://note.cover-corp.com/n/n9aaa23b8dc96
オレンジもリアルタイムには知らないけど、20世紀にはわりと昔の映像を振り返る系の番組がNHKでも民放でも多かったし、小さい頃からわりとそういうの見まくってたので、イメージというか知識みたいなのはわりと小さい頃からあった><
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
いきなり答え見たら勉強にならないんだよって教えてるNHKの学校向け(科学)教育番組><
考えるカラス | NHK for School https://www.nhk.or.jp/school/rika/karasu/
プログラミングの場合は正解って完成品なので、完成品があるって事はそれをインストールすればいいわけで、わざわざ作る意味がない><
じゃあ何で練習で同じものを作るかと言えば、自分で作り方を考える能力をつけるためなわけで、考えずに答え見るなら全く意味無い><
(写経の場合も「なるほどこうなってるのか!><;」って考えながらやった時だけ意味ある><)
This account is not set to public on notestock.
より具体的にしていくって意味ではプログラミングも同じかも><
「テトリスを作りたい」じゃなく「ブロックを下に動かしたい」とか「ある座標に画像を表示したい」とか「横一列揃ってるか判定したい」とか><
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
例えばテトリスを作るってなってテトリスの作り方でググってその通りに手順のみ追って実装するだけであれば、それは設計の面では、別にテトリスを作ってないし、そんな無意味なことをするよりも「テトリス フリー」とかでググればいい><
プログラマとしてはそいつは不要><(未移植の環境に移植であれば別だけど)
完成品の作り方をまるごとググって、まるごとそのまんま実行するならば、それは少なくとも設計のお勉強にはならないし、プログラミングは設計なのでプログラミングのお勉強にはならない><
単にその完成品の仕組みを知っただけ><(そういうタイプは仕組みすら学ばず手順を実行するだけだろうけど)
それもそうだけど、そういうタイプの学生の人ってそもそも自分では設計しようとしてないで、例えばテトリスを作る時は「テトリスの作り方」でググったりyoutubeで検索してると思う><
で、読んでもなに言ってるかわかんなくて「わかりませんでした」ってパターンだと思う><
「どうやったら作れるのか?」を考えて、問題を解決するのが設計で、設計こそがプログラマのお仕事なんだから、作り方をググってその通りにするんだったら設計はしてないわけで設計のトレーニングにならない><
なので、完成品(コード)で評価するんじゃなく、計画や準備の方で評価すれば、インチキするのが難しくなって、ちゃんと設計のトレーニングになるかもって思った><
例えば「電卓を作る」って自分で決めたとして、電卓の作り方そのものを調べちゃダメで、「どうやったら作れるのか?」「どういう機能が必要でどういう構造であれば計算できるのか?」をレポートとしてまとめる感じ><
ちょっと本題と違うけど、プログラミングの自由課題(?)で、「その物ズバリの作り方は調べずにどうやったら作るか考えてまとめる(実物は作らなくてよいし、誤りが含まれていてもよい)」って課題作ったら、ただググってコピペして終わりとか他人の解答丸写しとかAIに任せてそのままみたいなことが出来なくて、いい感じになりそうだし、
学習指導要領の改善で、義務教育での科学教育とプログラミングの現在のやり方にも近くなりそう><
これ><
https://mstdn.nere9.help/@orange_in_space/110652972184198579
https://mstdn.nere9.help/@orange_in_space/110652980645099518
https://mstdn.nere9.help/@orange_in_space/110652996120799182
This account is not set to public on notestock.
This account is not set to public on notestock.
たぶん、主語が日本列島だと横断、主語が近畿地方であれば縦断になるって発想で、関西テレビの記事本文とタイトルで食い違ってるのも、「近畿を(通って日本列島を)横断」と「近畿地方を縦断」ってことなのかも?><
台風は「横断する」?「通過する」? | ことば(放送用語) - 放送現場の疑問・視聴者の疑問 | NHK放送文化研究所 https://www.nhk.or.jp/bunken/summary/kotoba/gimon/037.html
"...台風の進路については、日本列島の伸びている方向に沿って通る場合を「縦断」、これと交わる方向に通る場合を「横断」と言うのが一般的です。..."
【台風7号】USJなどで休園対応相次ぐ 15日に近畿を横断か お盆休み直撃で各地に影響 気象庁は不要不急の外出を控えるよう呼びかけ(関西テレビ) - Yahoo!ニュース https://news.yahoo.co.jp/articles/02280188d88f0ef640dac34928d66f40aecaecd7
"台風7号は、15日に近畿地方を縦断する見込みです。..."
どっちやねん!><;
Fediverseだけじゃなく、togetterとかはてブとか見ても、世代の中心って大学生じゃなくアラサー中心になってるように感じる><
(今は大学生はオレンジが見てないインスタとかtiktokとかに居る?><;)
そういえば、少なくとも(オレンジが知ってる)1990年代からネットの文化(というかパソコンの文化)って、その時々の大学生が中心に引っ張ってた感じがあったけど、ここ最近5年くらい(?><)は、そういうの感じず、なんかアラサー辺りが中心っぽい気がしてきてるけど、
それって実際に文化の高齢化が起きてるのか、オレンジがFediverseに引っ越して若い人の観測機会が減ったせいなのか、どっちだろう?><
This account is not set to public on notestock.
This account is not set to public on notestock.
離乳食は彩りや栄養バランスを考え全部手作り、毎日完食してくれてた→今ではポテト唐揚げうどんパンしか食べません「安心と勇気をありがとう」 - Togetter https://togetter.com/li/2205181
偏食の正反対の超異文化許容舌のオレンジ的には、
逆に(?)じゃあ、どうなると偏食の人が出来上がるのか謎><;
食べ物に限定した影響じゃなくて考え方(の変化)とかの方なのかな?><
猫好きな人が居ない家の場合はこれ謎かも><
少なくとも猫が好意を持ってる相手の所にしか猫って獲物おいていかないよね?><
This account is not set to public on notestock.
[B!] 「さて、これはどうやって作ったでしょう」瓶の中に組み上げられた複雑なコインタワーの作り方クイズが難解 https://b.hatena.ne.jp/entry/s/togetter.com/li/2205457
これ、わからないまま答え見て「ぐぬぬ><; なるほど><;」ってなってからあとから気づいたけど、
TRIZを参考にしたら解けてたねこれ><
まだ答え見てない人でわかんない人、ためしに↓を参考にしながら考えてみて><;
TRIZ - Wikipedia https://ja.wikipedia.org/wiki/TRIZ
ジョーク思い付いた><
とある数学者は言った
「自然科学は、証明では無く帰納によって成り立たっているので美しく無い。その点、数学は証明によって成り立っていて美しい。この美しさは多くの数学者の努力によって検証されて証明されている」
例えば「帰納法には穴があり、実験を条件を変えつつ繰り返したとしても何も証明にならず無意味だ」とした場合、
「数学の計算は、計算者や計算器等を変えつつ検算を繰り返したとしても、検算は帰納法的な性質を持っているのでそれ自体を証明する事は出来ず厳密には証明されていないので、検算によって『証明』されたとされるあらゆる数学的知見は、証明されたとは言えないので、数学において証明されたとされる知見はすべて無意味である」
も成り立っちゃうよね?><
https://togetter.com/li/2205213
つまりこいつは数学にも向いてないんでは?><
あるいは、ものすごく間抜けなんでは?><
目の前の食塩溶かす実験には、再現性を疑っているのに、数学の計算等は必ず再現性があると思い込んでる><
使用する計算機の不良や自身の計算法や人間の認知の影響を疑うこともなく><
なぜ数学の問題は場所を変えたり計算機を変えたり人間の影響を無くすまでの検証をしようとしないのか?><
数学の計算は一切の物理法則の影響を受けずに行えると思っているのか?><
水100gに食塩1gを溶かす実験で小学生が投げかけてきた素朴な疑問に、数学者としての素質を感じた - Togetter https://togetter.com/li/2205213
つまりこれのやりとりの、『実験』を『計算』や『数学的な証明』に置き換えたとたんに、この発想に乗るならば数学も崩壊するのでは?><
帰納法を全く受け入れられない数学者あるいは数学好きが居たとして、
ある計算や数学的な証明が、単にその一回かあるいは数回のみの偶然ではなく、計算結果は変わらないという事自体は、帰納法に頼らず証明できるのか?><
[B! 実験] 水100gに食塩1gを溶かす実験で小学生が投げかけてきた素朴な疑問に、数学者としての素質を感じた https://b.hatena.ne.jp/entry/s/togetter.com/li/2205213
これ、そもそも現実の話かとか、居たとしてこの子は研究者に向いてるとは思えないとか色々あれだけど、派生でひとつ疑問が浮かんだかも><