トロン―国産ＯＳが世界標準になる : 読売クオータリー : まとめ読み : ニュース : 読売新聞オンライン
情報通信の世界では、あらゆるモノをインターネットにつなげようという「ＩｏＴ」の技術が、製品開発や産業応用の中心となりつつある。そのＩｏＴ分野で６割以上の市場占有率を誇るのが、日本で生まれたコンピューター用基本ソフトウェア（ＯＳ＝オペレーティングシステム）「トロン」だ。このトロンが、米国電気電子学会の標準規格として認定される手続きが進んでいる。順調に進めば、国産のＯＳが、「世界標準」になる。 ＩｏＴ時代がやってきた ＩｏＴという言葉を最近よく目にしたり、聞いたりするという人は多いだろう。インターネット・オブ・シングスの略で、「モノのインターネット」と訳されることが多い。生活空間のあらゆるモノ、あらゆる場所に小さなコンピューターやセンサーを組み込み、ネットワークにつないで便利な情報化社会を目指そうという技術である。ひと昔前まで「ユビキタス・コンピューティング（ユビキタスはラテン語であまねく存在
「ヘンタイよいこ」新井紀子は明日への希望を忘れない。 - ほぼ日刊イトイ新聞
新井さんお手製のケーキをいただきながら 数学基礎論の話はつづきます。 （ケーキは「ミンスミート」。 干しぶどう、干しいちじく、干しプルーン、 自家製オレンジピールなどをスパイスとお酒と いっしょに１年漬けて熟成させたものだそうです） 新井 数学の危機に話を戻すと、 さっきお話したように、 数学者たちはすごく困ったんです。 それで、２千年さかのぼって、大元のもとから 「これって正しいよね、これって正しいよね」と、 ひとつひとつ洗い直していったら、 機械にもわかるぐらい精密な、 「数学とは何か」っていうことの 学問体系ができていったんですよね。 糸井 物事がややこしくなったときに、 「機械にも分かるぐらいに解きほぐす」っていう発想は あらゆる場面でされますね。 新井 そうかもしれませんね。 糸井 でも、それが逆に命取りになる場合がある。 新井 良い面と悪い面が出ますね。 で、コンピュータの原理
「ヘンタイよいこ」新井紀子は明日への希望を忘れない。 - ほぼ日刊イトイ新聞
「はじめまして」の座談会。 少しずつ数学の本質に迫ります。 ラッセルのパラドックス 早野 アメリカで大学院まで行かれて、 そこで学んだ数学基礎論がどういうものか、 簡単に説明していただくことはできますか？ 新井 数学って、たとえば物理と相性のいい「解析」とか、 いろんな分野にマッチした数学があるんですけど、 そのいろんな数学をたばねる 「全体の数学」を「数学する」ところなんです、 数学基礎論って。 早野 ええ。 新井 数学基礎論がどうして生まれたかというと、 数学が、19世紀のおわりに一度 深刻な危機に陥ったからなんです。 糸井 ほぉ。 新井 数学はギリシャ時代からずっと整備されてきて、 科学の言葉として使われてきました。 近代科学や現代科学は ぜんぶ数学の上に成り立っています。 早野 うん。 新井 それなのに、20世紀にはいってすぐ、 バートランド・ラッセルという人が 明確な形で問題を提
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
