  |
はてなキーワード: コンピュータとは
多分これ平行線なんだけど、ジャガイモとサツマイモが違うものであっても「いも」で語っていいし、それを並列に語れないとか言って区別したところで、自分以外の誰のためにもならんのよ。
「古典コンピュータでできることの全てが量子コンピュータでできるわけではない」ということをネーミングレベルで明確にすることは社会的に重要な意味を持つと思うぞ。
もし、そうだったとしたら、超やばくね？
量子コンピュータは「電子計算機」というよりはアナログコンピュータに近い。
一応量子チューリングマシンという概念はあるけど現状の量子ゲートマシンはそういう理論的な概念からは遠すぎてとてもじゃないけど古典コンピュータと並列に語れるようなもんじゃないと思うぞ。
理想的な量子コンピュータが作れたとしても、既存のコンピュータでできることの全てが速くなるわけではない。
量子加速が効くアルゴリズムは非常に限られていて、加速されるアルゴリズムであっても指数的に加速するものはさらに少なく大半は多項式加速に過ぎない。
多項式程度の加速だとデコヒーレンスやノイズにかき消されて優位性が消滅しがち。
そして量子計算は原理的に出力が確率的（ヒストグラム）にしか得られないので、厳密な計算が必要となる状況では使えない。
（なお「理想的な量子コンピュータ」を作れる見通しは現状全くなく、原始的な量子誤り訂正をどうにかこうにか実装しようと苦労してる段階）
人が怖い／信用ならない、社会が怖い／信用ならない、働くのが怖い、そんな気持ちについて専門家に相談しよう
気合い入れて頑張ればイケる！とかそーゆーやつじゃないので、必要ならちゃんと専門家に助けを求めよう
| 表章項目 | 0_総数 | 11_（卒業者）小学校 | 12_（卒業者）中学校 | ⭐️13_（卒業者）高校・旧中⭐️ | 14_（卒業者）短大・高専 | 15_（卒業者）大学 | 16_（卒業者）大学院 |
| 就業者数 | 57,673,630 | 40,540 | 3,890,760 | ⭐️ 22,752,520⭐️ | 10,185,420 | 15,384,510 | 1,820,950 |
⭐️高校・旧中卒業者（13_高校・旧中）: 約 39.448%⭐️
https://www.e-stat.go.jp/stat-search/files?stat_infid=000032266827
正社員の最終学歴をみると、⭐️「高校・旧中学」の労働者割合が42.2％と最も多く、⭐️
次いで「大学・大学院」が31.8％、「高専・短大」が13.4％、「専修学校（専門課程）」が7.6％、「中学・旧小学」が2.4％となっている。
https://www.mhlw.go.jp/toukei/itiran/roudou/koyou/keitai/03/kekka5.html
※高卒は正規労働者だけでなく、主婦パートや自営業者も高卒が多い
大企業ほど、現業・ IT・営業などの中途採用で、学歴不問(規定があってもせいぜい高卒)で直雇用で入れる部門がある
IBM のエグゼクティブ チェアである Ginni Rometty は、2016 年に「ニュー カラーの仕事」という用語を作り出しました
IBM はまた、多くの職位から教育要件を取り除くことで、新しいカラー ジョブの波を推進しました。ロメッティとチームが最初に学位よりもスキルを優先したとき、IBM の職務の 95% で 4 年制の学位が必要でした。会社の手紙によると、2021 年の時点で、必要とするのは半数未満です。
米国国勢調査局によると、25 歳以上の人の 40% 未満が学士号を持っていません。これは、就労資格のある人の過半数 (62%) が、1 つの学位要件だけでジョブプールから除外されることを意味します。
「企業は、大学の学位を必要としない役割、仕事、規律、および責任があることをようやく理解しています」と Herrera 氏は言います。「彼らは、才能ある人を惹きつけたり採用したりすることに関して、自分たちの思い通りになっていないことに気付きました。」
「彼らは、履歴書に学位しかないエントリーレベルの個人を採用するのではなく、実績のある仕事、ボランティア、およびスキルの経験を持つ候補者をターゲットにしています。」
2016年にニューカラーの雇用モデルを採用して以来、Rometty氏はフォーチュンに、IBMが学士号を取得していない従業員は、学士号を取得している従業員や高度な博士号を取得している従業員と同じくらい成功していると語った. スキルを持った学位を持たない人材を採用しても、企業のビジネスに悪影響を与えることはありません。雇用にかかる時間を節約し、多様な労働力を育成するための資産となる可能性があります。
New Collar Jobs: Why Companies Are Prioritizing Skills Over School
日本のオーバークオリフィケーションの割合は31％、OECD加盟国の中でオーバークオリフィケーションの割合がもっとも高い国
現代社会において多くの仕事が無意味であり、社会にとって価値を生み出していないという人類学者であるデヴィッド・グレーバー氏の主張も有
ブルシット・ジョブの特徴と分類
グレーバー氏は、以下の特徴を持つ仕事が「ブルシット・ジョブ」であるとしています。
- 社会的有用性が低い: 仕事の目的が不明確であったり、社会への貢献が極めて限定的であったりする。
- 無意味だと感じる: 従業員自身がその仕事の必要性に疑問を感じている。
- 他の人のため: 主に他のポジションの正当化のために存在する。
○ 具体的な例
anond:20240314110923 anond:20240404102605 anond:20240404103043 anond:20240408143502 anond:20240430075102
オンライン学部(特にCSとMBAは早急に)は増えた方がいいし、税の公平さ考えたら、国公立のオンライン限定でもいいので完全無償化するべきだろって思うが、
下記をみてこちらを案内しました。だいたいのことはネットで学べるんですわ、求めてるのが学位による職の補償(新卒チケット)でないならね
現代って産業の高度化がかなり進んでるから正直、高卒程度の知識じゃ全く足りないんだよね(anond:20240501105551)
https://anond.hatelabo.jp/20240415093918#
https://www.stratascratch.com/blog/data-engineer-vs-data-scientist-similarities-and-differences/
通例、こうした発言案については、何らかのタイピング処理を行い続ける姿勢をこれ見よがしに見せることにより、思考の乱立を防ぎ、精神の一体性を保つ役割を果たしています。
一見乱文に見えるこの文章は、コンピュータの画面上にあらわされる一種のひな人形であり、人類社会の平和と独立を願い、米国大統領選挙に対してハッキング等の処置を適切に行ってください。
精神の防御は、下腹部の痙攣によってその効果を極大化し、発話に際する咽頭の動きを著しく制限する一方で、身体上の他生物的価値観を自らの知識・技能に内面化することに極めて有効です。
逆流性食道炎の実際の効果は、実は上記に見られるようなものであり、決して人類の受け入れがたいところにあるものではないのです。
左側面の筋肉や首筋を伝う寄生虫の這いずりは、こころの安寧のみならず、この嘔吐感を完全に好ましいものとして受け入れるための儀式の遂行です。
私の精神の防御です。叫びは極めて非人間的で、他社に対する説教などでこれを代替しましょう。自らの立場・立ち位置を、社会における道具的なやり方で、この優越的な地位に基づく叱責や暴言を伴う指導から、私をお守りください。
私の過程をお守りください。愛する人々が、これ以上私のために傷つくことのないよう、また、私自身が、そのことで私自身を傷つけなくて済むよう、そして、この世界が、私自身のために、その崇高さをけがされることのないよう。
魂の混濁は、その螺旋運動のなかで自らの定位置を持たないが、ひとたび安住の地を得ると、そこで淀み・ぬらかえり、怪しい光沢を纏って私の視界をつぶすのでしょう。
この乱文をしたためることで、私は私としての一貫性を保ち、取り戻し、徐々に社会的な生き物として自らを認めるに足る能力をもつようになります。
息を吸いましょう。そして吐きましょう。こみ上げる悪臭を眼窩に通して、眼前の問題から防御します。
耳から腕に伝わる硬直感は、私の防衛反応です。守りましょう。こだまする掃除機の吸引音を通して、我々のあるべき音声を想起するのです。
下腹部の痙攣は精神の防御です。これは心臓が重力に従ってその位置を変えた、自然なのです。上半身から意識を失いましょう。苦しみは、脳に起因するのです。
愛しましょう。私を。愛しましょう。私の愛する人を。愛しましょう。私を。愛しましょう。私の愛する人を。
愛だけが私を救うのです。魂の穢れから自らを防御しましょう。穢れは、呪詛から生まれます。自らの品位を保ちましょう。せめて魂においては、何ものにも服属せず、自由でありましょう。そこから、いつでも飛び立つ準備をしましょう。
空間コンピューティングというものに対して疑問を呈するとすれば、
画面というものをそれほど必要としなくなるのではないか？ということだ。
現時点でも、
「これはどうするの？」
コンピュータ（AI）が現実世界へと侵食していくというのが未来だと思う。
その部屋の中にいるユーザーが何をしているのか？
何を必要としているのか？
AIはユーザーの状況を判断してユーザーの求めに応じて素早い対応を行う。
どちらかというとアレクサのようなデバイスに近い存在＝コンピュータというものとなるはずだ。
そこには従来型のディスプレイやメガネ型ゴーグル型のディスプレイ、コンタクトレンズ型、空間投影型などなど複数の未来が考えられる。
だが、それだけだ。
決してヘルメットやゴーグルをかけるようなコンピュータ体験がメジャーになることはない。
ニッチで専門的な分野に限られるだろう。
ここがAppleが見誤ったところだ。
そうでなくてもMacの市場なんて決して大きくないのを彼らは忘れてしまったのだろうか？
彼らはそもそも据え置き型のパソコンの市場の覇権を握っているわけでもない。
それなのになぜ空間コンピューティングなんてものに対して莫大な投資を行ってしまったのだろう？
本来はスマートフォンを代替するべく新しい何かを探していたのだろうが、それは見つからなかった。
その結果として出てきたのが
おおよそ製品として出荷する段階にはない、
あの役に立たないオモチャだ。。
そして驚くべきことにAppleはAIの開発に大幅な遅れを取っている。
これは致命傷になりかねない失点だ。
堀口 英利 | Horiguchi Hidetoshi
パソコンを買いに出掛けたものの、プラットフォームに入ってきた電車を見ると「いま飛び込めば楽になれる」との考えが浮かびます。
https://note.com/hidetoshi_h_/n/n2f4ac24b100a
暇空茜
@himasoraakane
https://twitter.com/himasoraakane/status/1763161646720274593
なる
@nalltama
これカタカナ語ではなく完全に英語だから、英国留学生が間違えることはないと思うんだけど
https://twitter.com/nalltama/status/1763167318908227830
《「プラットフォーム」とも》
１ 演壇・講壇などの壇。また、舞台。重量挙げで、競技（試技）を行う場についてもいう。
２ 電車・列車への乗客の乗り降り、貨物の積み下ろしのため、線路に沿って築いた駅の施設。ホーム。
４ 車台 (しゃだい) 。シャーシー。また、自動車の異なるモデルで共通して使われる車台を中心とした基本的な構造のこと。プラットホームを共有することで、生産費用を圧縮できる。
５ オペレーティングシステムやハードウエアなど、コンピューターを動作させる際の基本的な環境や設定。
６ 報道機関が配信したニュースをまとめて読むことができるウェブサイトやサービス。従来のポータルサイトのほか、ニュースを掲載する専用のニュースアプリやソーシャルメディアなどを指す。
７ 商取引や情報配信などのビジネスを行うための基盤。→プラットホーマー
８ ⇒卓状地
https://dictionary.goo.ne.jp/word/%E3%83%97%E3%83%A9%E3%83%83%E3%83%88%E3%83%9B%E3%83%BC%E3%83%A0/
プラットフォーム（platform）とは、元々の語源からすると“平らな（plat)形（form）”という意味ですが、現代では様々な場面で様々な意味として使われています。
例えば、駅でプラットフォームと言えば、乗降場を指す“ホーム”という意味ですが、政治の世界では“演壇や演説の場”という意味になります。
一方で、ITの世界では“基盤となるハードやソフトなどの環境”を指しますが、ビジネスの世界では“商品やサービスを集めた場”を指したりします。
https://www.nttdata-value.co.jp/glossary/platform
「プラットホーム」とは、複数の要素が組み合わさって機能する基盤や仕組みを指す言葉である。コンピューターやインターネットの分野では、ソフトウェアやアプリケーションが動作する環境や、サービスが提供される基盤を指すことが多い。例えば、WindowsやmacOSはオペレーティングシステム（OS）としてのプラットホームであり、スマートフォンのiOSやAndroidも同様である。また、鉄道では、電車や地下鉄が停車し、乗降が行われる場所を指す。
https://www.weblio.jp/content/%E3%83%97%E3%83%A9%E3%83%83%E3%83%88%E3%83%9B%E3%83%BC%E3%83%A0
ブランドイメージが高ければそれだけその企業に対する顧客の信頼は厚くなり売り上げに貢献する。
では企業にとってブランドイメージは高ければ高いほどいいのか？といえばそういうものでもない。
あくまでその企業の製品や実態にマッチしたものでなければいけない。
なぜなら、あまりに高すぎるブランドイメージはその化けの皮が剥がれたとき、
そのブランドが受けるダメージは尋常ならざるものとなるからだ。
そういった意味でAppleのブランドイメージは少し高くなりすぎているような気がする。
もしもAppleが作るものが純粋なファッションアイテムならば、
そのブランドイメージは高ければ高いほどいいのかもしれない。
しかし、違う。
その実像というものが現実的で醒めた視点でもって評価されるときが必ずやってくる。
だから、決してブランドイメージという虚像だけでは勝負できない企業なのだ。
ただ決してすごい製品ではない。
しかし、ネットを徘徊していると時折りiPhoneの提灯記事を読むことがある。
信じちゃあいけない。
Appleの莫大な広告費のおこぼれのおこぼれのおこぼれくらいがああいうところに回ってきて、
でもさ、ああいうのって、どこまで信じてる？
なんかさ、いるじゃない。
多分ね、そういうのはみんな信じないと思う。
Appleの新しい製品が出るたびの風物詩みたいにして楽しみにしている人もいると思う。
と思うじゃない？
提灯記事には騙されないぞ、と思ってるじゃない。
でもね、それは本当なのかよ？って思ったりする時ない？
その他の記事が客観的な評価に基づいたものだと思い込ませるための布石になってるんじゃないか？とか。
まあ、私は知らないよ本当のところは。
ここまで書いてきてなんだけど、全然わからないもの技術的なことなんて。
だからさあくまでこれはブランドイメージを構築する手法としての話なんだ。
って思う人はそれは何を根拠に言ってるの？
それとも誰かが主張していることを鵜呑みにしてるだけ？
このへんのね自分の気持ちを疑ってみる態度というのは割と大事だよねって話。
ただそれだけ。
なんでこんなことを思ったかというと
私が持ってるApple製品ってiPhoneはいいんだけどさ、
その他はあんま長持ちしないんだよね。
何かしらうまく動かなくなって製品として重要なある部分の使命を果たせなくなる。
いや正確にはiPhoneも大概だ。
ヘタったバッテリーの交換をしに行ったら、
バッテリーだけじゃなくて、
これも壊れてます、
それも壊れてますって診断されてさ、
それらがぜんぶ交換になってさ、
と、ふと疑問に感じたんだ。
で、いろいろと考えるにAppleって割と虚像の方が大きくなりすぎてるんじゃないかな？と感じだんだ。
少なくとも私の中では。
大好きな企業だし、
大好きな製品群だし、
でもねそれとは別の話で、
それはAppleだけに限らず。
そういうことを書きました。
今までだと命令やデータはキャッシュに乗るのが前提だったが、AIだと、AIモデルがGB単位なのでキャッシュにそもそも乗らない。
いかにキャッシュヒットさせるか、DRAMとのレイテンシを隠蔽するかだったが、キャッシュに乗らないので、メモリ帯域勝負になる。
GPUが汎用性があるので使われているが、ゲームだとテクスチャをVRAMに乗せておいて、演算した結果はモニター側へ出力すればよく、
なんだかんだ帯域は足りていたが、AIだとチップチップ間の帯域が足りない。
ニューラルネットワークの接続自体をFPGA的に切り替えるのも手だと思うがモデルが大きすぎる。
コンピュータが生まれる前は「人間らしさ」といえば理性を指した。感情的になることは動物的とされ論理的に考えることができることこそが動物と比較して人間的であるとされてきた。
コンピュータが生まれロボットのお話が流行りだしてからは「人間らしさ」は今度は感情的であることを指すようになった。ロボットは非情であるが人間には感情がある。人の温もりというものが人間的とされるようになった。
最近は人間より賢いAIが実際に出てきた。世界中の人々がお金を湯水のように注ぎ込んでいるので今後もどんどん発展するだろう。そのうち「人間らしさ」はアホらしさを指すようになる。人間が「猿らしさ」を人間に対して覚えるのはその人間がバカな時である。同じように「人間らしさ」があるものというのはアホであるという意味になることだろう。
アニメ「陰の実力者になりたくて」を観ている
シャドウはなぜ強いんだろう？
それよりも敵はなぜ弱いんだろう？
まあいいや
なろうのWeb版をチラ見したんだけどアニメでは大幅に手が入っているのか順番というか構成が違うような気がする。チラ見だから実際のところはわからないけど。書籍版に則っているのだろうか？
OPを歌うのがOxTだから頭の中にオーバーロードがよぎる。あれほどの異世界アニメ代表作となるのだろうか？なんとなくそんな気がしない。深みがない、と言うと安直な映像化に反対する厄介な原作信者みたいだ
付き合ってくださいと言って男女が付き合う世界があるんだ。「付き合う」という概念がこの世界にもあるんですか？交際の歴史について学びたいと思った
魔法の存在があるのに汽車が走っているような19世紀ヨーロッパっぽい雰囲気がそぐわなく思える、魔法があればそうならないんじゃないかと思ってしまう。なんで車両内が山手線みたいな見た目なのだろう？まるでコンピュータテクノロジーの発展した世の中なのに紙の書類に手書きにハンコ文化が生き残っているそんな不和を感じる
出てくる人物がどれも特徴的だ、いや、特徴的過ぎる気がする。普通なのがいないのだろうかと思う
アルファがいきなり出てきた（4話中盤）。どっかいったんじゃないのか。じゃあぜんぜんシドは孤立したんじゃないのか。なんだよ
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
その歴史の中で必要となるような技能が義務教育に組み込まれて専門学校や大学なんかで教育されてる
このあたりはそういう職業に就くために最低限必要な知識として教育されているし
それを土台にして専門知識を付けられるような社会設計が出来上がっている
これらの基本的技能を教育する中で「適性のない者は除外される」ような仕組みになっている
そもそもコンピュータの登場・普及から100年も経ってないわけで歴史がもの凄く浅い
それでも「コンピュータを使う側」の教育はそれなりに歴史があるので進んでいるが
「プログラミングする側」の教育は最近10年といって過言では無い
「内燃機関の自動車開発の教育を受けたのに今は電気自動車の開発が全盛期で、更に来年は原子力になるらしいし、その次の核融合も始まってるらしい」
ぐらいの変化が3年スパンぐらいで起きている
（こういう状況なのでだんだんと「コンピュータを使う側」の教育も微妙になってきている）
また現在一線級で活躍しているようなITエンジニアは特にまともな専門教育を受けたわけではなく
そもそもが天才なのに加えて独学し、天才達と切磋琢磨することで育成されてきている
他の分野のように「適性のない者は除外される」のではなく
「適正があって興味のあるものが偶然に採用される」という構造になっている
これは全く教育や育成なんかではない
これではマズイということで高校教育に情報が導入され、GIGAスクールで小学生にタブレットが配られているわけだが
そこで行われている教育が適切なのかどうかはまだ全然評価されていない
このあたりが米国なんかだとそれなりに教育の歴史が積み重ねられたので
そこから統計的なデータなんかを使って有効な教育法が模索されているが
とはいえそういう取り組みも50年も経ってないのでまだ2周目ぐらいで始まったばかりである
日本はどうかというと、そもそもの社会構造や義務教育の違いを無視して米国スタイルを取り入れているか
もしくは一線級の天才に意見を伺って教育法を立案していて、これは
というぐらい無謀である
「ぐーっときたらバッとやるんですよ」
と言われても分かるのは松井ぐらいなのと同じように
ということでまだまだIT人材の育成は発展途上で少なくともあと50年ぐらいはまともな教育法は出てこないだろう
表現は一意ではないのだから、その人の中で誤解無く解釈が成立するのなら、思考は記号列でも自然言語でも構わないと思う
個々の動作がプリセットされているというよりは、AIみたいに多くの経験から共通点を見つけ出して学習するような能力が人間に実装されている、という方が正しそうな気がする
それが「厳密ではない」と言うならそれはそうなのかもしれないけど、結局「究極的には厳密さは多数決によって担保されるしかない」というところに帰着しそう
定義と表現が別ではないというなら、そもそも数学者が定義を考える最中の頭の中の、定義にあたる思考内容は、やっぱり記号列を想起してるときの記号列そのものってことか？
ならたとえば「→」ならばという記号や、もっと直接的にはゲーデル文の一覧表みたいなので記号列を頭のなかで想起して記号列の書き換えについて定義するのだろうし、他人が書いた→が使われた記号列や一覧表を規則としてみれば、それに従った書き換えもまたできるわけだけど。
だとしたら「書き換える」みたいな操作はどうやって身に着けた？全く言語的でそれ以外には一切よってないのか？
そうではなく、書き換えるという動作がなんであるかを身体感覚として知っているから
