5/27

今日は頭が痛い一日だった．何もしなかったし何も出来なかった．データベース論の課題提出日が今日までだったのでうんこみたいなコードを提出しただけの日だった．

明後日はアルゴリズム論の中間テストである．これは離散数学を習った大学2年生へ向けて彼らが理解できるように受理可能言語，判定可能言語を定義せよ．という問題なので，イケると思う．（離散数学を習った大学2年生とはどのような想定なのかイマイチピンと来ないのだけどようは素朴集合論で扱うような記号とかはわかっている奴らへ向けて的なことらしい．まあニュアンスで把握してとのことだった）用いる記号，チューリングマシン，計算状況，チューリングマシンがある言語を受理する／拒否するとは，etc...から順に定義していけば良いだろう．

ぱおぱお

そんで，遅々としてはいるが鹿島亮の数理論理学，

数理論理学 (現代基礎数学)

嘉田勝の論理と集合から始める数学の基礎

論理と集合から始める数学の基礎

を読みつつ遊んでいる．

■

”hogeをしよう，fugaをしよう…”とか書いている時点でしないことはわかっていたつもりです．

5/26

休みの日は寝ていることが多い．今日もつい今まで寝ていた．抽象的な意味ではなく，ただ身体を寝かしつけていた．そして，今しがたアイアムレジェンドを見終わった．一人の旧人類が新人類を勝手に救ってやろうと勢い勇んでいる．旧人類に戻すということを治療すると称して．そのようなはなし．

人のいない都市，街は素晴らしい．都市が人を営むことを放棄し自然にその座を譲っている．
廃墟化している巨大都市を見ているだけで楽しい気分になれた．

今日は今から，矩形波信号を理想的なローパスフィルタへ入力して，その出力波形を畳み込みから求めよう．その際フーリエ変換等を利用すべし．という課題を終わらせて，データベース論の課題，実験レポート課題に必要なデータの整理をしよう．

あとで，演出の勉強と銘打ってあいうらを見よう．

今季の気になるアニメ

団地ともお，俺妹二期，ガラスの仮面ですが，アザゼルさんZ，惡の華

追記
「ガラスの仮面ですが」は切ります．

あとでやった．移行した．

はう！はてなブログ便利や．以前のはてダの記事のインポートもスイッチぽんで完了だし．記事の編集画面もすっごい良いですね．

オサレ感も溢れてる．

それにかっこいいテーマデザインをplatismさんありがとう

追記

俺はツイッターでのつぶやきをツイートと言わないことで自己を保っていたのだけれど，10文字ほどの文字列が4文字に圧縮されるしツイートっていう方が一般的になったしという理由でついうっかり使ってしまった．ひしひしと負けた感がつのるナインエーエム

あとでやる

ああ，ツイートとか上手く貼り付けられないし，
はてダもきっと近いうちに無くなるだろうからはてなブログへ移行しよう．

rvm+bundler で便利生活

rvmとbundlerを併用して，複数のバージョンのruby，複数のgemを管理する．

なぜrvmだけではダメなのかというと，rvmのgemsetでは複数のgemが必要なgemsetを用意する際に必要なだけ

gem install hoge

と指定してやらなければならないし，
アプリごとにgemを使い分けるということがしにくい
（gemsetの量がアプリ分だけ増えてしまいどのアプリにどのgemsetを割り当てていたかが分からなくなる）

bundlerがあればアプリごとに必要なgemをインスコできる．
その際Gemfileに適当な感じで記述してやって，railsアプリ用に作成したディレクトリで

bundle install --path vendor/bundle

とすることで，gemの依存関係とかをよしなに取り計らってくれる．
だからrvmで複数バージョンのrubyの管理を，bundlerでアプリごとに必要なgemの管理をそれぞれ分担したほうが楽．
ーーという理解でいいのだろうか．

つまり，rvmのgemsetは使わずにbundlerでgemを管理するってことだよね？
複数のバージョンのrailsの管理は，rvmのgemsetを使えば良いかな．

追記：2012・12・6
いや別にrailsの管理もbundlerですればおｋか．