圏論とプログラミング / Category Theory and Programming
シンポジウム「圏論的世界像からはじまる複合知の展望」＠慶応大学 (Jan 25, 2020) http://www.inter.ipc.i.u-tokyo.ac.jp/symposium.html 「圏論とプログラミング」発表スライドメモ - Qiita https://qiita.com/inamiy/items/9af1da1faec22cd968f0 Video: https://www.youtube.com/watch?v=Ua6NE48_-1s
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
シンポジウム「圏論的世界像からはじまる複合知の展望」＠慶応大学 (Jan 25, 2020) http://www.inter.ipc.i.u-tokyo.ac.jp/symposium.html 「圏論とプログラミング」発表スライドメモ - Qiita https://qiita.com/inamiy/items/9af1da1faec22cd968f0 Video: https://www.youtube.com/watch?v=Ua6NE48_-1s
認知負荷および認知負荷理論 (Cognitive Load Theory) をもう少し正確に理解するための心理学研究・知見の紹介
認知負荷および認知負荷理論 (Cognitive Load Theory) をもう少し正確に理解するための心理学研究・知見の紹介 この記事の目的 ここ数年で、ソフトウェア開発やプログラミングの文脈で、「認知負荷」 および 「認知負荷理論」 という用語をよく見聞きするようになりました。私が今思い出せるだけでも、以下のような書籍や Podcast で重要なキーワードとして取り上げられています。 A Philosophy of Software Design, 2nd Edition チームトポロジー 価値あるソフトウェアをすばやく届ける適応型組織設計 プログラマー脳 ～優れたプログラマーになるための認知科学に基づくアプローチ fukabori.fm 102. A Philosophy of Software Design (3/3) w/ twada この「認知負荷」ですが、少なくとも近年見聞
キャリア理論をもとに考えるエンジニアのキャリア/Engineer's careers based on career theory
「1万曲入りiPodをオークションに出したら飛ぶように売れた」 宮下崇『連続起業家のTHEORY』が物議、会社側は「事実確認中」
A Theory of Scrum Team Effectiveness 〜『ゾンビスクラムサバイバルガイド』の裏側にある科学〜
Regional Scrum Gathering Tokyo 2024での講演資料です。 --- 2023年、ソフトウェア工学分野の論文誌であるTOSEM[1]、およびトップカンファレンスであるICSE 2023[2]に、スクラムに関する1本の論文が同時に採択されました。 僕は50ページを超えるその論文を読んで衝撃を受けました。こういう学会に投稿されるスクラム・アジャイルの論文は、アジャイル実践者の目線からするとあまりピンとこないものもあるのですが、この論文はまず、そういった点で一分のスキもありませんでした。 ただの研究者ではない、明らかにスクラム実践者が書いた論文でした。 一体誰が書いたのか、と思って調べてみると、2人の著者 Christiann Verwijs と Daniel Russo のうち、Christiaan Verwijsはあの『ゾンビスクラムサバイバルガイド』の著者の1人
kubefork - development experience like owning your own cluster
機械学習における
ハイパーパラメータ最適化の理論と実践
/ hpo_theory_practice
ランダム欠損データに依存しない推薦システムのバイアス除去 / towards-resolving-propensity-contradiction-in-offline-recommender-learning
Mathematical proof that rocked number theory will be published
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
Potential fabrication in research images threatens key theory of Alzheimer’s disease | Science | AAAS
Cookie Absent This website requires cookies to function properly. Please enable cookies in your browser and try again.
【5月の人気コーデ】UNIQLO「＋Ｊ」セルビッジジーンズ、theoryコラボワンピ、キレイ色ツインニット 2021年6月10日 コーディネート, ユニクロGU 本日は、毎月10日前後に行っている前月の振り返り。 総合閲覧数に基づく5月の人気コーディネートベスト3です。 なんと、この振り返り企画をスタートさせて初めて、1位から3位まですべてがユニクロコーデという結果に。 まあ、このコロナ禍で仕事服やお出かけ服をほとんど買わなくなり、「日常着といえばユニクロ」という状況のなかで、ユニクロアイテムの登場回数がめちゃくちゃ増えているのも確か。 新規購入品の着用レポートは、検索経由ででたくさんの方に読みにきていただいているので、ユニクロの新アイテムが3つ並ぶのも、考えてみれば当然なのかもしれません。 それでは、5月の全記事のうちたくさんの方に読んでいただいた記事の上位3つを紹介しますねー。 第３位
昨日の記事で、試着レポートをしたTheoryコラボのUNIQLOウルトラストレッチポロワンピース。 購入検討中の読者の方から、「どんな小物と合わせますか？」「50代がコレを着て外出しても大丈夫？」とご質問いただきました。 そこで本日は、昨日試着したコレを着用！ オールユニクロでつくる、60代のカジュアルスタイルでお仕事へ。 ◆ワンピース／ユニクロ✕Theory ウルトラストレッチポロワンピース 68ブルー Ｓ ◆羽織り／ユニクロ スーピマコットンＶネックカーディガン 34ブラウン Ｓ ◆ソックス／UNIQLO＆JW ANDERSON ボーダーソックス 68ブルー ◆靴／ノイエ ディフュージョン レースアップシューズ ブラウン ◆バッグ／モダルー（大昔） 衿もあれば袖もある！ ポロワンピは大人の味方 ご質問の「50代がコレを着て外出しても大丈夫？」についてですが、まーったく問題なしです。だ
Introductory resources to type theory for language implementers
This post briefly tours resources that helped introduce me to type theory, because I’m frequently asked by others for resources on this subject (even though I never had a formal education in type theory). Specifically, these resources will focus more on how to implement a type checker or type inference algorithm. Also, my post will be biased against books, because I don’t tend to learn well from r
GitHub - pedrozath/coltrane: 🎹🎸A music theory library with a command-line interface
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
About the book This book dives deeply into JavaScript: It teaches practical techniques for using the language better. It teaches how the language works and why. What it teaches is firmly grounded in the ECMAScript specification (which the book explains and refers to). It covers only the language (ignoring platform-specific features such as browser APIs) but not exhaustively. Instead, it focuses on
A Monitoring Theory of the Underclass: with Examples from Outcastes, Koreans, and Okinawans in Japan
A Monitoring Theory of the Underclass: with Examples from Outcastes, Koreans, and Okinawans in Japan Abstract: When members of a minority group can monitor and constrain each other, they can leverage their internal social capital to financial gain. When they live within dense networks of personal contacts, they will more often have the information necessary to learn whether potential trade partner
Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful—Stephen Wolfram Writings
Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful April 14, 2020 I Never Expected This It’s unexpected, surprising—and for me incredibly exciting. To be fair, at some level I’ve been working towards this for nearly 50 years. But it’s just in the last few months that it’s finally co
単語をならべかえて英文を完成させよう(レベル5)「developed He his own theory」「彼は自分なりの理論を発展させた。」#英語学習 | ならべかえ 英語 リスニング
[レポート] Responsible AI: From theory to practice (2/2) – Google Cloud Next ’20: OnAir #GoogleCloudNext | DevelopersIO
[レポート] Responsible AI: From theory to practice (2/2) – Google Cloud Next ’20: OnAir #GoogleCloudNext こんにちは、Mr.Moです。 現在、2020年7月14日から9月8日までの数週間にわたってGoogle Cloudのデジタルイベント『Google Cloud Next ’20: OnAir』が開催されています。 当エントリでは、その中から「Cloud AI」シリーズのセッションとして公開された『Responsible AI: From theory to practice』の内容をまとめてみたいと思います。（独自の解釈なども含まれると思いますのであらかじめご了承ください） なお、このセッションのレポートは内容が長くなったので２つに分けました。前半は下記をご参照ください。 Responsib
![[レポート] Responsible AI: From theory to practice (2/2) – Google Cloud Next ’20: OnAir #GoogleCloudNext | DevelopersIO](https://cdn-ak-scissors.b.st-hatena.com/image/square/b3694de4330131485a7c86b4295f07ce015d806e/height=288;version=1;width=512/https%3A%2F%2Fdevio2023-media.developers.io%2Fwp-content%2Fuploads%2F2020%2F08%2Fgoogle-cloud-next-onair-2020_1200x630.jpg)
From Theory to Reality: Explaining the Best Prompt Injection Proof of Concept
My thoughts on hacking, ai, faith, and more. © 2024 rez0. I’ve been theorizing and researching prompt injection attacks. They’ve mostly been theoretical, though. In this post, I’m going to break down and explain the best self-contained proof of concept for how indirect prompt injection can lead to plugin-hijacking with severe consequences. Definitions Before diving in, let’s clarify some terms: LL
-I know I was born and I know that I'll die, The in-between is mine, I am mine- « 2023.06/ 123456789101112131415161718192021222324252627282930 » ひさしぶりに出戸駅近くの「一帆」に行ってきました！ 毎年7月下旬にこの近くに行く用事があるので訪問するのですが、 昨年はその日と定休日が重なったので行けなかったのですよね； そこで今回の訪問は2年前の7月以来ということになりました！ こちらのお店はある時期まではメニューの変更が激しかったですが、 ここ3年ぐらいで完全にメニューが安定して固まってきた印象です！ ・鶏白湯系ラーメン ・軍鶏清湯系ラーメン ・鶏煮干白湯系ラーメン ・鶏煮干清湯系ラーメン ・鶏煮干つけ麺 ・まぜそば このうち、4つのラーメンについ
Sets Let’s begin our inquiry by looking at the basic theory of sets. Set theory and category theory share many similarities. We can view category theory as a generalization of set theory. That is, it’s meant to describe the same thing as set theory (everything?), but to do it in a more abstract manner, one that is more versatile and (hopefully) simpler. In other words, sets are an example of a cat
The Lab-Leak Theory: Inside the Fight to Uncover COVID-19’s Origins
I. A Group Called DRASTICGilles Demaneuf is a data scientist with the Bank of New Zealand in Auckland. He was diagnosed with Asperger’s Syndrome ten years ago, and believes it gives him a professional advantage. “I’m very good at finding patterns in data, when other people see nothing,” he says. Early last spring, as cities worldwide were shutting down to halt the spread of COVID-19, Demaneuf, 52,
What Is the Flow Theory? How to Apply It to Improve Your Productivity
Want to be in the zone and improve your productivity? Here's how to use flow theory to improve your engagement and enjoyment. All of us have experienced working on something we thoroughly enjoy. We’re so consumed and absorbed with the task at hand that hours seem like minutes. This phenomenon is called “flow”. Many people think that enjoyment can only be achieved by doing passive, stress-free, and
3.2Storytelling/counterstorytelling and "naming one's own reality"
An excuse to teach a lesson on information theory and entropy. Special thanks to these supporters: https://3b1b.co/lessons/wordle#thanks Help fund future projects: https://www.patreon.com/3blue1brown An equally valuable form of support is to simply share the videos. Contents: 0:00 - What is Wordle? 2:43 - Initial ideas 8:04 - Information theory basics 18:15 - Incorporating word frequencies 27:49
イヤホンズ「Theory of evolution」特集｜インタビューでも実験!? 普通じゃない5年間の普通じゃない“進化論” - 音楽ナタリー 特集・インタビュー
ナタリー 音楽 特集・インタビュー イヤホンズ「Theory of evolution」特集 イヤホンズ「Theory of evolution」 PR 2020年7月22日 テレビアニメ「それが声優！」メインキャストの高橋李依、長久友紀、高野麻里佳による声優ユニットとして2015年に結成されたイヤホンズ。当時声優としても駆け出しだった3人は、新人声優がユニット活動に奮闘するさまを描いた「それが声優！」の世界とリンクする形でデビューを果たし、アニメが終了したあとも「それが声優！」のその後を体現するかのように活動を続けてきた。声優ならではの“声”に焦点を当てた実験的な楽曲にも果敢に挑み、ユニットとしての独自性に磨きをかけている彼女たち。デビュー5周年を迎えたこの夏リリースされる最新アルバム「Theory of evolution」では“進化論”の意味を持つタイトルの通り、イヤホンズがこの5年
15th Aug. 2020 更新 by Akihiko Koga, 10th Aug. 2017 初出 このページの内容 動機 色々な圏論の教科書 圏論のいろいろなテキストを紹介しているサイト 主な教科書の概要 Steve Awodey : Category Theory, Tom Leinster : Basic Category Theory, 2014, M. Barr and C. Wells : Category Theory for Computing Science, 1998, 558ページ, Peter Smith : Category Theory : Gentle Introduction, 2016 (当面保留), David I. Spivak: Category Theory for the Sciences, 2014, 263 pages, Benjami
1 イントロダクション 本記事を読む前に、本章を読んでください。書いていくごとに、とにかくボリュームが多くなりました。 本章では「グラフとは何か?」と「本記事で扱うこと・扱わないこと」をまとめています。非常にボリューミーなので、自身の必要な知識・不要な知識を取捨選択して読んでいただくことをお勧めします。 1.1 そもそもグラフ理論とは まず第一に、 グラフ理論は図示とは全く別のもの です。 恥ずかしながら、ある勉強会でグラフ理論のタイトルで話す登壇者の方がいて「より良い図示の方法をまとめたトークかなにかかな。」と思っていました(無事、話を聞いて「あぁ、そっちね。」となりました)。 本ブログの著者ふたりとも物理出身の門外漢故広い心で見守ってくれればと思います。 グラフ理論とは相互に関係し合うネットワークを数学的に扱う一学問です。 下記のようなシンプルなグラフネットワークの例を考えます。例えば
At Endcrawl we're always thinking about the hard work that goes into making film and TV, and how that work translates to on-screen credits. A feature film may involve thousands of people, hundreds of distinct job titles or "roles," and dozens of departments. So there's plenty for a producer to worry about, like: Did we forget or misspell a name? Is this the correct way to credit that role? Do all
[レポート] Responsible AI: From theory to practice (1/2) – Google Cloud Next ’20: OnAir #GoogleCloudNext | DevelopersIO
[レポート] Responsible AI: From theory to practice (1/2) – Google Cloud Next ’20: OnAir #GoogleCloudNext こんにちは、Mr.Moです。 現在、2020年7月14日から9月8日までの数週間にわたってGoogle Cloudのデジタルイベント『Google Cloud Next ’20: OnAir』が開催されています。 当エントリでは、その中から「Cloud AI」シリーズのセッションとして公開された『Responsible AI: From theory to practice』の内容をまとめてみたいと思います。（独自の解釈なども含まれると思いますのであらかじめご了承ください） はじめに 2030年にはAIは世界経済を支配 AIに対応していないアプリケーションは欠陥品と感じるようになる とある研
On visiting Japan and engaging with conservative politicians – William Mitchell – Modern Monetary Theory
September 11, 2019 bill Admin, Japan, Music 29 Comments It is my Wednesday blog post and my relative ‘blog day off’. But there has been an issue I want to write briefly about that has come up recently and has become a recurring theme. I am writing today to put the matter on the public record so that spurious claims that arise elsewhere have no traction. As our Modern Monetary Theory (MMT) work gai
Alex Russell on browsers, standards, and the process of progress. TL;DR: Does it matter if the web platform adds new capabilities? And if it should, which ones? The web is a meta-platform. Like other meta-platforms the web thrives or declines to the extent it can accomplish the lion's share of the things we expect most computers to do. Adjacency to the current set of capabilities provides a discip
No Longer Just Theory: Black Lotus Labs Uncovers Linux Executables Deployed as Stealth Windows Loaders - Lumen
No Longer Just Theory: Black Lotus Labs Uncovers Linux Executables Deployed as Stealth Windows Loaders Executive Summary In April 2016, Microsoft shocked the PC world when it announced the Windows Subsystem for Linux (WSL). WSL is a supplemental feature that runs a Linux image in a near-native environment on Windows, allowing for functionality like command line tools from Linux without the over-he
こんにちは、私は望月夜、あらため、望月慎＠motidukinoyoruと申します。（blog「批判的頭脳」、togetter、noteマガジン一覧） ＊出版します：『図解入門ビジネス 最新 MMT[現代貨幣理論]がよくわかる本』 今回は、立命館大学経済学会セミナーにて、望月夜名義で研究報告させていただいた、『Modern Monetary Theoryの概説』について、noteの形で紹介・解説させていただきたいと思います。 この報告は、後に論文（というより研究ノート）という形で、「望月慎」名義で立命館経済学にて掲載いただく予定となっており、その事前紹介ということになります。 また、先日、駒澤大学経済学部准教授 井上智洋先生のご紹介にあずかり、ネットラジオ：AWニュースWeeklyの方に望月夜名義で出演させていただきました。その際に議論になったポイントも包摂して議論したいと考えています。 さ
Visiteurs depuis le 28/01/2019 : 9334 Connectés : 1 Record de connectés : 93 Matrix Perturbation Theory Djvu For Mac FreeMatrix Perturbation Theory Djvu For Mac DownloadCite this chapter as: Yajnik U. (1997) Quantum Field Theory Methods: Dirac Equation and Perturbation Theory. In: Iyer B.R., Vishveshwara C.V. (eds) Geometry, Fields and Cosmology. Fundamental Theories of Physics (An International B
Deep learning has been adopted in many application fields in recent years because of its high performance. On the other hand, there are many issues about the understanding of generalization performance and learning theory that cannot be explained by existing theories, and many studies to tackle these issues were presented at NeuroIPS2019. In the application side of deep learning, reports on new pr
This book develops an effective theory approach to understanding deep neural networks of practical relevance. Beginning from a first-principles component-level picture of networks, we explain how to determine an accurate description of the output of trained networks by solving layer-to-layer iteration equations and nonlinear learning dynamics. A main result is that the predictions of networks are
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
イヤホンズ「Theory of evolution」のこと - WASTE OF POPS 80s-90s
Go design theory learned from Kubernetes
わしの思うリッジ回帰(L2正則化)と正則化法。 - Pseudo Theory of Everything
【5月の人気コーデ】UNIQLO「＋Ｊ」セルビッジジーンズ、theoryコラボワンピ、キレイ色ツインニット
【60代のUNIQLO】Theoryコラボのポロワンピースでつくる大人カジュアル
Deep JavaScript: Theory and techniques
developed He his own theory | ならべかえ 英語 リスニング
一帆 THEORY・OF・鶏煮干のつけ麺＆鶏から揚げ3個と小ごはん
Category Theory Illustrated - Sets
Critical race theory - Wikipedia
Solving Wordle using information theory
テポ東さんの「現代貨幣理論"MMT"(Modern Monetary Theory)」への批判的見解まとめ
圏論を勉強しよう(Let's Study Category Theory)
グラフの中心でAIを叫んだノード(なおAIは出ない) 〜あるいはnode2vecに至るグラフ理論〜 - Pseudo Theory of Everything
Ordering Movie Credits With Graph Theory
Platform Adjacency Theory - Infrequently Noted
Modern Monetary Theoryの概説（note版）｜望月慎（望月夜）
Matrix Perturbation Theory Djvu For Mac
Trends in Deep Learning Theory at NeurIPS 2019
The Principles of Deep Learning Theory
monowatamesi.hatenablog.com
asagei.biz
anond.hatelabo.jp
matomedane.jp
ayuichi27.blog.fc2.com
neocats.hatenablog.com