andante

1713

0106

昨晩は慣れない手つきでPHPUnitのテストコードを書いていましたロジックの比重が大きいと思った通りにテストコードが書きやすくて助かります
書いたロジックとしてはルーティング機構の片道分railsをパクってパラメータを正規表現で制約できるようにしたり存在しないコントローラを無視するようにしたりあと結果の返しかたも決まりましたコントローラクラス名アクションメソッド名残りのパラメータの辞書の組を返します
次は逆引き部分コントローラとアクションの名前からURLを生成するですここは評価戦略が複雑になりそう……そして別にこんなにがんばって一般的に書くこともない気がするのだけれどしかしフレームワークとしてはここは要であるからな将来使えるかもしれないし勉強にもなろう

あと寝る前にこの日記を一年分くらい読み返していましたすごい本当に一年中風邪を引いているでもやっぱり後半のほうが目立って具合悪そうだなうーむ


論理学の命題であるところのトートロジーには情報が含まれないその意義は論理空間の全体となって現実についてなにも主張しないしたがってなにも語らないしかしそれがトートロジーであるという事実はそれが属する論理空間の構造的性質についての情報を含みそれを示すということなのだろうかこれが語る示すとの違いの典型的な例と思ってよいのだろうか

対象の論理形式について言葉で語ることはできないなぜならばそれを適切に語るためにはまずその対象がどのような論理形式を持つかがわかっていなければならないからであるただその論理形式はその対象についてどのようなことが語られうるかによって示されることができるのみであるのだろうか

この二段目は前半も後半もかなり怪しい


明日から仕事ですはー