美大生・デザイナー様向け商品 様々な製作物を作る際にご利用頂きたい紙を紹介しています。 企業内印刷物担当者様向け商品 提案資料や商品カタログ等にご利用頂きたい紙を揃えました。 文化財保存修復師様向け商品 修復用の素材が簡単に小さなロットで買えるようになりました。
1枚から紙を買えるネット通販 紙販売のPapermall（ペーパーモール）
美大生・デザイナー様向け商品 様々な製作物を作る際にご利用頂きたい紙を紹介しています。 企業内印刷物担当者様向け商品 提案資料や商品カタログ等にご利用頂きたい紙を揃えました。 文化財保存修復師様向け商品 修復用の素材が簡単に小さなロットで買えるようになりました。
優れた研究論文の書き方―7つの提案
本スライドは、弊社の梅本により弊社内の技術勉強会で使用されたものです。 近年注目を集めるアーキテクチャーである「Transformer」の解説スライドとなっております。 "Arithmer Seminar" is weekly held, where professionals from within and outside our company give lectures on their respective expertise. The slides are made by the lecturer from outside our company, and shared here with his/her permission. Arithmer株式会社は東京大学大学院数理科学研究科発の数学の会社です。私達は現代数学を応用して、様々な分野のソリューションに、新しい高度AIシステム
What Every Programmer Should Know About Memory (PDF)
What Every Programmer Should Know About Memory Ulrich Drepper Red Hat, Inc. drepper@redhat.com November 21, 2007 Abstract As CPU cores become both faster and more numerous, the limiting factor for most programs is now, and will be for some time, memory access. Hardware designers have come up with ever more sophisticated memory handling and acceleration techniques–such as CPU caches–but these canno
Pure Subtype Systems | Lambda the Ultimate
Pure Subtype Systems, by DeLesley S. Hutchins: This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing. Proper types and typing are completely absent from the theory; the subtype relation is defined directly over ob
Wadler's Blog: How to reject a paper
Wadler's Blog 27.5.13 How to reject a paper How NOT to review a paper: the tools and techniques of the adversarial reviewer and How to reject any scientific manuscript. Photo from Academic Negativity. Labels: Computing, Science # posted by Philip Wadler @ 10:24 AM Comments: Post a Comment << Home About Me Name: Philip Wadler View my complete profile Atom feed for this blog Wadler's home page @Phi
余代数を知りたいなら、これだ - 檜山正幸のキマイラ飼育記 (はてなBlog)
先日「代数と余代数、クラスと余クラス」というエントリーを書きました。これは、あまり正確さは気にしない「おはなし」です。「おはなし」であっても、雰囲気や感じをつかむにはそれなりの意味があると思っています。もう少し補足をする気はあるのですが、正確で体系的な記述は、能力・気力・体力の点で僕の手には余ります。代数と余代数に関する（余代数が中心の）良い教科書や資料はたくさんありますので、おすすめできる解説を挙げておきます。 Title: Exercises in Coalgebraic Specification Author: Bart Jacobs URL: http://www.cs.ru.nl/~bart/PAPERS/mathfit00.pdf 43ページ、Exercises と略称 Title: Universal coalgebra: a theory of systems Autho
OCamlと順序付き線形型で効率のよいXML処理 (to be continued) - keigoiの日記
この記事は OCaml Advent Calendar 2012 の 24日目の記事です。 が、実際にアップロードしたのは2013年1月18日です。 本当はもっと実用的なネタを書く予定だったのですが、飽きた ので、いっそ思い切り趣味に走った記事を書くことにしました。 追記： 動作するものを github にアップロードしました。 https://github.com/keigoi/olt_ocaml 追記：ちゃんと書きませんでしたが、OCamlによるXML処理ができる実装が既に著者らによって公開されています。 http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/x-p/ 順序付き線形型とXML(木) 児玉・末永・小林による この論文 (日本語の文献) は、XMLなどの木構造を再帰的にトラバースするプログラムを、より効率のよいストリーム処理プログラムに変換
Deep Learning Tutorials — DeepLearning 0.1 documentation
Deep Learning Tutorials¶ Deep Learning is a new area of Machine Learning research, which has been introduced with the objective of moving Machine Learning closer to one of its original goals: Artificial Intelligence. See these course notes for a brief introduction to Machine Learning for AI and an introduction to Deep Learning algorithms. Deep Learning is about learning multiple levels of represen
TuringConf
-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Visiting Scholar University of California, Berkeley dana.scott@cs.cmu.edu TURING CENTENNIAL CELEBRATION Princeton University, May 10-12, 2012 ACM TURING CENTENARY CELEBRATION San Francisco, June 15-16, 2012 UC BERKELEY LOGIC COLLOQUIUM Berkeley, August 24, 2012 Notes derived from the slides presented at th
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
竹尾 TAKEO: a leading paper distributor
Wadler's Blog: The Implicit Calculus: A New Foundation for Generic Programming
ICFP 2014 : Accepted papers
POPL 2014: 41st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
The Size-Change Termination Principle for Constructor Based Languages | Lambda the Ultimate
Types for Flexible Objects | Lambda the Ultimate
Dynamic Region Inference | Lambda the Ultimate
rise4fun
Machine Learning Surveys
Reddit - Dive into anything
Yet Another Reason Not To Be Lazy Or Imperative