2014-01-01から1年間の記事一覧

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 ちゃんとしないと いろいろなところで ?になる やるべきこと 見つけたけど 今の環境での あり方かな?

次への緩慢なる伸び

やる気より本質的なことでこだわる自分。 言葉の一歩先を知ることからはじめ 必要の 徹底 自分のために 偽善者にならずに 歩いている

何故か 人を見る目が 変わってきた

昔から惰性で付き合っている人を ふっと 彼は道楽ではないか?と思った くちではとやかく言うが、何も実体がない. 現在の彼を見ると 道楽の典型だ.生きている意味がないと思ってしまう. 周りにビクビクしながら、ようやく 吹っ切れてきた 最近 実体がない…

昨夜見たNHK小保方さんのTV

論文の信憑性がすでになく、なぜ 価値のない論文が見過ごされたのか? 偉い人が作った論文で 体裁がごまかせた? 肝心な本人はなぜ嘘がわからないのか? ごまかしでなく 本当にできたしまったと思い込んだのか? 常識と違いのだから 改めて 再追試をやれば …

若者たち2014

頭では許せなくても生活があるなか 、自分に犠牲をしいることができるのか? よくわからず でも生活は しっかり守る生き方で 耐える線はまもる. 比して 自分は その場しのぎは あたりまえ 貧乏 無能を 引き受けられずに 悶々する日々 何が違うの? 信念なの…

最後は

自分を引き受けるのは自分だ。 まだ どれだけ マーケットを創れるか試してみたい 口車に乗って 利用される 愚は 繰り返すまい

なぜか だるい

ゆったりとした時間から 強制的に 時間を決めた行動に移る時、だらけた気分が 崩壊する 岡山の事件が 解決し 、 親ロシア人対応 イスラエル対応 ここまでは 見えない 突然 日常に 戻る 重たい頭を引きずって、動き回る

Fisher

チェス王者 FIsher のTVを見た .死ぬ時 chess しかできない といえて 死ぬのは ! いろいろ 翻弄されて生きるのは 人間の性か?

事実は

聞いたことは そう聞いた だけだ 確かめようがない ことは そう簡単に 決めつけないことだ じっくり 事実を 集めて 自分なりの まとめ方で

現実は

組む人をよく見ないと。 諦めしかない人 人はその人の分しかみえないのだから

したい と 必要

出っ腹を何とかしたい。一向に減らない腹を見ながら、食べたいだけ食べているから?とおもいつつ 必要最低限で 生きてみようか

流されず

EAも昔とった杵柄ではないが、コンサルも久しぶりだ. 現場復帰の準備を怠りなく 所業無常なり

環境に流されず

今 ある環境から逃げずに、受け入れて やれることをやろう。 いとうことで ソフトウェア工学 から戻ってみよう。 もう 若くはないさと就職した26歳 流されて 今がある。 最近はスマサラーナ と言うか ブッダにこっている。 わけわからずしていた 瞑想も 少…

UML再来

ふっとしたことで UML提案をして、調子を壊していたが、 5年ぶりにUMLで開発だ 体を鍛えないと

仕事をしていて

頭が戻ってきたのか、EAでのアイディアの出方にびっくりだ 昔とった杵柄 かな? 意外と やれる自分に 少し 期待

身から出た錆

気に入られようと 必死に金持ちぶった.散財して懲りた また 少し 溜まってきた. 来るのは それを狙う人たち. 自分が もう変わっていた. 体よく断り、縁切りでいこうときめている 若者たち をみながら 現実を受け入れてこなかった 自分が見えた

Technology architecture

やれる範囲が決まってくる べきではなく 現在の彼らの持つ文化に依存する それをロードマップ化するのだが ここまでやりたいは できるのだが

粛々と

やるミッションが見えたので当面、それをこなすことに 頭が壊れたとはいえ 訳の分からない環境で 過ごしたものだ。 もう 分相応な仕事に 戻ろう。 コンサルでしょ ITですよ それを40年やってきたのだから

現実は

借りの間にで5年目。体調が良くなってくるといろいろ気がつく 相手にする人ではないのだが