カテゴリー: ニュース

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

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

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

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

岩波講座 情報科学15

　殆ど知っている内容でした。ただ、商用計算機の黎明期に非ノイマン型もあったのは驚きでした。

岩波講座　情報科学13

$$M(X,Q,Z,\delta,\omega)$$

$$X : 入力集合$$

$$Q : 状態集合$$

$$Z : 出力集合$$

$$\delta : 状態遷移関数$$

$$\omega : 出力関数$$

　数式でハードウェアやソフトウェアを表そうとするとフィードバックや記録、非同期はどうしたら良いのだろうかと思っていました。

　数学があって何かしらのアルゴリズムの記述方法があってハードウェアやソフトウェアの機能を表すと別の本で知り、良かったと思っていたのですが、この本を読むと数式で全てを表していたのでびっくりしました。

　ブール代数をこの本のように使えば実際の機能を抽象化し評価できるのですね。とても素晴らしい。

岩波講座 情報科学17 1981年発行

$$
C=\{x \in GF(2)^n \mid Hx^T=0\}
$$

$$Hx^T=0$$
をパリティチェック方程式という。

パリティチェックは知っていました。

ITの基礎には離散数学があるというのが窺い知れた部分です。

　論理偏重ではなく実用的な解説が多くて役に立ちそうな教科書です。アナログとデジタルの色々な変調と復調の方法が載っていました。知らないこともあったので勉強になりました。

岩波講座 応用数学 対象5 1998年9月

　システムと制御の数理の延長で非線形も見ていこうと思いこのの本を開いてみました。ナビエーストークスが出てきました。一部の末には未だ解き明かされていない証明があることにも触れられています。

　二部では分岐について数学的な扱いが解説されています。一般では単に分かれていくことですがそれを数学にするととても難しい学問になるんですね。

岩波講座　応用数学 対象10 1993年12月

　線形システムの理論は1970年代に概ね完成を見ましたが、新たな課題が提起され果敢に解決に挑んでいる科学者の姿が読み取れました。

　非線形ダイナミクスにシステム制御理論の主戦場が移りかつ、機械学習の扉が開かれようとしています。