最近たまに考える事があります。 情報学のパラダイムシフトってそろそろ起こるんじゃないだろうかと。 情報学という分野が誕生して60年、過去の学問の近代化に比べて学問としての情報量の拡散率は高く、最先端の研究をするにしても数年で到達でき、学習して…

USB FDDを買ってきたので久々に実機でsodexを動かしてみる。が動かない。 そういえば8セクタ以上の読み込みが失敗していたような（汁

新宿でジュンク堂寄ってきたらつい本を数冊買ってしまいました。圏論による論理学―高階論理とトポス清水 義夫 Amazonで詳しく見る by G-Toolsまともに読む気ゼロ。１回気になったジャンルは買わないと気がすまないし、 無性に読みたくなったとき即座に読める…

入門Haskellを読みつつモナドの記述があまりに少ないので以下のサイトの「自分自身を出力するプログラム」に書いてあるmonadの数学的定義を読んでみるけど定義5までで死亡。ちゃんと理解するなら圏論の本買ってこないとだめぽ。 http://www.ipsj.or.jp/07edi…