エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
困った時の米田頼み、ご利益ツールズ - 檜山正幸のキマイラ飼育記 (はてなBlog)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
困った時の米田頼み、ご利益ツールズ - 檜山正幸のキマイラ飼育記 (はてなBlog)
米田埋め込みはやっぱり役に立ちますね。米田埋め込みを利用するときに便利なツールを幾つか紹介します... 米田埋め込みはやっぱり役に立ちますね。米田埋め込みを利用するときに便利なツールを幾つか紹介します。それらのツール達は: 関手に使うラムダ記法 米田の星 (-)米, (-)米 関手・自然変換のテンソル積 マルチ米田埋め込みのドット記法 内容: 過去の事例: CPSと確率変数 困った時の米田頼み、もうひとつの例 米田埋め込み ラムダ記法と米田の星 超巨大圏CATと直積 関手・自然変換のテンソル積 マルチ米田埋め込みとテンソル積 前層の圏とマルチ米田埋め込み おわりに 過去の事例: CPSと確率変数 プログラミングにおいて、継続(continuation)という不思議な概念が登場します。継続を用いたプログラミング技法として、継続渡し方式(CPS; Continuation Passing Style)という何だかヨクワカラナイやり方があります。 継続/継続渡し方式に関わる不可解さは、米田埋め込み