DOSEIの日記

技術メモ+日常ログ

2005-04-13から1日間の記事一覧

Turbolinux 10 Desktop Series Update Kit 3

http://www.turbolinux.co.jp/10d/updatekit3/ http://www.turbolinux.co.jp/10d/updatekit3/doc/list.html Windows でいうところの SP3 でつ。とはいえ、今まで定期的に Update してる人は必要なし。ただし、このリリースに伴ってたくさん Update がでてる…

#1 ガイダンス

人工知能関連の歴史。雑談。

#1 ガイダンス

他専攻(のはず)。検証論。ホーアの理論を学ぶってわけだ。これで私のアサーションプログラム能力も高まるかな。初回は理学部の入試問題。最大公約数の性質の証明、ユークリッドの互除法のアルゴリズムの停止性および妥当性の証明。えー、これ学部生できる…

初授業!意外とうきうきわくわくするもんです。で、まずは 4 限のプログラム論(他専攻)へ。講義室がサイエンスプロ○ナードの棟にあるらしいのだが、なかなか見つけられなかった。微妙なところにあるなぁ…。 5 限は人工知能論。 HRY の声は眠くなる。研究室…