weblog
今日のこと モニャドセミナー出席
今日の仕事 はんこ(予定) 今日の修行 ネット辞書 英日誤訳研究 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に渡すと、 未定義の関数や、型エラー(物理でいえば、左辺と右辺の単位が違っていること)を調べてくれます。 これを参考にしながら、どんどん定義を埋めていきます…
今日の仕事 メールを4日分読む 今日の修行 オライリーから発売されるReal World Haskellを日本語に訳すページ 多分訳で詰まることはないと思うけども一応
今日のモナド講座 モナドの勘所 これは非常に良いまとめ モナドの「変な結合」について(続き) Kleisli圏の説明
今日の旅 伊豆は峰温泉へ(2)
今日の旅 伊豆は峰温泉へ(1)
今日のモナド講座 Haskel モナドの解説 from 2chもいいかも
今日の衝撃 自分自身を出力するプログラム なんだこれ、素晴らし過ぎ! 果たしてHaskellのモナドはこれでわかるか? プログラム・プロムナード/Haskellプログラミング*1 で他のも見れる HaskellのMonadもセットで *1:情報処理学会の会誌だったのね
昨日のイベント 告知:「技術者/プログラマのためのモナドと圏論」セミナー(モニャドセミナー) 第2回 次回から出たい ↓現実のWEBだと圏になってないから*1、ちょっと誤解を招くかも? 例えば Web ページ同士のハイパーリンクは圏になってるんじゃないかな…
今日の狩人見習い MHP2G@Wiki ダメージ計算 勘違いしがちだが、弾かれるとダメージが1/4に軽減されるのではなく軽減されているため弾かれるという事を覚えておきたい。
今日の衝撃 有馬温泉は新型インフルのため中止 今日のメモ 複数マシンでGPG
今日の仕事 頭痛
今日のこと 層・圏・トポス 読書会
今日の仕事 Trait勉強会
今日のこと iWork09買った。 今日のATDYM Composing Classes from Behavioral Building Blocks 今日のJust idea requires 指定したメソッドも alias できないと駄目な気がする*1 「when two traits are composed, it may be that each requires a semantical…