当面の目標の整理

ちょっと目標を見失いがちになってきた。。。
そこで整理する。

• linuxのptyアプリを書きたい。
  
  
  
  • 詳解UNIXを勉強する。
    
    
    
    • C言語を勉強する。★途中
      
    • UNIXの道具箱を読む。★途中
      
      
      
      • gcc/gdbを勉強する。
        
      
      
    
    
  
  
  
• NorvigのAIを読みたい。(Common Lispプログラミングの書きぶりを知りたい)
  
  
  
  • アルゴリズムとデータ構造について勉強する。
    
    
    
    • C言語を勉強する。★途中
      
    • C言語でアルゴリズムとデータ構造をやる。
      
    
    
  • Common Lispについて基本を復習する。
    
    
    
    • 初めての人のためのLISPを読む。★途中
      
    • Common Lisp Drillをやる。(Cでアルゴリズムをやった後に実施)
      
    
    
  
  
  
• Common Lispを理解したい。
  
  
  
  • コンパイルを理解する。
    
    
    
    • パタヘネを理解する。★途中
      
    • シプサを理解する。
      
      
      
      • 集合30講を読む★途中
        
      
      
    • コンパイラ本を何かやる。
      
    
    
  • Lisp In Small Peacesを理解する。
    
  
  
  
• 記述論理を理解したい。
  
  
  
  • 一階述語論理とホーア論理を理解する。
    
    
    
    • ソフトウエア科学のための論理学を勉強する。
      
      
      
      • 論理学をつくるを勉強する。★途中 (シプサの後に復帰)
        
      
      
    
    
  
  

全部じゃないけど、まずはこんな感じ。
こつこつがんばる。