  |
はてなキーワード: IEEEとは
ただし、その発言は「素晴らしい原案」だ。加筆する必要がある。
発電方法を変えるには大量の評価軸上でのトレードオフを考慮しないといけない。
考えるべき指標は「経済性」「環境負荷」「地政学的リスク（ロシアから天然ガス買いたい？）」「安定性（1時間くらいの停電で数人死んだりする）」「調整力（再エネは急な需要の変化を追えない）」などなど、すべてが誰かの利益を左右する。
さらに経済性ひとつとっても原発には廃炉費用がかかるとか色々考えることがある。
そして誰からも理解されない「調整力」について。1つ覚えてほしいのは「電気は貯められない」ということ。
貯める機構は揚水発電、HEMS（お家に蓄電池を置く）、SMES（地下の超伝導ループに電気を貯める！）とか実在する。しかしコスト面やら耐久性やらで必要な量は生産できていない。だから再エネ発電を新設するなら研究開発大量生産に投資してほしい。不安定な発電機が増えてもそれを上手く消費したり貯めて置くものがないと意味がない。
電力網の需給調整はシビアで、家庭への再エネ導入で予測できない供給が出現したので、クッソ辛くて当初の担当者はキレてたらしい。
貯めるか管理しよう。
そのシビアな需給調整や地政学のバランスを突っつくことになるのが電源構成の変更だ。
…と問われたときに、電気料金の値上げで暗に寿命が縮まった人の顔を想像しながら
「仕方ないですね。トレードオフなので。冬じゃなくて良かったですね。倍は死んでましたよ。福祉でカバーしましょう」
と言うべきなのだ。フリーランチはないので。覚悟を持って決断、発言しましょう。
政治だから、我々は残酷なスライダーを左右に動かすことしかできない。
全員を幸せにできるのは技術革新だけ。それには研究、開発、研究開発に死ぬほど金をかける必要がある。
で、君たちは投資しているか？IEEEで発表しているか？してないよな。しよう。
政治をしよう。浅い知識の押し付け合いではなく。勉強する気もなくて利害調整すらできない人々は、自転車置き場の屋根の色について話そう。
政治の話について例えば、安定度を低くすれば発電効率を上げることができる。けど、電気は止めちゃいけないし脱輪はフツーに事故で効率が悪いのであんまいじりたくないよねみたいな会話があったとする。これはちゃんと政治だ。当たり前なので誰も話さないだけで。
https://em.ten-navi.com/dictionary/2373/
IEEEがコードレビューに関する論文を出していて、それを読む限りではコードレビューはバグの検出にはそれほど効果がないとのことでした。
（品質の維持／向上やレビュー者間へのシステム理解速度に対して好影響を与えているとのこと）
過去システムリリース時や変更時にテストケースが記録されていないことによる不完全なリグレッションテストが行われていることやシステムの仕様を誰も管理出来ていないことが問題なので、増田自身には問題はなかったんだがね。
失敗しちゃったからそういうところをしっかりやっていきましょうと言って組織を引っ張っていけるぐらい図太くなれればよかったんだけど…
素人で調べたところだと、
こんな感じで普通の人が知るのは難しそうだ。
なげーよ、と言われそうなんで、先に結論だけ箇条書きしておく
・AS傾向強めの自分が困り事をなんとかするために色々試してみた
・「イノチグラス」という発達障害の人向け眼鏡（特注品）を作ってもらったら結構効果あった
・価格は40000円台。高い眼鏡買うくらいのノリで買うのは有りだと思う。特に発達特性由来の色々に困ってる人（ただし、感じてる効果がプラセボな可能性も否定できない）
先に書いておくと、自分はいわゆるAS特性強めADH特性ややありくらいの感じで、医学的な意味での「ASDの診断」はでていない。ウェクスラー式知能検査を受けた結果としては、ASの傾向が強めという感じでは言われたけど、強いて言うならグレーゾーンくらい？そもそもプログラマーとして問題なく働けてはいるし（まあ、プログラマーって職種自体がAS傾向強めの人向きの職業じゃねーの？という疑念はあるけど）、給与も平均よりはだいぶもらってるのでそういう方向での不自由はない。
ただ、やっぱり日常生活での困りごとは結構あって、たとえば過集中になりやすいので、集中してるときに嫁さんに「ご飯できたよー」と言われた時に、わかってはいても作業をぱっと中断して離れるのが苦手だし、過集中し過ぎて水飲むのとか忘れたりして疲弊しまくりとかもある。あとはASのいわゆるシングルフォーカス特性ってやつに関連するのだけど、やっぱり「こだわり」は強い方。この「こだわり」って奴は大層厄介な話で「これはこだわりだから」と認知できるようになっても、そこから目をそらしにくい感じ。
俺は出身がアカデミアなんで解決法について探るときにも専門分野の論文読むんだけど、ASDについての論文読んでる内に、最近は発達障害については「社会性の障害」とかはあくまで結果で、視覚過敏などの方が根本原因では？って説が割と有力になってることを知った。IEEEなんかの計算機系の学会の論文でもASD向けのサングラスの試作があるなんてのも知った。 https://ieeexplore.ieee.org/document/9419131 この論文のabstractにも「caused by their unique light sensitivities」なんて書かれてるくらいだし、自分の困りごとの原因だって割と視覚過敏じゃね？と考えるようになった。
てなわけでまずはAmazonで売ってる2000円くらいの偏光グラスを買ってみることにした。 https://www.amazon.co.jp/gp/product/B089CVBLKZ/ こういうの。かけてみた感覚としては「あ。自覚してなかったけど、自分は結構外界を眩しく感じてたんだなー」というとこ。あくまで多少だけど、過集中が軽減されて、嫁さんからご飯に呼ばれたら集中してても比較的すぐ行けるようになった。
他に色々探してたら見つかったのがイノチグラスという奴。 https://innochi.co.jp/ ぶっちゃけ「なんか色々怪しいなー」というのが正直な感想ではあるけど、視覚過敏がある種の障害を引き起こすって仮説が正しいのなら、実際に効く可能性あるんでは？と思って申し込んでみた。なんか目育子とかいうの選んで予約するんだけど、予約が結構埋まってるらしくて一ヶ月以上先でなんとか予約が取れた。で、当日、視力測定やら斜位やら色々測定してもらって、カスタマイズした特注品の眼鏡を作ってもらって届いたのが一週間くらい前のこと。
ちなみに、人にはそれぞれ適したサポートカラーとかいう奴があるというのがイノチグラス開発者の仮説らしいんだけど、ホント？とは思うものの、いちおう差はある感じがする。たとえば、片足立ちをして、青 / 赤 / 緑 / ... などの色紙を見ながら、肩を押してもらうという実験があったんだけど、自分の場合青だと負荷かけても片足立ち続けられるんだけど、オレンジとか黄色なんかだとあっさりバランス崩れた感じ。この辺は専門外なんでなんとも言えないけど、原理的には色覚が平衡感覚に影響を与えること自体はありえるし、まあありえなくもないくらいに感じてる。
話がそれたけど、イノチグラスで作ってもらった眼鏡をかけて一週間くらい経った今日の時点で言うと確かに効果はあるなと感じた。実感した効果はだいたい以下のような感じ。
・過集中が激減
集中してても嫁さんに呼ばれたらサクっと切り替えられるようになった。
延々と考え事してるときに割り込みが入ったときに、今までだと切り替えるのにも一苦労だったんだけど、今だとあんまり苦労せずに切り替えられる
・注意力が増した
正確には不注意が改善した、なんだろうけど、飯食いながら嫁さんの話聞いて、臨機応変に答えるという「当たり前」を苦もなくできるようになった。ガチ定型の人はこれがきっと「普通」なんだろうけどね。
・衝動性が減った
わかっちゃいてもやめられないみたいなものは誰でもあると思うんだけど、ADH傾向のある人の一定数はこの衝動性に悩まされてると思う。この衝動性がかなり減ったので、Amazonで買いたいものがあって衝動的に「ポチり」はかなり減った。というか、「欲しいけど、とりあえずwishlistに入れとくか」が普通にできるようになった。
この内いくつかはプラセボかもしれんけど、眼鏡によって改善した部分もありそうだなーとは思う。普通の社会生活は送れてるけど、発達特性起因の困り事に悩んでる向きは「まあダメ元で試してみるか」くらいはありかな。金額も全部込みで40000台だから、あんまり効果がなくても「高い眼鏡買った」くらいで済むしね。ともあれ、別にイノチグラスの回しものではないんであくまで色々無保証ではある。
余談だけど、イノチグラスの開発者がなんかワクチン陰謀論ぽいことTwitterに書いてる辺りも色々ビミョーに思ってたりするしね。ともあれ、視覚過敏をはじめとする感覚過敏（あるいは感覚鈍麻）がいわゆる「発達障害」の根本原因なら、視覚に対しては眼鏡、聴覚に対してはイヤフォンみたいな感じで結構対処可能なんじゃね？って気はしてる。
最近コンピューターサイエンスがプログラマーに必要か否かみたいな話が上がっているが、そもそもコンピューターサイエンスって何だよ。どこまでの範囲をさしてんの？
ググって出てきた情報を整理しただけなので詳しい人、補足・訂正よろしく！
https://www.acm.org/binaries/content/assets/education/cs2013_web_final.pdf
CS2013はACM/IEEE-CSによるカリキュラム標準。
ACM(計算機協会)はコンピュータ分野全般の国際学会、IEEE-CSはIEEE(米国電気電子学会)の中にあるテクニカルソサエティ。
https://www.ipsj.or.jp/12kyoiku/J07/20090407/J07_Report-200902/4/J07-CS_report-20090120.pdf
J07-CSは一般社団法人情報処理学会がCC2001CSをベースにアレンジを加えたカリキュラム標準。今はCS2013を反映したJ17-CSがあるらしいけどその辺は良く分からん。
https://www.ipa.go.jp/files/000024060.pdf
J07ーCSから抜粋。CS2013と比較するとナレッジエリアがあったり無かったり。
https://anond.hatelabo.jp/20221016140905
中国メーカーの技術力の話や工場新設が陰謀論かどうか的な話が自分の予想を超えて盛り上がっているのでどう言う根拠で話をしているかと言う件について触れておきたい。まず情報源として非公開情報と公開情報がある。
非公開情報は自分が業務上知り得た秘密になるの(中国メーカーの製品の分解調査とか、取引先から直接聞いた話)で当然増田に書けない内容になる。
公開情報は、学会発表(ISSCC, VLSI, IEDM等のIEEE主催のものや光学関係のSPIEなど)や特許情報、Semicon Japan等の展示会、メーカーのIrに調査会社のレポート(TrendforceやOmdia等。EETimesやマイナビで概要を読める。)、日経エレクトロニクス等業界誌の製品分解レポート、アメリカ政府や経済産業省の政策資料(余談だが、レポートの質は圧倒的にアメリカが上)を自身の知見を元に分析して話してる感じ。増田に投稿しているネタ話も、基本的にはここから得た情報で書いてる。
で、この辺を元に判断するとどう考えても中国が最先端の露光装置やエッチング装置を短期間で自前で開発するのは無理だろうという結論になるのです。同業者なら同意してくれるはず。日本が韓国に半導体部材の輸出規制かけた時はなんともなかったじゃんと言うコメント書いてる人がいるけど、必要な技術蓄積が違いすぎて無理としか言えない。(余談だが、韓国の時はEUVレジスト以外意味ねーだろって感じで政府と業界人の温度差があった。)
さて、そういう公開情報と自分の持ってる知識から視点で各メーカーの工場投資計画のニュースを見たとき、今回のマイクロンのアメリカの工場新設は非常に違和感があった。ぶっちゃけ陰謀論と言われてもいいから理由を説明すると、ここの会社の趣味に合わないお金の使い方なのだ。
マイクロンという会社は基本的に自前で工場を建てない主義でやってる会社だ。今アメリカで運営している工場は東芝とIBMが合弁で作った工場を買収したものだし、日本と2つある台湾の工場のうち一つは10年ほど前に倒産したエルピーダから引き継いだもの、台湾のもう一つはこれまた倒産したドイツのQimondaが台湾のNANYAと合弁で作った工場を買収したものという具合である。
なんていうか居抜き物件が大好きな居酒屋チェーンみたいな経営方針の会社なんで、短期間でアメリカに工場2新設というニュースは非常に違和感があった。しかも1年前にはIntelと合同で運営していた新メモリの3D XPointの製造工場を売却している。製造キャパ増やしたいだけならこの工場を転用するのがこの会社の趣味だよなぁというのが今回感じた違和感の正体である。同業者の友人も同じ違和感持ってたようで、週末飲んで盛り上がってたというのが話のオチ。
米中の半導体対立そのものはヤバい香りがしてるんでニュースは注視してる。また大きな動きがあれば増田に書くかも。今回はこれでおしまい。
何が話題になっているか、というより、YouTubeだったら数百人しか見てないかもしれないが自分に合ったものが見たい。
https://anond.hatelabo.jp/20220214164030
まず真っ先に出てくるのがスマートグラス
Googleがしっかり投資してインチキムービー作ってまで頑張ったけど無理でした
EPSONが頑張って出してくれてるしHololensとか工場系で使われてる（らしい）けど
5Gには2種類あって5GHz帯周辺を使うSub6と、30GHzとかのミリ波帯を使うmmWaveがある
このミリ波帯は高速通信可能なことが知られていてWiFiにも規格がある（IEEE 802.11ad）
ところが指向性が強いし遮蔽されると通信できないとかで全然使い物にならない
ビームサーチ技術とか使うと指向性は大丈夫になるんだけど、遮蔽はどうしようもないのでほとんど採用されず
5Gで10Gbps越え！とか言ってるのはmmWave使った場合なので騙されないように
IEEE802.11adの話が出たので、IEEE802.11aiの話。
これが何者かっていうと、WiFiの接続時間を無茶苦茶短縮できる技術。
WiFiって繋がるまでに結構時間がかかる（といっても数秒）んだが、それを0.1秒ぐらいにしてくれる。
そうすると隣のWiFiに移動しても途切れずに通信できたりするのがメリットなんだけど
あんまりそういうシチュエーションが無い、というか家庭とオフィス以外でWiFiがそもそも使い物にならないからね
こんな感じで802.11系を調べると来なかった技術の宝庫です
SDカードのデータ通信速度が遅くて特にカメラ業界はイライラしてて
読み取り端子を二段構えにしたUHS-IIという規格を作成
一部の高級志向カメラには搭載されたし下位互換性もあるから流行るかな？って思ったが
その手のカメラはXQDとかCFExpressに流れてしまった
まぁ細々と生きてはいる？のかな？
そもそもSDカードの抜き差しがめんどくさいんじゃ！ということで無線通信可能なカメラとかが出現。
TransferJet対応のSDカードとかも出てきて盛り上がるか？と思ったが、流行らず
そもそも高級志向カメラの人達は撮り終わったら家に帰ってゆっくり現像なので、無線でやるメリットがほとんど無いんだよね
と思ったあなたは間違えてないが、実はETC2.0の構想としてはその辺の駐車場でも使えるようにする予定だった
駐車場でETCが使えたらこの上なく便利で仕方がないサービスのような気がするのだが導入が進んでないのはやっぱりコストが高いのかな？
まぁ、承認も何もなしにいきなり「駐車料金は3000円でした」とか言われても困るけど、結局は払うんだから導入してほしい
でもそうなると駐車券処理とか面倒になりそうだからやっぱ無理なのかな
ちなみに駐車場の最近の流行は「ノーガード戦法」のようで、ゲートも何も無く、車両をカメラで撮って、酷い違反があれば後から追いかける、らしいです
だって、導入するイニシャル・ランニングのコストよりバイト雇った方が圧倒的に安いんだもの・・・
しょうもないといったらそれで食ってる人たちに失礼だけど、正直しょうもないと思ってしまう
堅実なサービスでワンプライスとかだと、訴求しにくいのかもしれんな
目新しい何かで注目を集めるためにプライシングをいじるしかない
回線が物理的な土管（比喩）であり価格変動がない以上、そうなるのだろう
しかしその先にあるのは、客を煙にまいて利益を増やすゴールである
反社はいいすぎだが、反社的なビジネスになりやすいというのが結論である
月3400円からのネット回線「So-net 光 minico」、速度を抑えて低価格を実現した縛りなしのIPoE専用新料金プラン
So-net 光の新プランとして提供される「So-net 光 minico」
ソニーネットワークコミュニケーションズ株式会社は、NTT東西のフレッツ光網を利用した光コラボレーションモデル「So-net 光」の新料金プラン「So-net 光 minico」を2月1日より提供する。
リーズナブルな価格で提供される点が大きな特徴で、月額料金は集合住宅向けが3400円、戸建て向けが4500円。いずれも既存プラン「So-net 光 プラス」と比べて1500円以上、他社のプランと比較しても1000円ほど安価となる。
専用設計のネットワークを利用することで、集合住宅3400円、戸建4500円の低価格を実現
定期規約や最低利用期間の設定がなく、縛りや違約金のないシンプルな内容で提供される。So-net 光 minicoの具体的な内容は、以下にまとめた通りだ。
月額料金 戸建住宅：4500円
集合住宅：3400円
割賦回数：36回
月々の割賦金額：762円（1ヶ月目990円）
定期契約期間 なし
違約金 なし
So-net 光 minicoは、オプションサービスなどを省いたシンプルな内容にするとともに、So-net 光の標準ネットワークとは異なる、本サービス専用として設計したネットワークを利用して提供することで低価格化を実現しているわけだ。
なお、セキュリティサービスや光電話サービス（So-net 光 電話）、地デジ再送信サービス（So-net 光 テレビ）などのオプションサービスは、追加で申し込めば利用可能だ。
minicoで利用される専用ネットワークがどういったものなのかは不明だが、通信が混雑しない時間帯は、ほかのプランと同等の速度で利用できるのに対し、混雑する時間帯ではほかのプランよりも通信速度が遅くなる場合があるという。
混雑時の具体的な通信速度は、ベストエフォート方式ということもあって非公開となるが、動画配信サービスであればHD画質の動画は厳しいが、最低でも標準画質の動画は問題なく視聴できる程度の速度は得られるよう最適化しているそうだ。
最大1Gbpsのベストエフォート方式で、通常時は他プランと同等の速度となるが、混雑時には他プランより低速になる場合がある
このように、混雑時に速度が遅くなる可能性がある点に対応するため、So-net 光 minicoでは、混雑時でも高速なデータ通信が行える専用のオプションサービス「さくさくスイッチ（ワンデー）」が提供される。こちらは1回220円の追加サービスで、前日23時59分までに申し込むことで、翌日は約24時間、広帯域のネットワークを利用した高速通信が行えるようになる。
混雑する時間帯でも高速な通信が行えるオプションサービス「さくさくスイッチ（ワンデー）」を提供
さくさくスイッチ（ワンデー）の詳細
さくさくスイッチ（ワンデー）を契約すれば、翌日から約24時間の間広帯域ネットワーク経由での高速通信が行える
このほか、So-net 光 minicoへの新規申込者に対し、2種類の特典が用意される。1つは、工事費が実質無料となり、月額利用料から初月990円、2～36カ月目726円が割引となる。
もう1つは、IPv6 IPoE接続対応のWi-Fiルーターを、通常月額550円のところ永年無料で貸し出すというもの。提供されるのは、Wi-Fi 5（IEEE 802.11ac）の2×2と、メッシュWi-Fiに対応するNECプラットフォームズ製のモデルになるという。
新規契約者向けに、工事費の実質無料と、IPv6 IPoE接続対応のWi-Fiルーターを永年無料で貸し出す2種類の特典を用意
コロナ禍による生活様式の変化や顧客ニーズの変化に対応するために用意
今回、So-net 光 minicoを提供する背景には、通信業界をとりまく環境や顧客ニーズの変化への対応があるという。
近年、コロナ禍もあって通信業界を取り巻く環境や顧客ニーズが大きく変化している
コロナ禍によってテレワーク需要が高まったことや、通信に同業界でMNOが安価な新プランを提供するようになったことで、固定インターネット回線に対する需要が大きく変化してきた。
一方でユーザーも多様な価値観を求めるようになり、必要なものにだけコストをかけたいと思ったり、主にスマートフォンでインターネットを利用する層も増えている。
ただ、自宅で利用しているインターネット回線についてのアンケートを見ると、速度について満足度が最も高いのは超高速FTTH利用者だった一方で、速度の遅い接続サービスでも満足度は50％を超えるものが多く、ユーザーの目的に合致していれば、速度は直接不満の要因にはならないと考えられるとのこと。これが、こうしたニーズに合致した低価格なプランの提供につながった。
高速FTTHよりも遅い通信サービス利用者でも速度満足度が50％を超えるものが多く、回線速度がユーザーの用途に合致していれば、速度が直接的な不満にはならないとの調査結果が今回の新プランにつながっている
So-net 光 minicoの想定ユーザー層としては、日常的に高速大容量通信を必要とせず、価格を抑えつつ光回線を使いたい単身世代がターゲットだという。
こうした単身世帯は、現在では全世帯の3割ほどを占め、今後さらに増加していくことが予想されるが、こうしたユーザーに最適なインターネットサービスがなかったことも、導入の大きな要因になったという。
現在、全世帯の約3割を占め、今後さらに増加していくと予想されている単身世帯がターゲット
あわせて、ソニーネットワークコミュニケーションズが提供する「NURO 光」との棲み分けについては「利用者に多くの選択肢を用意することで、自分に合ったサービスを選択してもらいたい」とのこと。
なお、現在So-net 光（光コラボレーションモデル）を契約しているユーザーが、契約期間を残した状態でSo-net 光 minicoにプラン変更することはできない。ただ、今後ユーザーのニーズを見つつ、光コラボレーションモデル内でのプラン変更ができないか、検討したいとした。
Amazonの返品問題を見ていると、アメリカでも起こっているが、手続きが簡略化されていったりと、便利になっていっている。
Amazon以外の返品でもそうだ。
Googleのサービスだと、アメリカでのサービスと日本とでは全然量も違う。
ビッグテック以外でも給料が高い。ゴールデンハンドカフのような仕組みを知ってないと危ない、制度上の落とし穴はあるが、憧れる人は多い。
そういうのが維持出来ているのは、結局のところ稼げているからだろうし、背景に他国にまで影響を与える法律なり軍事力なりメディア力など色んな力で支えている。
仮想通貨だって、国に依存しない通貨とか言っているが、アメリカの一部の団体が動かせる部分が多いのに、日本で話題になるとゴッソリそのあたりが抜け落ちる。
数学という学問は「反例があったら、仮説を否定できる」という学問なんだよな？だったら、数学的な問題を計算機で処理できなければ「計算機科学=数学」を否定できるのだろ？なら、今からやってやる。
① 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 は記述できるからであって、メモリ上やプロセッサ上では扱えているわけではない。よって、この「反例の反例」は否定できる。
浮動小数点数の定義は IEEE 754 といった定義はあるよ。ただ、Wikipedia にもあるとおり、
ここまではよくわかる。それで物理学と数学的なカオス理論を押す連中が間違っていると思うのが、
二度目の入力の際に手間を惜しみ、初期値の僅かな違いは最終的な計算結果に与える影響もまた小さいだろうと考えて、小数のある桁以降の入力を省いたところ、
ここ。ここが諸悪の根源だ。まず計算機科学の連中が大学に入って最初に引っかかるミスに大御所がひっかっている。たとえば、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
もう一度、特に高校の物理をやった人は考えてほしい。数値を切り捨てしないだけで、これだけの差が生じるのだ。そりゃ、ローレンツ大先生も驚くわな。現実世界では起きないような気がするのはなぜか？、と思うじゃん。そこで、わたしはこう思うわけですよ、
とね。だからこそ、
というものを科学する学問があって良いのじゃないかと。つまり、
なのではないかと。
