さて、いよいよNIC編をスタートさせました。TCP/IPの実装（または移殖）はsodex開発当初からの最上位課題で、その土台であるNICドライバの開発に取り掛かります。対象のNICは有名なNE2000とします。 NE2000ではDP8390という制御コントローラを使用しており、…

面白い定理。 述語 を とおくと、 は帰納的述語ではない。 ※とは簡単にいうとプログラムと入力列が与えられた時、計算結果を出すかいなかの述語。これから導かれる事柄として以下がある。 あるプログラムに対して、どんな入力に対しても必ず何らかの解答（エ…