2014-08-01から1ヶ月間の記事一覧

高慢と偏見を見る

めったにみないのだが、録画した手前、さらーと見た 見てくれよりも ちゃんとみないと だめ ダーシーさんに共感 小学生頃から 最近までの自分を竿馬等のように回顧 高校3年の悪友との付き合い TCOM時代の 無能な人との付き合い 金は設けたが、病気で失った.…

モナドI/O

現状の入出力に引きずられた感じ DBまで持っていくのは大変 LAZYだけは守っていこうッて感じ

涼しくなって

太っている私には 暑さは大敵 痩せたいので 走りたいのだが 熱射病にならないかと 部屋で もも上げ 腹筋 を行なう まずは 体力

モナド I/O

ここに来ると 関数型言語 が 手続きに 似てくる LISP1.5 そういえば I/O なかったッケ? 副作用が起きるI/Oをどう関数に閉じ込めるか? Haskellにもだらけてきて、面白いか?って 早く ミッションまで いこうっと

MAC-proにGHSをインストール

基礎の本を読みあさっている.モナドの利用法も試行錯誤を繰り返している 頭が 疲れたので GHCのインストール. MAC OS 最新版で行なう GHC最新版は 一昔みたいに ゴチャごちゃやらないでスタンダード版で簡単にインストールできる XcodeのUPDATEを忘れてい…

Haskellで 並行処理 + 通信モジュール

TO-BEモデルは決めたので Webに行くまえに、通信モジュールを作って モナド化しておく予定 いざやると 細かな設計論が見えなくて、基礎からさらーと眺めている 大学時代のLISP1.5マニュアル以来のHASKELL2010 ちょい読み. モナドにするのか FFIで逃げるか?…

基礎からHaskell

M.L."Learn you a Haskell for Great Good!" B. O.,J. G. ,D.S. :"Real world HAskell" R.B."Introduction to Functional Programming using Haskell" の 読み直し 日本語訳の 田中、村主さん 山下、伊東さん 山下さんを参考にしながら すばやく さらーと Ha…

いろいろな Next model

Haskell2010 の JS化を設計し始めて まず The JavaScript Problem を読む FAY か GHCJS を評価してみる TO-BEモデルは IaaS meteorを使うためだが Yesod は使いたくないのだ Heskell2010とのリンクはFFIの CLINK しばらく Next model の 設計

Haskell2010 monad + web

Haskellのモナドの勉強がてら Web用FWかAPI 創って見ようと思う 関数型言語のそれこそ関数利用特に モナドの利点を使ってみたい LaaSに組み込むのか 考えてみたい MONGO を活かし meteorをいかし 虫がよすぎるかな?

Haskell2010 勉強

圏論のモナドまで何となくイメージができたので、最後の Kleisliトリプル の理解を Haskillから 納得しようと Haskillを読み始める PGが終えない 記号の意味がわからない マニュアル片手に 字句解析から モナドのPGを読む

圏論 焦らず

hasskellの ノマドまで 来て 回想 圏論の自分なりのイメージができていない DBモデル化への応用なのだが その方向への道は見えてきたが 次の山にのぼるために モナド の 自己イメージを

T-代数

モナドから 代数の基底対象と代数の構造射を 抽出して 結合律 単位元律 が 可換 を Tー代数とする 強力なのかな T-代数

圏論 続き

ミッションを絞り込んでDBモデル化は終えたが、 Haskell98での モナド が 気になったので、 モナドを眺める PIkkety 読まないと 思いつつ 資本家ではない 私 どうしようか?

Capital T.Piketty 眺める

確かに 最近の 世界は? 資本主義にあるのか? r>g 資本家が設けるのは 世の常 なのに 水野”資本主義の終焉と歴史の危機”の 金利 ゼロ 利潤率 ゼロ が問題 の方が わかりやすい

Haskell 98 ついでに

圏論DBを勉強したついでに PLでモナドを勉強 はやりの 言語で モナドを Keisli圏 Keisliトリプル までやって Haskell のモナドクラスのインスタンスが Keisliトリプルに対応し モナドに対応することを証明する これを Haskell98で 展開するところで

モナド

圏論をDBのモデル化で調べたついでに Haskellの モナドIOを調べてみた 副作用を閉じ込めたものだ

NoSQL 理論モデルの勉強

fanctor理論がわからないので SpiVak の論文が よくわからず. グロタンディーク構成が最後の山 なんとか 見えて ほっとした モナドを ついでに と欲がでる

この連休中に 課題を解決すべく

資本論 門外漢の私が で どうする を考えてみる 資本 > 生産益 資本を回すより 儲かる 社会は どうすれば よいのか? MongoDB Fanctorモデル化 クラウド用 DBの本命足る NoSQL の理論的背景 確立 面白いこと 見つけて 社会学に 貢献できるかな

MongoDB JS LaaSの理論モデル化

functor で DBのインスタンス を表現するアディア Spivak の 論文に刺激されて 圏論を調べ始めている 檜山さんのブログを眺めながら、檜山さんほど 圏論がわかっていない自分に 苛つきながら 竹内外史さんの本から 初めて、清水さんの本 MacLaneさんの本をベ…

大根おろし器

最近 肉と一緒に大根おろしを食べる。なんとも言えない苦味が良い 削り器が万能性のため 効率的に大根おろしを作れない これだけ 大根食べているのだから 時間があるときに 効率のよい大根おろし器を買おう

面白くなってきた

意外なことに である。 カテゴリ理論で DB理論を 構築するという目的のために カテゴリ理論のおさらいから始めた JS MONGODB か ちょっと嬉しさ

無常

相手の動向は無視していこう。勝手に祭り上げただけなのだ。 よく見れば 、 それなりなのだ 気を使って、フリマわされる人たちではない。 マイペースなのだ

5日ぶり

いきなり INが開かない。アドレス問題。WIN7のIDとPW ちゃんとしないと いろいろなところで ?になる やるべきこと 見つけたけど 今の環境での あり方かな?