サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
休みの日に知り合いから電話がかかってきたので出たら
「今何してんの？」って聞かれて「テレビ観てました」って答えたら「暇だねーｗ」と笑われた。 周りは休日は外出するものって考えの人が多くてホントやだ。 今日は家でのんびりしようって楽しく過ごしてたのに一気に嫌な気分になった。
困った時の米田頼み、ご利益ツールズ - 檜山正幸のキマイラ飼育記 (はてなBlog)
米田埋め込みはやっぱり役に立ちますね。米田埋め込みを利用するときに便利なツールを幾つか紹介します。それらのツール達は： 関手に使うラムダ記法 米田の星 (-)米, (-)米 関手・自然変換のテンソル積 マルチ米田埋め込みのドット記法 内容： 過去の事例： CPSと確率変数 困った時の米田頼み、もうひとつの例 米田埋め込み ラムダ記法と米田の星 超巨大圏CATと直積 関手・自然変換のテンソル積 マルチ米田埋め込みとテンソル積 前層の圏とマルチ米田埋め込み おわりに 過去の事例： CPSと確率変数 プログラミングにおいて、継続（continuation）という不思議な概念が登場します。継続を用いたプログラミング技法として、継続渡し方式（CPS; Continuation Passing Style）という何だかヨクワカラナイやり方があります。 継続／継続渡し方式に関わる不可解さは、米田埋め込み
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
