2008年7月27日日曜日

目標の整理 (Ver.2.0.2)

状態をアップデート。
基礎的な思考力を鍛えるとともに、アイデアの源泉となる知識が必要なような。OSは、いろいろ悩んだがタネンバウムのMinix3にしようと思う。

  • GNU/linuxのptyアプリを書きたい。

    • 「詳解UNIX」を勉強する。

      • C言語を勉強する。

        • 「明解 C言語 入門編」【完了】
        • 「明解 C言語 実践編」【完了】
        • 「UNIXの道具箱」★途中

      • GNU/linuxのAPIの基礎を勉強する。

        • 「例解UNIXプログラミング教室」




  • NorvigのAIを読みたい。(Common Lispプログラミングの書きぶりを知りたい)

    • アルゴリズムとデータ構造について勉強する。

      • C言語の基礎を勉強する。【完了】
      • C言語でアルゴリズムとデータ構造をやる。

        • 「C言語によるアルゴリズムとデータ構造」 ★途中
        • 「アルゴリズムC」


    • Common Lispについて基本を復習する。

      • 「初めての人のためのLISP」★途中
      • 「Common Lisp入門」
      • 「Common Lisp Drill」 (Cでアルゴリズムをやった後に実施)



  • Common Lispを理解したい。

    • コンパイルを理解する。

      • 「パタヘネ」を理解する。

        • 上巻【通読完了】
        • 下巻【通読完了】

      • 「シプサ」を理解する。

        • 「集合30講」【完了】
        • 「計算理論の基礎 1」★途中
        • 「計算理論の基礎 2」
        • 「計算理論の基礎 3」

      • コンパイラの基礎を学ぶ

        • 「新コンピュータサイエンス講座 コンパイラ」


    • 「Lisp In Small Peaces」を理解する。


  • OSの基礎知識を得る

    • 「Operationg Systems Design and Implementation 3rd Ed.」


  • 記述論理を理解する。

    • 数理論理学の基礎知識をえる。

      • 一階述語論理とホーア論理を理解する。

        • 「ソフトウエア科学のための論理学」

          • 「論理学をつくる」 ★途中 (シプサの後に復帰)


      • 圏論を理解する。

        • 群・環・体の基本を知る。
        • 代数幾何の基本を知る。
        • 圏論の入門書を読む。




  • マネージメントを勉強する

    • 統計学の基本をおさえる。

      • 「統計学入門」 ★途中
      • 数学的に準備する。

        • 位相の基本を知る。
        • ルベーグ積分を知る。
        • 確率論を知る。




  • 生活環境の改善

    • Emacs

      • 「入門GNU Emacs」【通読完了】

    • Shell

      • 「詳解シェルスクリプト」【通読完了】
      • 「新Linux/Unix入門」★途中
      • 「Linuxの教科書」



  • 体で覚えるもの

    • 「解きながら覚えるC言語」
    • 「入門 GNU Emacs」
    • 「詳解シェルスクリプト」

0 件のコメント: