  |
はてなキーワード: コンピュータとは
コンピュータが生まれる前は「人間らしさ」といえば理性を指した。感情的になることは動物的とされ論理的に考えることができることこそが動物と比較して人間的であるとされてきた。
コンピュータが生まれロボットのお話が流行りだしてからは「人間らしさ」は今度は感情的であることを指すようになった。ロボットは非情であるが人間には感情がある。人の温もりというものが人間的とされるようになった。
最近は人間より賢い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みたいに多くの経験から共通点を見つけ出して学習するような能力が人間に実装されている、という方が正しそうな気がする
それが「厳密ではない」と言うならそれはそうなのかもしれないけど、結局「究極的には厳密さは多数決によって担保されるしかない」というところに帰着しそう
定義と表現が別ではないというなら、そもそも数学者が定義を考える最中の頭の中の、定義にあたる思考内容は、やっぱり記号列を想起してるときの記号列そのものってことか？
ならたとえば「→」ならばという記号や、もっと直接的にはゲーデル文の一覧表みたいなので記号列を頭のなかで想起して記号列の書き換えについて定義するのだろうし、他人が書いた→が使われた記号列や一覧表を規則としてみれば、それに従った書き換えもまたできるわけだけど。
だとしたら「書き換える」みたいな操作はどうやって身に着けた？全く言語的でそれ以外には一切よってないのか？
そうではなく、書き換えるという動作がなんであるかを身体感覚として知っているから
現代くらいの技術レベル同士で数光年くらい離れたとこに電波通信可能な文明がある世界を描いたSFってある？
「三体 1」はわりと近いけど、あれは恒星間の征服戦争というシチュエーションを描くために三体人側にぶっとんだ惑星、ぶっとんだ技術を与えてるからちょっと違う。
どんなに科学が進歩しても超光速通信とか量子サイズの自立機械とかは不可能で、数万年オーダーをかけない限り恒星間を移動可能なものは実質的に情報だけみたい世界観。
仮に相手を支配下しても、そこから資源や土地などは得られないので相手文明を支配したり滅ぼしたりしようとする動機は基本的に存在しないので、
暗い森林で光を灯しても矢は飛んでこない。
まあその場合でも、宗教など利益を度外視した概念上の理由ならあるかもしれないが。
あと「計算資源」として見るなら、情報だけしかやりとりできなくても相手を支配する価値はあるかもしれない。実際そういう理由でクラックされているPCはいっぱいあるので。
正しいものならコンピューターで証明できるが短時間で計算が終わる保証はない。また、正しくないものであれば計算が永遠に終わらないことがある
あと、どんな数学的主張も記号論理学でいう記号列に翻訳できるものなら(逆にいえば翻訳できないものは数学の問題としての資格はない)コンピュータで機械的に証明が正しいか確認できるっていうけど
望月がトンデモなのじゃなくて、数学の定義は原理的に厳密であり得ないという可能性も否定されないよね。
あと、どんな数学的主張も記号論理学でいう記号列に翻訳できるものなら(逆にいえば翻訳できないものは数学の問題としての資格はない)コンピュータで機械的に証明が正しいか確認できるっていうけど、
それならなぜＡＢＣ予想の証明は記号列に直さないんだ？それが完了すりゃ紛糾の余地なく白黒はっきりつくはずなのにね？やってるけど難しいからまだできてないってだけ？
そもそも証明論文から記号列に直した「つもりになってる」ある記号列を作ったとして、それがコンピューターが正しいと言った時、記号列が正しいことにしかならなくないか？
つまり「つもり」ではなく、論文という多少なりとも自然言語の部分をはらむ文と、記号列が厳密の翻訳元と先として対応していることを、この自然言語が原理的に介在してしまっている「対応してるか」という問題を解けるのかということ。
随分迷ったし反対の意見もあったが決めたよ。息子が触れる最初のパソコンとして Linuxコンピュータ を授ける。繰り返す。
うってつけのハードが現れたんだ。
そう、Raspberry Pi 5 を買い与える！！
お仕着せの完成品に満足するうちにコンフォートゾーンから出られなくなってしまった生ぬるい大人の真似しちゃダメだ。そうなったら最後、自分を説得するための屁理屈をマントラのように唱えるしか無くなる、「退屈耐性」を上げるしか無くなる………。そうじゃなくて、壊してもいい程に安価なオモチャを 実際に壊すまで 酷使することでこそ、真の経験が養われるはず…………！ 俺たちも、そうしてきた。
俺は Windows macOS 奴隷を止めるぞジョジョーーーーッ！！
もうすぐ息子の誕生日。
初めてのパソコンとして デスクトップLinux をプレゼントしようと思ってる、プログラマーのワイ。
コンピュータの力を引き出す感覚を体験するには、やっぱりコマンドラインのパイプからだよな、と思ってるんだが、果たして正解なのかはちょっと自信がない…。
中流家庭に生まれて三食食べることはしてもらい屋根のある家でダラダラ過ごした
勉強は全く好きではなかったし幸い塾に行くほどのお金も無かったので家で漫画読んだり気合いでねだって買ってもらったパソコンで雑誌のゲームを打ち込んで遊んでた
夏休みなどはじいちゃんばあちゃんの家に預けられて朝から晩まで山や海や川や草むらで遊んで過ごして当然宿題できずに終わるというのを繰り返した
学校の勉強は嫌いだったけど教科書を読んだら分かる内容なのでダラダラと近所の公立高校へ進学
コンピュータが楽しくなったので大学へ行ってコンピュータで遊ぼうと思うが受験勉強をしなかったので大学に不合格
年末くらいからは観念してちゃんと勉強して国立大学の情報に滑り込み
家庭が貧しくなっていたので授業料をまけてもらってたのに留年でパー
専門に上がったら大変楽しくなったけど研究はできないし就職活動もしてなかったので教授先生にお願いして地元企業に放り込んでもらう
学生の間力を入れていた同人誌作りを続けていたらコミケで今の妻と出会いすぐ結婚
奨学金もすぐに完済して子供も健康に育ち長男は特に勉強せずに国立大学入って留年
そこは似るのかよ
あとはこのままずっとヒラ社員で社内システムの管理仕事して引退の予定
意識が著しく低い
MacBookだったら、一番ストレージサイズの小さいのを古いのを売った差額で最新のを買うってことになるだろうが、
メガネ型のディスプレイが普及するためには、このハードルを超えなければならないだろう。
Appleは据え置き型のコンピュータと置き換えるものとして高価なヘッドセット端末を開発したようだが、おそらくそれは間違いだ。
考えて欲しい。
スマートフォンがこれだけ普及してもPCというものは無くなっていない。
大抵のことはスマートフォンで代替可能であるのにも関わらずだ。
これらの装置を使って作業することがスマートフォンを利用するよりも快適だからだ。
このオープンで汎用性が高い環境をメガネ型ディスプレイが超えるのは非常に難しいだろう。
我々は目の前に高性能なコンピュータがあるのに電卓を使ったり、メモ用紙を使ったりしたがる生き物だ。
なのに閉鎖的で没入型のヘッドセットディスプレイが現行の環境を置き換えられるだろうか？
メガネ型ディスプレイを発売するのであれば、iPhoneと連携させるべきだ。
Apple Watchのようなフットワークの軽い製品を目指すべきだ。
そういうものを開発するべきだ。
例え白黒で解像度が低くても、
電車の中でLINEの内容を覗き見されないための製品には需要があるはずだ。
もちろん化粧は必要だ。
警視庁万世橋署は、平成20年11月22日、東京・秋葉原の電気街で、権利者に無断で複製したコンピュータソフトウェアを露天販売していたとして、露天商2人を著作権法違反の疑いで現行犯逮捕し、24日東京地検に送致しました。
逮捕されたのは、江戸川区の無職男性A（37歳・中国籍）、杉並区の無職女性B（32歳・中国籍）の2人。
A、Bは22日、秋葉原の路上において、 （株）ゼンリンが著作権を有する「ゼンリン電子地図帳Zi Version10 DVD 全国版」を権利者に無断で複製したDVD-R3枚、（株）ジャストシステムが著作権を有する「JUST Suite 2008 特別バージョンアップ版」を権利者に無断で複製したDVD-R1枚を、それぞれ販売する目的で所持していました。
