タグ

ブックマーク / itpro.nikkeibp.co.jp (3)

  • 最終回 「語りえぬこと」〜言語の限界〜とは:ITpro

    この連載も,いよいよ最終回となった。最後に,「論考」の結びの言葉である「語りえぬものについては沈黙せざるをえない」と,プログラミング言語の関係について考えてみたい。 プログラミング言語の限界が思考の限界だ エイダ(以下A):「私,あなたが言う『語りえぬものについては沈黙せざるをえない』の意味について,最近よく考えるんだけど,やっぱり分からないの」 ウィトゲンシュタイン(以下W):「プログラミング言語についてずいぶん説明してきたから,そろそろ分かってもらえると思っていたのだが……」 A:「もちろん,分かったこともたくさんあるわ」 W:「そう言ってくれるだけでも,嬉しいよ」 A:「これまでのあなたの説明で,私なりに理解してきたことを話すわ。まず日常の言語は,論理という観点に立つと曖昧だわ。だから,論理的に理想的な言語が必要なのよね?」 W:「ヤー(そうだよ)」 A:「それがプロ

  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • テクノロジーを学ぶ PCも家電もフラッシュで「瞬間起動」

    パソコンと比較して使い勝手の良さや快適な操作性が売り文句のデジタル家電で,多機能化に伴って生じるある弊害が問題になっている。「起動が遅い」ことである。 国内最大の価格比較サイト「価格.com」で,消費者の口コミ情報を掲載する「くちコミ掲示板」。ここには,パソコンはもちろん,デジタル家電の起動時間の遅さに対する消費者の不満の声が,日々書き込まれている。 その最たる例がDVDレコーダーだ。電源を入れてから録画できる状態になるまで,短い機種でも約20秒,長い機種だと約60秒とパソコン並みに時間がかかってしまう。組み込みLinuxを搭載した携帯電話機では,電源オンから各種操作ができるようになるまで,20秒程度が必要な機種がある。 今,この問題を一気に解消する技術の実用化が近づいている。NAND(ナンド)フラッシュ・メモリを使って起動時間を大幅に短縮する技術だ。NANDフラッシュ・メモリは,U

  • 1