今日のこと モニャドセミナー出席

今日の仕事 はんこ(予定) 今日の修行 ネット辞書 英日誤訳研究 Ad Hocビルドで特定の人にアプリを配布する

今日の仕事 タスク管理 インペイダー

今日のこと 層・圏・トポス勉強会

今日のこと iPhone 3GS購入

今日の仕事 事務作業

今日の縁 グッドタイミング過ぎ。縁ってあるんだろうなあ。

今日のさよなら [Ubuntu]console-kit-daemonがCPUをやたら食う 消した

今日の修業 HaskellのTest.QuickCheckは素敵 Project Euler の 10問目の処理時間が足りん これを世界中の人がやってるのなら、地球によくない気がする

今日のこと 給湯器が壊れた TSUTAYA行った(4ヶ月ぶり)

今日の修業 大学院生 参考文献 京都大学さん素敵 Category Theory for Computing Science 欲しい

今日のゲーム DDR X PARANOiA MAX~DIRTY MIX~ (X-Special)でまさかの裏打ち 謎の物語 50話前後

今日の修行 モナドの講義をYoutubeで マックレーン本の副教材に

今日の修業 プログラミング / Haskell / GLUT Graphics.UI.GLUT

今日の悩み dataとnewtypeのちがいのわかりやすい例が消えている。本当に困っている。 断片1: newtypeはHaskellの仕様に不要では? 断片2: はてブ 断片3: TVarで、型定義について考える

今日のATDYM 10 Specification of Derived Instances

今日の修行 これは面白い考え方 ある程度書きかけのソースコードをGlasgow Haskell Compilerに渡すと、 未定義の関数や、型エラー(物理でいえば、左辺と右辺の単位が違っていること)を調べてくれます。 これを参考にしながら、どんどん定義を埋めていきます…