カテゴリー
Books

確率の哲学的試論

 ラプラスという人は単なる数学者ではなく激動のフランス革命を生き抜いた偉人だったのは知りませんでした。賭け事が好きな人にお勧めしたい一冊です。

カテゴリー
情報科学

論理と意味

岩波講座 情報科学7 1983年1月発行

 記号論理学から始まりアルゴリズムやプログラミングと文章の解釈、翻訳と続いていくのですがアルゴリズムがない場合は対応できなさそうです。論理学からスタートすると曖昧なことや不明なことに出くわした時に行き詰まる気がします。

 結局ノイマン型の限界を越えられないのでしょうか。記号論理学が情報システムの発展に欠かせなかったと思いますが、この呪縛から脱出しない限り今以上の発展は難しそうです。

カテゴリー
情報科学

情報の構造とデータベース

岩波講座 情報科学8 1983年6月

 大体わかっている内容でしたが面白いことが書いてありました。

 巻末にデータベース略史が載っていて W. C. McGeeという人が初めにこのような提案をしたそうです。

 マクギーといえばNCSIのギブスの下にいるマクギーと同じ姓です。

 アメリカのドラマってそこまで考えて作っているなんて、凄いですね。

カテゴリー
情報科学

オートマトン・形式言語理論と計算論

岩波講座 情報科学6 1985年2月発行

 オートマトンやチューリング機械の数学的な扱いがわかりました。計算機を抽象化したモデルを作り数学的に扱い易いようにしてアルゴリズムを含めて証明を行い理論を展開する。他にも応用ができそうですね。

カテゴリー
情報科学

算法表現論

岩波講座 情報科学12 1984年10月発行

 数学的な本だと思ったら、算法とはアルゴリズムの和訳だったとは知りませんでした。FORTRANを使ってアルゴリズムが説明されています。