ほげ

ハードウェア課題4 (written by OCaml)。何故このページにリンクが無いんだ。

  • 回路図表現と出力信号を受け取り入力記号の論理式を出力
halfaddr = (a, b) (o, s) { (xor (a, b) (o)) (and (a, b) (s)) }
  • 論理式を受け取り真理値表を出力
  • 論理式を受け取りユニバーサルゲートのみで構成された論理式に変換
  • 論理式を受け取り主加法標準形に変換
  • 論理式を受け取り主乗法標準形に変換
  • 回路図表現を受け取りクリティカルパスを出力

関数型言語パワー(リスト＋パターンマッチ)爆発。他の課題をほっぽって先にデバドラ課題をやりたい気持ちに駆られている。9月末締め切りなのに。

x60s

3週間ほど前にThinkpad x60sを購入した。現在はWindows上でVMWare Serverを動かし、そこにUbuntuを入れてメイン環境としている。ただVMWare Serverとの噛み合わせが悪いのかIRQ関連のエラーで時たま青い画面が出る事が有った。そこで色々調べていると、LenovoからThinkpad用にソフトウェア導入支援なるものが出ているらしいので、これを使用して色々アップデートをかけてみた。これで問題がfixされると良いけど。