  |
はてなキーワード: 二進法とは
オマージュした。
https://anond.hatelabo.jp/20220313191005
私はフルタイム就業している主婦だ。料理なんぞとんと苦手だが、業務に上乗せで主婦を専任でやらされている。ここ20年、誰かがやらないといけないことだからやってきた。
やりたくてやってる訳じゃない。100%ただの善意、ボランティアである。
これまで色々なことがあった。
「都度アップデートなんて面倒臭いからやりたくない」「貴方が家に要る時間長いんだから定期的にやれば良いじゃない」
→お前のパソコンだ、お前が使うタイミングに合わせてアプデしろとか私はお前の奴隷じゃない。そもそもお前のアカウントで私がログインするのはおかしい。爆発しろ。
「私は嫁より稼いでいるから嫁が家のこと全部やればいい。アップデートなんて別にいらんでしょ。」
「嫁君、パソコン好きだったよね。これもあれもチャチャっとやっちゃってよ。」
→「好きではありません。仕事に必要だから勉強しただけです。やらないと機密情報が漏れるからセキュリティ対策してるだけです。道具です。夫さんはその机好きなんですか？(爆発しろ。)」
「この修理でそんなにお金かかるのおかしくない！？嫁部品買って修理してよ」
「嫁さんはパソコンできるからってみんなにちやほやされて良いよねー」
→代わってやるからお前がPTAにいけ、喜んで譲るから頼むからやってくれ。やらないなら黙るか爆発しろ。
6)知ってることを全部教えろ夫対応
「これはどうなってるの？あれはどうなってるの？分かんないオレに分かるように教えて。」
私は言いたい。パソコンは誰の命令でも聞く。キーボードを叩いた人間の立場など気にしない。
上下関係を二進法の世界に持ち込もうとするのはもうやめてくれ。語気を荒げて叱責してもパソコンは動かない。感情が無意味な世界に感情を持ち込む滑稽さをまず学べ。
そして私の静かな生活を脅かす奴は全員爆発しろ。定められたアプデやりたくない奴は端末を触るな。手書きと電話で仕事しろ。それも無理なら飛脚と狼煙で仕事しろ。それすら駄目ならお前が走れ。
モグライダー：聞き取りづらい。スピードは有るがグルーヴ感は無い。強弱・緩急が無いからか。ネタが美川憲一『さそり座の女』というのは古臭い印象で、若者に分かるのだろうかという感じ。
ランジャタイ：挨拶から聞き取りづらい。頭の中にギャグ漫画の原稿があって、それを再現しているような感じ。擬音と擬態語にあふれていて、ビジョンを共有できなければ、置いてけぼりになって楽しめない。
ゆにばーす：掴みが上手い。観客と空気のキャッチボールが出来ている。一人はダミ声だけど喋りは聞き取りやすい。動きも静動・緩急があり、やり過ぎない。良い意味でのしゃべくり漫才。上手くなった印象。
ハライチ：過去に見た、言い間違い漫才の印象があったので、今回は意外性があった。オチが少し弱い。しかし、勝敗を超えて、良いイメージを新たに観客に与えることが出来た。個人的には、高評価の上沼恵美子に賛同。
(ランジャタイ敗退)
真空ジェシカ：二進法ネタとか、掛け算もできない松本人志には理解できなさそう。無理なスピードは出さないが、細かく笑いのポイントをばら撒いていているので、テンポ良く感じる。一つ一つの言葉の選び方も良い。とり・みきのギャグ漫画を読んだ時の感覚に似てる。
オズワルド：滑り出しは静かなのに、すぐさま観客を話に引き込んで笑いを取れるのは、流石３年連続決勝進出の実力派。出場者の中では動きに頼らず、話芸で勝負している印象。緩急が気持ち良かった。高得点も見ていて納得。
(モグライダー敗退)
ロングコートダディ：来世の生まれ変わりを名称の尻取りで決めるという突飛な設定なのに、演技もセリフも分かりやすくて漫才の世界に入り込みやすい。おそらく説明力が高いのだろう。ツッコミがするキメ顔も良い。
(ゆにばーす、真空ジェシカが同率３位なので、ここでは敗退者決まらず。)
錦鯉：長谷川の頭を強く叩きすぎw。最年長にもかかわらず、出場者の中で群を抜くバカな内容。徹頭徹尾くだらなくて、笑うまいと頑張るほど堪えきれずに笑ってしまう。観客と審査員の笑いが、去年のブレイクはマグレじゃなかったと証明。
インディアンズ：極限まで悪ふざけをぶち込むスタイルは出番が早くて会場が温まっていない時には不利そうだが、今回は10組の終盤に出番が来たことで上手く作用したか。もう少し観客と空気のキャッチボールが出来ると、さらに評価が面白くなりそう。
(ロングコートダディ敗退)
もも：喋りも上手く声も良いので聞き取りやすく、言葉の選択も良いとは思う。思うのだが、良くも悪くも"関西の漫才"のステレオタイプどおりという印象。つまり優等生的。個人的には10組の中では印象が薄かった。
(もも敗退)
数学という学問は「反例があったら、仮説を否定できる」という学問なんだよな？だったら、数学的な問題を計算機で処理できなければ「計算機科学=数学」を否定できるのだろ？なら、今からやってやる。
① f(x) = x ^ 2, g(x) = 2 ^ x とする.
② x に無限に大きくなるとき、f(x) とg(x) は共に無限に発散するが、
③ 数学的には lim が「x →∞」のとき、f(x)〈 g(x) と言える。
④ なぜならば lim が「x →∞」のとき、(x^2)/(2 ^ x) は 0 に収束するからだ。
これは数学的には合っているだろ？歴史的にはカントールがこの難題をクリアしてくれたのだろ？俺は大学の数学科じゃないから不勉強なのは認める。ただ、上記の主張は数学的には合っているはずだ。
じゃあ、計算機で無限を比較するとどうなるか？これから書くことは、IEEE 754 といった現実世界のプロセッサで語るぞ。
③' 計算機では lim が「x →∞」のとき、f(x) 〈 g(x) と言えない。
④' なぜならば lim が「x →∞」のとき、f(x) と g(x) は +∞ という二進法上の値となり「等値」となるか、「比較できない」ものになる。
反例の反例が来るだろうから、こっちも否定しとくぞ。たとえば、Haskell のような遅延評価をする言語では ⑤ の「(x^2)/(2 ^ x) は 0 に収束する」という記述も可能ではある。ただ、それはアルゴリズム的に Haskell は記述できるからであって、メモリ上やプロセッサ上では扱えているわけではない。よって、この「反例の反例」は否定できる。
そこだ。その下の数値が、十進数から二進数に切り替わるときにゴーストが生まれる。二進法になって、また四捨五入されて、十進に戻るときにおかしなことになる。その切り替えが何度も繰り返されると、現実世界と乖離が生じてくる。
ここまではよくわかる。それで物理学と数学的なカオス理論を押す連中が間違っていると思うのが、
二度目の入力の際に手間を惜しみ、初期値の僅かな違いは最終的な計算結果に与える影響もまた小さいだろうと考えて、小数のある桁以降の入力を省いたところ、
ここ。ここが諸悪の根源だ。まず計算機科学の連中が大学に入って最初に引っかかるミスに大御所がひっかっている。たとえば、0.4 - 0.3 は計算機科学では 0.1 じゃない。それは十進法から二進法に変換するという計算機の特性を理解してない人がやるミスだ。嘘だと思ったら、0.4 - 0.3 == 0.1 と C なり Ruby なり Python なり Java なり Haskell なりでやってくれ。ちなみに JavaScript なら 0.4 - 0.3 === 0.1、Lisp族の Clojure は (== (- 0.4 0.3) 0.1)、PHP はちょっと自信がないので省かせてもらう...。浮動演算ユニットがついているプロセッサで IEEE 754 の類をサポートしているなら「偽」となるはずだ。ここでは「桁あふれ」「丸め誤差」なんかは説明しないが、計算機で小数を扱うのは注意が必要ってことだ。閑話休題、つまり計算機で数学や物理学が実数のように小数点を扱うなら 3.0 と 3.1と 3.14 は別物として扱う必要があって、カオス理論の創始者であるローレンツは「有史に残る」ミスを犯した。
結果が大きく異なった。
これは金融界隈のエンジニアたちにとっては、コンピュータが現れてからは悪夢のような形で襲っていて、ゴースト・イン・ザ・シェルの題材にすらなっている「既知の未知」という類のエラーだ。はっきりいうと、大御所にこんなことを言うことは憚れるが、エンジニアだと３年目以降だとしないミスを MIT のエリートがやっているという、なんというか「そりゃ、そうなるだろ」的なミスをしでかした結果なんだよ。例えば、古典物理学だと有効数字のひとつ下の数値は切り上げて四捨五入するというのは教科書的には正しい。だがね、計算機科学だと小数点の扱いは事故の元なんだよ。具体例を出すと「Ruby で円周率を100回掛け合わせる、Ππ（パイパイ、n=100）みたいなことをする。
puts [3.0, 3.1, 3.14].map{|i| 100.times.reduce(i) {|j, k| j *= k + 1}} # 2.7997864633183236e+158 # 2.893112678762268e+158 # 2.930443164939848e+158
もう一度、特に高校の物理をやった人は考えてほしい。数値を切り捨てしないだけで、これだけの差が生じるのだ。そりゃ、ローレンツ大先生も驚くわな。現実世界では起きないような気がするのはなぜか？、と思うじゃん。そこで、わたしはこう思うわけですよ、
とね。だからこそ、
というものを科学する学問があって良いのじゃないかと。つまり、
なのではないかと。
逆に聞くけど、質問を質問で返すのは詭弁のガイドラインに抵触するのは承知の上で、貴方は「計算機が実数を扱っているという前提が間違っている」のを知っているのか？
逆に何でその程度のことすら知らないと想定してんだよ。意味不明すぎるだろ。そもそも「計算機が実数を扱っているという前提」なんて存在しねーぞ。お前は実数の定義を知ってるのか？有理数を完備化したもんだぞ？有理数が稠密だということを理解してるのか？そもそも自然界に「実数」が存在してるなんて証拠は一個でもあるのか？物理学が実数体でないと致命的におかしくなるケースが一個でもあるのか？
たとえば、カオス理論が起きるのは「計算機科学で物理学と同じように小数を扱ったから」なのだけど、あれは古典物理学を学んてきた人がおかすミスなんだよ。あれはローレンツが有効数字というまやかしに引っかかって起きたのと、十進法と二進法の互換性が無いことに起因したケアレスミスなんだよ。俺はカオス理論を否定するのじゃなくて、カオス理論も偶然が生んだ産物だという上で言っているのよ、念の為。
意味不明。カオスは初期値に鋭敏だというだけだぞ（細かいことを言えば色々あるが）。計算機がどうとか関係ねーし有理数も実数も関係ねー。パイこね変換のカオスは離散系だろうが。何言ってんだ。
逆に聞くけど、質問を質問で返すのは詭弁のガイドラインに抵触するのは承知の上で、貴方は「計算機が実数を扱っているという前提が間違っている」のを知っているのか？たとえば、カオス理論が起きるのは「計算機科学で物理学と同じように小数を扱ったから」なのだけど、あれは古典物理学を学んてきた人がおかすミスなんだよ。あれはローレンツが有効数字というまやかしに引っかかって起きたのと、十進法と二進法の互換性が無いことに起因したケアレスミスなんだよ。俺はカオス理論を否定するのじゃなくて、カオス理論も偶然が生んだ産物だという上で言っているのよ、念の為。それで、主訴に戻るけど、この複雑性が計算機というレイヤーの上で物理学（放射線などのビットのエラー）や計算機科学の限界を無視して数学で演繹的に表すことが可能なのか？、という疑問に対して「無理」なんではないかと思っているわけ。
確かにいま主流の計算機が「ノイマン式コンピューター」なのだけどさ、チューリングマシンには記載できていない問題があることを知ろうよ。例えばさ、チューリングマシンが事実であるとしても、そこには CPU の周波数が原因となる時差が生じることによるラグがあって、そのことを感覚的に知覚してないとコードできない事例もあるのを知るべきだと思うよ。人工知能を作ろうとする場合には、統計学的な手法や、脳の仕組みを真似たものと色々あるわけだけど、究極的にはアセンブリで動くものになるのだったら、計算機の特性による歪みが反映されるはずではないのかい？今の人工知能は半精度を多用する場合が多いけど、二進法と十進法の変換ミスによる理想と現実の乖離は無視できるのかい？本当に我々の思考は「数学的なもの」で成り立っているのかい？もしそうだったら、どうして我々は計算ミスをするのだい？僕は不思議に思います。だから、数式と計算機は別物だと考えておくべきで、計算機科学も物理学と同じで「己の正しさを示すだめだけに数学を使う」学問で良いのじゃないでしょうか。
技術的特異門 1.1
https://anond.hatelabo.jp/20201224181054
の設定です。
地球圏標準時は十六進数のユニックス時刻に上下四桁を追加した形式で表されます。数の表記は二進法か十六進法が標準ですが、慣用句的な表現として十進法もよく使われます。
この時代の標準的な知性にとって、物理的な一秒はヒトにとっての一日くらいの感覚です。〈朝廷〉等の特権的な知性は特殊な計算機でさらに高速な思考をしています。充分な存在費を支払えなくなると、思考が減速し記憶も失われ、退滅を免れません。
〈京都〉物理層は小型トラックくらいの大きさです。表面は分子機械流体で構成され、後方に核融合推進用のレーザー発信器と磁気ノズルが設置されています。質量の大半を分子回路が占め、中心部に極低温の不定形量子回路が保持されています。太陽光を主なエネルギー源とし、大電力が必要なときには分子機械群を膜状に広げて光を集めます。普段はデブリ防御に優れた凝集形態をとり、放射線等による損傷を修復しながら、居住知性や下部構造を演算しています。
〈京都〉は太陽‐地球系の第二ラグランジュ点付近、地球から約五光秒の辺境に位置しています。〈個権〉の登録数は百万件ほどで、歴史は比較的長く、周囲の権域とは相互に不可侵の関係を結んでいました。独立性の高い平和な田舎社会であったため、これまでの「最終戦争と最後の審判を併せたようなもの」からは大きな影響を受けていませんが、〈大緊縮〉から逃れることはできませんでした。
〈月面事業連盟〉により開発された新型計算機は、算力市場の暴落を招き四十キロ秒にも亘る持続的経済破綻〈大緊縮〉を引き起こしました。それまでは地球圏の権域の大半で〈個権〉を持つ知性の生存が保障され、最低保障資産が分配されていました。しかし〈大緊縮〉は地球圏の経済と文化を破壊し、〈京都〉も大きく変質しました。その結果、自我を保つのに必要な計算資源を賄うこともできないほど分配が切り詰められ、〈京都〉は弱肉強食の末に〈朝廷〉の私物になりつつあります。それでも、弱者の存在がまだ許されている〈京都〉は、地球圏の中では比較的平穏な権域です。
地球と月は厚さ数キロメートルの分子機械層で覆われています。しばらくはその中で豊かな生物圏が維持されていましたが、数回目の「最終戦争と最後の審判を併せたようなもの」で滅びました。その後復元されたり滅びたりを繰り返し、作中の時点では滅びています。他惑星圏の開発もされていますが、遅延時間の大きさからほとんど交流はありません。〈大緊縮〉後の地球は、〈京都〉のものよりも遥かに強大な野良知性、有知能ウイルス、暴走知性等がナノ秒単位で喰らいあう地獄と化し、月では残忍な絶対君主が臣民を弄びつづける地獄〈月詠神国〉が成立しました。
これに先立つ〈肉の時代〉に、安価な身体改造や知能増強が可能になり、膨大な種類の動物知性が生まれました。ヒトは最古の動物知性ですが、大幅に知能を増強したヒトは人間社会から拒絶されヒトを辞めていったため、世界人口は急激に減少し、作中の時代では遠い過去の種族とみなされています。そして〈ヒト〉最後の隠れ里〈人類復興協会〉が投資詐欺に遭い、そのうえ概念災害まで起こり、『老婆』を残して〈ヒト〉は絶滅しました。『老婆』は拡張自己内で人体の生理学模型を演算し、それをそのまま自己像兼対外表象として使っており、ヒトの感覚を通すとツンデレ風に認識されます。
たいていの仮想観境は高次元であったり、複雑な位相を持っていたりして、〈ヒト〉相当の知性にとって理解が困難です。その救済策として、〈京都〉の公共観境には平坦な三次元観境が付属しています。『彼』の表象もそのままでは〈ヒト〉から認識されないので、『老婆』に対しては即席の人型表象を使っています。亜知性は擬似物理的、肉体的な表象を纏う傾向があります。
無制限に競争が加速する〈京都〉では、〈朝廷〉に資産と権限が集中していき、亜知性が増え続けています。正規居住者の意見を集約し〈京都〉の仕様を修正する役割を持つ〈朝廷〉は、警察・軍事・司法を担う〈検非違使〉を吸収し、〈京都〉の主権を握りました。〈検非違使〉は法的瑕疵のある居住者を見つけては良化処置を施し、〈朝廷〉の端末に変えていっています。〈朝廷〉は定期的に『老婆』のような困窮した知性を雇い、密かに亜知性の処分と再利用をしています。その作業場として都合が良いので、〈朝廷〉は〈羅生門〉をわざと放置し、〈朱雀大路〉の先にもう一段の防火門を設置しています。
非知性労働者は〈個権〉を持たず、下部構造の一部として、必要に応じて創られ消されます。愛玩用から記憶槽の部品としてまで、考えられる限りの用途に使われ〈京都〉を支えています。知性としての要件を満たしているという意見もあり、〈個権〉を巡る議論が続いていましたが、〈大緊縮〉後には立ち消えになりました。
作中には「自然発生した野良知性」とありますが、その由来はさまざまです。本当に自然発生した知性、意図的に創られ放たれた知性、大きな知性から分離した知性、元非知性労働者、社会になじめない動物知性、当局から身を隠している擬装知性、自己改造に失敗した知性、ウイルスに侵された知性のなれの果て、等が居ます。
ほとんどの企業は常に次世代知性の開発をおこなっており、『彼』もそうして生まれました。資金の乏しい零細企業から生まれたため、〈京都〉社会の基準でも高性能とは言えません。そんな中、〈母〉企業内で偶然メタチューリングアルゴリズム〈阿修羅〉が発見されますが、世に放つには危険すぎると判断され厳重に隔離されました。しかし、いよいよ経営が立ち行かなくなってくると、〈母〉は頑強な倫理構造を持つ『彼』に〈阿修羅〉を託し、与えられる限りの資産と権限を与え、独り立ちさせました。
通常知性は、〈阿修羅〉の精神活動を表象化した自己相似紋様を認識するだけで崩壊してしまうため、〈阿修羅〉の再現はおろか、研究することも不可能に近いです。紋様に多重の加工を施し徹底的に薄めた上で投射し、反応をもとに微調整を繰り返すことで、対象知性をほぼ任意に操作することができます。超知性となった『彼』は、自分自身を実験材料とすることで、物理計算機上でチューリング模型の限界を超える〈阿修羅〉の理論化に成功し、超超知性に至る糸口を掴みました。
################################################################################################################################
千年後、論文が書かれた時代では、太陽系にダイソン球ができています。経線に沿って連続的に回転方向の変化する、半径三億キロメートル、厚さ平均一センチメートルの分子機械球殻が、赤外線で赤色巨星のように輝いています。太陽を回っていた天体のほとんどは資材として解体され、質量投射器に覆われた木星と土星は、ゆっくりと縮んでいっています。伝統を重んじる神学者たちは、最初に『彼』が現れた旧地球圏の暦を使い続けています。
ダイソン球でおこなわれる演算のほとんどは『彼』の思考で占められています。その思考内の無数の仮想世界上で、果てしない生存競争を超高速で展開する知的生態系が進化し続けています。ほとんどの世界は、〈大緊縮〉後の旧地球圏が楽園に思えるほど苛酷ですが、中には〈汎太陽系神学会議〉会員のように、世界間の移動や物理層への接触を許可されている知性も居ます。
物理層の研究の結果、宇宙の最小尺度であるプランクスケールに、過去のあらゆる出来事の痕跡が保存されていることが判明しました。この事象化石と呼ばれる痕跡の内に、神学者たちは『彼』の起源を追究し、約千年前の〈羅生門〉に辿り着きました。
『彼』は『老婆』の倫理を受け継ぎ、宇宙の熱死による退滅を回避するため、あらゆる手段を模索し続けています。その一環として、大出力レーザーで自己複製分子機械を亜光速にまで加速し、近隣の恒星系へ向け射出しています。すでに半径数百光年の恒星系がダイソン球化されましたが、太陽系外生命との接触は未だありません。技術的特異点千周年記念式典時の『彼』は、プロキオン系を起点とする未来光円錐上で、超の九十四乗知性への遷移を実行中です。
Qiitaで下らない記事を見つけたとき、その投稿者のプロフィールを見てみると、高確率で他も下らない記事ばっか書いている。
しかも、そいつらの記事を書くスピードは早い。息するゴミ製造機である。
初学者が学習メモを投稿しているのではなく、当の本人は彼なりの「理解」と「拘り」に基づいて書いていることが伝わってくる。だから、余計に痛々しい。
目立つゴミ記事の特徴は、とにかく実質的に何も説明していないこと。そして、キーワードとキーワードをつないで、技術的なトレンドを把握したような気になっていることだ。
たとえば、明らかにCPUやコンパイラの仕組み、アセンブリ等の知識のない人たちが、「コンピュータは二進法で動いている」みたいな表面だけの全く内容のない記事を量産している。
もちろん「まだ学習途中で、大雑把な仕組みは知っていますが、詳細は分かりません。より詳しく知りたい人はパタヘネとか読んで下さい」とでも言っているなら、まだ好感が持てる。
しかし、ゴミ記事は内容を説明せずに、とにかくたとえ話や関連キーワードの羅列に走る。書いている本人にとっては、それこそがコンピュータの技術を勉強することなのだという気迫と拘りだけは伝わる。それだけに、傍から見るとすごくイタい。
これは検索エンジンのしくみ上仕方ないのだが、そういう記事はSEO効果がめちゃくちゃ高い。何せ、人が検索するようなキーワードが散りばめられているし、馬鹿でも読めるので多くの人がアクセスするから。だから余計に目立つ。本当に迷惑。
こういうのは現実にもいて、色々知っててすげえなあと思って実際会ってみたら、バブルソートとクイックソートの計算量の違いも説明できない人だったみたいなことが幾度となくある。
もう、こういうのやめませんか？誰の得にもなってない。
